1979
DOI: 10.1145/850657.850658
|View full text |Cite
|
Sign up to set email alerts
|

On the duality of operating system structures

Abstract: Many operating system designs can be placed into one of two very rough categories, depending upon how they implement and use the notions of process and synchronization. One category, the "Message-oriented System," is characterized by a relatively small, static number of processes with an explicit message system for communicating among them. The other category, the "Procedure-oriented System," is characterized by a large, rapidly changing number of small processes and a process synchronization mechanism based o… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
97
0
2

Year Published

1985
1985
2017
2017

Publication Types

Select...
5
3
1

Relationship

0
9

Authors

Journals

citations
Cited by 252 publications
(99 citation statements)
references
References 6 publications
0
97
0
2
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%
“…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%
“…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%
“…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%