Distributed meta-programming

ABSTRACT

Distributed meta-programming (DMP), which allows code to be generated and distributed at run-time, has already become a common practice. However, code generation currently often relies on rather ad hoc approaches that represent code as plain text, making DMP notoriously error-prone. This unfortunate situation is further exacerbated due to issues such as mobility (of code) and locality and heterogeneity (of resources), which complicate testing and debugging drastically.In this paper, we study distributed meta-programming from a type-theoretic perspective, presenting a language to facilitate the construction of programs that may generate and distribute code at run-time. The approach we take makes use of a form of typeful code representation developed in a previous study on meta-programming, and it guarantees statically that only well-typed code (according to some chosen type discipline) can be constructed at run-time and sent to proper locations for execution. We also mention a prototype implementation in support of the practicality of our approach to DMP, providing a solid proof of concept.

REFERENCES

• 1: Gérard Berry , Gérard Boudol, The chemical abstract machine, Theoretical Computer Science, v.96 n.1, p.217-248, 6 April 1992
• 2: John Billings , Peter Sewell , Mark Shinwell , Rok Strniša, Type-safe distributed programming for OCaml, Proceedings of the 2006 workshop on ML, September 16-16, 2006, Portland, Oregon, USA [doi>10.1145/1159876.1159881]
• 3: Luca Cardelli , Andrew D. Gordon, Mobile ambients, Theoretical Computer Science, v.240 n.1, p.177-213, June 6 2000 [doi>10.1016/S0304-3975(99)00231-5]
• 4: Chiyan Chen , Hongwei Xi, Type inference in applied type system, Boston University, Boston, MA, 2006
• 5: C. Chen, R. Shi, and H. Xi. Distributed meta-programming, 2004. Available at http://www.cs.bu.edu/~hwxi/academic/drafts/DMP.ps
• 6: Chiyan Chen , Hongwei Xi, Meta-programming through typeful code representation, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.275-286, August 25-29, 2003, Uppsala, Sweden
• 7: Chiyan Chen , Hongwei Xi, Meta-programming through typeful code representation, Journal of Functional Programming, v.15 n.6, p.797-835, November 2005 [doi>10.1017/S0956796805005617]
• 8: N. G. de Bruijn. Lambda calculus notation with nameless dummies. Indagationes mathematicae, 34:381--392, 1972.
• 9: Cédric Fournet , Georges Gonthier , Jean-Jacques Lévy , Luc Maranget , Didier Rémy, A Calculus of Mobile Agents, Proceedings of the 7th International Conference on Concurrency Theory, p.406-421, August 26-29, 1996
• 10: L. Jia and D. Walker. Modal proofs as distributed programs (extended abstract). In 13th European Symposium on Programming (ESOP'04), pages 219--233, Barcelona, Spain, March 2004. The full paper is available as technical report no. TR-671-03 of Computer Science Department, Princeton University.
• 11: Robin Milner , Joachim Parrow , David Walker, A calculus of mobile processes, II, Information and Computation, v.100 n.1, p.41-77, Sept. 1992 [doi>10.1016/0890-5401(92)90009-5]
• 12: Robin Milner , Mads Tofte , David Macqueen, The Definition of Standard ML, MIT Press, Cambridge, MA, 1997
• 13: J. Moody. Modal Logic as a Basis for Distributed Computation. Technical Report CMU-CS-03-194, Carnegie Mellon University, 2003.
• 14: Tom Murphy VII , Karl Crary , Robert Harper , Frank Pfenning, A Symmetric Modal Lambda Calculus for Distributed Computing, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), p.286-295, July 13-17, 2004 [doi>10.1109/LICS.2004.7]
• 15: A. Rossberg, J. Schwinghammer, G. Smolka, and G. Tack. Alice Programming Language. http://www.ps.uni-sb.de/alice/.
• 16: Alan Schmitt , Jean-Bernard Stefani, The m-calculus: a higher-order distributed process calculus, Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.50-61, January 15-17, 2003, New Orleans, Louisiana, USA
• 17: R. Shi and H. Xi. A Prototype Implementation of DMP in ATS, 2005. Available at: http://cs-people.bu.edu/shearer/research/projects/dmp/.
• 18: Walid Taha , Tim Sheard, MetaML and multi-stage programming with explicit annotations, Theoretical Computer Science, v.248 n.1-2, p.211-242, October 2000 [doi>10.1016/S0304-3975(00)00053-0]
• 19: H. Xi. Applied Type System (extended abstract). In post-workshop Proceedings of TYPES 2003, pages 394--408. Springer-Verlag LNCS 3085, 2004.
• 20: Nobuko Yoshida , Matthew Hennessy, Suptyping and Locality in Distributed Higher Order Processes (extended abstract), Proceedings of the 10th International Conference on Concurrency Theory, p.557-572, August 24-27, 1999

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES

General Terms:
Languages

Keywords:
applied type system, ATS, distributed meta-programming, typeful code representation