Parallel and Distributed Incremental Attribute Evaluation Algorithms
for Multi-User Software Development Environments
ACM Transactions on Software Engineering and Methodology, volume 2 of 1, ACM press, (January 1993)Abstract
The problem of change propagation in multiuser software development
environments distributed across a local-area network is addressed.
The program is modeled as an attributed parse tree segmented among
multiple user processes and changes are modeled as subtree replacements
requested asynchronously by inidividual users. Change propagation
is then implemented using decentralised incremental evaluation of
an attribute grammar that defines the static semantic properties
of the programming language. Building up to our primary result, we
first present algorithms that support parallel evaluation on a centralised
tree in response to single edits using a single diting cursor and
multiple dits with multiple editing cursors. Then we present our
algorithm for parallel evaluation on a decentralized tree. We also
present a protocol to guarantee reliability of the evaluation algorithm
as components of the decentralized tree become unavailable due to
failures and return to availability.
Description
Attribute Grammar
Links and resources
Tags
community
@dparigot's tags highlighted