Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming.threads > #4259
| Path | csiph.com!eternal-september.org!feeder.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail |
|---|---|
| From | Sky89 <Sky89@sky68.com> |
| Newsgroups | comp.programming.threads |
| Subject | Read again, i correct a typo |
| Date | Wed, 9 May 2018 18:03:51 -0400 |
| Organization | A noiseless patient Spider |
| Lines | 55 |
| Message-ID | <pcvd68$apt$8@dont-email.me> (permalink) |
| Mime-Version | 1.0 |
| Content-Type | text/plain; charset=utf-8; format=flowed |
| Content-Transfer-Encoding | 7bit |
| Injection-Date | Wed, 9 May 2018 18:03:52 -0000 (UTC) |
| Injection-Info | reader02.eternal-september.org; posting-host="e1b35fef6302e6da84f5b3c342d89be8"; logging-data="11069"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/2JJk43JoMWkP5bgKttYvN" |
| User-Agent | Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 |
| Content-Language | en-US |
| X-Mozilla-News-Host | news://news.eternal-september.org:119 |
| Cancel-Lock | sha1:vA8JIYrqWeU11dfo2iYOdG2fBlI= |
| Xref | csiph.com comp.programming.threads:4259 |
Show key headers only | View raw
Hello.. Read again, i correct a typo About Deadlock-freedom and Starvation-freedom.. "Starvation-freedom can be defined as: Whatever the process p, each invocation of acquire_mutex() issused by p eventually terminates. OR Any process trying to enter critical section, will eventually enter critical section. Deadlock-freedom: Whatever the time T , if before T one or several processes have invoked the operation acquire_mutex() and none of them has terminated its invocation at time T , then there is a time T' > T at which a process that has invoked acquire_mutex() terminates its invocation.[Raynal, Concurrent Programming: Algorithms, Principles, and Foundations] OR If process is trying to enter critical section, then some process, not necessary same one, eventually will enter critical section. OR At least one, always wins. Notice, that deadlock-freedom is saying that there are some processes will make progresses, but others might be stuck(starving), trying to get into critical section. It sound weird at first, but it is so: not all threads are stuck, so there is no deadlock, i.e. deadlock-freedom. On other hand, starvation-freedom is saying that every process trying to get into critical section, will eventually do so. There will be no processes that will ever starve. This makes starvation-freedom much stronger property than deadlock-freedom." Also read the following paper: https://arxiv.org/pdf/1311.3200.pdf It says that: "Recently, Herlihy and Shavit [12] suggested that perhaps the answer lies in a surprising property of lock-free algorithms: in practice, they often behave as if they were wait-free (and similarly, deadlock-free algorithms behave as if they were starvation-free)." So deadlock-free algorithms are starvation-free. So the Windows critical section object and the Spinlock are starvation-free. Thank you, Amine Moulay Ramdane.
Back to comp.programming.threads | Previous | Next | Find similar | Unroll thread
Read again, i correct a typo Sky89 <Sky89@sky68.com> - 2018-05-09 18:03 -0400
csiph-web