Advanced Mutual Exclusion
Synchronization primitives can be built like the examples below by using the solutions explained above:
- Locks
- Reentrant mutexes
- Semaphores
- Monitors
- Message passing
- Tuple space
Many forms of mutual exclusion have side-effects. For example, classic semaphores permit deadlocks, in which one process gets a semaphore, another process gets a second semaphore, and then both wait forever for the other semaphore to be released. Other common side-effects include starvation, in which a process never gets sufficient resources to run to completion, priority inversion in which a higher priority thread waits for a lower-priority thread, and "high latency" in which response to interrupts is not prompt.
Much research is aimed at eliminating the above effects, such as by guaranteeing non-blocking progress. No perfect scheme is known.
Read more about this topic: Mutual Exclusion
Famous quotes containing the words advanced, mutual and/or exclusion:
“How oft when men are at the point of death
Have they been merry! which their keepers call
A lightning before death: O, how may I
Call this a lightning? O my love! my wife!
Death, that hath sucked the honey of thy breath,
Hath had no power yet upon thy beauty:
Thou art not conquered; beauty’s ensign yet
Is crimson in thy lips and in thy cheeks,
And death’s pale flag is not advanced there.”
—William Shakespeare (1564–1616)
“If the study of all these sciences, which we have enumerated, should ever bring us to their mutual association and relationship, and teach us the nature of the ties which bind them together, I believe that the diligent treatment of them will forward the objects which we have in view, and that the labor, which otherwise would be fruitless, will be well bestowed.”
—Plato (c. 427–347 B.C.)
“All men, in the abstract, are just and good; what hinders them, in the particular, is, the momentary predominance of the finite and individual over the general truth. The condition of our incarnation in a private self, seems to be, a perpetual tendency to prefer the private law, to obey the private impulse, to the exclusion of the law of the universal being.”
—Ralph Waldo Emerson (1803–1882)