1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
//
// Copyright (c) ZeroC, Inc. All rights reserved.
//
using System.Diagnostics;
using System.Collections.Generic;
using System.Threading;
public class Dispatcher
{
private static void test(bool b)
{
if(!b)
{
throw new System.Exception();
}
}
public Dispatcher()
{
Debug.Assert(_instance == null);
_instance = this;
_thread = new Thread(run);
_thread.Start();
}
public void run()
{
while(true)
{
System.Action call = null;
lock(_m)
{
if(!_terminated && _calls.Count == 0)
{
Monitor.Wait(_m);
}
if(_calls.Count > 0)
{
call = _calls.Dequeue();
}
else if(_terminated)
{
// Terminate only once all calls are dispatched.
return;
}
}
if(call != null)
{
try
{
call();
}
catch(System.Exception)
{
// Exceptions should never propagate here.
test(false);
}
}
}
}
public void dispatch(System.Action call, Ice.Connection con)
{
lock(_m)
{
_calls.Enqueue(call);
if(_calls.Count == 1)
{
Monitor.Pulse(_m);
}
}
}
static public void terminate()
{
lock(_m)
{
_instance._terminated = true;
Monitor.Pulse(_m);
}
_instance._thread.Join();
}
static public bool isDispatcherThread()
{
return Thread.CurrentThread == _instance._thread;
}
static Dispatcher _instance;
private Queue<System.Action> _calls = new Queue<System.Action>();
Thread _thread;
bool _terminated = false;
private static readonly object _m = new object();
}
|
