Connection To Computer Science
The use of the word history in this context, and the connection to concurrent computing, can be understood as follows. An individual history is a record of the sequence of states of a process (or thread or machine); the alphabet is the set of states of the process.
A letter that occurs in two or more alphabets serves as a synchronization primitive between the various individual histories. That is, if such a letter occurs in one individual history, it must also occur in another history, and serves to "tie" or "rendezvous" them together.
Consider, for example, and . The union alphabet is of course . The elementary histories are, and . In this example, an individual history of the first process might be while the individual history of the second machine might be . Both of these individual histories are represented by the global history, since the projection of this string onto the individual alphabets yields the individual histories. In the global history, the letter can be considered to commute with the letters and, in that these can be rearranged without changing the individual histories. Such commutation is simply a statement that the first and second processes are running concurrently, and are unordered with respect to each other; they have not (yet) exchanged any messages or performed any synchronization.
The letter serves as a synchronization primitive, as its occurrence marks a spot in both the global and individual histories, that cannot be commuted across. Thus, while the letters and can be re-ordered past and, they cannot be reordered past . Thus, the global history and the global history both have as individual histories and, indicating that the execution of may happen before or after . However, the letter is synchronizing, so that is guaranteed to happen after, even though is in a different process than .
Read more about this topic: History Monoid
Famous quotes containing the words connection to, connection, computer and/or science:
“It may comfort you to know that if your child reaches the age of eleven or twelve and you have a good bond or relationship, no matter how dramatic adolescence becomes, you children will probably turn out all right and want some form of connection to you in adulthood.”
—Charlotte Davis Kasl (20th century)
“The virtue of art lies in detachment, in sequestering one object from the embarrassing variety. Until one thing comes out from the connection of things, there can be enjoyment, contemplation, but no thought.”
—Ralph Waldo Emerson (1803–1882)
“The analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.”
—Gerald M. Edelman (b. 1928)
“The so-called science of poll-taking is not a science at all but mere necromancy. People are unpredictable by nature, and although you can take a nation’s pulse, you can’t be sure that the nation hasn’t just run up a flight of stairs.”
—E.B. (Elwyn Brooks)