Packages

  • package root
    Definition Classes
    root
  • package io

    This is the documentation for the ThreadCSO Library.

    This is the documentation for the ThreadCSO Library. Notable packages include:

    Definition Classes
    root
  • package threadcso

    The standard threadCSO API.

    The standard threadCSO API. Most modules using CSO will need only the declaration:

    import io.threadcso._

    The present version of the ThreadCSO library API is 1.2Rr (for some number r)

    The revision number (Rr) will change if bugs are corrected but the code remains consistent with the previous API. Its minor version number will change if there is a correction to the code that breaks consistency with the previous API. Its major version will change if there is a substantial change in the semantics of an important CSO construct.

    August 2017: changes 1.1 => 1.2

    • renaming of very many internal classes and packages
    • basic channel implementations are more efficient, in some case much more so
    • alternation reliability improved
    • debugger registration of alternations is no longer needed
    • home-grown semaphores can specify which component they are part of: this makes interpreting a stack backtrace very much easier
    • there is a flexible logging system that is compatible with the debugger

    April 2016: changes 1.0 => 1.1

    • Extended rendezvous read operator is now ?? (was ?)
    • Extended rendezvous read event notation is now =??=> (was =?=>>)
    • The notation inport ? f is now equivalent to f(inport?()) This makes for a tidier layout when the function f is an explicit functional expression.

    Feb 1 2017: changes 1.1R1 => 1.1R2

    • Removed dependencies on deprecated Java->Scala functions: replaced with .asJava
    @author Bernard Sufrin, Oxford
    $Revision: 286 $
    $Date: 2017-11-18 17:41:30 +0000 (Sat, 18 Nov 2017) $
    Definition Classes
    io
  • package channel

    Specifies primitive (non-alternation-capable) ports and channels; and implements several channel types.

    Specifies primitive (non-alternation-capable) ports and channels; and implements several channel types.

    Definition Classes
    threadcso
  • CLOSEDSTATE
  • Chan
  • Closed
  • InPort
  • N2N
  • N2NBuf
  • OneOne
  • OneOneBuf
  • OutPort
  • PortState
  • READYSTATE
  • SharedChan
  • SharedInPort
  • SharedOutPort
  • SyncChan
  • UNKNOWNSTATE
t

io.threadcso.channel

SharedChan

trait SharedChan[T] extends Chan[T] with SharedOutPort[T] with SharedInPort[T]

