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)

    Cubism had been an analysis of the object and an attempt to put it before us in its totality; both as analysis and as synthesis, it was a criticism of appearance. Surrealism transmuted the object, and suddenly a canvas became an apparition: a new figuration, a real transfiguration.
    Octavio Paz (b. 1914)

    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)