Fast memory snapshot for concurrent programming without synchronization

Proceedings of the International Conference on Supercomputing

Volumn , Issue , 2009, Pages 117-125

  Chung, Jaewoong ^a   Baek, Woongki ^b   Kozyrakis, Christos ^b  

^a AMD Co   (United States)

^b Stanford University   (United States)

Author keywords

Snapshot; Transactional memory

Indexed keywords

CHIP MULTIPROCESSOR; COMMODITY SYSTEMS; CONCURRENT PROGRAMMING; DATA SETS; FAST MEMORY; GARBAGE COLLECTION; HARDWARE RESOURCES; HARDWARE-ASSISTED; MODERN PROCESSORS; MULTI-THREADING; MULTI-WORD; PATH PROFILING; READ OPERATION; SNAPSHOT IMAGES; STORAGE OVERHEAD; SYNCHRONIZATION CODES; SYSTEM SERVICES; SYSTEM SOFTWARES; TRANSACTIONAL MEMORY;

COMPUTER PROGRAMMING; CONCURRENCY CONTROL; INTELLIGENT CONTROL; REFUSE COLLECTION; STORAGE ALLOCATION (COMPUTER); WASTE DISPOSAL;

SYNCHRONIZATION;

EID: 70449715743     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542275.1542297     Document Type: Conference Paper

References (39)

1. Y. Afek, H. Attiya, et al. Atomic snapshots of shared memory. J. ACM, 40(4):873-890, 1993.
2. J. Anderson. Composite registers. In PODC '90: Proc. of the 9th ACM symp. on Principles of distributed computing, 1990.
3. A. Bilas, J. Fritts, and J. P. Singh. Real-time parallel mpeg-2 decoding in software. In Proc. 11th Intl. Parallel Processing Symp., 1997.
4. C. Blundell, J. Devietti, et al. Making the fast case common and the uncommon case simple in unbounded transactional memory. SIGARCH Comput. Archit. News, 35(2), 2007.
5. N. S. Bowen and D. K. Pradhan. Processor and memory-based checkpoint and rollback recovery. Computer, 26(2):22-31, 1993.
6. R. P. Brent. Recent progress and prospects for integer factorisation algorithms. In COCOON '00: Proc. of the 6th Intl. Conf. on Computing and Combinatorics, 2000.
7. C. Cao Minh, M. Trautmann, et al. An Effective Hybrid Transactional Memory System with Strong Isolation Guarantees. In the Proc. of the 34th Intl. Symp. on Computer Architecture. June 2007.
8. L. Ceze, J. Tuck, et al. Bulk Disambiguation of Speculative Threads in Multiprocessors. In the Proc. of the 33rd Intl. Symp. on Computer Architecture (ISCA), June 2006.
9. W. Chuang, S. Narayanasamy, et al. Unbounded Page-Based Transactional Memory. In the Proc. of the 12th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems. Oct. 2006.
10. J. Chung, H. Chafi, et al. The Common Case Transactional Behavior of Multithreaded Programs. In the Proc. of the 12th Intl. Conf. on High-Performance Computer Architecture, Feb. 2006.
11. K. Daudjee and K. Salem. Lazy database replication with snapshot isolation. In VLDB '06: Proc. of the 32nd intl. conf. on Very large data bases, 2006.
12. D. Detlefs, C. Flood, et al. Garbage-first garbage collection. In ISMM '04: Proc. of the 4nd intl. symp. on Memory management, 2004.
13. N. Froyd, J. Mellor-Crummey, and R. Fowler. Low-overhead call path profiling of unmodified, optimized code. In ICS '05: Proc. of the 19th intl. conf. on Supercomputing, 2005.
14. H. Garcia-Molina and K. Salem. Main memory database systems: An overview. IEEE Transactions on Knowledge and Data Engineering, 4(6):509-516, 1992.
15. R. Garg, V. K. Garg, and Y. Sabharwal. Scalable algorithms for global snapshots in distributed systems. In ICS '06: Proc. of the 20th intl. conf. on Supercomputing, 2006.
16. http://www.gzip.org/.
17. L. Hammond, V. Wong, et al. Transactional Memory Coherence and Consistency. In the Proc. of the 31st Intl. Symp. on Computer Architecture (ISCA), Munich, Germany, June 2004.
18. J. Henry C. Baker and C. Hewitt. The incremental garbage collection of processes. In Proc. of the 1977 Symp. on Artificial Intelligence and Programming Languages, 1977.
19. M. Herlihy and J. E. B. Moss. Transactional Memory: Architectural Support for Lock-Free Data Structures. In the Proc. of the 20th Intl. Symp. on Computer Architecture, May 1993.
20. R. L. Hudson and J. E. B. Moss. Sapphire: copying gc without stopping the world. In JGI '01: Proc. of the 2001 joint ACM-ISCOPE conf. on Java Grande, 2001.
21. http://www-306.ibm.com/software/tivoli/products/storage-mgr/.
22. P. Jayanti. An optimal multi-writer snapshot algorithm. In STOC '05: Proc. of the 37th ACM symp. on Theory of computing, 2005.
23. A. McDonald, J. Chung, et al. Architectural Semantics for Practical Transactional Memory. In the Proc. of the 33rd Intl. Symp. on Computer Architecture, June 2006.
24. K. E. Moore, J. Bobba, et al. LogTM: Log-Based Transactional Memory. In the Proc. of the 12th Intl. Conf. on High-Performance Computer Architecture, Feb. 2006.
25. M. J. Moravan, J. Bobba, et al. Supporting Nested Transactional Memory in LogTM. In the Proc. of the 12th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, San Jose, CA, Oct. 2006.
26. T. Moseley, A. Shye, V. J. Reddi, D. Grunwald, and R. Peri. Shadow profiling: Hiding instrumentation costs with parallelism. In CGO '07: Proceedings of the Intl. Symp. on Code Generation and Optimization, 2007.
27. http://memprofiler.com/.
28. http://profiler.netbeans.org/.
29. http://nullwebmail.sourceforge.net/httpd/.
30. PowerPC Assembler Reference.
31. http://pypy.org/.
32. J. M. Smith and G. Q. Maguire, Jr. Effects of copy-on-write memory management on the response time of UNIX fork operations. Computing Systems, 1(3):255-278, 1988.
33. L. B. Soares, O. Y. Krieger, and D. D. Silva. Metat-data snapshotting: A simple mechanism for file system consistency. In SNAPI '03: Proc. of Intl. Workshot on Storage Network Architectur and Parallel I/O, 2003.
34. http://user-mode-linux.sourceforge.net/.
35. http://w3m.sourceforge.net/.
36. C. A. Waldspurger. Memory Resource Management in VMware ESX server. SIGOPS Oper. Syst. Rev., 36(SI):181-194, 2002.
37. S. Wallace and K. Hazelwood. Superpin: Parallelizing dynamic instrumentation for real-time performance. In CGO '07: Proceedings of the Intl. Symp. on Code Generation and Optimization, 2007.
38. S. C. Woo, M. Ohara, et al. The SPLASH2 Programs: Characterization and Methodological Considerations. In Proc. of the 22nd Intl. Symp. on Computer Architecture, Santa Margherita, Italy, June 1995.
39. M. Wu and X.-F. Li. Task-pushing: a scalable parallel gc marking algorithm without synchronization operations. In IPDPS '07: Proc. of intl. Parallel and Distributed Processing Symposium, 2007.