A channel whose input and output ports may each be shared

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SharedChan
  2. SharedInPort
  3. SharedOutPort
  4. Chan
  5. Debuggable
  6. Named
  7. OutPort
  8. InPort
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def !(value: T): Unit

    Output value to the port's channel.

    Output value to the port's channel.

    Definition Classes
    OutPort
  2. abstract def ?[U](f: (T) ⇒ U): U

    Block until a value t is available for input, then return f(t) -- equivalent to f(?()).

    Block until a value t is available for input, then return f(t) -- equivalent to f(?()).

    Definition Classes
    InPort
  3. abstract def ?(): T

    Block until a value is available for input, then read and return it.

    Block until a value is available for input, then read and return it.

    Definition Classes
    InPort
  4. abstract def ??[U](f: (T) ⇒ U): U

    Block until a value t is available for input, then return f(t).

    Block until a value t is available for input, then return f(t). If the inport is provided by a synchronized channel then synchronisation with the termination of the sender's ! is at the termination of the computation of f(t) (this is sometimes called an extended rendezvous).

    Definition Classes
    InPort
  5. abstract def canInput: Boolean

    Returns false if no further input will be supplied by this port.

    Returns false if no further input will be supplied by this port. Returning true is not a guarantee that further input will be supplied.

    Definition Classes
    InPort
  6. abstract def canOutput: Boolean

    Returns false if no further output can be accepted by this port.

    Returns false if no further output can be accepted by this port. Returning true is not a guarantee that further output will be accepted.

    Definition Classes
    OutPort
  7. abstract def close(): Unit

    Signal that the channel is to be closed forthwith

    Signal that the channel is to be closed forthwith

    Definition Classes
    Chan
  8. abstract def closeIn(): Unit

    Signal that no further attempts will be made to input from the invoking thread: idempotent

    Signal that no further attempts will be made to input from the invoking thread: idempotent

    Definition Classes
    InPort
  9. abstract def closeOut(): Unit

    Signal that no further values will be output from the invoking thread: idempotent

    Signal that no further values will be output from the invoking thread: idempotent

    Definition Classes
    OutPort
  10. abstract def inPortState: PortState

    Current state of this port: for alternation implementations

    Current state of this port: for alternation implementations

    Definition Classes
    InPort
  11. abstract def nameGenerator: NameGenerator

    Discover the name generator

    Discover the name generator

    Definition Classes
    Named
  12. abstract def outPortState: PortState

    Current state of this port: for alternation implementations

    Current state of this port: for alternation implementations

    Definition Classes
    OutPort
  13. abstract def readBefore(ns: Long): Option[T]

    Block until the earlier of the following events happens:

    Block until the earlier of the following events happens:

    - 1. A value, t, is available for input.

    - 2. ns nanoseconds have elapsed.

    Return Some(t) in case 1, and None in case 2.

    The longest possible wait that can specified this way is about 146 years.

    Definition Classes
    InPort
  14. abstract def writeBefore(nsWait: Long)(value: T): Boolean

    Output value to the port's channel before nsWait has elapsed, and return true; or return false

    Output value to the port's channel before nsWait has elapsed, and return true; or return false

    Definition Classes
    OutPort

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  10. def getWaiting: Seq[Thread]

    Return a sequence of the threads currently waiting for this object, if any.

    Return a sequence of the threads currently waiting for this object, if any. Default is the empty sequence.

    Definition Classes
    Debuggable
  11. def hasState: Boolean

    This object has a state worth showing right now: false if showState will do no output.

    This object has a state worth showing right now: false if showState will do no output.

    Definition Classes
    Debuggable
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  13. def inPortEvent(portState: PortState): Unit

    The channel has just changed its state in a way that will affect inPortState

    The channel has just changed its state in a way that will affect inPortState

    Definition Classes
    Chan
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. val key: StateKey

    This object's key in the registry (if non-negative)

    This object's key in the registry (if non-negative)

    Definition Classes
    Debuggable
  16. def name: String

    Return the name of the object

    Return the name of the object

    Definition Classes
    Named
  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def nothing: T

    The null value for this port -- equivalent to null.asInstanceOf[T].

    The null value for this port -- equivalent to null.asInstanceOf[T]. Useful to initialise variables that will in due course be assigned values by reading from the port.

    Definition Classes
    InPort
    Annotations
    @inline()
  19. final def notify(): Unit
    Definition Classes
    AnyRef
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  21. def outPortEvent(portState: PortState): Unit

    The channel has just changed its state in a way that will affect outPortState

    The channel has just changed its state in a way that will affect outPortState

    Definition Classes
    Chan
  22. def register(): Unit

    Register this object

    Register this object

    Definition Classes
    Debuggable
  23. def setName(name: String): Unit

    Set the name using the name generator

    Set the name using the name generator

    Definition Classes
    Named
  24. def showState(out: PrintWriter): Unit

    Show the current state of this object: default uses toString

    Show the current state of this object: default uses toString

    Definition Classes
    Debuggable
  25. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  26. def toString(): String
    Definition Classes
    Named → AnyRef → Any
  27. def unregister(): Unit

    Unregister this object

    Unregister this object

    Definition Classes
    Debuggable
  28. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. def withDebugger[T](condition: Boolean)(body: ⇒ T): T

    Conditionally register this object with the debugger only for the duration of the evaluation of body.

    Conditionally register this object with the debugger only for the duration of the evaluation of body. To be used as a last resort for the exasperated CSO toolkit debugger.

    Definition Classes
    Debuggable
  32. def withName(__name: String): Chan[T]

    Set the name of this object and return it

    Set the name of this object and return it

    Definition Classes
    Named

Inherited from SharedInPort[T]

Inherited from SharedOutPort[T]

Inherited from Chan[T]

Inherited from debug.REGISTRY.Debuggable

Inherited from Named[Chan[T]]

Inherited from OutPort[T]

Inherited from InPort[T]

Inherited from AnyRef

Inherited from Any

Ungrouped