English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
abstract machine with threads
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-08-16 (08:32)
From: Frédéric_Gava <gava@u...>
Subject: abstract machine with threads
Dear caml-list,

I am looking for a paper which described (formally) an abstract (state)
machine (for a ML like langage) with  threads, e.g., a multi-threads ZAM or
a multi-threads CAM.

Threads are easy to understand in the case of byte or native code. But in
the case of an abstract machine (with a stack) what's happen ? Is there a
copy of the stack ? Is there two pointers on the shared stack ?

I thinks it could be interesting to have this description because once can
formally prove an equivalence between a formal semantics of ocaml with
threads, an abstract-state machine with threads and the bytecode with

Someone know where I can find it ? (a formal description of a multi-threads
abstract machine)

Frédéric Gava