10 research outputs found
Compositional semantics for real-time distributed computing
We give a compositional denotational semantics for a real-time distributed language, based on the linear history semantics for CSP of Francez et al. Concurrent execution is not modelled by interleaving but by an extension of the maximal parallelism model of Salwicki, that allows the modelling of transmission time for communications. The importance of constructing a semantics (and in general a proof theory) for real-time is stressed by such different sources as the problem of formalizing the real-time aspects of Ada and the elimination of errors in real-time flight control software ([Sunday Times 7-22-84])
Causality, Knowledge and Coordination in Distributed Systems
Effecting coordination across remote sites in a distributed system is an
essential part of distributed computing, and also an inherent challenge. In
1978, an analysis of communication in asynchronous systems was suggested by
Leslie Lamport. Lamport's analysis determines a notion of temporal precedence,
a sort of weak notion of time, which is otherwise missing in asynchronous
systems. This notion has been extensively utilized in various applications.
Yet the analysis is limited to systems that are asynchronous. In this thesis
we go beyond by investigating causality in synchronous systems. In such
systems, the boundaries of causal influence are not charted out exclusively by
message passing. Here time itself, passing at a uniform (or almost uniform)
rate for all processes, is also a medium by which causal influence may fan out.
This thesis studies, and characterizes, the combinations of time and message
passing that govern causal influence in synchronous systems.
It turns out that knowledge based analysis [FHMV] provides a well tailored
formal framework within which causal notions can be studied. As we show, the
formal notion of knowledge is highly appropriate for characterizing causal
influence in terms of information flow, broadening the analysis of Chandy and
Misra in [ChM].
We define several generic classes of coordination problems that pose various
temporal ordering requirements on the participating processes. These
coordination problems provide natural generalizations of real life
requirements. We then analyze the causal conditions that underlie suitable
solutions to these problems. The analysis is conducted in two stages: first,
the temporal ordering requirements are reduced to epistemic conditions. Then,
these epistemic conditions are characterized in terms of the causal
communication patterns that are necessary and sufficient to bring them about.Comment: PhD Dissertatio
Distributed services for mobile ad hoc networks
A mobile ad hoc network consists of certain nodes that communicate only
through wireless medium and can move arbitrarily. The key feature of a mobile ad
hoc network is the mobility of the nodes. Because of the mobility, communication
links form and disappear as nodes come into and go out of each other's communica-
tion range. Mobile ad hoc networks are particularly useful in situations like disaster
recovery and search, military operations, etc. Research on mobile ad hoc networks
has drawn a huge amount of attention recently. The main challenges for mobile ad
hoc networks are the sparse resources and frequent mobility. Most of the research
work has been focused on the MAC and routing layer. In this work, we focus on
distributed services for mobile ad hoc networks. These services will provide some
fundamental functions in developing various applications for mobile ad hoc networks.
In particular, we focus on the clock synchronization, connected dominating set, and
k-mutual exclusion problems in mobile ad hoc networks
A theory of clock synchronization
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.Includes bibliographical references (p. 143-146) and index.by Boaz Patt.Ph.D