Sparks: coherence as an abstract type

Author

Keleher, Peter J.

Author_Institution

Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA

fYear

1996

fDate

27-28 Oct 1996

Firstpage

38

Lastpage

42

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Object-Orientation in Operating Systems, 1996., Proceedings of the Fifth International Workshop on

Conference_Location

Seattle, WA

ISSN

1063-5351

Print_ISBN

0-8186-7692-2

Type

conf

DOI

10.1109/IWOOOS.1996.557862

Filename

557862