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:
“The most advanced nations are always those who navigate the most. The power which the sea requires in the sailor makes a man of him very fast, and the change of shores and population clears his head of much nonsense of his wigwam.”
—Ralph Waldo Emerson (1803–1882)
“If one considers how much reason every person has for anxiety and timid self-concealment, and how three-quarters of his energy and goodwill can be paralyzed and made unfruitful by it, one has to be very grateful to fashion, insofar as it sets that three-quarters free and communicates self-confidence and mutual cheerful agreeableness to those who know they are subject to its law.”
—Friedrich Nietzsche (1844–1900)
“We belong to the community. It is not the tailor alone who is the ninth part of a man; it is as much the preacher, and the merchant, and the farmer. Where is this division of labor to end? and what object does it finally serve? No doubt another may also think for me; but it is not therefore desirable that he should do so to the exclusion of my thinking for myself.”
—Henry David Thoreau (1817–1862)