ISOLATOR: Dynamically ensuring isolation in concurrent programs

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 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

CODES (SYMBOLS);

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

LOCKS (FASTENERS);

EID: 67650075007     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1508244.1508266     Document Type: Conference Paper

References (19)

1. Linux memory protection. http://linux.about.com/library/cmd/ blcmdl2mprotect.htm, March 2008.
2. Memory protection Windows. http://msdn2.microsoft.com/enus/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. (Pubitemid 21702164)
4. L. Baugh, N. Neelakanthan, and C. Zilles. Using Hardware Memory Protection to build a high-performance, stronglyatomic 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. (Pubitemid 40929700)
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. (Pubitemid 47325131)
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. (Pubitemid 351585399)
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. (Pubitemid 44074942)
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: Contextsensitive Correlation Analysis for Race Detection. In Proc. of PLDI, pages 320-331, 2006. (Pubitemid 44074943)
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. (Pubitemid 127449840)
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. (Pubitemid 47630677)
15. E. Witchel, J. Cates, and K. Asanovi. Mondrian memory protection. In Proc. of ASPLOS, pages 304-316, 2002. (Pubitemid 44892242)
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. (Pubitemid 44892215)
17. P. Zhou, F. Qin, W. Liu, Y. Zhou, and J. Torrellas. iWatcher: Efficient Architectural Support for Software Debugging. In Proc. of ISCA, 2004. (Pubitemid 40377386)
18. S Rajamani, G. Ramalingam, V. P. Ranganath and K. Vaswani. Isolator: Dynamically Ensuring Isolation in Concurrent Programs. Technical Report MSR-TR-2008-2091, 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.