On the duality of operating system structures

Lauer, Hugh C.; Needham, Roger M.

doi:10.1145/850657.850658

Cited by 251 publications

(98 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Our study shows that the combination of these basic elements for modern communications programming leads to a rich behavioural theory which differs from both the standard synchronous communications semantics and the fully asynchronous one [8], captured through novel equational laws for asynchrony. These laws can then be used as a semantic justification of a well-known program transformation based on Lauer and Needham's duality principle [15], which translates multithreaded programs to their equivalent single-threaded, asynchronous, event-based programs. This transformation is regularly used in practice, albeit in an ad-hoc manner, playing a key role in e.g.…”

Section: Introductionmentioning

confidence: 99%

On Asynchronous Session Semantics

Kouzapas

Yoshida

Honda

2011

Formal Techniques for Distributed Systems

View full text Add to dashboard Cite

Abstract. This paper studies a behavioural theory of the π-calculus with session types under the fundamental principles of the practice of distributed computing -asynchronous communication which is order-preserving inside each connection (session), augmented with asynchronous inspection of events (message arrivals). A new theory of bisimulations is introduced, distinct from either standard asynchronous or synchronous bisimilarity, accurately capturing the semantic nature of session-based asynchronously communicating processes augmented with event primitives. The bisimilarity coincides with the reduction-closed barbed congruence. We examine its properties and compare them with existing semantics. Using the behavioural theory, we verify that the program transformation of multithreaded into event-driven session based processes, using Lauer-Needham duality, is type and semantic preserving.

show abstract

Section: Introductionmentioning

confidence: 99%

On Asynchronous Session Semantics

Kouzapas

Yoshida

Honda

2011

Formal Techniques for Distributed Systems

View full text Add to dashboard Cite

show abstract

“…Each component is made up of four parts, a set of commands, event handlers, a bundle of tasks and a fixed size frame for storage. The commands and events a component supports must be predefined to enhance modularity [14]. On the other hand MOS was the first thread-driven OS targeting the field of WSNs.…”

Section: Sensor Network Operating Systemsmentioning

confidence: 99%

“…Yet they also believed they have to optimize it to make it feasible. More EOSs for WSNs exist as well [14]. The following sections introduce the tradeoffs that may occur due to different EOS design philosophies.…”

Section: Sensor Network Operating Systemsmentioning

confidence: 99%

A Benchmarking Tool for Wireless Sensor Network Embedded Operating Systems

Watfa

Moubarak

2014

JNW

View full text Add to dashboard Cite

Abstract-The emergence of the technology of WirelessSensor Networks (WSNs) has lead to many changes in current and traditional computational techniques in order to adapt to their harsh and scarce requirements. A WSN consists of sensor nodes with wireless communication abilities that allow them to form a network. New system architectures have emerged to overcome sensor network limitations. Each architecture follows one of the two traditional design concepts, event-driven or thread-driven design. Although event-driven systems were assumed to generally perform better for embedded systems, tests have shown that event-driven systems tend to save more energy and space, while the thread-driven systems provide more concurrency and predictability, hence creating a tradeoff depending on the requirements of the application at hand. Performance analyzers are often used to accurately measure the performance of a certain system when such a tradeoff is evident. Performance analyzers can also locate deficiencies in a certain system for future improvements. The ever increasing complexity of applications executed by WSNs and the evolving nature of the underlying Embedded Operating Systems (EOSs) has led to the need for an accurate evaluation technique to guide practitioners in the field. This paper presents a novel approach towards providing a benchmarking and performance evaluation tool for comparing and analyzing the performance of WSN EOSs.

show abstract

“…It has beenshown that given an environment containing asynchronous threads of execution, the two models are equivalent Lauer78,Liskov85] although the synchronous case has gained greater acceptance as it is viewed as being easier to program correctly. Another consid-eration is that of the coding used for the information transmitted between the client and server.…”

Section: Distributed Programmingmentioning

confidence: 99%

QoS Support for Mobile Computing

Pope

Webster

1997

Building QoS Into Distributed Systems

View full text Add to dashboard Cite

In recent y ears small, completely portable computers have become available on the marketplace. There is demand for such computers, termed walkstations, to access network services while retaining their mobility, a n d t o operate e ectively in a wide range of conditions. Future o ce environments are expected to support wireless networks with bandwidths which are several orders of magnitude greater than are available outdoors. In such e n vironments, there will be powerful compute servers available for a walkstation's use.This dissertation describes a novel architecture called Notus and its supportfor applications operating in a mobile environment. The concept of the traded hando is introduced, where applications are able to participate in the hando process, rebuilding connections to the most appropriate service. This is expected to bene t walkstations which roam over large distances, where connections to servers would otherwise be strained, and also between heterogeneous networks where cooperation between the networks in performing a hando might be problematic. It is also proposed in this dissertation that applications could bene t from the ability to migrate onto compute servers as a walkstation moves into the o ce environment. This enables both the walkstation to conserve its own resources, and applications to improve the service provided to the end user. Finally, b y i n terleaving a traded hando with the migration process, it is possible for a migrating application to easily rebuild its connections as it moves to a new host.The Notus architecture has beenimplemented, including a traded hando service, and a new application migration service. The new application migration service was designed since existing application migration services are unsuited to mobile environments and it enables applications to migrate between heterogeneous hosts with little disruption. Applications which use the service are written in a standard, compiled language, and normal running applications suffer little overhead. A n umber of existing applications which a r e representative of a walkstation's interactive desk-top environment have beenadapted to use the Notus architecture, and are evaluated.In summary, this work describes how mobility awareness and the support from appropriate tools, can enable walkstation applications to better adapt to a changing mobile environment, particularly when the walkstation is carried between di erent n e t work types or over great distances. To Catherina PrefaceExcept where otherwise stated in the text, this dissertation is the result of my o wn work and is not the outcome of work done in collaboration.This dissertation is not substantially the same as any I h a ve submitted for a degree or diploma or any other quali cation at any other university.No part of my dissertation has already been, or is being currently submitted for any such degree, diploma or other quali cation.This dissertation does not exceed sixty thousand words, including tables, footnotes, and bibliography.Publications Some ...

show abstract

On the duality of operating system structures

Cited by 251 publications

References 6 publications

On Asynchronous Session Semantics

On Asynchronous Session Semantics

A Benchmarking Tool for Wireless Sensor Network Embedded Operating Systems

QoS Support for Mobile Computing

Contact Info

Product

Resources

About