Since in the MOVIE system the thread's code is machine independent, it can be sent as any other message to be interpreted (executed). Because of it, a thread can be created without its code or it can remain active even when there is no code for it. To let the MOVIE kernel know that such a "daemon" thread is requested, the thread has to declare one of the channel as a "code" channel. The lack of code, then, will block that thread on this channel, and any messages delivered
to that channel will be treated as code, making that blocked thread ready.
-
All operations on threads and semaphores have the same semantics as TCE calls. They have different syntax though, and are treated as operators.
|
