Class Summary | |
class
|
Channel
[a] extends AnyRef
This class ...
|
trait
|
LinkedListQueueCreator
extends AnyRef
Efficient queue module creator based on linked lists.
|
trait
|
ListQueueCreator
extends AnyRef
Inefficient but simple queue module creator.
|
class
|
Lock
extends AnyRef
This class ...
|
class
|
MailBox
extends ListQueueCreator
|
trait
|
QueueModule
[A] extends AnyRef
Module for dealing with queues.
|
class
|
SyncChannel
[a] extends AnyRef
The class
SyncChannel ... |
class
|
SyncVar
[A] extends AnyRef
The class
SyncVar ... |
Object Summary | |
case object
|
TIMEOUT
extends Product
The message sent to a message box when the period specified in
receiveWithin expires. |
object
|
jolib
extends AnyRef
Library for using join-calculus concurrent primitives in Scala.
|
object
|
ops
extends AnyRef
The object
ops ... |
object
|
pilib
extends AnyRef
Library for using Pi-calculus concurrent primitives in
Scala. As an
example, the definition of a two-place buffer using the def Buffer[a](put: Chan[a], get: Chan[a]) { def B0 { choice ( put * { x => B1(x) } ) } def B1(x: a) { choice ( get(x) * B0, put * { y => B2(x, y) } ) } def B2(x: a, y: a) { choice ( get(x) * B1(y) ) } B0 } |