On 01 Aug 2017, at 13:31, Ben Coman <btc@openinworld.com> wrote:

Not sure I'll have what you're looking for, but to start, do you mean Pharo's green threads or vm native threads?

I believe this is about Pharo threads.

I am not quite sure of what the vm native threads are or if there is a safety problem with them. But still, it could be interesting to investigate :)

Thanks

Abdelghani

cheers -ben

On Mon, Jul 31, 2017 at 7:38 AM, Alidra Abdelghani via Pharo-users <pharo-users@lists.pharo.org> wrote:

---------- Forwarded message ----------
From: Alidra Abdelghani <alidrandco@yahoo.fr>
To: pharo-users@lists.pharo.org
Cc: "St��phane Ducasse" <stephane.ducasse@inria.fr>, farid arfi <arfi_f@hotmail.com>
Bcc:
Date: Mon, 31 Jul 2017 01:38:58 +0200
Subject: Threads safety in Pharo
Hi,

Somebody once evoked the problem of threads safety in Pharo. With a friend of mine who is expert in formal methods and process scheduling, we would like to have a look on it.
Does anyone knows a good document describing the problem of Pharo with threads safety or at least any document that we can start with?

Thanks in advance,
Abdelghani