Sessional dataflow: Short paper

Dominic Duggan; Jianhua Yao

doi:10.1145/2103736.2103744

Sessional dataflow: Short paper

Dominic Duggan, Jianhua Yao

Department of Computer Science

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

The purpose of sessional dataflow is to provide a compositional semantics for dataflow computations that can be scheduled at compile-time. The interesting issues arise in enforcing static flow requirements in the composition of actors, ensuring that input and output rates of actors on related channels match, and that cycles in the composition of actors do not introduce deadlock. Ultimately the purpose of sessional dataflow is to support dynamic operations on subnets, ensuring that assumptions underlying static scheduling are not violated by operations such as subnet update and reconfiguration. This account focuses on a simplified case of sessional dataflow, to draw out the key points of the approach.

Original language	English
Title of host publication	POPL
Subtitle of host publication	DAMP'12 - Proceedings of the 7th Workshop on Declarative Aspects and Applications of Multicore Programming
Pages	47-50
Number of pages	4
DOIs	https://doi.org/10.1145/2103736.2103744
State	Published - 2012
Event	7th Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP'12, Co-located with POPL 2012 - Philadelphia, PA, United States Duration: 28 Jan 2012 → 28 Jan 2012

Publication series

Name	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)	0730-8566

Conference

Conference	7th Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP'12, Co-located with POPL 2012
Country/Territory	United States
City	Philadelphia, PA
Period	28/01/12 → 28/01/12

Keywords

Dataflow
Semantics
Types

Access to Document

10.1145/2103736.2103744

Cite this

@inproceedings{9e31f10675334b9a900a99e41a010365,

title = "Sessional dataflow: Short paper",

abstract = "The purpose of sessional dataflow is to provide a compositional semantics for dataflow computations that can be scheduled at compile-time. The interesting issues arise in enforcing static flow requirements in the composition of actors, ensuring that input and output rates of actors on related channels match, and that cycles in the composition of actors do not introduce deadlock. Ultimately the purpose of sessional dataflow is to support dynamic operations on subnets, ensuring that assumptions underlying static scheduling are not violated by operations such as subnet update and reconfiguration. This account focuses on a simplified case of sessional dataflow, to draw out the key points of the approach.",

keywords = "Dataflow, Semantics, Types",

author = "Dominic Duggan and Jianhua Yao",

year = "2012",

doi = "10.1145/2103736.2103744",

language = "English",

isbn = "9781450311175",

series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

pages = "47--50",

booktitle = "POPL",

note = "7th Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP'12, Co-located with POPL 2012 ; Conference date: 28-01-2012 Through 28-01-2012",

}

Duggan, D & Yao, J 2012, Sessional dataflow: Short paper. in POPL: DAMP'12 - Proceedings of the 7th Workshop on Declarative Aspects and Applications of Multicore Programming. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, pp. 47-50, 7th Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP'12, Co-located with POPL 2012, Philadelphia, PA, United States, 28/01/12. https://doi.org/10.1145/2103736.2103744

Sessional dataflow: Short paper. / Duggan, Dominic; Yao, Jianhua.
POPL: DAMP'12 - Proceedings of the 7th Workshop on Declarative Aspects and Applications of Multicore Programming. 2012. p. 47-50 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Sessional dataflow

T2 - 7th Workshop on Declarative Aspects and Applications of Multicore Programming, DAMP'12, Co-located with POPL 2012

AU - Duggan, Dominic

AU - Yao, Jianhua

PY - 2012

Y1 - 2012

N2 - The purpose of sessional dataflow is to provide a compositional semantics for dataflow computations that can be scheduled at compile-time. The interesting issues arise in enforcing static flow requirements in the composition of actors, ensuring that input and output rates of actors on related channels match, and that cycles in the composition of actors do not introduce deadlock. Ultimately the purpose of sessional dataflow is to support dynamic operations on subnets, ensuring that assumptions underlying static scheduling are not violated by operations such as subnet update and reconfiguration. This account focuses on a simplified case of sessional dataflow, to draw out the key points of the approach.

AB - The purpose of sessional dataflow is to provide a compositional semantics for dataflow computations that can be scheduled at compile-time. The interesting issues arise in enforcing static flow requirements in the composition of actors, ensuring that input and output rates of actors on related channels match, and that cycles in the composition of actors do not introduce deadlock. Ultimately the purpose of sessional dataflow is to support dynamic operations on subnets, ensuring that assumptions underlying static scheduling are not violated by operations such as subnet update and reconfiguration. This account focuses on a simplified case of sessional dataflow, to draw out the key points of the approach.

KW - Dataflow

KW - Semantics

KW - Types

UR - http://www.scopus.com/inward/record.url?scp=84857623153&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84857623153&partnerID=8YFLogxK

U2 - 10.1145/2103736.2103744

DO - 10.1145/2103736.2103744

M3 - Conference contribution

AN - SCOPUS:84857623153

SN - 9781450311175

T3 - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

SP - 47

EP - 50

BT - POPL

Y2 - 28 January 2012 through 28 January 2012

ER -

Sessional dataflow: Short paper

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this