An extensional treatment of lazy data flow deadlock

In this paper, we consider a concurrent model of computation called dataflow, where components (actors) communicate via streams of data tokens. Dataflow semantics has been adopted by experimental and production languages used to design embedded systems. The execution of a dataflow actor is enabled by the availability of its input data. One important question is whether a dataflow model will deadlock (i.e., actors cannot execute due to a data dependency loop). Deadlock in many cases can be determined, although it is generally not decidable. We develop a causality interface for dataflow actors based on the general framework we introduced in [1] and show how this causality information can be algebraically composed so that composition of components acquire causality interfaces that are inferred from their components and the interconnections. We illustrate the use of these causality interfaces to statically analyze for deadlock.

show abstract

“…Matthews uses a metric-space approach to treat deadlock [8]. He defines a partial metric, which is a distance function:…”

Section: Relationship To Partial Metricsmentioning

confidence: 99%

“…Buck applies clustering techniques and state traversal analysis to boolean dataflow [7]. Matthews uses a metric-space approach to treat deadlock [8].…”

Section: Introductionmentioning

confidence: 99%

A causality interface for deadlock analysis in dataflow

Zhou

Lee

2006

Proceedings of the 6th ACM &Amp; IEEE International Conference on Embedded Software - EMSOFT '06

View full text Add to dashboard Cite

show abstract

“…Recently, studies on the existence and uniqueness of fixed points of self-mappings on partial metric spaces have gained momentum ([36], [49], [26]). Partial metric space have been introduced by Mathews [28] in 1992 as a part of the study of denotational semantics of dataflow networks (see [29,30]). In fact, partial metric spaces play an important role in constructing models in the theory of computation and also to model metric spaces via domain theory (see, [14], [15], [25], [29]).…”

Section: Introductionmentioning

confidence: 99%

Fixed point theorem for generalized set-valued contractions on partial metric space

Mansour

Mostapha²,

Nachi³

2017

Tamkang J. Math.

View full text Add to dashboard Cite

show abstract

“…After that, fixed-point results in partial metric spaces have been studied [4,8,28,31,34,45]. The existence of several connections between partial metrics and topological aspects of domain theory has been pointed by many authors (see [8,9,16,23,31,33,[36][37][38]41,42,46,47]). …”

Section: Introductionmentioning

confidence: 99%