[e-lang] Content Complete, Ready for Comments
david.nospam.hopwood at blueyonder.co.uk
Fri Jun 24 20:43:43 EDT 2005
Mark Miller wrote:
> At <http://www.erights.org/talks/promises/paper/index.html> is a
> content-complete draft of the TGC paper.
Here are some trivial grammar nits and typos:
# By contrast, when writing a program, we must express a plan that can
# deal with all possible relevant contingencies.
"all relevant" or "all possible and relevant".
# The style recommended by some rendezvous-based languages
# This is ''Multi-Threaded Hell''.
Use `` for opening quote.
# As your application evolves, or as different programmers encounter the
# sporadic and non-reproduceable corruption or deadlock bugs,
(Yes, it's a quotation, but this should be silently corrected.)
# However, this style still suffers from the same race conditions hazard,
# and so still fails to exclude enough interleavings.
"race condition hazards"
# >From a lambda calculus perspective,
# There are formal models of asynchronous systems which can account for
# non-terminating events .
"that can account"
("can account for non-terminating events" is a restriction on the models
being referenced, rather than an incidental observation about the models.)
# But it is not P’s responsibility to worry about Q’s behavior outside
# those limits; it is R’s responsibility to prevent those.
("Q's behavior outside those limits" is an 'it', not a 'those'.)
# Like non-signaling NaNs, broken promise contagion does not hinder pipelining.
# Both suppress only data dependent computation, but with a difference.
# A non-signaling NaN is contagious if used in any argument position.
Suggest moving the paragraph break to before "Like non-signalling..."
# A sturdy references is a form of off-line "password" capability
# To establish or re-establish access to the target, one makes a new live
# reference from a sturdy reference. [...]
# As part of this respawning process, the two sides may need to reconcile --
# to restablish distributed consistency.
# When reconciling, it should navigate afresh, in order to find the statusHolders
# is now need to subscribe to.
"it now needs"
# Once one makes a sturdy reference to a given object, it's hosting vat can no
# longer determine when its unreachable.
"its hosting vat can no longer determine when it is [or it's] unreachable".
# Distributed Shared Memory systems (DSMs) [NL91] tries to make the network
# seem more like a von Neumann machine.
# Instead of dividing ''computer stuff''
# we independently reinvented an assymmetric form of promise pipelining as
# part of our protocol design.
"asymmetric". Also need a reference, possibly
# Notice that all the examples presented in this paper happen to work when
# all the objects involved happen to be local.
# [zBDMS98] Özalp Babaoğlu,
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>
More information about the e-lang