My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 13: Exercise 29. Is the following property equivalent to saying that object x is wait-free?
1 person starred this issue and may be notified of changes. Back to list
Status:  Verified
Owner:  sergeypr...@gmail.com
Closed:  Oct 2014


 
Project Member Reported by sergeypr...@gmail.com, Sep 28, 2014
For every infinite history H of x, every thread that takes an infinite number of
steps in H completes an infinite number of method calls.
Sep 28, 2014
Project Member #1 sergeypr...@gmail.com
It is wait-free because any threads don't wait - we have condition "every thread that takes an infinite number of steps in H completes an infinite number of method calls" - every thread finishes successfully and they don't wait
Oct 16, 2014
Project Member #2 sh.ba...@gmail.com
well done.
Status: Verified

Powered by Google Project Hosting