Task interaction graphs for concurrency analysis | Zendy

Douglas L. Long | Zendy; Lori A. Clarke | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Task interaction graphs for concurrency analysis

Author(s) -

Douglas L. Long,

Lori A. Clarke

Publication year - 1989

Publication title -

citeseer x (the pennsylvania state university)

Language(s) - English

Resource type - Conference proceedings

ISSN - 0270-5257

ISBN - 0-8186-1941-4

DOI - 10.1145/74587.74592

Subject(s) - computer science , concurrency , task (project management) , programming language , concurrency control , theoretical computer science , distributed computing , engineering , systems engineering , database transaction

The authors present a representation for concurrent systems, called a task interaction graph, that facilitates analysis. They have developed a model of interacting tasks that can considerably reduce the number of states in concurrency graph representations. They call this representation a task interaction concurrency graph (TIGC), since it is derived from a task interaction graph (TIG) instead of from a control-flow representation. Using their model, the authors have compared the resulting representations for some of the common concurrency examples that appear in the literature. For these examples, the number of states were reduced by well over 50%. Such a substantial reduction is expected to have a major impact on the kinds of analysis that can be applied and on the kinds of programs that can be analyzed

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research