Auto status change to "Under Review"
@@ -0,0 +1,22 | |||||
|
1 | using System.Diagnostics; | |||
|
2 | ||||
|
3 | namespace Implab.Diagnostics | |||
|
4 | { | |||
|
5 | public class ChannelInfo | |||
|
6 | { | |||
|
7 | internal ChannelInfo(object id, TraceSource source) { | |||
|
8 | Debug.Assert(id != null); | |||
|
9 | Debug.Assert(source != null); | |||
|
10 | ||||
|
11 | Id = id; | |||
|
12 | Source = source; | |||
|
13 | ||||
|
14 | } | |||
|
15 | ||||
|
16 | public object Id { get; private set; } | |||
|
17 | ||||
|
18 | public TraceSource Source { get; private set; } | |||
|
19 | ||||
|
20 | ||||
|
21 | } | |||
|
22 | } No newline at end of file |
@@ -0,0 +1,76 | |||||
|
1 | using System; | |||
|
2 | using System.Collections.Generic; | |||
|
3 | using System.Diagnostics; | |||
|
4 | using Implab.Parallels; | |||
|
5 | ||||
|
6 | namespace Implab.Diagnostics { | |||
|
7 | public class TraceChannelRegistry { | |||
|
8 | ||||
|
9 | class Subscription : IDisposable { | |||
|
10 | readonly Action<object> m_unsubscribe; | |||
|
11 | ||||
|
12 | public Subscription(Action<object> unsubscribe) { | |||
|
13 | m_unsubscribe = unsubscribe; | |||
|
14 | } | |||
|
15 | ||||
|
16 | public void Dispose() { | |||
|
17 | m_unsubscribe(this); | |||
|
18 | } | |||
|
19 | } | |||
|
20 | ||||
|
21 | public static TraceChannelRegistry AllCannels { get; } = new TraceChannelRegistry(); | |||
|
22 | ||||
|
23 | readonly object m_lock = new object(); | |||
|
24 | ||||
|
25 | readonly Dictionary<object, Action<ChannelInfo>> m_subscriptions = new Dictionary<object, Action<ChannelInfo>>(); | |||
|
26 | readonly SimpleAsyncQueue<ChannelInfo> m_channels = new SimpleAsyncQueue<ChannelInfo>(); | |||
|
27 | ||||
|
28 | internal void NotifyChannelCreated(ChannelInfo channel) { | |||
|
29 | // notifications can run in parallel | |||
|
30 | Action<ChannelInfo>[] handlers = null; | |||
|
31 | ||||
|
32 | lock(m_lock) { | |||
|
33 | m_channels.Enqueue(channel); | |||
|
34 | if (m_subscriptions.Count > 0) { | |||
|
35 | handlers = new Action<ChannelInfo>[m_subscriptions.Count]; | |||
|
36 | m_subscriptions.Values.CopyTo(handlers, 0); | |||
|
37 | } | |||
|
38 | } | |||
|
39 | ||||
|
40 | if (handlers != null) | |||
|
41 | foreach(var h in handlers) | |||
|
42 | h(channel); | |||
|
43 | } | |||
|
44 | ||||
|
45 | /// <summary> | |||
|
46 | /// Subscribes the specified handler to notifications about new trace | |||
|
47 | /// channels | |||
|
48 | /// </summary> | |||
|
49 | /// <param name="handler"></param> | |||
|
50 | /// <returns></returns> | |||
|
51 | public IDisposable Subscribe(Action<ChannelInfo> handler, bool existing) { | |||
|
52 | Safe.ArgumentNotNull(handler, nameof(handler)); | |||
|
53 | ||||
|
54 | var cookie = new Subscription(RemoveSubscription); | |||
|
55 | ||||
|
56 | IEnumerable<ChannelInfo> snap; | |||
|
57 | ||||
|
58 | lock(m_lock) { | |||
|
59 | m_subscriptions.Add(cookie, handler); | |||
|
60 | snap = m_channels.Snapshot(); | |||
|
61 | } | |||
|
62 | ||||
|
63 | if (existing) { | |||
|
64 | foreach(var c in snap) | |||
|
65 | handler(c); | |||
|
66 | } | |||
|
67 | ||||
|
68 | return cookie; | |||
|
69 | } | |||
|
70 | ||||
|
71 | void RemoveSubscription(object cookie) { | |||
|
72 | lock(m_lock) | |||
|
73 | m_subscriptions.Remove(cookie); | |||
|
74 | } | |||
|
75 | } | |||
|
76 | } No newline at end of file |
@@ -1,191 +1,191 | |||||
1 | using Xunit; |
|
1 | using Xunit; | |
2 | using System; |
|
2 | using System; | |
3 | using Implab.Automaton; |
|
3 | using Implab.Automaton; | |
4 | using Implab.Xml; |
|
4 | using Implab.Xml; | |
5 | using System.Xml; |
|
5 | using System.Xml; | |
6 | using Implab.Formats; |
|
6 | using Implab.Formats; | |
7 | using Implab.Formats.Json; |
|
7 | using Implab.Formats.Json; | |
8 | using System.IO; |
|
8 | using System.IO; | |
9 | using Implab.Test.Model; |
|
9 | using Implab.Test.Model; | |
10 |
|
10 | |||
11 | namespace Implab.Test { |
|
11 | namespace Implab.Test { | |
12 | public class JsonTests { |
|
12 | public class JsonTests { | |
13 |
|
13 | |||
14 | [Fact] |
|
14 | [Fact] | |
15 | public void TestScannerValidTokens() { |
|
15 | public void TestScannerValidTokens() { | |
16 | using (var scanner = JsonStringScanner.Create(@"9123, -123, 0, 0.1, -0.2, -0.1e3, 1.3E-3, ""some \t\n\u0020 text"", literal []{}:")) { |
|
16 | using (var scanner = JsonStringScanner.Create(@"9123, -123, 0, 0.1, -0.2, -0.1e3, 1.3E-3, ""some \t\n\u0020 text"", literal []{}:")) { | |
17 |
|
17 | |||
18 | Tuple<JsonTokenType, object>[] expexted = { |
|
18 | Tuple<JsonTokenType, object>[] expexted = { | |
19 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "9123"), |
|
19 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "9123"), | |
20 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), |
|
20 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), | |
21 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "-123"), |
|
21 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "-123"), | |
22 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), |
|
22 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), | |
23 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "0"), |
|
23 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "0"), | |
24 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), |
|
24 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), | |
25 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "0.1"), |
|
25 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "0.1"), | |
26 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), |
|
26 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), | |
27 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "-0.2"), |
|
27 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "-0.2"), | |
28 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), |
|
28 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), | |
29 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "-0.1e3"), |
|
29 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "-0.1e3"), | |
30 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), |
|
30 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), | |
31 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "1.3E-3"), |
|
31 | new Tuple<JsonTokenType,object>(JsonTokenType.Number, "1.3E-3"), | |
32 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), |
|
32 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), | |
33 | new Tuple<JsonTokenType,object>(JsonTokenType.String, "some \t\n text"), |
|
33 | new Tuple<JsonTokenType,object>(JsonTokenType.String, "some \t\n text"), | |
34 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), |
|
34 | new Tuple<JsonTokenType,object>(JsonTokenType.ValueSeparator, null), | |
35 | new Tuple<JsonTokenType,object>(JsonTokenType.Literal, "literal"), |
|
35 | new Tuple<JsonTokenType,object>(JsonTokenType.Literal, "literal"), | |
36 | new Tuple<JsonTokenType,object>(JsonTokenType.BeginArray, null), |
|
36 | new Tuple<JsonTokenType,object>(JsonTokenType.BeginArray, null), | |
37 | new Tuple<JsonTokenType,object>(JsonTokenType.EndArray, null), |
|
37 | new Tuple<JsonTokenType,object>(JsonTokenType.EndArray, null), | |
38 | new Tuple<JsonTokenType,object>(JsonTokenType.BeginObject, null), |
|
38 | new Tuple<JsonTokenType,object>(JsonTokenType.BeginObject, null), | |
39 | new Tuple<JsonTokenType,object>(JsonTokenType.EndObject, null), |
|
39 | new Tuple<JsonTokenType,object>(JsonTokenType.EndObject, null), | |
40 | new Tuple<JsonTokenType,object>(JsonTokenType.NameSeparator, null) |
|
40 | new Tuple<JsonTokenType,object>(JsonTokenType.NameSeparator, null) | |
41 | }; |
|
41 | }; | |
42 |
|
42 | |||
43 | string value; |
|
43 | string value; | |
44 | JsonTokenType tokenType; |
|
44 | JsonTokenType tokenType; | |
45 | for (var i = 0; i < expexted.Length; i++) { |
|
45 | for (var i = 0; i < expexted.Length; i++) { | |
46 |
|
46 | |||
47 | Assert.True(scanner.ReadToken(out value, out tokenType)); |
|
47 | Assert.True(scanner.ReadToken(out value, out tokenType)); | |
48 | Assert.Equal(expexted[i].Item1, tokenType); |
|
48 | Assert.Equal(expexted[i].Item1, tokenType); | |
49 | Assert.Equal(expexted[i].Item2, value); |
|
49 | Assert.Equal(expexted[i].Item2, value); | |
50 | } |
|
50 | } | |
51 |
|
51 | |||
52 | Assert.False(scanner.ReadToken(out value, out tokenType)); |
|
52 | Assert.False(scanner.ReadToken(out value, out tokenType)); | |
53 | } |
|
53 | } | |
54 | } |
|
54 | } | |
55 |
|
55 | |||
56 | [Fact] |
|
56 | [Fact] | |
57 | public void TestScannerBadTokens() { |
|
57 | public void TestScannerBadTokens() { | |
58 | var bad = new[] { |
|
58 | var bad = new[] { | |
59 | " 1", |
|
59 | " 1", | |
60 | " literal", |
|
60 | " literal", | |
61 | " \"", |
|
61 | " \"", | |
62 | "\"unclosed string", |
|
62 | "\"unclosed string", | |
63 | "1.bad", |
|
63 | "1.bad", | |
64 | "001", // should be read as three numbers |
|
64 | "001", // should be read as three numbers | |
65 | "--10", |
|
65 | "--10", | |
66 | "+10", |
|
66 | "+10", | |
67 | "1.0.0", |
|
67 | "1.0.0", | |
68 | "1e1.0", |
|
68 | "1e1.0", | |
69 | "l1teral0", |
|
69 | "l1teral0", | |
70 | ".123", |
|
70 | ".123", | |
71 | "-.123" |
|
71 | "-.123" | |
72 | }; |
|
72 | }; | |
73 |
|
73 | |||
74 | foreach (var json in bad) { |
|
74 | foreach (var json in bad) { | |
75 | using (var scanner = JsonStringScanner.Create(json)) { |
|
75 | using (var scanner = JsonStringScanner.Create(json)) { | |
76 | try { |
|
76 | try { | |
77 | string value; |
|
77 | string value; | |
78 | JsonTokenType token; |
|
78 | JsonTokenType token; | |
79 | scanner.ReadToken(out value, out token); |
|
79 | scanner.ReadToken(out value, out token); | |
80 | if (!Object.Equals(value, json)) { |
|
80 | if (!Object.Equals(value, json)) { | |
81 | Console.WriteLine("'{0}' is read as {1}", json, value is String ? String.Format("'{0}'", value) : value); |
|
81 | Console.WriteLine("'{0}' is read as {1}", json, value is String ? String.Format("'{0}'", value) : value); | |
82 | continue; |
|
82 | continue; | |
83 | } |
|
83 | } | |
84 | Assert.True(false, $"Token '{json}' shouldn't pass"); |
|
84 | Assert.True(false, $"Token '{json}' shouldn't pass"); | |
85 | } catch (ParserException e) { |
|
85 | } catch (ParserException e) { | |
86 | Console.WriteLine(e.Message); |
|
86 | Console.WriteLine(e.Message); | |
87 | } |
|
87 | } | |
88 | } |
|
88 | } | |
89 | } |
|
89 | } | |
90 | } |
|
90 | } | |
91 |
|
91 | |||
92 | [Fact] |
|
92 | [Fact] | |
93 | public void JsonXmlReaderSimpleTest() { |
|
93 | public void JsonXmlReaderSimpleTest() { | |
94 | var json = "\"some text\""; |
|
94 | //var json = "\"some text\""; | |
95 | //Console.WriteLine($"JSON: {json}"); |
|
95 | //Console.WriteLine($"JSON: {json}"); | |
96 | //Console.WriteLine("XML"); |
|
96 | //Console.WriteLine("XML"); | |
97 | /*using (var xmlReader = new JsonXmlReader(new JSONParser(json), new JsonXmlReaderOptions { NamespaceUri = "JsonXmlReaderSimpleTest", RootName = "string", NodesPrefix = "json" })) { |
|
97 | /*using (var xmlReader = new JsonXmlReader(new JSONParser(json), new JsonXmlReaderOptions { NamespaceUri = "JsonXmlReaderSimpleTest", RootName = "string", NodesPrefix = "json" })) { | |
98 | Assert.AreEqual(xmlReader.ReadState, System.Xml.ReadState.Initial); |
|
98 | Assert.AreEqual(xmlReader.ReadState, System.Xml.ReadState.Initial); | |
99 |
|
99 | |||
100 | AssertRead(xmlReader, XmlNodeType.XmlDeclaration); |
|
100 | AssertRead(xmlReader, XmlNodeType.XmlDeclaration); | |
101 | AssertRead(xmlReader, XmlNodeType.Element); |
|
101 | AssertRead(xmlReader, XmlNodeType.Element); | |
102 | AssertRead(xmlReader, XmlNodeType.Text); |
|
102 | AssertRead(xmlReader, XmlNodeType.Text); | |
103 | AssertRead(xmlReader, XmlNodeType.EndElement); |
|
103 | AssertRead(xmlReader, XmlNodeType.EndElement); | |
104 | Assert.IsFalse(xmlReader.Read()); |
|
104 | Assert.IsFalse(xmlReader.Read()); | |
105 | }*/ |
|
105 | }*/ | |
106 |
|
106 | |||
107 | DumpJsonParse("\"text value\""); |
|
107 | DumpJsonParse("\"text value\""); | |
108 | DumpJsonParse("null"); |
|
108 | DumpJsonParse("null"); | |
109 | DumpJsonParse("true"); |
|
109 | DumpJsonParse("true"); | |
110 | DumpJsonParse("{}"); |
|
110 | DumpJsonParse("{}"); | |
111 | DumpJsonParse("[]"); |
|
111 | DumpJsonParse("[]"); | |
112 | DumpJsonParse("{\"one\":1, \"two\":2}"); |
|
112 | DumpJsonParse("{\"one\":1, \"two\":2}"); | |
113 | DumpJsonParse("[1,\"\",2,3]"); |
|
113 | DumpJsonParse("[1,\"\",2,3]"); | |
114 | DumpJsonParse("[{\"info\": [7,8,9]}]"); |
|
114 | DumpJsonParse("[{\"info\": [7,8,9]}]"); | |
115 | DumpJsonFlatParse("[1,2,\"\",[3,4],{\"info\": [5,6]},{\"num\": [7,8,null]}, null,[null]]"); |
|
115 | DumpJsonFlatParse("[1,2,\"\",[3,4],{\"info\": [5,6]},{\"num\": [7,8,null]}, null,[null]]"); | |
116 | } |
|
116 | } | |
117 |
|
117 | |||
118 | [Fact] |
|
118 | [Fact] | |
119 | public void XmlToJsonTransform() { |
|
119 | public void XmlToJsonTransform() { | |
120 | var person = new Person { |
|
120 | var person = new Person { | |
121 | FirstName = "Charlie", |
|
121 | FirstName = "Charlie", | |
122 | LastName = "Brown", |
|
122 | LastName = "Brown", | |
123 | Age = 19, |
|
123 | Age = 19, | |
124 | AgeSpecified = true |
|
124 | AgeSpecified = true | |
125 | }; |
|
125 | }; | |
126 |
|
126 | |||
127 | var doc = SerializationHelpers.SerializeAsXmlDocument(person); |
|
127 | var doc = SerializationHelpers.SerializeAsXmlDocument(person); | |
128 |
|
128 | |||
129 | using (var writer = new StringWriter()) { |
|
129 | using (var writer = new StringWriter()) { | |
130 | XmlToJson.Default.Transform(doc,null, writer); |
|
130 | XmlToJson.Default.Transform(doc,null, writer); | |
131 | Console.WriteLine(writer.ToString()); |
|
131 | Console.WriteLine(writer.ToString()); | |
132 | } |
|
132 | } | |
133 | } |
|
133 | } | |
134 |
|
134 | |||
135 | [Fact] |
|
135 | [Fact] | |
136 | public void JsonSerialization() { |
|
136 | public void JsonSerialization() { | |
137 | var person = new Person { |
|
137 | var person = new Person { | |
138 | FirstName = "Charlie", |
|
138 | FirstName = "Charlie", | |
139 | LastName = "Brown", |
|
139 | LastName = "Brown", | |
140 | Age = 19, |
|
140 | Age = 19, | |
141 | AgeSpecified = true, |
|
141 | AgeSpecified = true, | |
142 | Tags = new [] { "brave", "stupid" } |
|
142 | Tags = new [] { "brave", "stupid" } | |
143 | }; |
|
143 | }; | |
144 |
|
144 | |||
145 | var data = SerializationHelpers.SerializeJsonAsString(person); |
|
145 | var data = SerializationHelpers.SerializeJsonAsString(person); | |
146 | Console.WriteLine(data); |
|
146 | Console.WriteLine(data); | |
147 | var clone = SerializationHelpers.DeserializeJsonFromString<Person>(data); |
|
147 | var clone = SerializationHelpers.DeserializeJsonFromString<Person>(data); | |
148 |
|
148 | |||
149 | Assert.Equal(person.FirstName, clone.FirstName); |
|
149 | Assert.Equal(person.FirstName, clone.FirstName); | |
150 | Assert.Equal(person.LastName, clone.LastName); |
|
150 | Assert.Equal(person.LastName, clone.LastName); | |
151 | Assert.Equal(person.Age, clone.Age); |
|
151 | Assert.Equal(person.Age, clone.Age); | |
152 | Assert.Equal(person.AgeSpecified, clone.AgeSpecified); |
|
152 | Assert.Equal(person.AgeSpecified, clone.AgeSpecified); | |
153 | Assert.Equal(person.Tags, person.Tags); |
|
153 | Assert.Equal(person.Tags, person.Tags); | |
154 | } |
|
154 | } | |
155 |
|
155 | |||
156 | void AssertRead(XmlReader reader, XmlNodeType expected) { |
|
156 | void AssertRead(XmlReader reader, XmlNodeType expected) { | |
157 | Assert.True(reader.Read()); |
|
157 | Assert.True(reader.Read()); | |
158 | Console.WriteLine($"{new string(' ', reader.Depth * 2)}{reader}"); |
|
158 | Console.WriteLine($"{new string(' ', reader.Depth * 2)}{reader}"); | |
159 | Assert.Equal(expected, reader.NodeType); |
|
159 | Assert.Equal(expected, reader.NodeType); | |
160 | } |
|
160 | } | |
161 |
|
161 | |||
162 | void DumpJsonParse(string json) { |
|
162 | void DumpJsonParse(string json) { | |
163 | Console.WriteLine($"JSON: {json}"); |
|
163 | Console.WriteLine($"JSON: {json}"); | |
164 | Console.WriteLine("XML"); |
|
164 | Console.WriteLine("XML"); | |
165 | using (var xmlWriter = XmlWriter.Create(Console.Out, new XmlWriterSettings { |
|
165 | using (var xmlWriter = XmlWriter.Create(Console.Out, new XmlWriterSettings { | |
166 | Indent = true, |
|
166 | Indent = true, | |
167 | CloseOutput = false, |
|
167 | CloseOutput = false, | |
168 | ConformanceLevel = ConformanceLevel.Document |
|
168 | ConformanceLevel = ConformanceLevel.Document | |
169 | })) |
|
169 | })) | |
170 | using (var xmlReader = new JsonXmlReader(JsonReader.ParseString(json), new JsonXmlReaderOptions { NamespaceUri = "JsonXmlReaderSimpleTest", RootName = "Data", NodesPrefix = "json", CaseTransform = JsonXmlCaseTransform.UcFirst, ArrayItemName = "Item" })) { |
|
170 | using (var xmlReader = new JsonXmlReader(JsonReader.ParseString(json), new JsonXmlReaderOptions { NamespaceUri = "JsonXmlReaderSimpleTest", RootName = "Data", NodesPrefix = "json", CaseTransform = JsonXmlCaseTransform.UcFirst, ArrayItemName = "Item" })) { | |
171 | xmlWriter.WriteNode(xmlReader, false); |
|
171 | xmlWriter.WriteNode(xmlReader, false); | |
172 | } |
|
172 | } | |
173 | Console.WriteLine(); |
|
173 | Console.WriteLine(); | |
174 | } |
|
174 | } | |
175 |
|
175 | |||
176 | void DumpJsonFlatParse(string json) { |
|
176 | void DumpJsonFlatParse(string json) { | |
177 | Console.WriteLine($"JSON: {json}"); |
|
177 | Console.WriteLine($"JSON: {json}"); | |
178 | Console.WriteLine("XML"); |
|
178 | Console.WriteLine("XML"); | |
179 | using (var xmlWriter = XmlWriter.Create(Console.Out, new XmlWriterSettings { |
|
179 | using (var xmlWriter = XmlWriter.Create(Console.Out, new XmlWriterSettings { | |
180 | Indent = true, |
|
180 | Indent = true, | |
181 | CloseOutput = false, |
|
181 | CloseOutput = false, | |
182 | ConformanceLevel = ConformanceLevel.Document |
|
182 | ConformanceLevel = ConformanceLevel.Document | |
183 | })) |
|
183 | })) | |
184 | using (var xmlReader = new JsonXmlReader(JsonReader.ParseString(json), new JsonXmlReaderOptions { NamespaceUri = "JsonXmlReaderSimpleTest", NodesPrefix = "", FlattenArrays = true })) { |
|
184 | using (var xmlReader = new JsonXmlReader(JsonReader.ParseString(json), new JsonXmlReaderOptions { NamespaceUri = "JsonXmlReaderSimpleTest", NodesPrefix = "", FlattenArrays = true })) { | |
185 | xmlWriter.WriteNode(xmlReader, false); |
|
185 | xmlWriter.WriteNode(xmlReader, false); | |
186 | } |
|
186 | } | |
187 | Console.WriteLine(); |
|
187 | Console.WriteLine(); | |
188 | } |
|
188 | } | |
189 | } |
|
189 | } | |
190 | } |
|
190 | } | |
191 |
|
191 |
@@ -1,161 +1,160 | |||||
1 | // enable System.Diagnostics trace methods |
|
1 | // enable System.Diagnostics trace methods | |
2 | #define TRACE |
|
2 | #define TRACE | |
3 |
|
3 | |||
4 | using System; |
|
4 | using System; | |
5 | using System.Collections.Generic; |
|
5 | using System.Collections.Generic; | |
6 | using System.Diagnostics; |
|
6 | using System.Diagnostics; | |
7 | using System.Linq; |
|
7 | using System.Linq; | |
8 | using System.Text; |
|
8 | using System.Text; | |
9 | using System.Threading; |
|
9 | using System.Threading; | |
10 | using System.Threading.Tasks; |
|
10 | using System.Threading.Tasks; | |
11 |
|
11 | |||
12 | namespace Implab.Diagnostics { |
|
12 | namespace Implab.Diagnostics { | |
13 | public static class Trace<T> { |
|
13 | public static class Trace<T> { | |
14 |
|
14 | |||
15 | static Lazy<TraceSource> _traceSource = new Lazy<TraceSource>(CreateChannel, LazyThreadSafetyMode.ExecutionAndPublication); |
|
15 | static Lazy<TraceSource> _traceSource = new Lazy<TraceSource>(CreateChannel, LazyThreadSafetyMode.ExecutionAndPublication); | |
16 |
|
16 | |||
17 | static int _nextId; |
|
17 | static int _nextId; | |
18 |
|
18 | |||
19 | static TraceSource CreateChannel() { |
|
19 | static TraceSource CreateChannel() { | |
20 | var id = Interlocked.Increment(ref _nextId); |
|
20 | var id = Interlocked.Increment(ref _nextId); | |
21 |
|
|
21 | var trs = new TraceSource(typeof(T).Name); | |
|
22 | ||||
|
23 | TraceChannelRegistry.AllCannels.NotifyChannelCreated(new ChannelInfo(typeof(T), trs)); | |||
|
24 | ||||
|
25 | return trs; | |||
22 | } |
|
26 | } | |
23 |
|
27 | |||
24 | public static TraceSource TraceSource { get { return _traceSource.Value; } } |
|
28 | public static TraceSource TraceSource { get { return _traceSource.Value; } } | |
25 |
|
29 | |||
26 | public static IDisposable Subscribe() { |
|
|||
27 |
|
||||
28 | throw new NotImplementedException(); |
|
|||
29 | } |
|
|||
30 |
|
||||
31 | #if NETFX_TRACE_BUG |
|
30 | #if NETFX_TRACE_BUG | |
32 | readonly static AsyncLocal<object> m_currentOperation = new AsyncLocal<object>(); |
|
31 | readonly static AsyncLocal<object> m_currentOperation = new AsyncLocal<object>(); | |
33 | #endif |
|
32 | #endif | |
34 |
|
33 | |||
35 | /// <summary> |
|
34 | /// <summary> | |
36 | /// Starts the logical operation nested to the current operation nested to the current one. |
|
35 | /// Starts the logical operation nested to the current operation nested to the current one. | |
37 | /// </summary> |
|
36 | /// </summary> | |
38 | public static void StartLogicalOperation() { |
|
37 | public static void StartLogicalOperation() { | |
39 | Trace.CorrelationManager.StartLogicalOperation(); |
|
38 | Trace.CorrelationManager.StartLogicalOperation(); | |
40 |
|
39 | |||
41 | } |
|
40 | } | |
42 |
|
41 | |||
43 | /// <summary> |
|
42 | /// <summary> | |
44 | /// Starts the logical operation with the specified name, this name is usefull in logs. |
|
43 | /// Starts the logical operation with the specified name, this name is usefull in logs. | |
45 | /// </summary> |
|
44 | /// </summary> | |
46 | /// <param name="name">Name.</param> |
|
45 | /// <param name="name">Name.</param> | |
47 | #if NETFX_TRACE_BUG |
|
46 | #if NETFX_TRACE_BUG | |
48 | public static void StartLogicalOperation(object name) { |
|
47 | public static void StartLogicalOperation(object name) { | |
49 | m_currentOperation.Value = name; |
|
48 | m_currentOperation.Value = name; | |
50 | Trace.CorrelationManager.StartLogicalOperation(name); |
|
49 | Trace.CorrelationManager.StartLogicalOperation(name); | |
51 | } |
|
50 | } | |
52 | #else |
|
51 | #else | |
53 | public static void StartLogicalOperation(object name) { |
|
52 | public static void StartLogicalOperation(object name) { | |
54 | Trace.CorrelationManager.StartLogicalOperation(name); |
|
53 | Trace.CorrelationManager.StartLogicalOperation(name); | |
55 | } |
|
54 | } | |
56 | #endif |
|
55 | #endif | |
57 |
|
56 | |||
58 | /// <summary> |
|
57 | /// <summary> | |
59 | /// Ends the logical operation and restores the previous one. |
|
58 | /// Ends the logical operation and restores the previous one. | |
60 | /// </summary> |
|
59 | /// </summary> | |
61 | public static void StopLogicalOperation() { |
|
60 | public static void StopLogicalOperation() { | |
62 | Trace.CorrelationManager.StopLogicalOperation(); |
|
61 | Trace.CorrelationManager.StopLogicalOperation(); | |
63 | } |
|
62 | } | |
64 |
|
63 | |||
65 | /// <summary> |
|
64 | /// <summary> | |
66 | /// Writes a debug message. |
|
65 | /// Writes a debug message. | |
67 | /// </summary> |
|
66 | /// </summary> | |
68 | /// <param name="format">Format.</param> |
|
67 | /// <param name="format">Format.</param> | |
69 | /// <param name="arguments">Arguments.</param> |
|
68 | /// <param name="arguments">Arguments.</param> | |
70 | [Conditional("DEBUG")] |
|
69 | [Conditional("DEBUG")] | |
71 | public static void Debug(string format, params object[] arguments) { |
|
70 | public static void Debug(string format, params object[] arguments) { | |
72 |
|
71 | |||
73 | } |
|
72 | } | |
74 |
|
73 | |||
75 | /// <summary> |
|
74 | /// <summary> | |
76 | /// Writes an informational message. |
|
75 | /// Writes an informational message. | |
77 | /// </summary> |
|
76 | /// </summary> | |
78 | /// <param name="format">Format.</param> |
|
77 | /// <param name="format">Format.</param> | |
79 | /// <param name="arguments">Arguments.</param> |
|
78 | /// <param name="arguments">Arguments.</param> | |
80 | [Conditional("TRACE")] |
|
79 | [Conditional("TRACE")] | |
81 | public static void Log(string format, params object[] arguments) { |
|
80 | public static void Log(string format, params object[] arguments) { | |
82 | TraceSource.TraceEvent(TraceEventType.Information, 0, format, arguments); |
|
81 | TraceSource.TraceEvent(TraceEventType.Information, 0, format, arguments); | |
83 | } |
|
82 | } | |
84 |
|
83 | |||
85 | /// <summary> |
|
84 | /// <summary> | |
86 | /// Writes a warning message. |
|
85 | /// Writes a warning message. | |
87 | /// </summary> |
|
86 | /// </summary> | |
88 | /// <param name="format">Format.</param> |
|
87 | /// <param name="format">Format.</param> | |
89 | /// <param name="arguments">Arguments.</param> |
|
88 | /// <param name="arguments">Arguments.</param> | |
90 | public static void Warn(string format, params object[] arguments) { |
|
89 | public static void Warn(string format, params object[] arguments) { | |
91 | TraceSource.TraceEvent(TraceEventType.Warning, 0, format, arguments); |
|
90 | TraceSource.TraceEvent(TraceEventType.Warning, 0, format, arguments); | |
92 | } |
|
91 | } | |
93 |
|
92 | |||
94 | /// <summary> |
|
93 | /// <summary> | |
95 | /// Writes a error message. |
|
94 | /// Writes a error message. | |
96 | /// </summary> |
|
95 | /// </summary> | |
97 | /// <param name="format">Format.</param> |
|
96 | /// <param name="format">Format.</param> | |
98 | /// <param name="arguments">Arguments.</param> |
|
97 | /// <param name="arguments">Arguments.</param> | |
99 | public static void Error(string format, params object[] arguments) { |
|
98 | public static void Error(string format, params object[] arguments) { | |
100 | TraceSource.TraceEvent(TraceEventType.Error, 0, format, arguments); |
|
99 | TraceSource.TraceEvent(TraceEventType.Error, 0, format, arguments); | |
101 | } |
|
100 | } | |
102 |
|
101 | |||
103 | public static void Error(Exception err) { |
|
102 | public static void Error(Exception err) { | |
104 | TraceSource.TraceData(TraceEventType.Error, 0, err); |
|
103 | TraceSource.TraceData(TraceEventType.Error, 0, err); | |
105 | } |
|
104 | } | |
106 |
|
105 | |||
107 | /// <summary> |
|
106 | /// <summary> | |
108 | /// This method save the current activity, and transfers to the specified activity, |
|
107 | /// This method save the current activity, and transfers to the specified activity, | |
109 | /// emits <see cref="TraceEventType.Start"/> and returns a scope of the new |
|
108 | /// emits <see cref="TraceEventType.Start"/> and returns a scope of the new | |
110 | /// activity. |
|
109 | /// activity. | |
111 | /// </summary> |
|
110 | /// </summary> | |
112 | /// <param name="activityName">The name of the new activity/</param> |
|
111 | /// <param name="activityName">The name of the new activity/</param> | |
113 | /// <param name="activityId">The identifier of the activity to which |
|
112 | /// <param name="activityId">The identifier of the activity to which | |
114 | /// the control will be transferred</param> |
|
113 | /// the control will be transferred</param> | |
115 | /// <returns>A scope of the new activity, dispose it to transfer |
|
114 | /// <returns>A scope of the new activity, dispose it to transfer | |
116 | /// the control back to the original activity.</returns> |
|
115 | /// the control back to the original activity.</returns> | |
117 | public static ActivityScope TransferActivity(string activityName, Guid activityId) { |
|
116 | public static ActivityScope TransferActivity(string activityName, Guid activityId) { | |
118 | var prev = Trace.CorrelationManager.ActivityId; |
|
117 | var prev = Trace.CorrelationManager.ActivityId; | |
119 |
|
118 | |||
120 | TraceSource.TraceTransfer(0, "Transfer", activityId); |
|
119 | TraceSource.TraceTransfer(0, "Transfer", activityId); | |
121 | Trace.CorrelationManager.ActivityId = activityId; |
|
120 | Trace.CorrelationManager.ActivityId = activityId; | |
122 | TraceSource.TraceEvent(TraceEventType.Start, 0, activityName); |
|
121 | TraceSource.TraceEvent(TraceEventType.Start, 0, activityName); | |
123 |
|
122 | |||
124 | return new ActivityScope(TraceSource, prev, 0, activityName); |
|
123 | return new ActivityScope(TraceSource, prev, 0, activityName); | |
125 | } |
|
124 | } | |
126 |
|
125 | |||
127 | /// <summary> |
|
126 | /// <summary> | |
128 | /// Emits <see cref="TraceEventType.Start"/> and returns a scope of the |
|
127 | /// Emits <see cref="TraceEventType.Start"/> and returns a scope of the | |
129 | /// activity. |
|
128 | /// activity. | |
130 | /// </summary> |
|
129 | /// </summary> | |
131 | /// <param name="activityName">The name of the activity to start</param> |
|
130 | /// <param name="activityName">The name of the activity to start</param> | |
132 | /// <returns>A scope of the new activity, dispose it to emit |
|
131 | /// <returns>A scope of the new activity, dispose it to emit | |
133 | /// <see cref="TraceEventType.Stop"/> for the current activity.</returns> |
|
132 | /// <see cref="TraceEventType.Stop"/> for the current activity.</returns> | |
134 | public static ActivityScope StartActivity(string activityName) { |
|
133 | public static ActivityScope StartActivity(string activityName) { | |
135 | if (Trace.CorrelationManager.ActivityId == Guid.Empty) |
|
134 | if (Trace.CorrelationManager.ActivityId == Guid.Empty) | |
136 | Trace.CorrelationManager.ActivityId = Guid.NewGuid(); |
|
135 | Trace.CorrelationManager.ActivityId = Guid.NewGuid(); | |
137 |
|
136 | |||
138 | var prev = Trace.CorrelationManager.ActivityId; |
|
137 | var prev = Trace.CorrelationManager.ActivityId; | |
139 |
|
138 | |||
140 | TraceSource.TraceEvent(TraceEventType.Start, 0, activityName); |
|
139 | TraceSource.TraceEvent(TraceEventType.Start, 0, activityName); | |
141 | return new ActivityScope(TraceSource, prev, 0, activityName); |
|
140 | return new ActivityScope(TraceSource, prev, 0, activityName); | |
142 | } |
|
141 | } | |
143 |
|
142 | |||
144 | /// <summary> |
|
143 | /// <summary> | |
145 | /// Creates new <see cref="LogicalOperation(string)"/> and calls |
|
144 | /// Creates new <see cref="LogicalOperation(string)"/> and calls | |
146 | /// to <see cref="CorrelationManager.StartLogicalOperation(object)"/> |
|
145 | /// to <see cref="CorrelationManager.StartLogicalOperation(object)"/> | |
147 | /// passing the created operation as identity. Calls |
|
146 | /// passing the created operation as identity. Calls | |
148 | /// <see cref="TraceSource.TraceData(TraceEventType, int, object)"/> |
|
147 | /// <see cref="TraceSource.TraceData(TraceEventType, int, object)"/> | |
149 | /// to notify listeners on operation start. |
|
148 | /// to notify listeners on operation start. | |
150 | /// </summary> |
|
149 | /// </summary> | |
151 | /// <param name="name">The name of the logical operation.</param> |
|
150 | /// <param name="name">The name of the logical operation.</param> | |
152 | /// <returns>Logical operation scope, disposing it will stop |
|
151 | /// <returns>Logical operation scope, disposing it will stop | |
153 | /// logical operation and notify trace listeners.</returns> |
|
152 | /// logical operation and notify trace listeners.</returns> | |
154 | public static LogicalOperationScope LogicalOperation(string name) { |
|
153 | public static LogicalOperationScope LogicalOperation(string name) { | |
155 | var operation = new LogicalOperation(name); |
|
154 | var operation = new LogicalOperation(name); | |
156 | TraceSource.TraceData(TraceEventType.Information, TraceEventCodes.StartLogicalOperation, operation); |
|
155 | TraceSource.TraceData(TraceEventType.Information, TraceEventCodes.StartLogicalOperation, operation); | |
157 | StartLogicalOperation(operation); |
|
156 | StartLogicalOperation(operation); | |
158 | return new LogicalOperationScope(TraceSource, operation); |
|
157 | return new LogicalOperationScope(TraceSource, operation); | |
159 | } |
|
158 | } | |
160 | } |
|
159 | } | |
161 | } |
|
160 | } |
@@ -1,127 +1,128 | |||||
1 | using Implab.Automaton; |
|
1 | using Implab.Automaton; | |
2 | using System; |
|
2 | using System; | |
3 | using System.Collections.Generic; |
|
3 | using System.Collections.Generic; | |
4 | using System.Diagnostics; |
|
4 | using System.Diagnostics; | |
5 | using System.Linq; |
|
5 | using System.Linq; | |
6 | using System.Runtime.CompilerServices; |
|
6 | using System.Runtime.CompilerServices; | |
7 | using System.Text; |
|
7 | using System.Text; | |
8 | using System.Threading.Tasks; |
|
8 | using System.Threading.Tasks; | |
9 |
|
9 | |||
10 | namespace Implab.Formats { |
|
10 | namespace Implab.Formats { | |
11 |
|
11 | |||
12 | /// <summary> |
|
12 | /// <summary> | |
13 |
/// Fast input scanner for max 255 states and |
|
13 | /// Fast input scanner for max 255 states and 255 input chacters. | |
14 | /// </summary> |
|
14 | /// </summary> | |
15 | /// <typeparam name="TTag"></typeparam> |
|
15 | /// <typeparam name="TTag"></typeparam> | |
16 | /// <remarks> |
|
16 | /// <remarks> | |
17 | /// Creates a one rank array to store automa transition table, each entry in this table is byte, to make this table fit into L1 cache. |
|
17 | /// <para> | |
18 | /// |
|
18 | /// Creates a one rank array to store automa transition table, each entry in this table is byte, to make this table small enough to fit L1 cache. | |
19 | /// Each entry is addressed as <c>(state << 8) | input</c> which make this quite fast to get the next state. |
|
19 | /// </para> | |
20 | /// |
|
20 | /// <para> | |
21 | /// Each input symbol below 255 is treated as 255. |
|
21 | /// Each entry is addressed as <c>(state << 8) | input</c> which make this quite fast to get the next state. Each input symbol below 255 is treated as 255. | |
|
22 | /// </para> | |||
22 | /// </remarks> |
|
23 | /// </remarks> | |
23 | public class FastInputScanner<TTag> { |
|
24 | public class FastInputScanner<TTag> { | |
24 | const int StateShift = 8; |
|
25 | const int StateShift = 8; | |
25 | const int StateMask = ~((1 << StateShift) - 1); |
|
26 | const int StateMask = ~((1 << StateShift) - 1); | |
26 | const int AlphabetSize = 1 << StateShift; |
|
27 | const int AlphabetSize = 1 << StateShift; | |
27 | const int UnclassifiedInput = (1 << StateShift) - 1; |
|
28 | const int UnclassifiedInput = (1 << StateShift) - 1; | |
28 | const byte UnreachableState = byte.MaxValue; |
|
29 | const byte UnreachableState = byte.MaxValue; | |
29 |
|
30 | |||
30 | readonly TTag[] m_tags; |
|
31 | readonly TTag[] m_tags; | |
31 | readonly bool[] m_final; |
|
32 | readonly bool[] m_final; | |
32 |
|
33 | |||
33 | readonly byte m_initialState; |
|
34 | readonly byte m_initialState; | |
34 | readonly byte[] m_dfa; |
|
35 | readonly byte[] m_dfa; | |
35 |
|
36 | |||
36 | int m_position; |
|
37 | int m_position; | |
37 | byte m_state; |
|
38 | byte m_state; | |
38 |
|
39 | |||
39 | protected FastInputScanner(byte[] table, bool[] final, TTag[] tags, byte initial) { |
|
40 | protected FastInputScanner(byte[] table, bool[] final, TTag[] tags, byte initial) { | |
40 | m_dfa = table; |
|
41 | m_dfa = table; | |
41 | m_final = final; |
|
42 | m_final = final; | |
42 | m_tags = tags; |
|
43 | m_tags = tags; | |
43 | m_initialState = initial; |
|
44 | m_initialState = initial; | |
44 | } |
|
45 | } | |
45 |
|
46 | |||
46 | public FastInputScanner(int[,] dfaTable, bool[] finalStates, TTag[] tags, int initialState, int[] inputMap) { |
|
47 | public FastInputScanner(int[,] dfaTable, bool[] finalStates, TTag[] tags, int initialState, int[] inputMap) { | |
47 | var states = dfaTable.GetLength(0); |
|
48 | var states = dfaTable.GetLength(0); | |
48 | Debug.Assert(states < byte.MaxValue); |
|
49 | Debug.Assert(states < byte.MaxValue); | |
49 |
|
50 | |||
50 | m_dfa = new byte[states << StateShift]; |
|
51 | m_dfa = new byte[states << StateShift]; | |
51 | m_initialState = (byte)initialState; |
|
52 | m_initialState = (byte)initialState; | |
52 |
|
53 | |||
53 | m_tags = tags; |
|
54 | m_tags = tags; | |
54 | m_final = finalStates; |
|
55 | m_final = finalStates; | |
55 |
|
56 | |||
56 | // iterate over states |
|
57 | // iterate over states | |
57 | for(int si = 0; si < states; si++) { |
|
58 | for(int si = 0; si < states; si++) { | |
58 | // state offset for the new table |
|
59 | // state offset for the new table | |
59 | var offset = si << StateShift; |
|
60 | var offset = si << StateShift; | |
60 |
|
61 | |||
61 | // iterate over alphabet |
|
62 | // iterate over alphabet | |
62 | for(int a = 0; a < AlphabetSize; a++) { |
|
63 | for(int a = 0; a < AlphabetSize; a++) { | |
63 | var next = dfaTable[si, a < inputMap.Length ? inputMap[a] : AutomatonConst.UnclassifiedInput]; |
|
64 | var next = dfaTable[si, a < inputMap.Length ? inputMap[a] : AutomatonConst.UnclassifiedInput]; | |
64 | if (next == AutomatonConst.UnreachableState) |
|
65 | if (next == AutomatonConst.UnreachableState) | |
65 | next = UnreachableState; |
|
66 | next = UnreachableState; | |
66 |
|
67 | |||
67 | m_dfa[offset | a] = (byte)next; |
|
68 | m_dfa[offset | a] = (byte)next; | |
68 | } |
|
69 | } | |
69 | } |
|
70 | } | |
70 | } |
|
71 | } | |
71 |
|
72 | |||
72 | public TTag Tag { |
|
73 | public TTag Tag { | |
73 | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
|
74 | [MethodImpl(MethodImplOptions.AggressiveInlining)] | |
74 | get { |
|
75 | get { | |
75 | return m_tags[m_state]; |
|
76 | return m_tags[m_state]; | |
76 | } |
|
77 | } | |
77 | } |
|
78 | } | |
78 |
|
79 | |||
79 | public int Position { |
|
80 | public int Position { | |
80 | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
|
81 | [MethodImpl(MethodImplOptions.AggressiveInlining)] | |
81 | get { |
|
82 | get { | |
82 | return m_position; |
|
83 | return m_position; | |
83 | } |
|
84 | } | |
84 | } |
|
85 | } | |
85 |
|
86 | |||
86 | public bool IsFinal { |
|
87 | public bool IsFinal { | |
87 | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
|
88 | [MethodImpl(MethodImplOptions.AggressiveInlining)] | |
88 | get { |
|
89 | get { | |
89 | return m_final[m_state]; |
|
90 | return m_final[m_state]; | |
90 | } |
|
91 | } | |
91 | } |
|
92 | } | |
92 |
|
93 | |||
93 | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
|
94 | [MethodImpl(MethodImplOptions.AggressiveInlining)] | |
94 | public void ResetState() { |
|
95 | public void ResetState() { | |
95 | m_state = m_initialState; |
|
96 | m_state = m_initialState; | |
96 | } |
|
97 | } | |
97 |
|
98 | |||
98 | public FastInputScanner<TTag> Clone() { |
|
99 | public FastInputScanner<TTag> Clone() { | |
99 | var clone = new FastInputScanner<TTag>(m_dfa, m_final, m_tags, m_initialState); |
|
100 | var clone = new FastInputScanner<TTag>(m_dfa, m_final, m_tags, m_initialState); | |
100 | clone.m_state = m_state; |
|
101 | clone.m_state = m_state; | |
101 | clone.m_position = m_position; |
|
102 | clone.m_position = m_position; | |
102 | return clone; |
|
103 | return clone; | |
103 | } |
|
104 | } | |
104 |
|
105 | |||
105 | public bool Scan(char[] data, int offset, int max) { |
|
106 | public bool Scan(char[] data, int offset, int max) { | |
106 | var next = m_state; |
|
107 | var next = m_state; | |
107 |
|
108 | |||
108 | m_position = offset; |
|
109 | m_position = offset; | |
109 | while (m_position < max) { |
|
110 | while (m_position < max) { | |
110 | var ch = data[m_position]; |
|
111 | var ch = data[m_position]; | |
111 |
|
112 | |||
112 | next = m_dfa[(ch >= AlphabetSize ? (next << StateShift) | UnclassifiedInput : (next << StateShift) | ch)]; |
|
113 | next = m_dfa[(ch >= AlphabetSize ? (next << StateShift) | UnclassifiedInput : (next << StateShift) | ch)]; | |
113 |
|
114 | |||
114 | if (next == UnreachableState) |
|
115 | if (next == UnreachableState) | |
115 | // scanner stops at the next position after the last recognized symbol |
|
116 | // scanner stops at the next position after the last recognized symbol | |
116 | return false; |
|
117 | return false; | |
117 |
|
118 | |||
118 | m_state = next; |
|
119 | m_state = next; | |
119 | m_position++; |
|
120 | m_position++; | |
120 | } |
|
121 | } | |
121 |
|
122 | |||
122 | return true; |
|
123 | return true; | |
123 | } |
|
124 | } | |
124 |
|
125 | |||
125 |
|
126 | |||
126 | } |
|
127 | } | |
127 | } |
|
128 | } |
@@ -1,140 +1,115 | |||||
1 | using System.Threading; |
|
1 | using System.Threading; | |
2 | using System.Collections.Generic; |
|
2 | using System.Collections.Generic; | |
3 | using System; |
|
3 | using System; | |
4 | using System.Collections; |
|
4 | using System.Collections; | |
5 |
|
5 | |||
6 | namespace Implab.Parallels { |
|
6 | namespace Implab.Parallels { | |
|
7 | ||||
|
8 | /// <summary> | |||
|
9 | /// Very simple thred-safe FIFO queue based on the sinle linked list. | |||
|
10 | /// </summary> | |||
|
11 | /// <typeparam name="T"></typeparam> | |||
|
12 | /// <remarks> | |||
|
13 | /// This queue uses interlocked operations to add and remove nodes, | |||
|
14 | /// each node stores a single value. The queue provides mean performance, | |||
|
15 | /// moderate overhead and situable for a small amount of elements. | |||
|
16 | /// </remarks> | |||
7 | public class SimpleAsyncQueue<T> : IEnumerable<T> { |
|
17 | public class SimpleAsyncQueue<T> : IEnumerable<T> { | |
8 | class Node { |
|
18 | class Node { | |
9 | public Node(T value) { |
|
19 | public Node(T value) { | |
10 | this.value = value; |
|
20 | this.value = value; | |
11 | } |
|
21 | } | |
12 | public readonly T value; |
|
22 | public readonly T value; | |
13 | public volatile Node next; |
|
23 | public volatile Node next; | |
14 | } |
|
24 | } | |
15 |
|
25 | |||
16 |
// the reader and the writer are maint |
|
26 | // the reader and the writer are maintained completely independent, | |
17 | // the reader can read next item when m_first.next is not null |
|
27 | // the reader can read next item when m_first.next is not null | |
18 | // the writer creates a new node, moves m_last to this node and |
|
28 | // the writer creates a new node, moves m_last to this node and | |
19 | // only after that restores the reference from the previous node |
|
29 | // only after that restores the reference from the previous node | |
20 |
// making the reader |
|
30 | // making the reader able to read the new node. | |
21 |
|
31 | |||
22 | volatile Node m_first; // position on the node which is already read |
|
32 | volatile Node m_first; // position on the node which is already read | |
23 | volatile Node m_last; // position on the node which is already written |
|
33 | volatile Node m_last; // position on the node which is already written | |
24 |
|
34 | |||
25 | public SimpleAsyncQueue() { |
|
35 | public SimpleAsyncQueue() { | |
26 | m_first = m_last = new Node(default(T)); |
|
36 | m_first = m_last = new Node(default(T)); | |
27 | } |
|
37 | } | |
28 |
|
38 | |||
29 | public void Enqueue(T value) { |
|
39 | public void Enqueue(T value) { | |
30 | var next = new Node(value); |
|
40 | var next = new Node(value); | |
31 |
|
41 | |||
32 | // Interlocaked.CompareExchange implies Thread.MemoryBarrier(); |
|
42 | // Interlocaked.CompareExchange implies Thread.MemoryBarrier(); | |
33 | // to ensure that the next node is completely constructed |
|
43 | // to ensure that the next node is completely constructed | |
34 | var last = Interlocked.Exchange(ref m_last, next); |
|
44 | var last = Interlocked.Exchange(ref m_last, next); | |
35 |
|
45 | |||
36 | // release-fence |
|
46 | // release-fence | |
37 | last.next = next; |
|
47 | last.next = next; | |
38 |
|
48 | |||
39 | } |
|
49 | } | |
40 |
|
50 | |||
41 | public bool TryDequeue(out T value) { |
|
51 | public bool TryDequeue(out T value) { | |
42 |
Node first = m_first; |
|
52 | Node first = m_first; | |
43 |
Node next = first.next; |
|
53 | Node next = first.next; | |
44 |
|
54 | |||
45 | if (next == null) { |
|
55 | if (next == null) { | |
46 | value = default(T); |
|
56 | value = default(T); | |
47 | return false; |
|
57 | return false; | |
48 | } |
|
58 | } | |
49 |
|
59 | |||
50 | var first2 = Interlocked.CompareExchange(ref m_first, next, first); |
|
60 | var first2 = Interlocked.CompareExchange(ref m_first, next, first); | |
51 |
|
61 | |||
52 | if (first != first2) { |
|
62 | if (first != first2) { | |
53 | // head is updated by someone else |
|
63 | // head is updated by someone else | |
54 |
|
64 | |||
55 | SpinWait spin = new SpinWait(); |
|
65 | SpinWait spin = new SpinWait(); | |
56 | do { |
|
66 | do { | |
57 | first = first2; |
|
67 | first = first2; | |
58 | next = first.next; |
|
68 | next = first.next; | |
59 | if (next == null) { |
|
69 | if (next == null) { | |
60 | value = default(T); |
|
70 | value = default(T); | |
61 | return false; |
|
71 | return false; | |
62 | } |
|
72 | } | |
63 |
|
73 | |||
64 | first2 = Interlocked.CompareExchange(ref m_first, next, first); |
|
74 | first2 = Interlocked.CompareExchange(ref m_first, next, first); | |
65 | if (first == first2) |
|
75 | if (first == first2) | |
66 | break; |
|
76 | break; | |
67 | spin.SpinOnce(); |
|
77 | spin.SpinOnce(); | |
68 | } while (true); |
|
78 | } while (true); | |
69 | } |
|
79 | } | |
70 |
|
80 | |||
71 | value = next.value; |
|
81 | value = next.value; | |
72 | return true; |
|
82 | return true; | |
73 | } |
|
83 | } | |
74 |
|
84 | |||
75 | #region IEnumerable implementation |
|
85 | /// <summary> | |
76 |
|
86 | /// Creates a thin copy of the current linked list. | ||
77 | class Enumerator : IEnumerator<T> { |
|
87 | /// </summary> | |
78 | Node m_current; |
|
88 | /// <remarks>Iterating over the snapshot is thread safe and | |
79 | Node m_first; |
|
89 | /// will produce repeatble results. Each snapshot stores only | |
80 |
|
90 | /// two references one for the first and one for last elements | ||
81 | public Enumerator(Node first) { |
|
91 | /// from list. | |
82 | m_first = first; |
|
92 | /// <returns>Enumerable collection.</returns> | |
83 | } |
|
93 | public IEnumerable<T> Snapshot() { | |
84 |
|
94 | var first = m_first; | ||
85 | #region IEnumerator implementation |
|
95 | var last = m_last; | |
86 |
|
||||
87 | public bool MoveNext() { |
|
|||
88 | m_current = m_current == null ? m_first : m_current.next; |
|
|||
89 | return m_current != null; |
|
|||
90 | } |
|
|||
91 |
|
||||
92 | public void Reset() { |
|
|||
93 | m_current = null; |
|
|||
94 | } |
|
|||
95 |
|
96 | |||
96 | object IEnumerator.Current { |
|
97 | var current = m_first; | |
97 | get { |
|
98 | while(current != m_last) { | |
98 |
|
|
99 | current = current.next; | |
99 | throw new InvalidOperationException(); |
|
100 | yield return current.value; | |
100 | return m_current.value; |
|
|||
101 | } |
|
|||
102 | } |
|
|||
103 |
|
||||
104 | #endregion |
|
|||
105 |
|
||||
106 | #region IDisposable implementation |
|
|||
107 |
|
||||
108 | public void Dispose() { |
|
|||
109 | } |
|
101 | } | |
110 |
|
||||
111 | #endregion |
|
|||
112 |
|
||||
113 | #region IEnumerator implementation |
|
|||
114 |
|
||||
115 | public T Current { |
|
|||
116 | get { |
|
|||
117 | if (m_current == null) |
|
|||
118 | throw new InvalidOperationException(); |
|
|||
119 | return m_current.value; |
|
|||
120 | } |
|
|||
121 | } |
|
|||
122 |
|
||||
123 | #endregion |
|
|||
124 | } |
|
102 | } | |
125 |
|
103 | |||
126 | public IEnumerator<T> GetEnumerator() { |
|
104 | public IEnumerator<T> GetEnumerator() { | |
127 | return new Enumerator(m_first); |
|
105 | for (var current = m_first.next; current != null; current = current.next) { | |
|
106 | yield return current.value; | |||
|
107 | } | |||
128 | } |
|
108 | } | |
129 |
|
109 | |||
130 | #endregion |
|
|||
131 |
|
||||
132 | #region IEnumerable implementation |
|
|||
133 |
|
||||
134 | IEnumerator IEnumerable.GetEnumerator() { |
|
110 | IEnumerator IEnumerable.GetEnumerator() { | |
135 | return GetEnumerator(); |
|
111 | return GetEnumerator(); | |
136 | } |
|
112 | } | |
137 |
|
113 | |||
138 | #endregion |
|
|||
139 | } |
|
114 | } | |
140 | } |
|
115 | } |
1 | NO CONTENT: file was removed |
|
NO CONTENT: file was removed |
General Comments 3
ok, latest stable version should be in default
You need to be logged in to leave comments.
Login now