You are here

View-centric reasoning about parallel and distributed computation

Download pdf | Full Screen View

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.
93 views
4 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

In Collections