Ribbons: A partially shared memory programming model

ACM SIGPLAN Notices

Volumn 46, Issue 10, 2011, Pages 289-306

  Hoffman, Kevin ^a   Metzger, Harrison ^a   Eugster, Patrick ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Access control; Heap partitioning; Multithreading; Ribbons; Shared memory; Virtual memory

Indexed keywords

HEAP PARTITIONING; MULTI-THREADING; RIBBONS; SHARED MEMORIES; VIRTUAL MEMORY;

ACCESS CONTROL; BENCHMARKING; COMPUTER PROGRAMMING; COMPUTER SOFTWARE;

JAVA PROGRAMMING LANGUAGE;

EID: 84858305863     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2076021.2048091     Document Type: Conference Paper

References (40)

1. M. Aiken, F. Fähndrich, C. Hawblitzel, G. Hunt, and J. Larus. Deconstructing Process Isolation. MSPC'06.
2. B. Alpern, S. Augart, S. M. Blackburn, M. Butrico, A. Cocchi, P. Cheng, J. Dolby, S. Fink, D. Grove, M. Hind, K. S. McKinley, M. Mergen, J. E. B. Moss, T. Ngo, and V. Sarkar. The Jikes Research Virtual Machine Project: Building an Open-source Research Community. IBM Systems Journal, 44(2):399-417, 2005. (Pubitemid 40794696)
3. C. Andreae, Y. Coady, C. Gibbs, J. Noble, J. Vitek, and T. Zhao. Scoped Types and Aspects for Real-Time Java. ECOOP'06.
4. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility Safety and Performance in the SPIN Operating System. SIGOPS OSR, 29(5):267-283, 1995.
5. S. M. Blackburn, R. Garner, C. Hoffmann, A. M. Khang, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, B. Moss, A. Phansalkar, D. Stefanović, T. VanDrunen, D. von Dincklage, and B. Wiedermann. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. OOPSLA' 06.
6. C. Boyapati, R. Lee, and M. C. Rinard. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks. OOPSLA'02.
7. C. Boyapati, A. Salcianu, W. S. Beebee, and M. C. Rinard. Ownership Types for Safe Region-based Memory Management in Real-time Java. PLDI'03.
8. J. S. Chase, H. M. Levy, M. J. Feeley, and E. D. Lazowska. Sharing and Protection in a Single-address-space Operating System. ACM TOCS, 12(4):271-307, 1994.
9. S. Chen, D. Ross, and Y.-M. Wang. An Analysis of Browser Domain-isolation Bugs and a Light-weight Transparent Defense Mechanism. CCS'07.
10. Y. Chiba. Heap Protection for Java Virtual Machines. PPPJ'06.
11. T. Chiueh, G. Venkitachalam, and P. Pradhan. Integrating Segmentation and Paging Protection for Safe, Efficient and Transparent Software Extensions. SOSP'99.
12. D. G. Clarke, J. Potter, and J. Noble. Ownership Types for Flexible Alias Protection. OOPSLA'98.
13. E. Cohen and D. Jefferson. Protection in the Hydra Operating System. SOSP'75.
14. G. Czajkowski, L. Daynès, and B. Titzer. A Multi-user Virtual Machine. USENIX ATC'03.
15. P. Dasgupta, J. Richard J. LeBlanc, M. Ahamad, and U. Ramachandran. The Clouds Distributed Operating System. IEEE Computer, 24(11):34-44, 1991.
16. D. Dean, E.W. Felten, and D. S.Wallach. Java Security: from HotJava to Netscape and Beyond. SP'96.
17. A. Dearle and D. Hulse. Operating System Support for Persistent Systems: Past, Present and Future. Software-Practice & Experience, 30(4):295-324, 2000.
18. J. Devietti, C. Blundell, M. Martin, and S. Zdancewic. Hardbound: Architectural Support for Spatial Safety of the C Programming Language. ASPLOS'08.
19. T. Ekman and G. Hedin. The JastAdd Extensible Java Compiler. OOPSLA'07.
20. U. Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. Necula. XFI: Software Guards for System Address Spaces. OSDI'06.
21. M. Flatt and R. Findler. Kill-safe Synchronization Abstractions. PLDI'04.
22. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and Mixins. POPL'98.
23. D. Grossman, J. G. Morrisett, T. Jim, M. W. Hicks, Y. Wang, and J. Cheney. Region-Based Memory Management in Cyclone. PLDI'02.
24. J. J. Heiss. The Multi-Tasking Virtual Machine: Building a Highly Scalable JVM. Java Developers Forum, March 2005.
25. K. Hoffman. http://kevinjhoffman.com/ ribbons/, 2011.
26. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a Minimal Core Calculus for Java and GJ. ACM TOPLAS, 23(3):396-450, 2001. (Pubitemid 33614273)
27. F. Qin, S. Lu, and Y. Zhou. SafeMem: Exploiting ECCMemory for Detecting Memory Leaks and Memory Corruption During Production Runs. HPCA'05.
28. S. Rajunas, N. Hardy, A. Bomberger, W. Frantz, and C. Landau. Security In KeyKOS. SP'86.
29. M. Rinard, C. Cadar, D. Dumitran, D. Roy, T. Leu, and W. B. Jr. Enhancing Server Availability and Security Through Failure-Oblivious Computing. OSDI'04.
30. J. Rosenberg. The MONADS Architecture: A Layered View. POS'90.
31. R. Shetty, M. Kharbutli, Y. Solihin, and M. Prvulovic. Heap- Mon: A Helper-thread Approach to Programmable, Automatic, and Low-overhead Memory Bug Detection. IBM Journal of Research and Development, 50(2/3), 2006.
32. W. Shi, J. Fryman, G. Gu, H.-H. Lee, Y. Zhang, and J. Yang. InfoShield: a Security Architecture for Protecting Information Usage in Memory. HPCA'06.
33. M. Swift, B. Bershad, and H. Levy. Improving the Reliability of Commodity Operating Systems. ACM TOCS, 23(1):77-110, 2005. (Pubitemid 40479368)
34. M. Takahashi, K. Kono, and T. Masuda. Efficient Kernel Support of Fine-Grained Protection Domains for Mobile Code. ICDCS'99.
35. M. Tofte and L. Birkedal. A Region Inference Algorithm. ACM TOPLAS, 20(4):724-767, 1998. (Pubitemid 128445830)
36. G. Venkataramani, B. Roemer, Y. Solihin, and M. Prvulovic. MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging. HPCA'07.
37. R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham. Efficient Software-based Fault Isolation. SIGOPS OSR, 27(5):203-216, 1993.
38. A.Wiggins, S.Winwood, H. Tuch, and G. Heiser. Legba: Fast Hardware Support for Fine-Grained Protection. ACSAC'03.
39. E. Witchel, J. Rhee, and K. Asanovic. Mondrix: Memory Isolation for Linux Using Mondriaan Memory Protection. SOSP'05.
40. K. Zhang, T. Zhang, and S. Pande. Memory Protection through Dynamic Access Control. MICRO'06.