Skip to main content
SpringerLink
Log in

Functory: A Distributed Computing Library for Objective Caml

  • Conference paper
Trends in Functional Programming (TFP 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7193))

Included in the following conference series:

Abstract

We present Functory, a distributed computing library for Objective Caml. The main features of this library include (1) a polymorphic API, (2) several implementations to adapt to different deployment scenarios such as sequential, multi-core or network, and (3) a reliable fault-tolerance mechanism. This paper describes the motivation behind this work, as well as the design and implementation of the library. It also demonstrates the potential of the library using realistic experiments.

This research was partly supported by the French national project U3CAT (Unification of Critical C Code Analysis Techniques, ANR-08-SEGI-021).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CamlP3l, http://camlp3l.inria.fr/

  2. Plasma, http://plasma.camlcity.org/plasma

  3. The Erlang Programming Language, http://www.erlang.org/

  4. The GNU Multiple Precision Arithmetic Library, http://gmplib.org/

  5. Parallel Symbolic Computation 2010 (PASCO) (2010), http://pasco2010.imag.fr/

  6. Dean, J., Ghemawat, S.: MapReduce: Simplified Data Processing on Large Clusters. In: OSDI, pp. 137–150 (2004)

    Google Scholar 

  7. Filliâtre, J.-C., Marché, C.: The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 173–177. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Jansen, J.M., Plasmeijer, R., Koopman, P., Achten, P.: Embedding a Web-based Workflow Management System in a Functional Language. In: Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, pp. 7:1–7:8. ACM, New York (2010)

    Google Scholar 

  9. Leroy, X.: OCamlMPI: Interface with the MPI Message-passing Interface, http://pauillac.inria.fr/~xleroy/software.html

  10. Mandel, L., Maranget, L.: Programming in JoCaml (Tool Demonstration). In: Gairing, M. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 108–111. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. Murphy VII., T., Crary, K., Harper, R.: Type-Safe Distributed Programming with ML5. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 108–123. Springer, Heidelberg (2008)

    Google Scholar 

  12. Padioleau, Y.: A Poor Man’s MapReduce for OCaml (2009), http://www.padator.org/ocaml/mapreduce.pdf

  13. Pointon, R.F., Trinder, P.W., Loidl, H.-W.: The Design and Implementation of Glasgow Distributed Haskell. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol. 2011, pp. 53–70. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CNRS, LRI, Univ Paris-Sud 11, Orsay, F-91405, France

    Jean-Christophe Filliâtre & K. Kalyanasundaram

  2. INRIA Saclay - Île-de-France, ProVal, Orsay, F-91893, France

    Jean-Christophe Filliâtre & K. Kalyanasundaram

Authors
  1. Jean-Christophe Filliâtre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. K. Kalyanasundaram
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Facultad de Informática, Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, C/ Profesor Jose Garcia Santesmases s/n, 28040, Madrid, Spain

    Ricardo Peña

  2. School of Computer Science, University of Oklahoma, 110 West Boyd Street, 73019, Norman, OK, USA

    Rex Page

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Filliâtre, JC., Kalyanasundaram, K. (2012). Functory: A Distributed Computing Library for Objective Caml. In: Peña, R., Page, R. (eds) Trends in Functional Programming. TFP 2011. Lecture Notes in Computer Science, vol 7193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32037-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32037-8_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32036-1

  • Online ISBN: 978-3-642-32037-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation