ISOLATOR: Dynamically ensuring isolation in concurrent programs

ACM SIGPLAN Notices

Volumn 44, Issue 3, 2009, Pages 181-192

  Rajamani, Sriram ^a   Ramalingam, G ^a   Ranganath, Venkatesh Prasad ^a   Vaswani, Kapil ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Concurrency; Isolation; Memory protection

Indexed keywords

BENCHMARK PROGRAMS; CODE INSTRUMENTATION; CONCURRENCY; CONCURRENT PROGRAM; CRITICAL SECTIONS; DATA REPLICATION; ISOLATION; MEMORY PROTECTION; RUNTIME OVERHEADS; VIRTUAL MEMORY;

INSTRUMENTS;

VIBRATION CONTROL;

EID: 67650841068     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (19)

1. Linux memory protection. http://linux.about.com/library/cmd/ blcmdl2 mprotect.htm, March 2008.
2. Memory protection Windows. http://msdn2.microsoft.com/en-us/library/ aa366785(VS.85).aspx, March 2008.
3. A. W. Appel and K. Li. Virtual Memory Primitives for User Programs. In Proc. of ASPLOS, pages 96-107, 1991.
4. L. Baugh, N. Neelakanthan, and C. Zilles. Using Hardware Memory Protection to build a high-performance, strongly-atomic Hybrid Transactional Memory. In Proc of ISCA, 2008.
5. D. Engler and K. Ashcraft. Racerx: Effective, Static Detection of Race Conditions and Deadlocks. In Proc. of SOSP, pages 237-252, 2003.
6. C. Flanagan and S. N. Freund. Automatic Synchronization Correction. In Electronic Proc. of SCOOL, 2005.
7. B. Krena, Z. Letko, R. Tzoref, S. Ur, and T. Vojnar. Healing Data Races on-the-fly. In Proc. of PADTAD, pages 54-64, 2007.
8. V. B. Lvin, G. Novark, E. D. Berger, and B. G. Zorn. Archipelago: trading address space for reliability and security. In Proc. of ASPLOS, pages 115-124, 2008.
9. P. Ratanaworabhan, M. Burtscher, D. Kirovski, R. Nagpal, K. Pattabiraman, and B. Zorn Detecting and Tolerating Asymmetric Races. In Proc. of PPoPP, 2009.
10. M. Naik, A. Aiken, and J. Whaley. Effective Static Race Detection for Java In Proc. of PLDI, pages 308-319, 2006.
11. E. Pozniansky and A. Schuster. Efficient on-the-fly data Race dDtection in Multithreaded C++ Programs. In Proc. of PPoPP, pages 179-190, 2003.
12. P. Pratikakis, J. S. Foster, and M. Hicks. Locksmith: Context-sensitive Correlation Analysis for Race Detection. In Proc. of PLDI, pages 320-331, 2006.
13. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems (TOCS), 15(4):391-411, 1997.
14. T. Shpeisman, V. Menon, A.-R. Adl-Tabatabai, S. Balensiefer, D. Grossman, R. L. Hudson, K. F. Moore, and B. Saha. Enforcing Isolation and Ordering in STM In Proc. of PLDI, pages 78-88, 2007.
15. E. Witchel, J. Cates, and K. Asanovi. Mondrian memory protection. In Proc. of ASPLOS, pages 304-316, 2002.
16. Y. Yu, T. Rodeheffer, and W. Chen. RaceTrack: Efficient Detection of Data race Conditions via Adaptive Tracking. In Proc. of SOSP, pages 221-234, 2005.
17. P. Zhou, F. Qin, W. Liu, Y. Zhou, and J. Torrellas. iWatcher: Efficient Architectural Support for Software Debugging. In Proc. of ISCA, 2004.
18. S Rajamani, G. Ramalingam, V. P. Ranganath and K. Vaswani. Isolator: Dynamically Ensuring Isolation in Concurrent Programs. Technical Report MSR-TR-2008-91, Microsoft Research, 2008.
19. M. Abadi, T. Harris, M. Mehrara. Transactional Memory with Strong Atomicity using off-the-shelf Memory Protection Hardware. In Proc. of PPoPP, 2009.