tag:blogger.com,1999:blog-8383004232931899216.post7015457539087948385..comments2023-11-01T11:47:57.046-04:00Comments on Designing ParaSail, a new programming language: Pointer-free primitives for ParaSailTucker Tafthttp://www.blogger.com/profile/08866496974237052847noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-8383004232931899216.post-86434898268555441852010-08-24T07:06:02.574-04:002010-08-24T07:06:02.574-04:00Thanks for explanation.
I also keep eye on this w...Thanks for explanation.<br /><br />I also keep eye on this work http://coherence-lang.org, but your project is more concrete already.ivanhttps://www.blogger.com/profile/00406855979629799847noreply@blogger.comtag:blogger.com,1999:blog-8383004232931899216.post-72847221800213309472010-08-23T21:46:29.992-04:002010-08-23T21:46:29.992-04:00To detect race conditions at compile-time, it is e...To detect race conditions at compile-time, it is essential to know whether two object references might refer to the same object. If you have a tree represented with arbitrary pointers, it is very difficult for the compiler to prove that the structure is in fact "tree"-ish, so that if threads are operating on different parts of the tree, they won't "run into" each other. On the other hand, if you represent the branches of the tree as sub-objects of the enclosing node, it is trivial to prove that two threads operating in separate sub-objects can never run into each other and end up in a race condition.<br /><br />Of course you could adopt a very conservative race-condition detection algorithm in the presence of pointers, but then there would likely be a lot of false alarms, preventing the use of what are in fact "safe" algorithms, presuming potential race conditions are disallowed at compile-time.Tucker Tafthttps://www.blogger.com/profile/08866496974237052847noreply@blogger.comtag:blogger.com,1999:blog-8383004232931899216.post-81376939845329701892010-08-12T11:31:19.721-04:002010-08-12T11:31:19.721-04:00Hi. Could you give an example in which pointers le...Hi. Could you give an example in which pointers lead to race-condition and pointers elimination lead to race-condition elimination?ivanhttps://www.blogger.com/profile/00406855979629799847noreply@blogger.com