Re: [Pharo-users] Threads safety in Pharo

2017-08-04 Thread Stephane Ducasse
ne Ducasse" , farid arfi < > arf...@hotmail.com> > Bcc: > Date: Fri, 4 Aug 2017 19:06:00 +0200 > Subject: Re: [Pharo-users] Threads safety in Pharo > Thanks Guille for your answer, > From what I understand, it is mainly a synchronisation problem. Why cant' > existing synch

Re: [Pharo-users] Threads safety in Pharo

2017-08-04 Thread Stephane Ducasse
> > Great, I taught some of theses concepts to my students some times ago and we > did some fun lab sessions with the Linux scheduler > > This was on my todo to turn it into a book chapter for Pharo. > > So may be we could work together to write a little booklet on this aspect to > get started. >

Re: [Pharo-users] Threads safety in Pharo

2017-08-04 Thread Alidra Abdelghani via Pharo-users
--- Begin Message --- Thanks Guille for your answer, From what I understand, it is mainly a synchronisation problem. Why cant' existing synchronisation mechanisms (semaphores and mutex) be used? Abdelghani > On 31 Jul 2017, at 18:44, Guillermo Polito wrote: > > I believe there is no such a doc

Re: [Pharo-users] Threads safety in Pharo

2017-08-04 Thread Alidra Abdelghani via Pharo-users
--- Begin Message --- > On 01 Aug 2017, at 09:36, Stéphane Ducasse wrote: > > To complement. > > What would be fun is to investigate the implementation of ProcessScheduler, > Process and check the implementation. > > Abdel there is a nice presentation of the processor and process in the Sque

Re: [Pharo-users] Threads safety in Pharo

2017-08-04 Thread Alidra Abdelghani via Pharo-users
--- Begin Message --- Hi Ben, > On 01 Aug 2017, at 13:31, Ben Coman 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

Re: [Pharo-users] Threads safety in Pharo

2017-08-01 Thread Ben Coman
Not sure I'll have what you're looking for, but to start, do you mean Pharo's green threads or vm native threads? 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 Abdel

Re: [Pharo-users] Threads safety in Pharo

2017-07-31 Thread Guillermo Polito
I believe there is no such a document. It would be however interesting to investigate it a bit deeper. In general, the problem we talk about when we talk about thread safety is the following: Can we run a workspace in a separate thread than a browser and provide correct results? Can we run two brow

[Pharo-users] Threads safety in Pharo

2017-07-30 Thread Alidra Abdelghani via Pharo-users
--- Begin Message --- 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 le