Re: [Pharo-users] Threads safety in Pharo

[Alidra Abdelghani via Pharo-users]

--- Begin Message ---

Hi Ben,

> On 01 Aug 2017, at 13:31, Ben Coman <b...@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 <alidran...@yahoo.fr <mailto:alidran...@yahoo.fr>>
> To: pharo-users@lists.pharo.org <mailto:pharo-users@lists.pharo.org>
> Cc: "Stéphane Ducasse" <stephane.duca...@inria.fr 
> <mailto:stephane.duca...@inria.fr>>, farid arfi <arf...@hotmail.com 
> <mailto:arf...@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
> 
> 
> 
> 

--- End Message ---