--
---
You received this message because you are subscribed to the Google Groups "Scalable Synchronization Algorithms" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lock-free+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CAEeQi3t9sGs3RyOHG1rCi5KH-0LhP0AX7LdEiG0EaZH-2Xyzrw%40mail.gmail.com.
--
---
You received this message because you are subscribed to the Google Groups "Scalable Synchronization Algorithms" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lock-free+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CADQeMNeRGVNckAd0PaTneVQfeXf9e-PHa8mU%2BC3iMqqkKdvgng%40mail.gmail.com.
To unsubscribe from this group and stop receiving emails from it, send an email to lock...@googlegroups.com.
There exists a universally accepted meaning of lock-freedom. You
may find various definitions that try to describe or formalize it
in different ways, but the essence is always the same. Here are a
few definitions from different sources:
The mental model that is used to reason about this guarantee
assumes that a thread can fail at any time anywhere in the
code - and such a failed thread must not prevent other
threads from finishing their operations.
Or put another way: An algorithm that requires a thread A to
wait for another thread B to finish some operation in order to
proceed, can never be lock-free, because we have to assume that
thread B may never finish its operation.
Whether this assumption is probable/realistic or not is beside the point and therefore irrelevant.
You received this message because you are subscribed to a topic in the Google Groups "Scalable Synchronization Algorithms" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/lock-free/MnhH9AlLfOc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to lock-free+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CAEeQi3t8dFODaK22rEM5rRhutouHyDz_hd6a6C-Yi3Utx5HdSQ%40mail.gmail.com.
In computer science, an algorithm is called non-blocking if failure or suspension of any thread cannot cause failure or suspension of another thread;[1] for some operations, these algorithms provide a useful alternative to traditional blocking implementations. A non-blocking algorithm is lock-free if there is guaranteed system-wide progress, and wait-free if there is also guaranteed per-thread progress.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CADQeMNeBfn%2BFtb%3D%3D%2B2cgU1g7GRYwR07PRy5T15-LJ1NaPcYXig%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CAPhqw8uOtZX4M1K2BRyfOdQDyyt2ch58qnbADN6WMvciQv_omA%40mail.gmail.com.
> To unsubscribe from this group and stop receiving emails from it, send an email to lock...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/c1a1fd50-1635-4404-95da-00042df22230%40googlegroups.com.
--
Dmitry Vyukov
All about lockfree/waitfree algorithms, multicore, scalability,
parallel computing and related topics:
http://www.1024cores.net
--
---
You received this message because you are subscribed to a topic in the Google Groups "Scalable Synchronization Algorithms" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/lock-free/MnhH9AlLfOc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to lock...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CAEeQi3t8dFODaK22rEM5rRhutouHyDz_hd6a6C-Yi3Utx5HdSQ%40mail.gmail.com.
--
---
You received this message because you are subscribed to the Google Groups "Scalable Synchronization Algorithms" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lock...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CADQeMNeBfn%2BFtb%3D%3D%2B2cgU1g7GRYwR07PRy5T15-LJ1NaPcYXig%40mail.gmail.com.
--
---
You received this message because you are subscribed to a topic in the Google Groups "Scalable Synchronization Algorithms" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/lock-free/MnhH9AlLfOc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to lock...@googlegroups.com.
To unsubscribe from this group and all its topics, send an email to lock-free+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/0597887d-f5c2-475c-9f9f-17a034b9a1e4%40googlegroups.com.
To unsubscribe from this group and stop receiving emails from it, send an email to lock-free+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CADQeMNcEzTqDZsaeiEhRwPp2GZT%2B%2B52Xgy7MRb9RE3OOhC1uLA%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CAJyh1U%3DMP7_eBx4X8-4E_bV3wu%2BnmSQVwp3S19%3DEv93c4_OV8g%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CADQeMNfB%2BbEBR2Pa%2BXQ1Knn-Bd%3DLSA545GiHLVSMvckyWw8W-g%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CAJyh1U%3DY5nN1UOUKw04vk6Cd_wK4KC%3DuY9M%2BP4DqyPPG52gs9Q%40mail.gmail.com.
do {
o = out;
while (o == in)
sched_yield(); // if empty, wait for item
} while (isFree[o & mask] || !out.compare_exchange_weak(o, o + 1));
To unsubscribe from this group and all its topics, send an email to lock...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/0597887d-f5c2-475c-9f9f-17a034b9a1e4%40googlegroups.com.
--
---
You received this message because you are subscribed to the Google Groups "Scalable Synchronization Algorithms" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lock...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CADQeMNcEzTqDZsaeiEhRwPp2GZT%2B%2B52Xgy7MRb9RE3OOhC1uLA%40mail.gmail.com.
--
---
You received this message because you are subscribed to a topic in the Google Groups "Scalable Synchronization Algorithms" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/lock-free/MnhH9AlLfOc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to lock...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lock-free/CAJyh1U%3DMP7_eBx4X8-4E_bV3wu%2BnmSQVwp3S19%3DEv93c4_OV8g%40mail.gmail.com.