tag:blogger.com,1999:blog-4261493623714341980.post7277270145833704721..comments2024-03-14T09:43:51.457+02:00Comments on Design Codes: Scaling Up with STM.NET (Software Transactional Memory)Aviad Ezrahttp://www.blogger.com/profile/09707070940026784485noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-4261493623714341980.post-37105552503264855372010-02-27T23:08:35.515+02:002010-02-27T23:08:35.515+02:00Great question!
In order to enable the privatiza...Great question! <br /><br />In order to enable the privatization/publication pattern in strong atomicity surroundings, STM introduces the notation of ‘Dynamic separation’ which enable programmers to make explicit calls to change the protection state of references from protected (shared between multiple threads and accessed only in transactions) to unprotected (inaccessible from transactions).<br Aviad Ezrahttps://www.blogger.com/profile/09707070940026784485noreply@blogger.comtag:blogger.com,1999:blog-4261493623714341980.post-25748306482088089362010-02-27T22:08:00.042+02:002010-02-27T22:08:00.042+02:00Wow, great post Aviad!!
I have a question though...Wow, great post Aviad!! <br /><br />I have a question though,<br /><br />When you described the privatization problem you mentioned that Haskell support strong atomically by not allowing TVar actions to be called from non transactional regions, <br /><br />Maybe I am missing something but I don't understand how the privatization pattern can be implemented if you can't access TVar actions Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-4261493623714341980.post-3181074158950771302010-02-27T20:09:30.974+02:002010-02-27T20:09:30.974+02:00A great post!
Thank you Aviad for reviling such i...A great post!<br /><br />Thank you Aviad for reviling such interesting technologies, I wasn't aware of the transactional memory concept up until now, It sounds like a promising technology, <br /><br />I guess that when 16/32/64/128 CPU machines will become main stream, the software industry will strive for enabling technology like STM,<br /><br />Best regards and keep on providing us will Michaelnoreply@blogger.comtag:blogger.com,1999:blog-4261493623714341980.post-46212437567773216472010-02-24T17:05:22.701+02:002010-02-24T17:05:22.701+02:00Thanks for the note, I will include this piece of ...Thanks for the note, I will include this piece of detail in the post.Aviad Ezrahttps://www.blogger.com/profile/09707070940026784485noreply@blogger.comtag:blogger.com,1999:blog-4261493623714341980.post-85133677100436685492010-02-24T02:26:33.668+02:002010-02-24T02:26:33.668+02:00> produced example programs which were not writ...> produced example programs which were not written by the language implementers<br /><br />It's an even stronger result in the Haskell world. Haskell's STM is used in production systems, not just "example programs". For example, at Galois.<br /><br />(Written up here, http://www.galois.com/blog/2009/04/27/engineering-large-projects-in-haskell-a-decade-of-fp-at-galois/)Anonymousnoreply@blogger.com