Temporal notions of synchronization and consistency in Beehive

作者: Aman Singla , Umakishore Ramachandran , Jessica Hodgins

DOI: 10.1145/258492.258513

关键词:

摘要: An important attribute in the specification of many compute-intensive applications is “time”. Simulation interactive virtual environments one such domain. There a mismatch between synchronization and consistency guarantees needed by (which are temporal nature) offered current shared memory systems. Consequently, programming using standard style communication cumbersome. Furthermore, offer opportunities for relaxing both requirements along dimension. In this work, we develop model that more intuitive development need correctness guarantees. This embodies two mechanisms: “delta consistency” – novel time-based criterion to govern access guarantees, companion “temporal synchronization” mechanism thread time axis. These mechanisms particularly appropriate expressing application domains. addition model, efficient explicit aggressively push data out “future” consumers hide read miss latency at receiving end. We implement these on cluster workstations software distributed architecture called “Beehive.” Using environment as driver, show efficacy proposed meeting real applications.

参考文章(23)
Sandhya Dwarkadas, Alan L. Cox, Willy Zwaenepoel, Pete Keleher, TreadMarks: distributed shared memory on standard workstations and operating systems usenix winter technical conference. pp. 10- 10 ,(1994)
D. A. Koufaty, X. Chen, D. K. Poulsen, J. Torrellas, Data forwarding in scalable shared-memory multiprocessors Proceedings of the 9th international conference on Supercomputing - ICS '95. pp. 255- 264 ,(1995) , 10.1145/224538.224569
Amy Apon, E Rosti, E Smirni, TD Wagner, M Madhukar, LW Dowdy, The KSR1: experimentation and modeling of poststore measurement and modeling of computer systems. ,vol. 21, pp. 74- 85 ,(1993) , 10.1145/166955.166985
Kai Li, Paul Hudak, Memory coherence in shared virtual memory systems ACM Transactions on Computer Systems. ,vol. 7, pp. 321- 359 ,(1989) , 10.1145/75104.75105
Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs IEEE Transactions on Computers. ,vol. 28, pp. 690- 691 ,(1979) , 10.1109/TC.1979.1675439
F. Dahlgren, P. Stenstrom, Using write caches to improve performance of cache coherence protocols in shared-memory multiprocessors Journal of Parallel and Distributed Computing. ,vol. 26, pp. 193- 210 ,(1995) , 10.1006/JPDC.1995.1059
K.M. Chandy, J. Misra, Distributed Simulation: A Case Study in Design and Verification of Distributed Programs IEEE Transactions on Software Engineering. ,vol. SE-5, pp. 440- 452 ,(1979) , 10.1109/TSE.1979.230182
James R Goodman, Cache Consistency and Sequential Consistency University of Wisconsin-Madison Department of Computer Sciences. ,(1991)