Publication details

Saarland University Computer Science

Status Report: HOT Pickles, and how to serve them

Andreas Rossberg, Guido Tack, Leif Kornstaedt

2007 ACM SIGPLAN Workshop on ML, pp. 25-36, ACM, 2007

The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, including variants of ML, thus offer pickling as a system service, but usually in a both unsafe and inexpressive manner, so that its use is discouraged. In contrast, safe generic pickling plays a central role in the design and implementation of Alice ML: components are defined as pickles, and modules can be exchanged between processes using pickling. For that purpose, pickling has to be higher-order and typed (HOT), i.e. embrace code mobility and involve runtime type checks for safety. We show how HOT pickling can be realised with a modular architecture consisting of multiple abstraction layers for separating concerns, and how both language and implementation benefit from a design consistently based on pickling.

Download PDF        Show BibTeX               

Login to edit

Legal notice, Privacy policy