Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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
threads.

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

thanks,
Frédéric Gava