Title :
Sparks: coherence as an abstract type
Author :
Keleher, Peter J.
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Abstract :
Sparks is a protocol construction framework that treats records of coherence actions as abstract types. Sparks´ central abstraction is the coherence history, an object that summarizes past coherence actions to shared segments. Histories provide high-level access to coherence guarantees. The author motivates his work by discussing synchronization design in distributed shared memory systems, and shows how histories can be used to cleanly create more efficient synchronization than is currently used
Keywords :
abstract data types; coherence; data structures; distributed memory systems; object-oriented methods; object-oriented programming; protocols; shared memory systems; synchronisation; Sparks; abstract types; coherence action records; coherence history; distributed shared memory systems; high-level coherence guarantee access; past coherence actions; protocol construction framework; shared segments; synchronization design; Access protocols; Aggregates; Application software; Computer science; Educational institutions; History; Prefetching; Programming profession; Runtime; Sparks;
Conference_Titel :
Object-Orientation in Operating Systems, 1996., Proceedings of the Fifth International Workshop on
Conference_Location :
Seattle, WA
Print_ISBN :
0-8186-7692-2
DOI :
10.1109/IWOOOS.1996.557862
