Title

View-Centric Reasoning For Linda And Tuple Space Computation

Abstract

In contrast to sequential computation, concurrent computation gives rise to parallel events. Efforts to translate the history of concurrent computations into sequential event traces result in the potential uncertainty of the observed order of these events. Loosely coupled distributed systems complicate this uncertainty even further by introducing the element of multiple imperfect observers of these parallel events. Properties of such systems are difficult to reason about and, in some cases, attempts to prove safety or liveness lead to ambiguities. The authors present a survey of challenges of reasoning about properties of concurrent systems. They then propose a new approach, view-centric reasoning, that avoids the problem of translating concurrency into a sequential representation. Finally, they demonstrate the usefulness of view-centric reasoning as a framework for disambiguating the meaning of Tuple Space predicate operations, versions of which exist commercially in IBM's T Spaces and Sun's JavaSpaces.

Publication Date

4-1-2003

Publication Title

IEE Proceedings: Software

Volume

150

Issue

2 SPEC

Number of Pages

71-83

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1049/ip-sen:20030129

Socpus ID

0038672109 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0038672109

This document is currently not available here.

Share

COinS