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
|
(define-structure trans-ids trans-ids-interface
(open scheme
signals ; error
cells
threads (subset threads-internal (maybe-commit-and-block))
proposals)
(files trans-id))
(define-structures ((rendezvous rendezvous-interface)
(make-rendezvous make-rendezvous-interface))
(open scheme
signals
define-record-types
trans-ids
threads
(subset threads-internal (maybe-commit-and-make-ready
maybe-commit-and-block))
proposals low-proposals
big-util
cells queues
(subset util (unspecific))
debug-messages)
(files rendezvous))
(define-structure rendezvous-channels rendezvous-channels-interface
(open scheme
define-record-types
trans-ids proposals
rendezvous make-rendezvous
queues
big-util
(subset util (unspecific))
debug-messages
)
(files channel))
(define-structure rendezvous-async-channels rendezvous-async-channels-interface
(open scheme
rendezvous
rendezvous-channels
threads
queues
define-record-types)
(files async-channel))
(define-structure rendezvous-placeholders rendezvous-placeholders-interface
(open scheme
define-record-types
(subset threads-internal (maybe-commit-and-make-ready))
proposals
trans-ids rendezvous make-rendezvous
queues
signals
(subset util (unspecific)))
(files placeholder))
(define-structure rendezvous-jars rendezvous-jars-interface
(open scheme
define-record-types
proposals (subset threads-internal (maybe-commit-and-make-ready))
trans-ids rendezvous make-rendezvous
queues
signals
(subset util (unspecific)))
(files jar))
(define-structure rendezvous-time rendezvous-time-interface
(open scheme
time
(subset threads-internal (register-dozer!))
low-proposals proposals
(subset threads-internal (maybe-commit-and-make-ready))
interrupts
queues
trans-ids make-rendezvous
(subset util (unspecific)))
(files time))
|
