@@ -1,434 +1,434 | |||||
1 | using System; |
|
1 | using System; | |
2 | using System.Reflection; |
|
2 | using System.Reflection; | |
3 | using System.Threading; |
|
3 | using System.Threading; | |
4 | using Implab.Parallels; |
|
4 | using Implab.Parallels; | |
5 |
|
5 | |||
6 | #if MONO |
|
6 | #if MONO | |
7 |
|
7 | |||
8 | using NUnit.Framework; |
|
8 | using NUnit.Framework; | |
9 | using TestClassAttribute = NUnit.Framework.TestFixtureAttribute; |
|
9 | using TestClassAttribute = NUnit.Framework.TestFixtureAttribute; | |
10 | using TestMethod = NUnit.Framework.TestAttribute; |
|
10 | using TestMethod = NUnit.Framework.TestAttribute; | |
11 |
|
11 | |||
12 | #else |
|
12 | #else | |
13 |
|
13 | |||
14 | using Microsoft.VisualStudio.TestTools.UnitTesting; |
|
14 | using Microsoft.VisualStudio.TestTools.UnitTesting; | |
15 |
|
15 | |||
16 | #endif |
|
16 | #endif | |
17 |
|
17 | |||
18 | namespace Implab.Test { |
|
18 | namespace Implab.Test { | |
19 | [TestClass] |
|
19 | [TestClass] | |
20 | public class AsyncTests { |
|
20 | public class AsyncTests { | |
21 | [TestMethod] |
|
21 | [TestMethod] | |
22 | public void ResolveTest() { |
|
22 | public void ResolveTest() { | |
23 | int res = -1; |
|
23 | int res = -1; | |
24 | var p = new Promise<int>(); |
|
24 | var p = new Promise<int>(); | |
25 | p.Then(x => res = x); |
|
25 | p.Then(x => res = x); | |
26 | p.Resolve(100); |
|
26 | p.Resolve(100); | |
27 |
|
27 | |||
28 | Assert.AreEqual(100, res); |
|
28 | Assert.AreEqual(100, res); | |
29 | } |
|
29 | } | |
30 |
|
30 | |||
31 | [TestMethod] |
|
31 | [TestMethod] | |
32 | public void RejectTest() { |
|
32 | public void RejectTest() { | |
33 | int res = -1; |
|
33 | int res = -1; | |
34 | Exception err = null; |
|
34 | Exception err = null; | |
35 |
|
35 | |||
36 | var p = new Promise<int>(); |
|
36 | var p = new Promise<int>(); | |
37 | p.Then( |
|
37 | p.Then( | |
38 | x => res = x, |
|
38 | x => res = x, | |
39 | e => { |
|
39 | e => { | |
40 | err = e; |
|
40 | err = e; | |
41 | return -2; |
|
41 | return -2; | |
42 | } |
|
42 | } | |
43 | ); |
|
43 | ); | |
44 | p.Reject(new ApplicationException("error")); |
|
44 | p.Reject(new ApplicationException("error")); | |
45 |
|
45 | |||
46 | Assert.AreEqual(res, -1); |
|
46 | Assert.AreEqual(res, -1); | |
47 | Assert.AreEqual(err.Message, "error"); |
|
47 | Assert.AreEqual(err.Message, "error"); | |
48 |
|
48 | |||
49 | } |
|
49 | } | |
50 |
|
50 | |||
51 | [TestMethod] |
|
51 | [TestMethod] | |
52 | public void CancelExceptionTest() { |
|
52 | public void CancelExceptionTest() { | |
53 | var p = new Promise<bool>(); |
|
53 | var p = new Promise<bool>(); | |
54 | p.Cancel(); |
|
54 | p.Cancel(); | |
55 |
|
55 | |||
56 | var p2 = p.Cancelled(() => { |
|
56 | var p2 = p.Cancelled(() => { | |
57 | throw new ApplicationException("CANCELLED"); |
|
57 | throw new ApplicationException("CANCELLED"); | |
58 | }); |
|
58 | }); | |
59 |
|
59 | |||
60 | try { |
|
60 | try { | |
61 | p2.Join(); |
|
61 | p2.Join(); | |
62 | Assert.Fail(); |
|
62 | Assert.Fail(); | |
63 | } catch (ApplicationException err) { |
|
63 | } catch (ApplicationException err) { | |
64 | Assert.AreEqual("CANCELLED", err.InnerException.Message); |
|
64 | Assert.AreEqual("CANCELLED", err.InnerException.Message); | |
65 | } |
|
65 | } | |
66 |
|
66 | |||
67 | } |
|
67 | } | |
68 |
|
68 | |||
69 | [TestMethod] |
|
69 | [TestMethod] | |
70 | public void ContinueOnCancelTest() { |
|
70 | public void ContinueOnCancelTest() { | |
71 | var p = new Promise<bool>(); |
|
71 | var p = new Promise<bool>(); | |
72 | p.Cancel(); |
|
72 | p.Cancel(); | |
73 |
|
73 | |||
74 | var p2 = p |
|
74 | var p2 = p | |
75 | .Cancelled(() => { |
|
75 | .Cancelled(() => { | |
76 | throw new ApplicationException("CANCELLED"); |
|
76 | throw new ApplicationException("CANCELLED"); | |
77 | }) |
|
77 | }) | |
78 | .Error(e => true); |
|
78 | .Error(e => true); | |
79 |
|
79 | |||
80 | Assert.AreEqual(true, p2.Join()); |
|
80 | Assert.AreEqual(true, p2.Join()); | |
81 | } |
|
81 | } | |
82 |
|
82 | |||
83 | [TestMethod] |
|
83 | [TestMethod] | |
84 | public void JoinSuccessTest() { |
|
84 | public void JoinSuccessTest() { | |
85 | var p = new Promise<int>(); |
|
85 | var p = new Promise<int>(); | |
86 | p.Resolve(100); |
|
86 | p.Resolve(100); | |
87 | Assert.AreEqual(p.Join(), 100); |
|
87 | Assert.AreEqual(p.Join(), 100); | |
88 | } |
|
88 | } | |
89 |
|
89 | |||
90 | [TestMethod] |
|
90 | [TestMethod] | |
91 | public void JoinFailTest() { |
|
91 | public void JoinFailTest() { | |
92 | var p = new Promise<int>(); |
|
92 | var p = new Promise<int>(); | |
93 | p.Reject(new ApplicationException("failed")); |
|
93 | p.Reject(new ApplicationException("failed")); | |
94 |
|
94 | |||
95 | try { |
|
95 | try { | |
96 | p.Join(); |
|
96 | p.Join(); | |
97 | throw new ApplicationException("WRONG!"); |
|
97 | throw new ApplicationException("WRONG!"); | |
98 | } catch (TargetInvocationException err) { |
|
98 | } catch (TargetInvocationException err) { | |
99 | Assert.AreEqual(err.InnerException.Message, "failed"); |
|
99 | Assert.AreEqual(err.InnerException.Message, "failed"); | |
100 | } catch { |
|
100 | } catch { | |
101 | Assert.Fail("Got wrong excaption"); |
|
101 | Assert.Fail("Got wrong excaption"); | |
102 | } |
|
102 | } | |
103 | } |
|
103 | } | |
104 |
|
104 | |||
105 | [TestMethod] |
|
105 | [TestMethod] | |
106 | public void MapTest() { |
|
106 | public void MapTest() { | |
107 | var p = new Promise<int>(); |
|
107 | var p = new Promise<int>(); | |
108 |
|
108 | |||
109 | var p2 = p.Then(x => x.ToString()); |
|
109 | var p2 = p.Then(x => x.ToString()); | |
110 | p.Resolve(100); |
|
110 | p.Resolve(100); | |
111 |
|
111 | |||
112 | Assert.AreEqual(p2.Join(), "100"); |
|
112 | Assert.AreEqual(p2.Join(), "100"); | |
113 | } |
|
113 | } | |
114 |
|
114 | |||
115 | [TestMethod] |
|
115 | [TestMethod] | |
116 | public void FixErrorTest() { |
|
116 | public void FixErrorTest() { | |
117 | var p = new Promise<int>(); |
|
117 | var p = new Promise<int>(); | |
118 |
|
118 | |||
119 | var p2 = p.Error(e => 101); |
|
119 | var p2 = p.Error(e => 101); | |
120 |
|
120 | |||
121 | p.Reject(new Exception()); |
|
121 | p.Reject(new Exception()); | |
122 |
|
122 | |||
123 | Assert.AreEqual(p2.Join(), 101); |
|
123 | Assert.AreEqual(p2.Join(), 101); | |
124 | } |
|
124 | } | |
125 |
|
125 | |||
126 | [TestMethod] |
|
126 | [TestMethod] | |
127 | public void ChainTest() { |
|
127 | public void ChainTest() { | |
128 | var p1 = new Promise<int>(); |
|
128 | var p1 = new Promise<int>(); | |
129 |
|
129 | |||
130 | var p3 = p1.Chain(x => { |
|
130 | var p3 = p1.Chain(x => { | |
131 | var p2 = new Promise<string>(); |
|
131 | var p2 = new Promise<string>(); | |
132 | p2.Resolve(x.ToString()); |
|
132 | p2.Resolve(x.ToString()); | |
133 | return p2; |
|
133 | return p2; | |
134 | }); |
|
134 | }); | |
135 |
|
135 | |||
136 | p1.Resolve(100); |
|
136 | p1.Resolve(100); | |
137 |
|
137 | |||
138 | Assert.AreEqual(p3.Join(), "100"); |
|
138 | Assert.AreEqual(p3.Join(), "100"); | |
139 | } |
|
139 | } | |
140 |
|
140 | |||
141 | [TestMethod] |
|
141 | [TestMethod] | |
142 | public void PoolTest() { |
|
142 | public void PoolTest() { | |
143 | var pid = Thread.CurrentThread.ManagedThreadId; |
|
143 | var pid = Thread.CurrentThread.ManagedThreadId; | |
144 | var p = AsyncPool.Invoke(() => Thread.CurrentThread.ManagedThreadId); |
|
144 | var p = AsyncPool.Invoke(() => Thread.CurrentThread.ManagedThreadId); | |
145 |
|
145 | |||
146 | Assert.AreNotEqual(pid, p.Join()); |
|
146 | Assert.AreNotEqual(pid, p.Join()); | |
147 | } |
|
147 | } | |
148 |
|
148 | |||
149 | [TestMethod] |
|
149 | [TestMethod] | |
150 | public void WorkerPoolSizeTest() { |
|
150 | public void WorkerPoolSizeTest() { | |
151 |
var pool = new WorkerPool(5, 10, |
|
151 | var pool = new WorkerPool(5, 10, 1); | |
152 |
|
152 | |||
153 | Assert.AreEqual(5, pool.PoolSize); |
|
153 | Assert.AreEqual(5, pool.PoolSize); | |
154 |
|
154 | |||
155 | pool.Invoke(() => { Thread.Sleep(100000000); return 10; }); |
|
155 | pool.Invoke(() => { Thread.Sleep(100000000); return 10; }); | |
156 | pool.Invoke(() => { Thread.Sleep(100000000); return 10; }); |
|
156 | pool.Invoke(() => { Thread.Sleep(100000000); return 10; }); | |
157 | pool.Invoke(() => { Thread.Sleep(100000000); return 10; }); |
|
157 | pool.Invoke(() => { Thread.Sleep(100000000); return 10; }); | |
158 |
|
158 | |||
159 | Assert.AreEqual(5, pool.PoolSize); |
|
159 | Assert.AreEqual(5, pool.PoolSize); | |
160 |
|
160 | |||
161 | for (int i = 0; i < 100; i++) |
|
161 | for (int i = 0; i < 100; i++) | |
162 | pool.Invoke(() => { Thread.Sleep(100000000); return 10; }); |
|
162 | pool.Invoke(() => { Thread.Sleep(100000000); return 10; }); | |
163 | Thread.Sleep(200); |
|
163 | Thread.Sleep(200); | |
164 | Assert.AreEqual(10, pool.PoolSize); |
|
164 | Assert.AreEqual(10, pool.PoolSize); | |
165 |
|
165 | |||
166 | pool.Dispose(); |
|
166 | pool.Dispose(); | |
167 | } |
|
167 | } | |
168 |
|
168 | |||
169 | [TestMethod] |
|
169 | [TestMethod] | |
170 | public void WorkerPoolCorrectTest() { |
|
170 | public void WorkerPoolCorrectTest() { | |
171 | var pool = new WorkerPool(0,1000,100); |
|
171 | var pool = new WorkerPool(0,1000,100); | |
172 |
|
172 | |||
173 | const int iterations = 1000; |
|
173 | const int iterations = 1000; | |
174 | int pending = iterations; |
|
174 | int pending = iterations; | |
175 | var stop = new ManualResetEvent(false); |
|
175 | var stop = new ManualResetEvent(false); | |
176 |
|
176 | |||
177 | var count = 0; |
|
177 | var count = 0; | |
178 | for (int i = 0; i < iterations; i++) { |
|
178 | for (int i = 0; i < iterations; i++) { | |
179 | pool |
|
179 | pool | |
180 | .Invoke(() => 1) |
|
180 | .Invoke(() => 1) | |
181 | .Then(x => Interlocked.Add(ref count, x)) |
|
181 | .Then(x => Interlocked.Add(ref count, x)) | |
182 | .Then(x => Math.Log10(x)) |
|
182 | .Then(x => Math.Log10(x)) | |
183 | .Anyway(() => { |
|
183 | .Anyway(() => { | |
184 | Interlocked.Decrement(ref pending); |
|
184 | Interlocked.Decrement(ref pending); | |
185 | if (pending == 0) |
|
185 | if (pending == 0) | |
186 | stop.Set(); |
|
186 | stop.Set(); | |
187 | }); |
|
187 | }); | |
188 | } |
|
188 | } | |
189 |
|
189 | |||
190 | stop.WaitOne(); |
|
190 | stop.WaitOne(); | |
191 |
|
191 | |||
192 | Assert.AreEqual(iterations, count); |
|
192 | Assert.AreEqual(iterations, count); | |
193 | Console.WriteLine("Max threads: {0}", pool.MaxRunningThreads); |
|
193 | Console.WriteLine("Max threads: {0}", pool.MaxRunningThreads); | |
194 | pool.Dispose(); |
|
194 | pool.Dispose(); | |
195 |
|
195 | |||
196 | } |
|
196 | } | |
197 |
|
197 | |||
198 | [TestMethod] |
|
198 | [TestMethod] | |
199 | public void WorkerPoolDisposeTest() { |
|
199 | public void WorkerPoolDisposeTest() { | |
200 | var pool = new WorkerPool(5, 20); |
|
200 | var pool = new WorkerPool(5, 20); | |
201 | Assert.AreEqual(5, pool.PoolSize); |
|
201 | Assert.AreEqual(5, pool.PoolSize); | |
202 | pool.Dispose(); |
|
202 | pool.Dispose(); | |
203 | Thread.Sleep(500); |
|
203 | Thread.Sleep(500); | |
204 | Assert.AreEqual(0, pool.PoolSize); |
|
204 | Assert.AreEqual(0, pool.PoolSize); | |
205 | pool.Dispose(); |
|
205 | pool.Dispose(); | |
206 | } |
|
206 | } | |
207 |
|
207 | |||
208 | [TestMethod] |
|
208 | [TestMethod] | |
209 | public void MTQueueTest() { |
|
209 | public void MTQueueTest() { | |
210 | var queue = new MTQueue<int>(); |
|
210 | var queue = new MTQueue<int>(); | |
211 | int res; |
|
211 | int res; | |
212 |
|
212 | |||
213 | queue.Enqueue(10); |
|
213 | queue.Enqueue(10); | |
214 | Assert.IsTrue(queue.TryDequeue(out res)); |
|
214 | Assert.IsTrue(queue.TryDequeue(out res)); | |
215 | Assert.AreEqual(10, res); |
|
215 | Assert.AreEqual(10, res); | |
216 | Assert.IsFalse(queue.TryDequeue(out res)); |
|
216 | Assert.IsFalse(queue.TryDequeue(out res)); | |
217 |
|
217 | |||
218 | for (int i = 0; i < 1000; i++) |
|
218 | for (int i = 0; i < 1000; i++) | |
219 | queue.Enqueue(i); |
|
219 | queue.Enqueue(i); | |
220 |
|
220 | |||
221 | for (int i = 0; i < 1000; i++) { |
|
221 | for (int i = 0; i < 1000; i++) { | |
222 | queue.TryDequeue(out res); |
|
222 | queue.TryDequeue(out res); | |
223 | Assert.AreEqual(i, res); |
|
223 | Assert.AreEqual(i, res); | |
224 | } |
|
224 | } | |
225 |
|
225 | |||
226 | int writers = 0; |
|
226 | int writers = 0; | |
227 | int readers = 0; |
|
227 | int readers = 0; | |
228 | var stop = new ManualResetEvent(false); |
|
228 | var stop = new ManualResetEvent(false); | |
229 | int total = 0; |
|
229 | int total = 0; | |
230 |
|
230 | |||
231 | const int itemsPerWriter = 10000; |
|
231 | const int itemsPerWriter = 10000; | |
232 | const int writersCount = 10; |
|
232 | const int writersCount = 10; | |
233 |
|
233 | |||
234 | for (int i = 0; i < writersCount; i++) { |
|
234 | for (int i = 0; i < writersCount; i++) { | |
235 | Interlocked.Increment(ref writers); |
|
235 | Interlocked.Increment(ref writers); | |
236 | AsyncPool |
|
236 | AsyncPool | |
237 | .InvokeNewThread(() => { |
|
237 | .InvokeNewThread(() => { | |
238 | for (int ii = 0; ii < itemsPerWriter; ii++) { |
|
238 | for (int ii = 0; ii < itemsPerWriter; ii++) { | |
239 | queue.Enqueue(1); |
|
239 | queue.Enqueue(1); | |
240 | } |
|
240 | } | |
241 | return 1; |
|
241 | return 1; | |
242 | }) |
|
242 | }) | |
243 | .Anyway(() => Interlocked.Decrement(ref writers)); |
|
243 | .Anyway(() => Interlocked.Decrement(ref writers)); | |
244 | } |
|
244 | } | |
245 |
|
245 | |||
246 | for (int i = 0; i < 10; i++) { |
|
246 | for (int i = 0; i < 10; i++) { | |
247 | Interlocked.Increment(ref readers); |
|
247 | Interlocked.Increment(ref readers); | |
248 | AsyncPool |
|
248 | AsyncPool | |
249 | .InvokeNewThread(() => { |
|
249 | .InvokeNewThread(() => { | |
250 | int t; |
|
250 | int t; | |
251 | do { |
|
251 | do { | |
252 | while (queue.TryDequeue(out t)) |
|
252 | while (queue.TryDequeue(out t)) | |
253 | Interlocked.Add(ref total, t); |
|
253 | Interlocked.Add(ref total, t); | |
254 | } while (writers > 0); |
|
254 | } while (writers > 0); | |
255 | return 1; |
|
255 | return 1; | |
256 | }) |
|
256 | }) | |
257 | .Anyway(() => { |
|
257 | .Anyway(() => { | |
258 | Interlocked.Decrement(ref readers); |
|
258 | Interlocked.Decrement(ref readers); | |
259 | if (readers == 0) |
|
259 | if (readers == 0) | |
260 | stop.Set(); |
|
260 | stop.Set(); | |
261 | }); |
|
261 | }); | |
262 | } |
|
262 | } | |
263 |
|
263 | |||
264 | stop.WaitOne(); |
|
264 | stop.WaitOne(); | |
265 |
|
265 | |||
266 | Assert.AreEqual(itemsPerWriter * writersCount, total); |
|
266 | Assert.AreEqual(itemsPerWriter * writersCount, total); | |
267 | } |
|
267 | } | |
268 |
|
268 | |||
269 | [TestMethod] |
|
269 | [TestMethod] | |
270 | public void ParallelMapTest() { |
|
270 | public void ParallelMapTest() { | |
271 |
|
271 | |||
272 | const int count = 100000; |
|
272 | const int count = 100000; | |
273 |
|
273 | |||
274 | var args = new double[count]; |
|
274 | var args = new double[count]; | |
275 | var rand = new Random(); |
|
275 | var rand = new Random(); | |
276 |
|
276 | |||
277 | for (int i = 0; i < count; i++) |
|
277 | for (int i = 0; i < count; i++) | |
278 | args[i] = rand.NextDouble(); |
|
278 | args[i] = rand.NextDouble(); | |
279 |
|
279 | |||
280 | var t = Environment.TickCount; |
|
280 | var t = Environment.TickCount; | |
281 | var res = args.ParallelMap(x => Math.Sin(x*x), 4).Join(); |
|
281 | var res = args.ParallelMap(x => Math.Sin(x*x), 4).Join(); | |
282 |
|
282 | |||
283 | Console.WriteLine("Map complete in {0} ms", Environment.TickCount - t); |
|
283 | Console.WriteLine("Map complete in {0} ms", Environment.TickCount - t); | |
284 |
|
284 | |||
285 | t = Environment.TickCount; |
|
285 | t = Environment.TickCount; | |
286 | for (int i = 0; i < count; i++) |
|
286 | for (int i = 0; i < count; i++) | |
287 | Assert.AreEqual(Math.Sin(args[i] * args[i]), res[i]); |
|
287 | Assert.AreEqual(Math.Sin(args[i] * args[i]), res[i]); | |
288 | Console.WriteLine("Verified in {0} ms", Environment.TickCount - t); |
|
288 | Console.WriteLine("Verified in {0} ms", Environment.TickCount - t); | |
289 | } |
|
289 | } | |
290 |
|
290 | |||
291 | [TestMethod] |
|
291 | [TestMethod] | |
292 | public void ChainedMapTest() { |
|
292 | public void ChainedMapTest() { | |
293 |
|
293 | |||
294 |
using (var pool = new WorkerPool(0,10,1 |
|
294 | using (var pool = new WorkerPool(0,10,1)) { | |
295 | const int count = 10000; |
|
295 | const int count = 10000; | |
296 |
|
296 | |||
297 | var args = new double[count]; |
|
297 | var args = new double[count]; | |
298 | var rand = new Random(); |
|
298 | var rand = new Random(); | |
299 |
|
299 | |||
300 | for (int i = 0; i < count; i++) |
|
300 | for (int i = 0; i < count; i++) | |
301 | args[i] = rand.NextDouble(); |
|
301 | args[i] = rand.NextDouble(); | |
302 |
|
302 | |||
303 | var t = Environment.TickCount; |
|
303 | var t = Environment.TickCount; | |
304 | var res = args |
|
304 | var res = args | |
305 | .ChainedMap( |
|
305 | .ChainedMap( | |
306 | // Analysis disable once AccessToDisposedClosure |
|
306 | // Analysis disable once AccessToDisposedClosure | |
307 | x => pool.Invoke( |
|
307 | x => pool.Invoke( | |
308 | () => Math.Sin(x * x) |
|
308 | () => Math.Sin(x * x) | |
309 | ), |
|
309 | ), | |
310 | 4 |
|
310 | 4 | |
311 | ) |
|
311 | ) | |
312 | .Join(); |
|
312 | .Join(); | |
313 |
|
313 | |||
314 | Console.WriteLine("Map complete in {0} ms", Environment.TickCount - t); |
|
314 | Console.WriteLine("Map complete in {0} ms", Environment.TickCount - t); | |
315 |
|
315 | |||
316 | t = Environment.TickCount; |
|
316 | t = Environment.TickCount; | |
317 | for (int i = 0; i < count; i++) |
|
317 | for (int i = 0; i < count; i++) | |
318 | Assert.AreEqual(Math.Sin(args[i] * args[i]), res[i]); |
|
318 | Assert.AreEqual(Math.Sin(args[i] * args[i]), res[i]); | |
319 | Console.WriteLine("Verified in {0} ms", Environment.TickCount - t); |
|
319 | Console.WriteLine("Verified in {0} ms", Environment.TickCount - t); | |
320 | Console.WriteLine("Max workers: {0}", pool.MaxRunningThreads); |
|
320 | Console.WriteLine("Max workers: {0}", pool.MaxRunningThreads); | |
321 | } |
|
321 | } | |
322 | } |
|
322 | } | |
323 |
|
323 | |||
324 | [TestMethod] |
|
324 | [TestMethod] | |
325 | public void ParallelForEachTest() { |
|
325 | public void ParallelForEachTest() { | |
326 |
|
326 | |||
327 | const int count = 100000; |
|
327 | const int count = 100000; | |
328 |
|
328 | |||
329 | var args = new int[count]; |
|
329 | var args = new int[count]; | |
330 | var rand = new Random(); |
|
330 | var rand = new Random(); | |
331 |
|
331 | |||
332 | for (int i = 0; i < count; i++) |
|
332 | for (int i = 0; i < count; i++) | |
333 | args[i] = (int)(rand.NextDouble() * 100); |
|
333 | args[i] = (int)(rand.NextDouble() * 100); | |
334 |
|
334 | |||
335 | int result = 0; |
|
335 | int result = 0; | |
336 |
|
336 | |||
337 | var t = Environment.TickCount; |
|
337 | var t = Environment.TickCount; | |
338 | args.ParallelForEach(x => Interlocked.Add(ref result, x), 4).Join(); |
|
338 | args.ParallelForEach(x => Interlocked.Add(ref result, x), 4).Join(); | |
339 |
|
339 | |||
340 | Console.WriteLine("Iteration complete in {0} ms, result: {1}", Environment.TickCount - t, result); |
|
340 | Console.WriteLine("Iteration complete in {0} ms, result: {1}", Environment.TickCount - t, result); | |
341 |
|
341 | |||
342 | int result2 = 0; |
|
342 | int result2 = 0; | |
343 |
|
343 | |||
344 | t = Environment.TickCount; |
|
344 | t = Environment.TickCount; | |
345 | for (int i = 0; i < count; i++) |
|
345 | for (int i = 0; i < count; i++) | |
346 | result2 += args[i]; |
|
346 | result2 += args[i]; | |
347 | Assert.AreEqual(result2, result); |
|
347 | Assert.AreEqual(result2, result); | |
348 | Console.WriteLine("Verified in {0} ms", Environment.TickCount - t); |
|
348 | Console.WriteLine("Verified in {0} ms", Environment.TickCount - t); | |
349 | } |
|
349 | } | |
350 |
|
350 | |||
351 | [TestMethod] |
|
351 | [TestMethod] | |
352 | public void ComplexCase1Test() { |
|
352 | public void ComplexCase1Test() { | |
353 | var flags = new bool[3]; |
|
353 | var flags = new bool[3]; | |
354 |
|
354 | |||
355 | // op1 (aync 200ms) => op2 (async 200ms) => op3 (sync map) |
|
355 | // op1 (aync 200ms) => op2 (async 200ms) => op3 (sync map) | |
356 |
|
356 | |||
357 | var step1 = PromiseHelper |
|
357 | var step1 = PromiseHelper | |
358 | .Sleep(200, "Alan") |
|
358 | .Sleep(200, "Alan") | |
359 | .Cancelled(() => flags[0] = true); |
|
359 | .Cancelled(() => flags[0] = true); | |
360 | var p = step1 |
|
360 | var p = step1 | |
361 | .Chain(x => |
|
361 | .Chain(x => | |
362 | PromiseHelper |
|
362 | PromiseHelper | |
363 | .Sleep(200, "Hi, " + x) |
|
363 | .Sleep(200, "Hi, " + x) | |
364 | .Then(y => y) |
|
364 | .Then(y => y) | |
365 | .Cancelled(() => flags[1] = true) |
|
365 | .Cancelled(() => flags[1] = true) | |
366 | ) |
|
366 | ) | |
367 | .Cancelled(() => flags[2] = true); |
|
367 | .Cancelled(() => flags[2] = true); | |
368 | step1.Join(); |
|
368 | step1.Join(); | |
369 | p.Cancel(); |
|
369 | p.Cancel(); | |
370 | try { |
|
370 | try { | |
371 | Assert.AreEqual(p.Join(), "Hi, Alan"); |
|
371 | Assert.AreEqual(p.Join(), "Hi, Alan"); | |
372 | Assert.Fail("Shouldn't get here"); |
|
372 | Assert.Fail("Shouldn't get here"); | |
373 | } catch (OperationCanceledException) { |
|
373 | } catch (OperationCanceledException) { | |
374 | } |
|
374 | } | |
375 |
|
375 | |||
376 | Assert.IsFalse(flags[0]); |
|
376 | Assert.IsFalse(flags[0]); | |
377 | Assert.IsTrue(flags[1]); |
|
377 | Assert.IsTrue(flags[1]); | |
378 | Assert.IsTrue(flags[2]); |
|
378 | Assert.IsTrue(flags[2]); | |
379 | } |
|
379 | } | |
380 |
|
380 | |||
381 | [TestMethod] |
|
381 | [TestMethod] | |
382 | public void ChainedCancel1Test() { |
|
382 | public void ChainedCancel1Test() { | |
383 | // ΠΏΡΠΈ ΠΎΡΠΌΠ΅Π½Π΅ ΡΡΠ΅ΠΏΠ»Π΅Π½Π½ΠΎΠΉ Π°ΡΠΈΠ½Ρ ΡΠΎΠ½Π½ΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π²ΡΠ΅ ΠΎΠ±Π΅ΡΠ°Π½ΠΈΠ΅ Π΄ΠΎΠ»ΠΆΠ½ΠΎ |
|
383 | // ΠΏΡΠΈ ΠΎΡΠΌΠ΅Π½Π΅ ΡΡΠ΅ΠΏΠ»Π΅Π½Π½ΠΎΠΉ Π°ΡΠΈΠ½Ρ ΡΠΎΠ½Π½ΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π²ΡΠ΅ ΠΎΠ±Π΅ΡΠ°Π½ΠΈΠ΅ Π΄ΠΎΠ»ΠΆΠ½ΠΎ | |
384 | // Π·Π°Π²Π΅ΡΡΠ°ΡΡΡΡ ΠΎΡΠΈΠ±ΠΊΠΎΠΉ OperationCanceledException |
|
384 | // Π·Π°Π²Π΅ΡΡΠ°ΡΡΡΡ ΠΎΡΠΈΠ±ΠΊΠΎΠΉ OperationCanceledException | |
385 | var p = PromiseHelper |
|
385 | var p = PromiseHelper | |
386 | .Sleep(1, "Hi, HAL!") |
|
386 | .Sleep(1, "Hi, HAL!") | |
387 | .Then(x => { |
|
387 | .Then(x => { | |
388 | // Π·Π°ΠΏΡΡΠΊΠ°Π΅ΠΌ Π΄Π²Π΅ Π°ΡΠΈΠ½Ρ ΡΠΎΠ½Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ |
|
388 | // Π·Π°ΠΏΡΡΠΊΠ°Π΅ΠΌ Π΄Π²Π΅ Π°ΡΠΈΠ½Ρ ΡΠΎΠ½Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ | |
389 | var result = PromiseHelper.Sleep(1000, "HEM ENABLED!!!"); |
|
389 | var result = PromiseHelper.Sleep(1000, "HEM ENABLED!!!"); | |
390 | // Π²ΡΠΎΡΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ ΠΎΡΠΌΠ΅Π½ΡΠ΅Ρ ΠΏΠ΅ΡΠ²ΡΡ Π΄ΠΎ Π·Π°Π²Π΅ΡΡΠ΅Π½ΠΈΡ |
|
390 | // Π²ΡΠΎΡΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ ΠΎΡΠΌΠ΅Π½ΡΠ΅Ρ ΠΏΠ΅ΡΠ²ΡΡ Π΄ΠΎ Π·Π°Π²Π΅ΡΡΠ΅Π½ΠΈΡ | |
391 | PromiseHelper |
|
391 | PromiseHelper | |
392 | .Sleep(100, "HAL, STOP!") |
|
392 | .Sleep(100, "HAL, STOP!") | |
393 | .Then(result.Cancel); |
|
393 | .Then(result.Cancel); | |
394 | return result; |
|
394 | return result; | |
395 | }); |
|
395 | }); | |
396 | try { |
|
396 | try { | |
397 | p.Join(); |
|
397 | p.Join(); | |
398 | } catch (TargetInvocationException err) { |
|
398 | } catch (TargetInvocationException err) { | |
399 | Assert.IsTrue(err.InnerException is OperationCanceledException); |
|
399 | Assert.IsTrue(err.InnerException is OperationCanceledException); | |
400 | } |
|
400 | } | |
401 | } |
|
401 | } | |
402 |
|
402 | |||
403 | [TestMethod] |
|
403 | [TestMethod] | |
404 | public void ChainedCancel2Test() { |
|
404 | public void ChainedCancel2Test() { | |
405 | // ΠΏΡΠΈ ΠΎΡΠΌΠ΅Π½Π΅ ΡΠ΅ΠΏΠΎΡΠΊΠΈ ΠΎΠ±Π΅ΡΠ°Π½ΠΈΠΉ, Π²Π»ΠΎΠΆΠ΅Π½Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠ°ΠΊΠΆΠ΅ Π΄ΠΎΠ»ΠΆΠ½Ρ ΠΎΡΠΌΠ΅Π½ΡΡΡΡΡ |
|
405 | // ΠΏΡΠΈ ΠΎΡΠΌΠ΅Π½Π΅ ΡΠ΅ΠΏΠΎΡΠΊΠΈ ΠΎΠ±Π΅ΡΠ°Π½ΠΈΠΉ, Π²Π»ΠΎΠΆΠ΅Π½Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠ°ΠΊΠΆΠ΅ Π΄ΠΎΠ»ΠΆΠ½Ρ ΠΎΡΠΌΠ΅Π½ΡΡΡΡΡ | |
406 | var pSurvive = new Promise<bool>(); |
|
406 | var pSurvive = new Promise<bool>(); | |
407 | var hemStarted = new ManualResetEvent(false); |
|
407 | var hemStarted = new ManualResetEvent(false); | |
408 | var p = PromiseHelper |
|
408 | var p = PromiseHelper | |
409 | .Sleep(1, "Hi, HAL!") |
|
409 | .Sleep(1, "Hi, HAL!") | |
410 | .Chain(x => { |
|
410 | .Chain(x => { | |
411 | hemStarted.Set(); |
|
411 | hemStarted.Set(); | |
412 | // Π·Π°ΠΏΡΡΠΊΠ°Π΅ΠΌ Π΄Π²Π΅ Π°ΡΠΈΠ½Ρ ΡΠΎΠ½Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ |
|
412 | // Π·Π°ΠΏΡΡΠΊΠ°Π΅ΠΌ Π΄Π²Π΅ Π°ΡΠΈΠ½Ρ ΡΠΎΠ½Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ | |
413 | var result = PromiseHelper |
|
413 | var result = PromiseHelper | |
414 | .Sleep(10000, "HEM ENABLED!!!") |
|
414 | .Sleep(10000, "HEM ENABLED!!!") | |
415 | .Then(s => pSurvive.Resolve(false)); |
|
415 | .Then(s => pSurvive.Resolve(false)); | |
416 |
|
416 | |||
417 | result |
|
417 | result | |
418 | .Cancelled(() => pSurvive.Resolve(true)); |
|
418 | .Cancelled(() => pSurvive.Resolve(true)); | |
419 |
|
419 | |||
420 | return result; |
|
420 | return result; | |
421 | }); |
|
421 | }); | |
422 |
|
422 | |||
423 | hemStarted.WaitOne(); |
|
423 | hemStarted.WaitOne(); | |
424 | p.Cancel(); |
|
424 | p.Cancel(); | |
425 |
|
425 | |||
426 | try { |
|
426 | try { | |
427 | p.Join(); |
|
427 | p.Join(); | |
428 | } catch (OperationCanceledException) { |
|
428 | } catch (OperationCanceledException) { | |
429 | Assert.IsTrue(pSurvive.Join()); |
|
429 | Assert.IsTrue(pSurvive.Join()); | |
430 | } |
|
430 | } | |
431 | } |
|
431 | } | |
432 | } |
|
432 | } | |
433 | } |
|
433 | } | |
434 |
|
434 |
@@ -1,343 +1,204 | |||||
1 | using System; |
|
1 | using System; | |
2 | using System.Collections.Generic; |
|
2 | using System.Collections.Generic; | |
3 | using System.Linq; |
|
3 | using System.Linq; | |
4 | using System.Text; |
|
4 | using System.Text; | |
5 | using System.Threading; |
|
5 | using System.Threading; | |
6 | using System.Diagnostics; |
|
6 | using System.Diagnostics; | |
7 |
|
7 | |||
8 | namespace Implab.Parallels { |
|
8 | namespace Implab.Parallels { | |
9 | public abstract class DispatchPool<TUnit> : IDisposable { |
|
9 | public abstract class DispatchPool<TUnit> : IDisposable { | |
10 | readonly int m_minThreads; |
|
10 | readonly int m_minThreadsLimit; | |
11 | readonly int m_maxThreads; |
|
11 | readonly int m_maxThreadsLimit; | |
12 | readonly int m_releaseTimeout = 100; // the timeout while the working thread will wait for the new tasks before exit |
|
12 | readonly int m_releaseTimeout = 1000; // the timeout while the working thread will wait for the new tasks before exit | |
13 |
|
13 | |||
14 |
int m_ |
|
14 | int m_threads = 0; // the current size of the pool | |
15 | int m_activeThreads = 0; // the count of threads which are active |
|
|||
16 | int m_sleepingThreads = 0; // the count of currently inactive threads |
|
|||
17 | int m_maxRunningThreads = 0; // the meximum reached size of the pool |
|
15 | int m_maxRunningThreads = 0; // the meximum reached size of the pool | |
18 |
int m_exit |
|
16 | int m_exit = 0; // the pool is going to shutdown, all unused workers are released | |
19 |
|
17 | |||
20 | int m_wakeEvents = 0; // the count of wake events |
|
18 | readonly object m_signal = new object(); // used to pulse waiting threads | |
21 |
|
||||
22 | readonly object m_signalLocker = new object(); |
|
|||
23 |
|
19 | |||
24 | protected DispatchPool(int min, int max) { |
|
20 | protected DispatchPool(int min, int max) { | |
25 | if (min < 0) |
|
21 | if (min < 0) | |
26 | throw new ArgumentOutOfRangeException("min"); |
|
22 | throw new ArgumentOutOfRangeException("min"); | |
27 | if (max <= 0) |
|
23 | if (max <= 0) | |
28 | throw new ArgumentOutOfRangeException("max"); |
|
24 | throw new ArgumentOutOfRangeException("max"); | |
29 |
|
25 | |||
30 | if (min > max) |
|
26 | if (min > max) | |
31 | min = max; |
|
27 | min = max; | |
32 | m_minThreads = min; |
|
28 | m_minThreadsLimit = min; | |
33 | m_maxThreads = max; |
|
29 | m_maxThreadsLimit = max; | |
34 | } |
|
30 | } | |
35 |
|
31 | |||
36 | protected DispatchPool(int threads) |
|
32 | protected DispatchPool(int threads) | |
37 | : this(threads, threads) { |
|
33 | : this(threads, threads) { | |
38 | } |
|
34 | } | |
39 |
|
35 | |||
40 | protected DispatchPool() { |
|
36 | protected DispatchPool() { | |
41 | int maxThreads, maxCP; |
|
37 | int maxThreads, maxCP; | |
42 | ThreadPool.GetMaxThreads(out maxThreads, out maxCP); |
|
38 | ThreadPool.GetMaxThreads(out maxThreads, out maxCP); | |
43 |
|
39 | |||
44 | m_minThreads = 0; |
|
40 | m_minThreadsLimit = 0; | |
45 | m_maxThreads = maxThreads; |
|
41 | m_maxThreadsLimit = maxThreads; | |
46 | } |
|
42 | } | |
47 |
|
43 | |||
48 | protected void InitPool() { |
|
44 | protected void InitPool() { | |
49 | for (int i = 0; i < m_minThreads; i++) |
|
45 | for (int i = 0; i < m_minThreadsLimit; i++) | |
50 | StartWorker(); |
|
46 | StartWorker(); | |
51 | } |
|
47 | } | |
52 |
|
48 | |||
53 | public int PoolSize { |
|
49 | public int PoolSize { | |
54 | get { |
|
50 | get { | |
55 | Thread.MemoryBarrier(); |
|
51 | Thread.MemoryBarrier(); | |
56 |
return m_ |
|
52 | return m_threads; | |
57 | } |
|
|||
58 | } |
|
|||
59 |
|
||||
60 | public int ActiveThreads { |
|
|||
61 | get { |
|
|||
62 | Thread.MemoryBarrier(); |
|
|||
63 | return m_activeThreads; |
|
|||
64 | } |
|
53 | } | |
65 | } |
|
54 | } | |
66 |
|
55 | |||
67 | public int MaxRunningThreads { |
|
56 | public int MaxRunningThreads { | |
68 | get { |
|
57 | get { | |
69 | Thread.MemoryBarrier(); |
|
58 | Thread.MemoryBarrier(); | |
70 | return m_maxRunningThreads; |
|
59 | return m_maxRunningThreads; | |
71 | } |
|
60 | } | |
72 | } |
|
61 | } | |
73 |
|
62 | |||
74 | protected bool IsDisposed { |
|
63 | protected bool IsDisposed { | |
75 | get { |
|
64 | get { | |
76 | Thread.MemoryBarrier(); |
|
65 | Thread.MemoryBarrier(); | |
77 |
return m_exit |
|
66 | return m_exit == 1; | |
78 | } |
|
67 | } | |
79 | } |
|
68 | } | |
80 |
|
69 | |||
81 | protected abstract bool TryDequeue(out TUnit unit); |
|
70 | protected abstract bool TryDequeue(out TUnit unit); | |
82 |
|
71 | |||
83 | #region thread signaling traits |
|
72 | private bool Dequeue(out TUnit unit, int timeout) { | |
84 | int SignalThread() { |
|
73 | int ts = Environment.TickCount; | |
85 | var signals = Interlocked.Increment(ref m_wakeEvents); |
|
74 | if (TryDequeue(out unit)) | |
86 | if(signals == 1) |
|
75 | return true; | |
87 |
|
|
76 | lock (m_signal) { | |
88 | Monitor.Pulse(m_signalLocker); |
|
77 | while (!TryDequeue(out unit) && m_exit == 0) | |
89 | return signals; |
|
78 | if(!Monitor.Wait(m_signal, Math.Max(0, ts + timeout - Environment.TickCount))) { | |
|
79 | // timeout | |||
|
80 | return false; | |||
90 | } |
|
81 | } | |
91 |
|
82 | // queue item or terminate | ||
92 | bool FetchSignalOrWait(int timeout) { |
|
83 | Monitor.Pulse(m_signal); | |
93 | var start = Environment.TickCount; |
|
84 | if (m_exit == 1) | |
94 |
|
|
85 | return false; | |
95 | Thread.MemoryBarrier(); // m_wakeEvents volatile first read |
|
|||
96 | do { |
|
|||
97 | signals = m_wakeEvents; |
|
|||
98 | if (signals == 0) |
|
|||
99 | break; |
|
|||
100 | } while (Interlocked.CompareExchange(ref m_wakeEvents, signals - 1, signals) != signals); |
|
|||
101 |
|
||||
102 | if (signals == 0) { |
|
|||
103 | // no signal is fetched |
|
|||
104 | lock(m_signalLocker) { |
|
|||
105 | while(m_wakeEvents == 0) { |
|
|||
106 | if (timeout != -1) |
|
|||
107 | timeout = Math.Max(0, timeout - (Environment.TickCount - start)); |
|
|||
108 | if(!Monitor.Wait(m_signalLocker,timeout)) |
|
|||
109 | return false; // timeout |
|
|||
110 |
|
|
86 | } | |
111 | // m_wakeEvents > 0 |
|
|||
112 | if (Interlocked.Decrement(ref m_wakeEvents) > 0) //syncronized |
|
|||
113 | Monitor.Pulse(m_signalLocker); |
|
|||
114 |
|
||||
115 | // signal fetched |
|
|||
116 | return true; |
|
|||
117 | } |
|
|||
118 |
|
||||
119 | } else { |
|
|||
120 | // signal fetched |
|
|||
121 |
|
|
87 | return true; | |
122 |
|
|
88 | } | |
123 |
|
89 | |||
124 |
|
90 | protected void SignalThread() { | ||
125 | } |
|
91 | lock (m_signal) { | |
126 |
|
92 | Monitor.Pulse(m_signal); | ||
127 | bool Sleep(int timeout) { |
|
|||
128 | Interlocked.Increment(ref m_sleepingThreads); |
|
|||
129 | if (FetchSignalOrWait(timeout)) { |
|
|||
130 | Interlocked.Decrement(ref m_sleepingThreads); |
|
|||
131 | return true; |
|
|||
132 | } else { |
|
|||
133 | Interlocked.Decrement(ref m_sleepingThreads); |
|
|||
134 | return false; |
|
|||
135 | } |
|
|||
136 | } |
|
|||
137 | #endregion |
|
|||
138 |
|
||||
139 | /// <summary> |
|
|||
140 | /// ΠΠ°ΠΏΡΡΠΊΠ°Π΅Ρ Π»ΠΈΠ±ΠΎ Π½ΠΎΠ²ΡΠΉ ΠΏΠΎΡΠΎΠΊ, Π΅ΡΠ»ΠΈ ΡΠ°Π½ΡΡΠ΅ Π½Π΅ Π±ΡΠ»ΠΎ Π½ΠΈ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΏΠΎΡΠΎΠΊΠ°, Π»ΠΈΠ±ΠΎ ΡΡΡΠ°Π½Π°Π²Π»ΠΈΠ²Π°Π΅Ρ ΡΠΎΠ±ΡΡΠΈΠ΅ ΠΏΡΠΎΠ±ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΡΠΏΡΡΠ΅Π³ΠΎ ΠΏΠΎΡΠΎΠΊΠ° |
|
|||
141 | /// </summary> |
|
|||
142 | protected void GrowPool() { |
|
|||
143 | Thread.MemoryBarrier(); |
|
|||
144 | if (m_exitRequired == 1) |
|
|||
145 | return; |
|
|||
146 | if (m_sleepingThreads > m_wakeEvents) { |
|
|||
147 | //Console.WriteLine("Waking threads (sleeps {0}, pending {1})", m_sleepingThreads, m_wakeEvents); |
|
|||
148 |
|
||||
149 | // all sleeping threads may gone |
|
|||
150 | SignalThread(); // wake a sleeping thread; |
|
|||
151 |
|
||||
152 | // we can't check whether signal has been processed |
|
|||
153 | // anyway it may take some time for the thread to start |
|
|||
154 | // we will ensure that at least one thread is running |
|
|||
155 |
|
||||
156 | EnsurePoolIsAlive(); |
|
|||
157 | } else { |
|
|||
158 | // if there is no sleeping threads in the pool |
|
|||
159 | if (!StartWorker()) { |
|
|||
160 | // we haven't started a new thread, but the current can be on the way to terminate and it can't process the queue |
|
|||
161 | // send it a signal to spin again |
|
|||
162 | SignalThread(); |
|
|||
163 | EnsurePoolIsAlive(); |
|
|||
164 | } |
|
|||
165 | } |
|
93 | } | |
166 | } |
|
94 | } | |
167 |
|
95 | |||
168 | protected void EnsurePoolIsAlive() { |
|
|||
169 | if (AllocateThreadSlot(1)) { |
|
|||
170 | // if there were no threads in the pool |
|
|||
171 | var worker = new Thread(this.Worker); |
|
|||
172 | worker.IsBackground = true; |
|
|||
173 | worker.Start(); |
|
|||
174 | } |
|
|||
175 | } |
|
|||
176 |
|
||||
177 | protected virtual bool Suspend() { |
|
|||
178 | //no tasks left, exit if the thread is no longer needed |
|
|||
179 | bool last; |
|
|||
180 | bool requestExit; |
|
|||
181 |
|
||||
182 | // if threads have a timeout before releasing |
|
|||
183 | if (m_releaseTimeout > 0) |
|
|||
184 | requestExit = !Sleep(m_releaseTimeout); |
|
|||
185 | else |
|
|||
186 | requestExit = true; |
|
|||
187 |
|
||||
188 | if (!requestExit) |
|
|||
189 | return true; |
|
|||
190 |
|
||||
191 | // release unsused thread |
|
|||
192 | if (requestExit && ReleaseThreadSlot(out last)) { |
|
|||
193 | // in case at the moment the last thread was being released |
|
|||
194 | // a new task was added to the queue, we need to try |
|
|||
195 | // to revoke the thread to avoid the situation when the task is left unprocessed |
|
|||
196 | if (last && FetchSignalOrWait(0)) { // FetchSignalOrWait(0) will fetch pending task or will return false |
|
|||
197 | SignalThread(); // since FetchSignalOrWait(0) has fetched the signal we need to reschedule it |
|
|||
198 | return AllocateThreadSlot(1); // ensure that at least one thread is alive |
|
|||
199 | } |
|
|||
200 |
|
||||
201 | return false; |
|
|||
202 | } |
|
|||
203 |
|
||||
204 | // wait till infinity |
|
|||
205 | Sleep(-1); |
|
|||
206 |
|
||||
207 | return true; |
|
|||
208 | } |
|
|||
209 |
|
||||
210 | #region thread slots traits |
|
96 | #region thread slots traits | |
211 |
|
97 | |||
212 | bool AllocateThreadSlot() { |
|
98 | bool AllocateThreadSlot() { | |
213 | int current; |
|
99 | int current; | |
214 | // use spins to allocate slot for the new thread |
|
100 | // use spins to allocate slot for the new thread | |
215 | do { |
|
101 | do { | |
216 |
current = m_ |
|
102 | current = m_threads; | |
217 |
if (current >= m_maxThreads || m_exit |
|
103 | if (current >= m_maxThreadsLimit || m_exit == 1) | |
218 | // no more slots left or the pool has been disposed |
|
104 | // no more slots left or the pool has been disposed | |
219 | return false; |
|
105 | return false; | |
220 |
} while (current != Interlocked.CompareExchange(ref m_ |
|
106 | } while (current != Interlocked.CompareExchange(ref m_threads, current + 1, current)); | |
221 |
|
107 | |||
222 | UpdateMaxThreads(current + 1); |
|
108 | UpdateMaxThreads(current + 1); | |
223 |
|
109 | |||
224 | return true; |
|
110 | return true; | |
225 | } |
|
111 | } | |
226 |
|
112 | |||
227 | bool AllocateThreadSlot(int desired) { |
|
113 | bool AllocateThreadSlot(int desired) { | |
228 |
if (desired - 1 != Interlocked.CompareExchange(ref m_ |
|
114 | if (desired - 1 != Interlocked.CompareExchange(ref m_threads, desired, desired - 1)) | |
229 | return false; |
|
115 | return false; | |
230 |
|
116 | |||
231 | UpdateMaxThreads(desired); |
|
117 | UpdateMaxThreads(desired); | |
232 |
|
118 | |||
233 | return true; |
|
119 | return true; | |
234 | } |
|
120 | } | |
235 |
|
121 | |||
236 | bool ReleaseThreadSlot(out bool last) { |
|
122 | bool ReleaseThreadSlot(out bool last) { | |
237 | last = false; |
|
123 | last = false; | |
238 | int current; |
|
124 | int current; | |
239 | // use spins to release slot for the new thread |
|
125 | // use spins to release slot for the new thread | |
240 | Thread.MemoryBarrier(); |
|
126 | Thread.MemoryBarrier(); | |
241 | do { |
|
127 | do { | |
242 |
current = m_ |
|
128 | current = m_threads; | |
243 |
if (current <= m_minThreads && m_exit |
|
129 | if (current <= m_minThreadsLimit && m_exit == 0) | |
244 | // the thread is reserved |
|
130 | // the thread is reserved | |
245 | return false; |
|
131 | return false; | |
246 |
} while (current != Interlocked.CompareExchange(ref m_ |
|
132 | } while (current != Interlocked.CompareExchange(ref m_threads, current - 1, current)); | |
247 |
|
133 | |||
248 | last = (current == 1); |
|
134 | last = (current == 1); | |
249 |
|
135 | |||
250 | return true; |
|
136 | return true; | |
251 | } |
|
137 | } | |
252 |
|
138 | |||
253 | /// <summary> |
|
|||
254 | /// releases thread slot unconditionally, used during cleanup |
|
|||
255 | /// </summary> |
|
|||
256 | /// <returns>true - no more threads left</returns> |
|
|||
257 | bool ReleaseThreadSlotAnyway() { |
|
|||
258 | var left = Interlocked.Decrement(ref m_createdThreads); |
|
|||
259 | return left == 0; |
|
|||
260 | } |
|
|||
261 |
|
||||
262 | void UpdateMaxThreads(int count) { |
|
139 | void UpdateMaxThreads(int count) { | |
263 | int max; |
|
140 | int max; | |
264 | do { |
|
141 | do { | |
265 | max = m_maxRunningThreads; |
|
142 | max = m_maxRunningThreads; | |
266 | if (max >= count) |
|
143 | if (max >= count) | |
267 | break; |
|
144 | break; | |
268 | } while(max != Interlocked.CompareExchange(ref m_maxRunningThreads, count, max)); |
|
145 | } while(max != Interlocked.CompareExchange(ref m_maxRunningThreads, count, max)); | |
269 | } |
|
146 | } | |
270 |
|
147 | |||
271 | #endregion |
|
148 | #endregion | |
272 |
|
149 | |||
273 | bool StartWorker() { |
|
150 | protected bool StartWorker() { | |
274 | if (AllocateThreadSlot()) { |
|
151 | if (AllocateThreadSlot()) { | |
275 | // slot successfully allocated |
|
152 | // slot successfully allocated | |
276 | var worker = new Thread(this.Worker); |
|
153 | var worker = new Thread(this.Worker); | |
277 | worker.IsBackground = true; |
|
154 | worker.IsBackground = true; | |
278 | Interlocked.Increment(ref m_activeThreads); |
|
|||
279 | worker.Start(); |
|
155 | worker.Start(); | |
280 |
|
156 | |||
281 | return true; |
|
157 | return true; | |
282 | } else { |
|
158 | } else { | |
283 | return false; |
|
159 | return false; | |
284 | } |
|
160 | } | |
285 | } |
|
161 | } | |
286 |
|
162 | |||
287 | protected abstract void InvokeUnit(TUnit unit); |
|
163 | protected abstract void InvokeUnit(TUnit unit); | |
288 |
|
164 | |||
289 | protected virtual void Worker() { |
|
165 | protected virtual void Worker() { | |
290 | TUnit unit; |
|
166 | TUnit unit; | |
291 | //Console.WriteLine("{0}: Active", Thread.CurrentThread.ManagedThreadId); |
|
167 | bool last; | |
292 | int count = 0;; |
|
|||
293 | Thread.MemoryBarrier(); |
|
|||
294 | do { |
|
168 | do { | |
295 | // exit if requested |
|
169 | while (Dequeue(out unit, m_releaseTimeout)) { | |
296 | if (m_exitRequired == 1) { |
|
170 | InvokeUnit(unit); | |
297 | // release the thread slot |
|
171 | } | |
298 | Interlocked.Decrement(ref m_activeThreads); |
|
172 | if(!ReleaseThreadSlot(out last)) | |
299 | if (!ReleaseThreadSlotAnyway()) // it was the last worker |
|
173 | continue; | |
300 | SignalThread(); // wake next worker |
|
174 | // queue may be not empty | |
|
175 | if (last && TryDequeue(out unit)) { | |||
|
176 | InvokeUnit(unit); | |||
|
177 | if (AllocateThreadSlot(1)) | |||
|
178 | continue; | |||
|
179 | // we can safely exit since pool is alive | |||
|
180 | } | |||
301 |
|
|
181 | break; | |
|
182 | } while(true); | |||
302 |
|
|
183 | } | |
303 |
|
184 | |||
304 | // fetch task |
|
|||
305 | if (TryDequeue(out unit)) { |
|
|||
306 | InvokeUnit(unit); |
|
|||
307 | count ++; |
|
|||
308 | continue; |
|
|||
309 | } |
|
|||
310 | Interlocked.Decrement(ref m_activeThreads); |
|
|||
311 |
|
||||
312 | Console.WriteLine("{0}: Suspend processed({1})", Thread.CurrentThread.ManagedThreadId,count); |
|
|||
313 | // entering suspend state |
|
|||
314 | // keep this thread and wait |
|
|||
315 | if (!Suspend()) |
|
|||
316 | break; |
|
|||
317 | count = 0; |
|
|||
318 | //Console.WriteLine("{0}: Awake", Thread.CurrentThread.ManagedThreadId); |
|
|||
319 | Interlocked.Increment(ref m_activeThreads); |
|
|||
320 | } while (true); |
|
|||
321 | //Console.WriteLine("{0}: Exited", Thread.CurrentThread.ManagedThreadId); |
|
|||
322 | } |
|
|||
323 |
|
185 | |||
324 | protected virtual void Dispose(bool disposing) { |
|
186 | protected virtual void Dispose(bool disposing) { | |
325 | if (disposing) { |
|
187 | if (disposing) { | |
326 |
if (0 == Interlocked.CompareExchange(ref m_exit |
|
188 | if (0 == Interlocked.CompareExchange(ref m_exit, 1, 0)) { // implies memory barrier | |
327 | // wake sleeping threads |
|
189 | // wake sleeping threads | |
328 | if (m_createdThreads > 0) |
|
|||
329 |
|
|
190 | SignalThread(); | |
330 | GC.SuppressFinalize(this); |
|
191 | GC.SuppressFinalize(this); | |
331 | } |
|
192 | } | |
332 | } |
|
193 | } | |
333 | } |
|
194 | } | |
334 |
|
195 | |||
335 | public void Dispose() { |
|
196 | public void Dispose() { | |
336 | Dispose(true); |
|
197 | Dispose(true); | |
337 | } |
|
198 | } | |
338 |
|
199 | |||
339 | ~DispatchPool() { |
|
200 | ~DispatchPool() { | |
340 | Dispose(false); |
|
201 | Dispose(false); | |
341 | } |
|
202 | } | |
342 | } |
|
203 | } | |
343 | } |
|
204 | } |
@@ -1,106 +1,89 | |||||
1 | using System; |
|
1 | using System; | |
2 | using System.Collections.Generic; |
|
2 | using System.Collections.Generic; | |
3 | using System.Linq; |
|
3 | using System.Linq; | |
4 | using System.Text; |
|
4 | using System.Text; | |
5 | using System.Threading; |
|
5 | using System.Threading; | |
6 | using System.Diagnostics; |
|
6 | using System.Diagnostics; | |
7 | using Implab.Diagnostics; |
|
7 | using Implab.Diagnostics; | |
8 |
|
8 | |||
9 | namespace Implab.Parallels { |
|
9 | namespace Implab.Parallels { | |
10 | public class WorkerPool : DispatchPool<Action> { |
|
10 | public class WorkerPool : DispatchPool<Action> { | |
11 |
|
11 | |||
12 | MTQueue<Action> m_queue = new MTQueue<Action>(); |
|
12 | MTQueue<Action> m_queue = new MTQueue<Action>(); | |
13 | int m_queueLength = 0; |
|
13 | int m_queueLength = 0; | |
14 | readonly int m_threshold = 1; |
|
14 | readonly int m_threshold = 1; | |
15 | int m_workers = 0; |
|
15 | int m_workers = 0; | |
16 |
|
16 | |||
17 | public WorkerPool(int minThreads, int maxThreads, int threshold) |
|
17 | public WorkerPool(int minThreads, int maxThreads, int threshold) | |
18 | : base(minThreads, maxThreads) { |
|
18 | : base(minThreads, maxThreads) { | |
19 | m_threshold = threshold; |
|
19 | m_threshold = threshold; | |
20 | m_workers = minThreads; |
|
20 | m_workers = minThreads; | |
21 | InitPool(); |
|
21 | InitPool(); | |
22 | } |
|
22 | } | |
23 |
|
23 | |||
24 | public WorkerPool(int minThreads, int maxThreads) : |
|
24 | public WorkerPool(int minThreads, int maxThreads) : | |
25 | base(minThreads, maxThreads) { |
|
25 | base(minThreads, maxThreads) { | |
26 | m_workers = minThreads; |
|
26 | m_workers = minThreads; | |
27 | InitPool(); |
|
27 | InitPool(); | |
28 | } |
|
28 | } | |
29 |
|
29 | |||
30 | public WorkerPool(int threads) |
|
30 | public WorkerPool(int threads) | |
31 | : base(threads) { |
|
31 | : base(threads) { | |
32 | m_workers = threads; |
|
32 | m_workers = threads; | |
33 | InitPool(); |
|
33 | InitPool(); | |
34 | } |
|
34 | } | |
35 |
|
35 | |||
36 | public WorkerPool() |
|
36 | public WorkerPool() | |
37 | : base() { |
|
37 | : base() { | |
38 | InitPool(); |
|
38 | InitPool(); | |
39 | } |
|
39 | } | |
40 |
|
40 | |||
41 | public Promise<T> Invoke<T>(Func<T> task) { |
|
41 | public Promise<T> Invoke<T>(Func<T> task) { | |
42 | if (task == null) |
|
42 | if (task == null) | |
43 | throw new ArgumentNullException("task"); |
|
43 | throw new ArgumentNullException("task"); | |
44 | if (IsDisposed) |
|
44 | if (IsDisposed) | |
45 | throw new ObjectDisposedException(ToString()); |
|
45 | throw new ObjectDisposedException(ToString()); | |
46 |
|
46 | |||
47 | var promise = new Promise<T>(); |
|
47 | var promise = new Promise<T>(); | |
48 |
|
48 | |||
49 | var caller = TraceContext.Snapshot(); |
|
49 | var caller = TraceContext.Snapshot(); | |
50 |
|
50 | |||
51 | EnqueueTask(delegate() { |
|
51 | EnqueueTask(delegate() { | |
52 | caller.Invoke(delegate() { |
|
52 | caller.Invoke(delegate() { | |
53 | try { |
|
53 | try { | |
54 | promise.Resolve(task()); |
|
54 | promise.Resolve(task()); | |
55 | } catch (Exception e) { |
|
55 | } catch (Exception e) { | |
56 | promise.Reject(e); |
|
56 | promise.Reject(e); | |
57 | } |
|
57 | } | |
58 | }); |
|
58 | }); | |
59 | }); |
|
59 | }); | |
60 |
|
60 | |||
61 | return promise; |
|
61 | return promise; | |
62 | } |
|
62 | } | |
63 |
|
63 | |||
64 | protected void EnqueueTask(Action unit) { |
|
64 | protected void EnqueueTask(Action unit) { | |
65 | Debug.Assert(unit != null); |
|
65 | Debug.Assert(unit != null); | |
66 | var len = Interlocked.Increment(ref m_queueLength); |
|
66 | var len = Interlocked.Increment(ref m_queueLength); | |
67 | m_queue.Enqueue(unit); |
|
67 | m_queue.Enqueue(unit); | |
68 |
|
68 | |||
69 |
if (len > m_threshold * |
|
69 | if (len > m_threshold * PoolSize) { | |
70 |
|
|
70 | StartWorker(); | |
71 | GrowPool(); |
|
|||
72 | } |
|
71 | } | |
|
72 | ||||
|
73 | SignalThread(); | |||
73 | } |
|
74 | } | |
74 |
|
75 | |||
75 | protected override bool TryDequeue(out Action unit) { |
|
76 | protected override bool TryDequeue(out Action unit) { | |
76 | if (m_queue.TryDequeue(out unit)) { |
|
77 | if (m_queue.TryDequeue(out unit)) { | |
77 | Interlocked.Decrement(ref m_queueLength); |
|
78 | Interlocked.Decrement(ref m_queueLength); | |
78 | return true; |
|
79 | return true; | |
79 | } |
|
80 | } | |
80 | return false; |
|
81 | return false; | |
81 | } |
|
82 | } | |
82 |
|
83 | |||
83 | protected override bool Suspend() { |
|
|||
84 | // This override solves race condition |
|
|||
85 | // WORKER CLIENT |
|
|||
86 | // --------------------------------------- |
|
|||
87 | // TryDeque == false |
|
|||
88 | // Enqueue(unit), queueLen++ |
|
|||
89 | // GrowPool? == NO |
|
|||
90 | // ActiveThreads-- |
|
|||
91 | // Suspend |
|
|||
92 | // queueLength > 0 |
|
|||
93 | // continue |
|
|||
94 | Thread.MemoryBarrier(); |
|
|||
95 | if (m_queueLength > 0) |
|
|||
96 | return true; |
|
|||
97 | Interlocked.Decrement(ref m_workers); |
|
|||
98 | return base.Suspend(); |
|
|||
99 | } |
|
|||
100 |
|
||||
101 | protected override void InvokeUnit(Action unit) { |
|
84 | protected override void InvokeUnit(Action unit) { | |
102 | unit(); |
|
85 | unit(); | |
103 | } |
|
86 | } | |
104 |
|
87 | |||
105 | } |
|
88 | } | |
106 | } |
|
89 | } |
General Comments 0
You need to be logged in to leave comments.
Login now