Hi Ben,
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 <mailto:pharo-users@lists.pharo.org>> wrote:
---------- Forwarded message ---------- From: Alidra Abdelghani <alidrandco@yahoo.fr <mailto:alidrandco@yahoo.fr>> To: pharo-users@lists.pharo.org <mailto:pharo-users@lists.pharo.org> Cc: "Stéphane Ducasse" <stephane.ducasse@inria.fr <mailto:stephane.ducasse@inria.fr>>, farid arfi <arfi_f@hotmail.com <mailto: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