Abstract
No abstract available.
Cited By
- Bianchini R, Kontothanassis L, Pinto R, De Maria M, Abud M and Amorim C Hiding communication latency and coherence overhead in software DSMs Proceedings of the seventh international conference on Architectural support for programming languages and operating systems, (198-209)
- Bianchini R, Kontothanassis L, Pinto R, De Maria M, Abud M and Amorim C (1996). Hiding communication latency and coherence overhead in software DSMs, ACM SIGOPS Operating Systems Review, 30:5, (198-209), Online publication date: 1-Dec-1996.
- Bianchini R, Kontothanassis L, Pinto R, De Maria M, Abud M and Amorim C (2019). Hiding communication latency and coherence overhead in software DSMs, ACM SIGPLAN Notices, 31:9, (198-209), Online publication date: 1-Sep-1996.
Index Terms
- Sparks: coherence as an abstract type
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Sparks: coherence as an abstract type
IWOOOS '96: Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)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-...
Qualified types for MLF
Proceedings of the tenth ACM SIGPLAN international conference on Functional programmingMLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a local type annotation is required. Qualified types are a general concept that ...