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
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
//
// synchronized.cs:
//
// Tests for the 'synchronized' method attribute
//
using System;
using System.Threading;
using System.Runtime.CompilerServices;
class Tests {
// We use Monitor.Pulse to test that the object is synchronized
[MethodImplAttribute(MethodImplOptions.Synchronized)]
public int test () {
Monitor.Pulse (this);
//Monitor.Enter (this);
return 2 + 2;
}
[MethodImplAttribute(MethodImplOptions.Synchronized)]
public static int test_static () {
Monitor.Pulse (typeof (Tests));
return 2 + 2;
}
[MethodImplAttribute(MethodImplOptions.Synchronized)]
public int test_exception () {
Monitor.Exit (this);
throw new Exception ("A");
}
[MethodImplAttribute(MethodImplOptions.Synchronized)]
public virtual int test_virtual () {
Monitor.Pulse (this);
return 2 + 2;
}
public static bool is_synchronized (object o) {
try {
Monitor.Pulse (o);
}
catch (SynchronizationLockException ex) {
return false;
}
return true;
}
public delegate int Delegate1 ();
static public int Main (String[] args) {
Tests b = new Tests ();
int res, err;
Console.WriteLine ("Test1...");
b.test ();
if (is_synchronized (b))
return 1;
Console.WriteLine ("Test2...");
test_static ();
if (is_synchronized (typeof (Tests)))
return 1;
Console.WriteLine ("Test3...");
try {
b.test_exception ();
}
catch (SynchronizationLockException ex) {
return 1;
}
catch (Exception ex) {
// OK
}
if (is_synchronized (b))
return 1;
Console.WriteLine ("Test4...");
b.test_virtual ();
if (is_synchronized (b))
return 1;
Console.WriteLine ("Test5...");
Delegate1 d = new Delegate1 (b.test);
res = d ();
if (is_synchronized (b))
return 1;
Console.WriteLine ("Test6...");
d = new Delegate1 (test_static);
res = d ();
if (is_synchronized (typeof (Tests)))
return 1;
Console.WriteLine ("Test7...");
d = new Delegate1 (b.test_virtual);
res = d ();
if (is_synchronized (b))
return 1;
Console.WriteLine ("Test8...");
d = new Delegate1 (b.test_exception);
try {
d ();
}
catch (SynchronizationLockException ex) {
return 2;
}
catch (Exception ex) {
// OK
}
if (is_synchronized (b))
return 1;
return 0;
}
}
|
