Platform monitor
Platform name
Platform scheduler
Execute a (non-blocking) task using a new user-level thread created by this platform.
Execute a (non-blocking) task using a new user-level thread created by this platform.
the (non-blocking) task to execute.
unit
Expose a streaming channel as a local system-level channel by executing its transformations over this platform.
Expose a streaming channel as a local system-level channel by executing its transformations over this platform.
a system-level channel
Expose a streaming channel as a local system-level channel by executing its transformations over this platform.
Expose a streaming channel as a local system-level channel by executing its transformations over this platform.
a system-level channel
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a function that binds a process to its channels.
the connections
Launch a process
Launch a process
a process.
the result channel
Launch a process.
Launch a process.
a process.
the return channel.
unit
Shutdown.
Shutdown.
Close all threading resources allocated by the platform.
Shutdown and close all resources allocated by the platform.
Block the calling thread until all processes are terminated
Block the calling thread until all processes are terminated
In practice, due to race conditions, the method may be invoked before a process is launched. Therefore, for robustness one must test test that processes have terminated using their return channel before calling this method.
(Since version 0.4) Use get_!
on RIChan's instead
Encapsulate access to underlying platform resources, timers, JVM threads, ....
An external admin thread uses the platform to bootstrap components.