<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:12pt"><div><span>Hi Armin:<br></span></div><div><br></div> <div style="font-family: times new roman,new york,times,serif; font-size: 12pt;"> <div style="font-family: times new roman,new york,times,serif; font-size: 12pt;"> <font face="Arial" size="2"> <hr size="1"> <b><span style="font-weight: bold;">From:</span></b> Armin Rigo <arigo@tunes.org><br> <b><span style="font-weight: bold;">To:</span></b> Andrew Francis <andrewfr_ice@yahoo.com> <br><b><span style="font-weight: bold;">Cc:</span></b> "pypy-dev@codespeak.net" <pypy-dev@codespeak.net> <br> <b><span style="font-weight: bold;">Sent:</span></b> Thursday, January 5, 2012 3:08 PM<br> <b><span style="font-weight: bold;">Subject:</span></b> Re: [pypy-dev] Problems Installing STM<br> </font> <br>>Ah, sorry. You need also to pass the option "--gc=none".
All real<br>>GCs are unsupported so far :-/<br><br>Great this works!<br><br>AF> I don't see rstm.begin_transaction() being called. Is this implicit with<br>AF> when a thread starts?<br><br>>Yes.<br><br>I interpret this as telling the underlying transaction manager that every variable the thread<br>uses is a part of a transaction, therefore log it (this is akin to starting a lock at the beginning of a programme and unlocking at the end). This is not how I understand STM or transactions to work. In<br>this case, I think the Python way, explicit beats implicit is the better strategy. <br><br>Does begin_transaction() work?<br><br>AF> In general, what sort of feedback are you looking for at this stage?<br><br>>It's unclear. At this stage I'm looking for how we would really like<br>>the final STM-over-PyPy to look like, as this question is not clear at<br>>all. See my other mails about this topic...<br><br>Yes I am
reading the other email messages. However I feel commenting on existing work belongs in its own separate thread.<br><br>Some comments and Questions:<br><br>1) I am starting to look at the rstm library, running some of the code. Bench examples emit logging data. I think it would be useful to have a logging facility to see what the underlying STM mechanism is doing. I have logging for my join pattern implementation. It helped me understand how patterns *worked* (and whether they were working).<br><br>2) Looking at Haskell and rstm examples and looking at the targetdemo example, I am not sure how you tell the STM which variables (i.e., the Anchor) are of interest?<br><br>Cheers,<br>Andrew<br><br><br> </div> </div> </div></body></html>