RE: About Haskell Thread Model

2003-10-21 Thread Simon Marlow
> On Mon, Oct 13, 2003 at 11:13:56AM +0200, Wolfgang Thaller wrote: > > The reason why we currently do not take advantage of SMP is > that the > > Haskell Heap is a shared data structure which is modified > whenever a > > thunk (an unevaluated expression) is evaluated. Using > synchronisatio

Re: About Haskell Thread Model

2003-10-14 Thread Jan-Willem Maessen
William Lee Irwin III <[EMAIL PROTECTED]> discusses SMP threading issues: > On Mon, Oct 13, 2003 at 12:02:52PM -0400, Jan-Willem Maessen wrote: > > In reality you probably want to use some sort of thin lock / fat lock > > approach a la Java. Is the location thinly locked? If so, CAS in a > > fat

Re: About Haskell Thread Model

2003-10-13 Thread William Lee Irwin III
William Lee Irwin III <[EMAIL PROTECTED]> asks about true SMP >> cmpxchg and then taking a blocking lock sounds like the 2-tier locking >> supported with Linux' new futex system calls. I wonder how they chose >> to block in the older GHC RTS. On Mon, Oct 13, 2003 at 12:02:52PM -0400, Jan-Willem Ma

Re: About Haskell Thread Model

2003-10-13 Thread Jan-Willem Maessen
William Lee Irwin III <[EMAIL PROTECTED]> asks about true SMP haskell. > On Mon, Oct 13, 2003 at 11:13:56AM +0200, Wolfgang Thaller wrote: > > The reason why we currently do not take advantage of SMP is that the > > Haskell Heap is a shared data structure which is modified whenever a > > thunk (a

Re: About Haskell Thread Model

2003-10-13 Thread mgross
On Mon, 13 Oct 2003, Wolfgang Thaller wrote: > > Do you have some experience or knowledge about Parallel Haskell? And Parallel Haskell runs, but there are problems. Unless someone has slipped something past me, there is no parallel implementation for Release 6 yet, so if you want to tinker w

Re: About Haskell Thread Model

2003-10-13 Thread Wolfgang Thaller
Do you have some experience or knowledge about Parallel Haskell? And what you mentioned in you previous email is all about Concurrent Haskell or about the both? Everything I said was about Concurrent Haskell. I have no experience with Parallel Haskell. All the binaries available on the GHC web pa

RE: About Haskell Thread Model

2003-10-13 Thread Yang, Qing
unday, October 12, 2003 4:58 AM To: Yang, Qing Cc: [EMAIL PROTECTED] Subject: Re: About Haskell Thread Model > I am a new learner of Haskell and I am interested in Haskell's > concurrent model. Can somebody give me a brief intro about Haskell's > thread model, like how the use-lev

Re: About Haskell Thread Model

2003-10-13 Thread William Lee Irwin III
William Lee Irwin III wrote: >> That's a painful-sounding state of affairs, though not entirely >> unexpected. It would be interesting to hear of "BKL breakup" efforts >> for Haskell runtime systems, though anymore I'm totally ignorant of >> what the devil is going on in userspace except database-o

Re: About Haskell Thread Model

2003-10-13 Thread Wolfgang Thaller
William Lee Irwin III wrote: On Sat, Oct 11, 2003 at 10:58:04PM +0200, Wolfgang Thaller wrote: You should also note that no Haskell implementation currently supports SMP; even when multiple kernel threads are used, there is a mutual exclusion lock on the Haskell heap, so a multithreaded Haskell pr

Re: About Haskell Thread Model

2003-10-13 Thread William Lee Irwin III
On Sat, Oct 11, 2003 at 10:58:04PM +0200, Wolfgang Thaller wrote: > If you compile the bleeding-edge GHC from the CVS HEAD, you'll get > something else; while "most" threads (those created using "forkIO") are > still light-weight threads that are scheduled in just one kernel > thread, you can al

RE: About Haskell Thread Model

2003-10-12 Thread Yang, Qing
t: Re: About Haskell Thread Model > I am a new learner of Haskell and I am interested in Haskell's > concurrent model. Can somebody give me a brief intro about Haskell's > thread model, like how the use-level threads are mapped to kernel > thread > and what scheduling mechanism

Re: About Haskell Thread Model

2003-10-11 Thread Wolfgang Thaller
From www.haskell.org, there's a link "Haskell Compilers and Interpreters"; and from there, the first link leads to www.haskell.org/hugs, which is Hugs' home page. Cheers, Wolfgang ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mail

Re: About Haskell Thread Model

2003-10-11 Thread Bill Halchin
Wolfgang,    How can I get source of Hugs? (frm http://www.haskell.org?). Regards, Vasili     >From: Wolfgang Thaller <[EMAIL PROTECTED]> >To: [EMAIL PROTECTED] >CC: [EMAIL PROTECTED] >Subject: Re: About Haskell Thread Model >Date: Sat, 11 Oct 2003 22:58:04 +0200 &g

Re: About Haskell Thread Model

2003-10-11 Thread Wolfgang Thaller
I am a new learner of Haskell and I am interested in Haskell's concurrent model. Can somebody give me a brief intro about Haskell's thread model, like how the use-level threads are mapped to kernel thread and what scheduling mechanism that Haskell uses, or point me to some links or documents that

Re: About Haskell Thread Model

2003-10-10 Thread Bill Halchin
    >From: "Yang, Qing" <[EMAIL PROTECTED]> >To: <[EMAIL PROTECTED]> >Subject: About Haskell Thread Model >Date: Fri, 10 Oct 2003 10:06:46 +0800 > >Hello, > > > >I am a new learner of Haskell and I am interested in Haskell's >concurre

About Haskell Thread Model

2003-10-09 Thread Yang, Qing
Hello,   I am a new learner of Haskell and I am interested in Haskell’s concurrent model. Can somebody give me a brief intro about Haskell’s thread model, like how the use-level threads are mapped to kernel thread and what scheduling mechanism that Haskell uses, or point me to some links