Advertisement

Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages

  • Paweł T. Wojciechowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6940)

Abstract

In the 1990s, there was considerable interest in mobile computation: systems in which running computations (or mobile agents) could be moved from one machine to another. Much of this work was in terms of high-level programming languages and mobile process calculi. An example is Nomadic Pict—a prototype high-level programming language in which to express and verify overlay networks, for reliable communication between mobile agents. One can ask whether the language abstractions could be useful for scripting programming in modern distributed deployment platforms, such as many-core processors, grids, web servers and datacentres. In this paper, we demonstrate selected features of Nomadic Pict, and show the use of typed channels and agent mobility for programming in the grid. We demonstrate example design patterns that can be used for implementing safe message passing, test & send, system bootstrapping, and relocatable computation.

Keywords

Virtual Machine Mobile Agent Script Language Mobile Computation Process Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Armstrong, J.L., Virding, R.: Erlang – an experimental telephony switching language. In: Proc. XIII International Switching Symposium (May-June 1991)Google Scholar
  2. 2.
    Bhargavan, K., Gordon, A.D., Narasamdya, I.: Service Combinators for Farming Virtual Machines. In: Wang, A.H., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 33–49. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Billings, J., Sewell, P., Shinwell, M., Strniša, R.: Type-safe distributed programming for OCaml. In: Proc. 2006 ACM SIGPLAN Workshop on ML (2006)Google Scholar
  4. 4.
    Bloom, B., Nystrom, N., Östlund, J., Richards, G., Strniša, R., Vitek, J., Wrigstad, T.: Thorn–robust, concurrent, extensible scripting on the JVM. In: Proc. OOPSLA 2009 (October 2009)Google Scholar
  5. 5.
    Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science (TCS) 240(1), 177–213 (2000)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Clojure. Distribution files and documentation, http://clojure.org/
  7. 7.
    Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in Singularity OS. In: Proc. EuroSys 2006 (April 2006)Google Scholar
  8. 8.
    Fournet, C., Gonthier, G., Lévy, J.-J., Maranget, L., Rémy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406–421. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  9. 9.
    Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  10. 10.
    Lopes, L., Figueira, Á., Silva, F., Vasconcelos, V.T.: A concurrent programming environment with support for distributed computations and code mobility. In: Proc. CLUSTER 2000 (November 2000)Google Scholar
  11. 11.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Parts I and II. Information and Computation 100(1), 1–77 (1992)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE TSE 24(5), 315–330 (1998)Google Scholar
  13. 13.
  14. 14.
    Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi-calculus. In: Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press (2000)Google Scholar
  15. 15.
    Sewell, P., Leifer, J.J., Wansbrough, K., Nardelli, F.Z., Allen-Williams, M., Habouzit, P., Vafeiadis, V.: Acute: High-level programming language design for distributed computation. In: Proc. ICFP 2005 (September 2005)Google Scholar
  16. 16.
    Sewell, P., Wojciechowski, P.T.: Verifying overlay networks for relocatable computations (or: Nomadic Pict, relocated). In: Proc. Workshop on the Rise and Rise of the Declarative Datacentre, Microsoft MSR-TR-2008-61 (May 2008)Google Scholar
  17. 17.
    Sewell, P., Wojciechowski, P.T., Pierce, B.C.: Location-Independent Communication for Mobile Agents: A Two-Level Architecture. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) ICCL-WS 1998. LNCS, vol. 1686, pp. 1–31. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  18. 18.
    Sewell, P., Wojciechowski, P.T., Unyapoth, A.: Nomadic Pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation. ACM TOPLAS 32(4), 1–63 (2010)CrossRefGoogle Scholar
  19. 19.
    Wojciechowski, P.T., Sewell, P.: Nomadic Pict: Language and infrastructure design for mobile agents. IEEE Concurrency 8(2), 42–52 (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Paweł T. Wojciechowski
    • 1
  1. 1.Poznań University of TechnologyPoland

Personalised recommendations