XMem: Type-safe, transparent, shared memory for cross-runtime communication and coordination

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2008, Pages 327-338

  Wegiel, Michal ^a   Krintz, Chandra ^a  

^a University of California   (United States)

Author keywords

Class loading; Garbage collection; Interprocess communication; Managed runtimes; Parallel; Shared memory; Synchronization; Transparent; Type safe

Indexed keywords

CLASS LOADING; GARBAGE COLLECTION; INTERPROCESS COMMUNICATION; MANAGED RUNTIMES; PARALLEL; SHARED MEMORY; TRANSPARENT; TYPE-SAFE;

APPLICATIONS; C (PROGRAMMING LANGUAGE); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTERS; DATA STORAGE EQUIPMENT; INTERNET PROTOCOLS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; PARALLEL PROCESSING SYSTEMS; REFUSE COLLECTION; REFUSE DISPOSAL; SERVERS; WASTE DISPOSAL;

COMMUNICATION;

EID: 57349150260     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375581.1375621     Document Type: Conference Paper

References (66)

1. Apache Tomcat, http://tomcat.apache.org.
2. Y. Aridor, M. Factor, and A. Teperman. cJVM: A single system image of a JVM on a cluster. In ICPP, 1999.
3. J. Armstrong, R. Virding, C. Wikstrom, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, 1996.
4. G. Back, W. C. Hsieh, and J. Lepreau. Processes in KaffeOS: Isolation, resource management, and sharing in Java. In OSDI, 2000.
5. G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Java operating systems: Design and implementation. Technical report, Univ. of Utah, 1998.
6. H. G. Baker. Infant mortality and generational garbage collection. SIGPLAN Not., 28(4), 1993.
7. D. Balfanz and L. Gong. Experience with secure multi-processing in Java. In ICDCS, 1998.
8. BEA WebLogic Application Server. http://www.bea.com.
9. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. J. Eggers. Extensibility, safety and performance in the SPIN operating system. In SOSP, 1995.
10. F. Breg and C. D. Polychronopoulos. Java virtual machine support for object serialization. In Java Grande, 2001.
11. C. Bryce and C. Razafimahefa. An approach to safe object sharing. SIGPLAN Not., 35(10), 2000.
12. X. Chen and V. H. Allan. MultiJav: A distributed shared memory system based on multiple Java virtual machines. In PDPTA, 1998.
13. C. Click, G. Tene, and M. Wolf. The pauseless GC algorithm. In VEE, 2005.
14. CORBA Specification, http://www. omg. org.
15. D. E. Culler, A. C. Arpaci-Dusseau, S. C. Goldstein, A. Krish-namurthy, S. Lumetta, T. von Eicken, and K. A. Yelick. Parallel programming in Split-C. In SC, 1993.
16. G. Czajkowski. Application isolation in the Java virtual machine. In OOPSLA, 2000.
17. G. Czajkowski and L. Daynes. Multitasking without compromise: A virtual machine evolution. In OOPSLA, 2001.
18. The DaCapo benchmarks, http://dacapobench.org.
19. D. Detlefs, C. Flood, S. Heller, and T. Printezis. Garbage-first garbage collection. In ISMM, 2004.
20. S. Dorward, R. Pike, D. L. Presotto, D. Ritchie, H. Trickey, and P. Winterbottom. Inferno. In COMPCON, 1997.
21. T. El-Ghazawi, W. Carlson, and J. Draper. UPC Language Specifications V, 2001.
22. M. Fahndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. C. Hunt, J. R. Larus, and S. Levi. Language support for fast and reliable message-based communication in Singularity OS. In Euro Sys, 2006.
23. C. Flood, D. Detlefs, N. Shavit, and C. Zhang. Parallel garbage collection for shared memory multiprocessors. In JVM, 2001.
24. E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces Principles, Patterns, and Practice (Jini Series). Pearson Education, 1999.
25. M. Golm, M. Felser, C. Wawersich, and J. Kleinoder. The JX operating system. In USENIX Annual Technical Conference, 2002.
26. M. Hertz, Y. Feng, and E. D. Berger. Garbage collection without paging. In PLDI, 2005.
27. C. A. R. Hoare. Communicating sequential processes. Commun. ACM, 26(1), 1983.
28. HotSpot Java Virtual Machine GC. http://java.sun.com/javase/technologies/ hotspot.
29. Hsqldb. http://www.hsqldb.org.
30. G. C. Hunt and J. R. Larus. Singularity: Rethinking the software stack. Operating Systems Review, 41(2):37-49, 2007.
31. Isolate API. JSR-121. http://jcp.org.
32. Java 2 Enterprise Edition, http://java.sun.com/javaee/.
33. JavaOS: A Standalone Java Environment. Sun Microsystems, 1996.
34. JBoss Enterprise Middleware, http://www.jboss.com.
35. JNode. http://www.jnode.org.
36. R. Jones and C. Ryder. Garbage collection should be lifetime aware. In ICOOOLPS, 2006.
37. R. E. Jones. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley and Sons, 1996.
38. H. Kermany and E. Petrank. The Compressor: Concurrent, incremental and parallel compaction. In PLDI, 2006.
39. S. Liang and G. Bracha. Dynamic class loading in the Java virtual machine. In OOPSLA, 1998.
40. M. J. M. Ma, C.-L. Wang, and F. C. M. Lau. JESSICA: Java-enabled single-system-image computing architecture. J. Parallel Distrib. Comput, 60(10), 2000.
41. J. Maassen, R. V. Nieuwpoort, R. Veldema, H. E. Bal, T. Kielmann, C. J. H. Jacobs, and R. F. H. Hofman. Efficient Java RMI for parallel programming. Programming Languages and Systems, 23(6), 2001.
42. M. Macbeth, K. McGuigan, and P. Hatcher. Executing Java threads in parallel in a distributed-memory environment. In CASCON, 1998.
43. J. Manson, W. Pugh, and S. V. Adve. The Java memory model. SIGPLAN Not., 40(1), 2005.
44. M. Nelson, B.-H. Lim, and G. Hutchins. Fast transparent migration for virtual machines. In USENIX Technical Conference, 2005.
45. Occam Programming Manual. Inmos Corporation, 1984.
46. Open Source J2SE. http://openjdk.java.net.
47. S. Osman, D. Subhraveti, G. Su, and J. Nieh. The design and implementation of Zap: A system for migrating computing environments. In OSDI, 2002.
48. Y. Ossia, O. Ben-Yitzhak, and M. Segal. Mostly concurrent compaction for mark-sweep GC. In ISMM, 2004.
49. M. Perry. Shared Memory Under Linux, 1999. http://fscked.org/writings/ SHM/shm.html.
50. M. Philippsen and M. Zenger. JavaParty - transparent remote objects in Java. Concurrency: Practice and Experience, 9(11), 1997.
51. Java RMI Specification, http://java.sun.com.
52. K. Russell and D. Detlefs. Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. SIGPLAN Not., 41(10), 2006.
53. F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. Lecture Notes in CS, 2001.
54. Java Object Serialization Specification, http://java.sun.com. 55 SPEC, http://www.spec.org.
55. D. Stefanovic, M. Hertz, S. M. Blackburn, K. S. McKinley, and J. E. B. Moss. Older-first garbage collection in practice: Evaluation in a Java virtual machine. In MSP, 2002.
56. T. Suezawa. Persistent execution state of a Java virtual machine. In Java Grande, 2000.
57. D. M. Ungar. Generation scavenging: A non-disruptive high performance storage reclamation algorithm. SIGPLAN Not, 19(5), 1984.
58. T. von Eicken, C.-C. Chang, G. Czajkowski, C. Hawblitzel, D. Hu, and D. Spoonhower. J-Kemel: A capability-based operating system for Java. In Secure Internet Programming, 1999.
59. IBM WebSphere Application Server, http://www.ibm.com.
60. M. Wegiel and C. Krintz. The Mapping Collector: Virtual memory support for generational, parallel, and concurrent compaction. In ASPLOS, 2008.
61. P.R. Wilson. Uniprocessor garbage collection techniques. Technical report, Univ. of Texas, 1994.
62. P. R. Wilson, M. S. Johnstone, M. Neely, and D. Boles. Dynamic storage allocation: A survey and critical review. In IWMM, 1995.
63. P. R. Wilson and T. G. Moher. A card-marking scheme for controlling intergenerational references in generation-based garbage collection on stock hardware. SIGPLAN Not., 24(5), 1989.
64. N. Wirth and J. Gutknecht. Project Oberon: the design of an operating system and compiler. ACM Press/Addison-Wesley, 1992.
65. T. Yang, E. D. Berger, S. F. Kaplan, and J. E. B. Moss. CRAMM: Virtual memory support for garbage-collected applications. In OSDI, 2006.
66. W. Yu and A. L. Cox. Java/DSM: A platform for heterogeneous computing. Concurrency - Practice and Experience, 9(11), 1997.