In effect, this architecture uses the hardware maintained queue of arriving messages as the ready queue. The use of local queues implies that threads are mapped to PEs. This provides a sense of locality and context. Lecture Notes in Computer Science Vol. 36 4.6.1 Dynamic.
Most models provide a particular paradigm for handling partitioning, mapping, and communication.
Such models can be efficiently implemented and can have cost measures, but they make the task of software construction difficult because of the amount of detail that must be given about a computation. Universal mechanisms for concurrency . Springer-Verlag Lecture Notes in Computer Science 365, June 1989. Table 1 summarizes the Tempest mechanisms that support different programming paradigms. This code may reside in unprivileged libraries, be generated by a compiler, or be written specifically for an application.