Fix botched initial commit of CML code:
- Add files to the proper subdirectory. - Add half-hearted attempt to get the file layout right.
This commit is contained in:
parent
91d2bb15c8
commit
b54c5a971f
1
COPYING
1
COPYING
|
@ -4,6 +4,7 @@ Copyright (c) 2003 RT Happe
|
|||
Copyright (c) 2003 Taylor Campbell
|
||||
Copyright (c) 2003 Michel Schinz
|
||||
Copyright (c) 2003 Oleg Kiselyov
|
||||
Copyright (c) 2003 Mike Sperber
|
||||
|
||||
All rights reserved.
|
||||
|
||||
|
|
|
@ -0,0 +1 @@
|
|||
Mike Sperber
|
|
@ -0,0 +1,3 @@
|
|||
CML: This is an implementation of the Concurrent ML event algebra
|
||||
(called rendezvous here) and some of higher-level synchronization
|
||||
abstractions.
|
|
@ -0,0 +1,10 @@
|
|||
CML
|
||||
===
|
||||
|
||||
This is an implementation of the Concurrent ML event algebra (called
|
||||
rendezvous here) and some of higher-level synchronization
|
||||
abstractions.
|
||||
|
||||
Currently, you need to check the Concurrent ML docs for more
|
||||
information.
|
||||
|
|
@ -0,0 +1,45 @@
|
|||
|
||||
(define-interface trans-ids-interface
|
||||
(export enter-cr! leave-cr!
|
||||
leave-cr-and-block!
|
||||
trans-id?
|
||||
make-trans-id
|
||||
cr-trans-id-wait cr-trans-id-wakeup cr-maybe-trans-id-wakeup
|
||||
trans-id-thread-uid trans-id-cancelled?))
|
||||
|
||||
(define-interface rendezvous-interface
|
||||
(export always-rv never-rv
|
||||
guard with-nack choose wrap
|
||||
sync
|
||||
select))
|
||||
|
||||
(define-interface make-rendezvous-interface
|
||||
(export make-blocked make-enabled make-base))
|
||||
|
||||
(define-interface rendezvous-channels-interface
|
||||
(export make-channel
|
||||
channel?
|
||||
send-rv send
|
||||
receive-rv receive))
|
||||
|
||||
(define-interface rendezvous-async-channels-interface
|
||||
(export make-async-channel
|
||||
async-channel?
|
||||
send-async
|
||||
receive-async-rv
|
||||
receive-async))
|
||||
|
||||
(define-interface rendezvous-placeholders-interface
|
||||
(export make-placeholder
|
||||
placeholder?
|
||||
placeholder-value
|
||||
placeholder-set!
|
||||
placeholder-value-rv))
|
||||
|
||||
(define-interface rendezvous-jars-interface
|
||||
(export make-jar
|
||||
jar?
|
||||
jar-take
|
||||
jar-put!
|
||||
jar-take-rv))
|
||||
|
|
@ -1,47 +1,3 @@
|
|||
(define-interface trans-ids-interface
|
||||
(export enter-cr! leave-cr!
|
||||
leave-cr-and-block!
|
||||
trans-id?
|
||||
make-trans-id
|
||||
cr-trans-id-wait cr-trans-id-wakeup cr-maybe-trans-id-wakeup
|
||||
trans-id-thread-uid trans-id-cancelled?))
|
||||
|
||||
(define-interface rendezvous-interface
|
||||
(export always-rv never-rv
|
||||
guard with-nack choose wrap
|
||||
sync
|
||||
select))
|
||||
|
||||
(define-interface make-rendezvous-interface
|
||||
(export make-blocked make-enabled make-base))
|
||||
|
||||
(define-interface rendezvous-channels-interface
|
||||
(export make-channel
|
||||
channel?
|
||||
send-rv send
|
||||
receive-rv receive))
|
||||
|
||||
(define-interface rendezvous-async-channels-interface
|
||||
(export make-async-channel
|
||||
async-channel?
|
||||
send-async
|
||||
receive-async-rv
|
||||
receive-async))
|
||||
|
||||
(define-interface rendezvous-placeholders-interface
|
||||
(export make-placeholder
|
||||
placeholder?
|
||||
placeholder-value
|
||||
placeholder-set!
|
||||
placeholder-value-rv))
|
||||
|
||||
(define-interface rendezvous-jars-interface
|
||||
(export make-jar
|
||||
jar?
|
||||
jar-take
|
||||
jar-put!
|
||||
jar-take-rv))
|
||||
|
||||
(define-structure trans-ids trans-ids-interface
|
||||
(open scheme
|
||||
srfi-9 big-util
|
Loading…
Reference in New Issue