File tree 10 files changed +276
-207
lines changed
10 files changed +276
-207
lines changed Original file line number Diff line number Diff line change 1
- print "hello"
2
- print "world"
1
+ def handler():
2
+ print "interrupt"
3
+ def thread():
4
+ trap handler()
5
+ print "hello world"
6
+ spawn thread()
Original file line number Diff line number Diff line change 1
1
charm.c
2
2
charm.Windows.exe
3
+ code/2pc.hny
3
4
code/2pc1.hny
4
5
code/2pc2.hny
5
6
code/BBhoare.hny
6
- code/BBsemadata.hny
7
- code/BBsematest.hny
8
7
code/BBsema.hny
8
+ code/BBsematest.hny
9
+ code/BBtest.hny
10
+ code/Diners.hny
9
11
code/DinersAvoid.hny
10
12
code/DinersCV.hny
11
- code/DinersSema .hny
12
- code/Diners .hny
13
+ code/DinersCV2 .hny
14
+ code/Peterson .hny
13
15
code/PetersonInductive.hny
14
16
code/PetersonMethod.hny
15
- code/Peterson .hny
16
- code/RWbusychk .hny
17
+ code/RW .hny
18
+ code/RWbtest .hny
17
19
code/RWbusy.hny
20
+ code/RWcheat.hny
18
21
code/RWcv.hny
19
22
code/RWfair.hny
20
- code/RWlock.hny
21
- code/RWmulti.hny
23
+ code/RWhoare.hny
22
24
code/RWqtest.hny
23
25
code/RWqueue.hny
24
26
code/RWsbs.hny
25
27
code/RWtest.hny
26
- code/RW .hny
28
+ code/Up .hny
27
29
code/UpEnter.hny
28
30
code/UpLock.hny
29
- code/Up.hny
30
- code/abdtest.hny
31
31
code/abd.hny
32
- code/abptest .hny
32
+ code/abdtest .hny
33
33
code/abp.hny
34
+ code/abptest.hny
35
+ code/actor.hny
36
+ code/actortest.hny
34
37
code/atm.hny
35
38
code/atomicinc.hny
36
39
code/baddblwait.hny
37
40
code/bank.hny
38
- code/barriertest.hny
39
41
code/barrier.hny
40
- code/bosco2.hny
42
+ code/barrier1.hny
43
+ code/barriertest.hny
44
+ code/barriertest2.hny
41
45
code/bosco.hny
46
+ code/bosco2.hny
42
47
code/boundedbuffer.hny
48
+ code/bqueue.hny
49
+ code/byzbosco.hny
43
50
code/chain.hny
44
51
code/clock.hny
52
+ code/consensus.hny
45
53
code/counter.hny
54
+ code/cs.hny
46
55
code/csbarebones.hny
47
56
code/cslock.hny
48
57
code/csonebit.hny
49
58
code/cssynch.hny
50
- code/cs.hny
51
- code/dinersfix2.hny
52
- code/dinersfix.hny
53
59
code/gpu.hny
60
+ code/hanoi.hny
61
+ code/hello1.hny
62
+ code/hello2.hny
63
+ code/hello3.hny
64
+ code/hello4.hny
65
+ code/hello5.hny
66
+ code/hello6.hny
67
+ code/hello7.hny
68
+ code/hello8.hny
69
+ code/hello9.hny
54
70
code/hoare.hny
55
71
code/hw.hny
56
- code/intsettest.hny
72
+ code/ky.hny
73
+ code/ky2.hny
57
74
code/leader.hny
58
75
code/linkedlist.hny
59
76
code/lockspec.hny
@@ -63,30 +80,37 @@ code/multitest.hny
63
80
code/naiveFlags.hny
64
81
code/naiveLock.hny
65
82
code/naiveTurn.hny
83
+ code/nbqueue.hny
84
+ code/nbqueuetest.hny
66
85
code/needhamschroeder.hny
67
- code/oo .hny
86
+ code/paxos .hny
68
87
code/paxos1.hny
69
88
code/paxos2.hny
70
89
code/prog1.hny
71
90
code/prog2.hny
72
91
code/qbarrier.hny
73
- code/qsorttest.hny
74
92
code/qsort.hny
93
+ code/qsorttest.hny
75
94
code/qtest1.hny
76
95
code/qtest2.hny
77
96
code/qtest3.hny
78
97
code/qtest4.hny
79
98
code/qtestconc.hny
99
+ code/qtestpar.hny
80
100
code/qtestseq.hny
101
+ code/queue.hny
81
102
code/queueMS.hny
82
103
code/queuebroken.hny
83
104
code/queueconc.hny
84
105
code/queuedemo.hny
85
106
code/queuefix.hny
86
107
code/queuelin.hny
108
+ code/queueseq.hny
87
109
code/queuespec.hny
88
- code/queue.hny
110
+ code/register.hny
111
+ code/rsmspec.hny
89
112
code/setobj.hny
113
+ code/setobjtest.hny
90
114
code/spinlock.hny
91
115
code/stack1.hny
92
116
code/stack2.hny
@@ -95,12 +119,12 @@ code/stack4.hny
95
119
code/stacktest.hny
96
120
code/taslock.hny
97
121
code/ticket.hny
122
+ code/trap.hny
98
123
code/trap2.hny
99
124
code/trap3.hny
100
125
code/trap4.hny
101
126
code/trap5.hny
102
127
code/trap6.hny
103
- code/trap.hny
104
128
code/triangle.hny
105
129
code/xy.hny
106
130
harmony
You can’t perform that action at this time.
0 commit comments