Unbounded Nondeterminism - Hewitt's Analysis of Fairness

Hewitt's Analysis of Fairness

Hewitt argued that issues in fairness derive in part from the global state point of view. The oldest models of computation (e.g.. Turing machines, Post productions, the lambda calculus, etc.) are based on mathematics that makes use of a global state to represent a computational step. Each computational step is from one global state of the computation to the next global state. The global state approach was continued in automata theory for finite state machines and push down stack machines including their nondeterministic versions. All of these models have the property of bounded nondeterminism: if a machine always halts when started in its initial state, then there is a bound on the number of states in which it can halt.

Hewitt argued that there is a fundamental difference between choices in global state nondeterminism and the arrival order indeterminacy (nondeterminism) of his Actor model. In global state nondeterminism, a "choice" is made for the "next" global state. In arrival order indeterminacy, arbitration locally decides each arrival order in an unbounded amount of time. While a local arbitration is proceeding, unbounded activity can take place elsewhere. There is no global state and consequently no "choice" to be made as to the "next" global state.

Read more about this topic:  Unbounded Nondeterminism

Famous quotes containing the words hewitt, analysis and/or fairness:

    In most other modern societies working mothers are not put under these special and exaggerated pressures. For example, French and English mothers often prefer to breast-feed their babies, but they do not feel that their womanhood is at stake if they fail to do so. Nor does anyone else.
    —Sylvia Ann Hewitt (20th century)

    ... the big courageous acts of life are those one never hears of and only suspects from having been through like experience. It takes real courage to do battle in the unspectacular task. We always listen for the applause of our co-workers. He is courageous who plods on, unlettered and unknown.... In the last analysis it is this courage, developing between man and his limitations, that brings success.
    Alice Foote MacDougall (1867–1945)

    He was one whose glory was an inner glory, one who placed culture above prosperity, fairness above profit, generosity above possessions, hospitality above comfort, courtesy above triumph, courage above safety, kindness above personal welfare, honor above success.
    Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 1, ch. 1 (1962)