Multi-Threading Overview

Reentrancy and Thread-safety

This documents the state of the thread support in the ML and the toolbox libraries.

Within the ML and its libraries, the following definitions are used:

Reentrancy

A reentrant function can be called simultaneously by multiple threads provided that each invocation of the function references unique data. A class is said to be reentrant if each and every one of its functions can be called simultaneously by multiple threads on different instances of the class

Thread-Safety

A thread-safe function can be called simultaneously by multiple threads when each invocation references shared data. All access to the shared data is serialized. A class is said to be thread-safe if the functions can be called by different threads on the same instance.

Thread-safe Classes and Functions in the ML

The following classes/functions are reentrant:

The following classes/functions are thread-safe:

The following classes/functions are not thread-safe:


Generated on Sat Sep 3 18:37:43 2011 for MLReference by  doxygen 1.5.8