Service Combinators for Farming Virtual Machines

Bhargavan, Karthikeyan; Gordon, Andrew D.; Narasamdya, Iman

doi:10.1007/978-3-540-78663-4_3

Cited by 1 publication

(1 citation statement)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We target the grid platform but the patterns presented in the paper are general, and so can be applied to other deployment platforms as well. In [2], the authors describe type-safe programming mechanisms for combining and managing enterprise services, in the setting of farms of virtual machines. It would be interesting future work to extend our language to control VMs, using the service combinators described in [2].…”

Section: Introductionmentioning

confidence: 99%

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

Wojciechowski

2012

Software Language Engineering

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%

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

Wojciechowski

2012

Software Language Engineering

View full text Add to dashboard Cite

show abstract

Service Combinators for Farming Virtual Machines

Cited by 1 publication

References 22 publications

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

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

Contact Info

Product

Resources

About