T. Peschel-Findeisen and B. Hütter (Germany)
Operating systems, distributed systems, resource manage
ment, structuring concepts, objects, actors
There is a large gap between formal approaches to dis
tributed systems and the efﬁcient realizations of those sys
tems. Formal approaches use structures for describing
systems on a high-level of abstraction. We will show,
that these structures can also be valuable for application
speciﬁc operating system design, thus, leading to a more
reliable and efﬁcient system behavior.
This new approach for designing distributed systems
integrates activities as well as passive data objects in strong
relationships. Besides various feasible dependencies, such
as inheritance, visibility or the invocation graph, we present
lifetime of components as the main structuring relation in
this paper. Therefore, the lifetime dependencies of applica
tion components will be used for operating system structur
ing. Furthermore, the runtime-environment of the system
will exploit the information base provided by the system
structures for efﬁcient execution of the application.
Two evaluation systems prove the practical applica
bility of our approach.