Class Summary | |
abstract
|
class
Actor
The class Actor ...
|
class
Channel
[ a ]
|
|
mixin abstract
|
class
LinkedListQueueCreator
Efficient queue module creator based on linked lists. |
mixin abstract
|
class
ListQueueCreator
Inefficient but simple queue module creator. |
class
Lock
|
|
class
MailBox
|
|
class
Pid
The class Pid provides process identifiers
to thread-based actors.
|
|
class
Process
|
|
mixin abstract
|
class
QueueModule
[ a ]
Module for dealing with queues. |
class
SyncChannel
[ a ]
|
|
class
SyncVar
[ a ]
|
Object Summary | |
object
NameServer
|
|
object
Process
|
|
case
|
object
TIMEOUT
The message sent to a message box when the period specified in receiveWithin
|
object
jolib
Library for using join-calculus concurrent primitives in Scala. |
|
object
ops
|
|
object
pilib
Library for using Pi-calculus concurrent primitives in Scala. As an example, the definition of a two-place buffer using the pilib library looks like: def Buffer[a](put: Chan[a], get: Chan[a]): unit = { def B0: unit = choice ( put { x => B1(x) } ); def B1(x: a): unit = choice ( get(x) B0, put { y => B2(x, y) } ); def B2(x: a, y: a): unit = choice ( get(x) B1(y) ); B0 } |