ISSN:
1573-7640
Keywords:
Cache coherence
;
rendezvous
;
run-time systems
;
process migration
;
concurrent programming languages
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Multiprocessors in which a shared bus is used by the processor to communicate with common memory are an emerging class of machines where there is a need to support parallel programming languages. A language construct that is found in a number of parallel programming languages to support synchronization and communication in the interprocess rendezvous. Shared-bus multiprocessor require a protocol to keep the date in their caches coherent. There are two major categories of these protocols: invalidation and write-boadcast. This paper examines the requirements for cache coherence protocols to support efficient interprocessor rendezvous. The approach taken is to examine the memory referencing patterns to the run-time data structures during rendezvous execution. The appropriate coherence protocol is shown to be a function of the processor scheduling strategy used by the run-time system at synchronzation points during the rendezvous. When processes migrate freely as a result of the scheduling strategy, invalidation protocols are found to be more efficient. When migration is restricted by the scheduler, write-broadcast protocols are more efficient.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01407863
Permalink