On the Execution of Ambients
File(s)ambientVM.pdf (277.37 KB)
Working Paper
Author(s)
Sackman, M
Eisenbach, S
Type
Conference Paper
Abstract
Successfully harnessing multi-threaded programming has recently received renewed attention. The GHz war of the last years has been replaced with a parallelism war, each manufacturer seeking to produce CPUs supporting a greater number of threads in parallel execution.\r\n\r\nThe Ambient calculus offers a simple yet powerful means to model communication, distributed computation and mobility. However, given its first class support for concurrency, we sought to investigate the utility of the Ambient calculus for practical programming purposes.\r\n\r\nAlthough too low-level to be considered as a general-purpose programming language itself, the Ambient calculus is nevertheless a suitable virtual machine for the execution of mobile and distributed higher-level languages. We present the Glint Virtual Machine: an interpreter for the Safe Boxed Ambient calculus. The GlintVM provides an effective platform for mobile, distributed and parallel computation and should ease some of the difficulties of writing compilers for languages that can exploit the new thread-parallel architectures.
Date Issued
2007-06
Citation
2007, pp.1-18
Source Title
3rd International Workshop on Methods and Tool for Coordinating Concurrent Distributed and Mobile Systems (MTCoord) 2007
Start Page
1
End Page
18
Copyright Statement
© The Authors
Source
3rd International Workshop on Methods and Tool for Coordinating Concurrent Distributed and Mobile Systems (MTCoord) 2007
Source Place
Paphos, Cyprus
Start Date
2007-06-06
Finish Date
2007-06-08
Coverage Spatial
Paphos, Cyprus