Kilim: Isolation-typed actors for Java - A million actors, safe zero-copy communication

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5142 LNCS, Issue , 2008, Pages 104-128

  Srinivasan, Sriram ^a   Mycroft, Alan ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; GOLD; JAVA PROGRAMMING LANGUAGE; MESSAGE PASSING; STANDARDS; STATIC ANALYSIS;

CONCURRENT SYSTEMS; EUROPEAN; GOLD STANDARDS; JAVA THREADS; SHARED MEMORIES; TYPE QUALIFIERS; ULTRA-LIGHTWEIGHT; ZERO-COPY;

OBJECT ORIENTED PROGRAMMING;

EID: 49149130628     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70592-5_6     Document Type: Conference Paper

References (37)

1. Armstrong, J.: Making Reliable Distributed Systems in the Presence of Software Errors. PhD thesis, The Royal Institute of Technology, Stockholm (2003)
2. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)
3. Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative Task Management Without Manual Stack Management. In: USENIX Annual Technical Conference, General Track, pp. 289-302 (2002)
4. von Behren, R., Condit, J., Zhou, F., Necula, G., Brewer, E.: Capriccio: Scalable threads for Internet Services. In: 19th ACM Symposium on Operating Systems Principles (2003)
5. Bevin, G.: Rife, http://rifers.org
6. Boehm, H.J.: Threads cannot be implemented as a library. In: ACM Conf. on PLDI, pp. 261-268 (2005)
7. Boyapati, C., Lee, R., Rinard, M.C.: Ownership types for safe programming: preventing data races and deadlocks. In: Proc. of OOPSLA, pp. 211-230 (2002)
8. Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: Proc. of ACM POPL, pp. 213-223 (2003)
9. Boyland, J., Noble, J., Retert, W.: Capabilities for sharing: A generalisation of uniqueness and read-only. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 2-27. Springer, Heidelberg (2001)
10. Boyland, J.: Alias burying: Unique Variables Without Destructive Reads. Softw. Pract. Exper. 31(6), 533-553 (2001)
11. Briot, J.P., Guerraoui, R., Löhr, K.P.: Concurrency and distribution in object-oriented programming. ACM Comput. Surv. 30(3), 291-329 (1998)
12. Clarke, D.G., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: Proc. of OOPSLA, pp. 48-64 (1998)
13. Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 176-200. Springer, Heidelberg (2003)
14. Danaher, J.S., Lee, I.T.A., Leiserson, C.E.: Programming with exceptions in JCilk. Sci. Comput. Program. 63(2), 147-171 (2006)
15. DeCandia, G., Hastorun, D., Jampani, M., Kakulapati, G., Lakshman, A., Pilchin, A., Sivasubramanian, S., Vosshall, P., Vogels, W.: Dynamo: Amazon's Highly Available Key-value Store. In: SOSP, pp. 205-220 (2007)
16. Drossopoulou, S., Clarke, D., Noble, J.: Types for Hierarchic Shapes. In: Sestoft, P. (ed.) ESOP 2006 and ETAPS 2006. LNCS, vol. 3924, pp. 1-6. Springer, Heidelberg (2006)
17. Ennals, R., Sharp, R., Mycroft, A.: Linear types for Packet Processing. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 204-218. Springer, Heidelberg (2004)
18. Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G.C., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in Singularity OS. In: Proc. of EuroSys (2006)
19. Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: ACM Conf. on PLDI, pp. 1-12 (2002)
20. Ganz, S.E., Friedman, D.P., Wand, M.: Trampolined style. In: ICFP, pp. 18-27 (1999)
21. Haack, C., Poll, E., Schäfer, J., Schubert, A.: Immutable objects for a Java-like language. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 347-362. Springer, Heidelberg (2007), http://www.cs.ru.nl/~chaack/papers/ papers/imm-obj.pdf
22. Haller, P., Odersky, M.: Event-based programming without inversion of control. In: Proc. Joint Modular Languages Conference. Springer, Heidelberg (2006)
23. Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666-677 (1978)
24. Hogg, J., Lea, D., Wills, A., de Champeaux, D., Holt, R.C.: The Geneva Convention on the treatment of object aliasing. OOPS Messenger 3(2), 11-16 (1992)
25. JavaFlow: The Apache Software Foundation: http://jakarta.apache.org/ commons/sandbox/javaflow
26. Kobayashi, N.: Quasi-linear types. In: Proc. of ACM POPL, pp. 29-42 (1999)
27. Lea, D.: A Java fork/join framework. In: Java Grande, pp. 36-43 (2000)
28. Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press, Cambridge (1999)
29. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)
30. Pettyjohn, G., Clements, J., Marshall, J., Krishnamurthi, S., Felleisen, M.: Continuations from generalized stack inspection. In: ICFP, pp. 216-227 (2005)
31. Salcianu, A., Rinard, M.C.: A combined pointer and purity analysis for Java programs. In: MIT Technical Report MIT-CSAIL-TR-949 (2004)
32. Spring, J.H., Privat, J., Guerraoui, R., Vitek, J.: Streamflex: High-throughput stream programming in Java, 211-228 (2007)
33. Srinivasan, S.: A thread of one's own. In: Workshop on New Horizons in Compilers (2006), http://www.cse.iitb.ac.in/~uday/NHC-06/advprogram.html
34. Tschantz, M.S., Ernst, M.D.: Javari: adding reference immutability to Java. In: Proc. of OOPSLA, pp. 211-230 (2005)
35. Welch, P.: JCSP, http://www.cs.kent.ac.uk/projects/ofa/jcsp
36. Welsh, M., Culler, D.E., Brewer, E.A.: SEDA: An architecture for well-conditioned, scalable internet services. In: SOSP, 230-243 (2001)
37. Wilhelm, R., Sagiv, S., Reps, T.W.: Shape analysis. In: Watt, D.A. (ed.) CC 2000 and ETAPS 2000. LNCS, vol. 1781, pp. 1-17. Springer, Heidelberg (2000)