... ESPRESS¹

The ESPRESS project is a cooperation of industry (Daimler-Benz AG and Robert Bosch AG) and academic (GMD-First, FhG-ISST, and TU-Berlin) research institutes, funded by the German Bundesministerium für Bildung, Wissenschaft, Forschung und Technologie.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... right²

The computation model can be easily modified to relax this condition, but an implementation providing ``parallel or'' is signifcantly more complex.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... point³

By construction, a thread can never dump in state MWAIT or TWAIT; thus special temporary control data stored in ThreadData for theses states needs not to be saved as well.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.