Re-hi,
Ah, I realized something else. When considering solutions for
CPython, if we go for the one-transaction-per-bytecode approach, like
the approach taken in the 2 papers so far about CPython+TM, then we
need non-lexically-nested transactions in the C language, i.e. more
than what GCC 4.7 offe
Hi Andrew,
On Tue, Jan 3, 2012 at 19:45, Andrew Francis wrote:
> I have downloaded pypy from the repository, overlaid it with a pre-compiled
> (I don't have a big enough machine to compile from source) and use
> virtualenv, altering PYTHONPATH to point to the top of the pypy directory.
You don't
On Thu, Jan 5, 2012 at 5:38 AM, Armin Rigo wrote:
> Ah, I realized something else. When considering solutions for
> CPython, if we go for the one-transaction-per-bytecode approach, like
> the approach taken in the 2 papers so far about CPython+TM, then we
> need non-lexically-nested transactions
On Thu, Jan 5, 2012 at 11:10, David Edelsohn wrote:
> On Thu, Jan 5, 2012 at 5:38 AM, Armin Rigo wrote:
>
>> Ah, I realized something else. When considering solutions for
>> CPython, if we go for the one-transaction-per-bytecode approach, like
>> the approach taken in the 2 papers so far about C
> I'm not sure how
> that plays into lexical structure, but intuitively it seems like the
> with-statement style plays nicely.
The lexical scoping method also helps with general sanity of the
programmer. The idea behind STM is that certain failed transactions
need to be re-startable. That is, if t
Hi Armin:
From: Armin Rigo
To: Andrew Francis
Cc: "[email protected]"
Sent: Thursday, January 5, 2012 5:46 AM
Subject: Re: [pypy-dev] Problems Installing STM
>You don't need a PyPy at all, pre-compiled or not. You don't need
>virtualenv either.
Tha
Hi Andrew,
On Thu, Jan 5, 2012 at 20:34, Andrew Francis wrote:
> [translation:ERROR] AssertionError: cast_ptr_to_adr(gcref) is a bad idea
> with STM. Consider checking config.stm in (pypy.rpython.memory.gc.minimark:427)MiniMarkGC.post_setup at 0x98f82d4>
Ah, sorry. You need also to pass the
On 5 January 2012 10:30, Armin Rigo wrote:
> Hi all,
>
> (Andrew: I'll answer your mail too, but this is independent)
>
> Sorry if this mail is more general than just pypy-dev, but I'll post
> it here at least at first. When thinking more about STM (and also
> after reading a paper that cfbolz po
