Software

Software

I will keep uploading pieces of code I wrote, they are mostly OCaml or F# related.

OcamlP3l

A large part of my research work contributes to the evolving of OcamlP3l system, a skeleton-based parallel programming system written in, and for, OCaml. The essence of a skeleton system is that it provides a set of typical parallel structures as higher-order constructors (or say skeletons, patterns, combinators etc.), and the programmers create their parallel application simply by the instantiation of these well-know forms (with plain sequential routines describing the sequential portions of the application), as well as their composition (to form nested parallel structure). Compared with traditional approaches, skeletons provide a higher-level and structured way to program parallel applications with much less effort, cleaner semantics and better reliability. A highlight of OcamlP3l is that the three back-ends based on different kinds of semantics, namely sequential, graphical and parallel, make it possible to debug an applications in one way (preferably sequentially and graphically), and execute it in another (esp. in parallel). Other benefits include the possibility of mixing sequential and parallel computation, skeleton specializing, color based load balancing mechanics etc.

The current version of OcamlP3l as well as all its document is provided through its website. A next generation of the system, which is a total rewritten of current system to gain full extensibility, is currently in development.

coThreads

coThreads is a concurrent/parallel programming library for OCaml. It enhances the Threads library of the standard OCaml distribution in both dimensions:

• it implements the same API of the standard Threads library with different execution engines (process, netwoker(todo)), so that a single copy of source code can be compiled and deployed to different environments without modification
• it is also a super set of the standard Threads library, with extra components (STM etc.), functions (spawn etc.), and features (object-level compatibility etc.)

Enhtop

patch for an enhanced OCaml toplevel

Vprint

a runtime value printer for OCaml, extremely experimental at the moment, use at your own risk.

Weaktbl

a weak hash table library for OCaml, with an interface compatible with the standard Hashtbl library.

SDFlow

a high-level combinatorial dataflow programming library based upon destructive lazy streams.

SECD

a toy implementation of Landin’s SECD machine in OCaml

pa_scope

OCaml syntax extension (via camlp4) for opening modules in current scope

pa_use

OCaml syntax extension (via camlp4) simulating F#’s “use” binding syntax

pa_cexp

OCaml syntax extension (via camlp4) backporting F#’s computation expression

pa_trybind

OCaml syntax extension (via camlp4) for handling exceptions in scope of bindings

STMlib

a user-space STM library for OCaml, Google Summer of Code 2007 project. It’s now obsoleted by coThreads.

This document was translated from L^AT_EX by H^EV^EA.