You are here
View-centric reasoning about parallel and distributed computation
- Date Issued:
- 2000
- Abstract/Description:
- University of Central Florida College of Engineering Thesis; The development of distributed applications has not progressed as rapidly as its enabling technologies. In part, this is due to the difficulty of reasoning about such complex systems. In contrast to sequential systems, parallel systems give rise to parallel events, and the resulting uncertainty of the observed order of these events. Loosely coupled distributed systems complicate this even further by introducing the element of multiple imperfect observers of these parallel events. The goal of this dissertation is to advance parallel and distributed systems development by producing a parameterized model that can be instantiated to reflect the computation and coordination properties of such systems. The result is a model called paraDOS that we show to be general enough to have instantiations of two very distinct distributed computation models, Actors and tuple space. We show how paraDOS allows us to use operational semantics to reason about computation when such reasoning must account for multiple, inconsistent and imperfect views. We then extend the paraDOS model with an abstraction to support composition of communicating computational systems. This extension gives us a tool to reason formally about heterogeneous systems, and about new distributed computing paradigms such as the multiple tuple spaces support seen in Sun's JavaSpaces and IBM's T Spaces.
Title: | View-centric reasoning about parallel and distributed computation. |
131 views
18 downloads |
---|---|---|
Name(s): |
Smith, Marc L., Author Parsons, Rebecca J.; Hughes, Charles E., Committee Chair Engineering and Computer Science, Degree Grantor |
|
Type of Resource: | text | |
Date Issued: | 2000 | |
Publisher: | University of Central Florida | |
Language(s): | English | |
Abstract/Description: | University of Central Florida College of Engineering Thesis; The development of distributed applications has not progressed as rapidly as its enabling technologies. In part, this is due to the difficulty of reasoning about such complex systems. In contrast to sequential systems, parallel systems give rise to parallel events, and the resulting uncertainty of the observed order of these events. Loosely coupled distributed systems complicate this even further by introducing the element of multiple imperfect observers of these parallel events. The goal of this dissertation is to advance parallel and distributed systems development by producing a parameterized model that can be instantiated to reflect the computation and coordination properties of such systems. The result is a model called paraDOS that we show to be general enough to have instantiations of two very distinct distributed computation models, Actors and tuple space. We show how paraDOS allows us to use operational semantics to reason about computation when such reasoning must account for multiple, inconsistent and imperfect views. We then extend the paraDOS model with an abstraction to support composition of communicating computational systems. This extension gives us a tool to reason formally about heterogeneous systems, and about new distributed computing paradigms such as the multiple tuple spaces support seen in Sun's JavaSpaces and IBM's T Spaces. | |
Identifier: | CFR0000189 (IID), ucf:53138 (fedora) | |
Note(s): |
2000-12-01 Ph.D. Electrical Engineering and Computer Science Doctorate This record was generated from author submitted information. Electronically reproduced by the University of Central Florida from a book held in the John C. Hitt Library at the University of Central Florida, Orlando. |
|
Subject(s): |
Eddy currents (Electric) Nondestructive testing |
|
Persistent Link to This Record: | http://purl.flvc.org/ucf/fd/CFR0000189 | |
Restrictions on Access: | public | |
Host Institution: | UCF |