On the succinctness of idioms for concurrent programming

David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

15 Scopus citations

Abstract

The ability to create succinct programs is a central criterion for comparing programming and specification methods. Specifically, approaches to concurrent programming can often be thought of as idioms for the composition of automata, and as such they can then be compared using the standard and natural measure for the complexity of automata, descriptive succinctness. This measure captures the size of the automata that the evaluated approach needs for expressing the languages under discussion. The significance of this metric lies, among other things, in its impact on software reliability, maintainability, reusability and simplicity, and on software analysis and verification. Here, we focus on the succinctness afforded by three basic concurrent programming idioms: requesting events, blocking events and waiting for events. We show that a programming model containing all three idioms is exponentially more succinct than non-parallel automata, and that its succinctness is additive to that of classical nondeterministic and "and" automata. We also show that our model is strictly contained in the model of cooperating automata à la statecharts, but that it may provide similar exponential succinctness over non-parallel automata as the more general model - while affording increased encapsulation. We then investigate the contribution of each of the three idioms to the descriptive succinctness of the model as a whole, and show that they each have their unique succinctness advantages that are not subsumed by their counterparts. Our results contribute to a rigorous basis for assessing the complexity of specifying, developing and maintaining complex concurrent software.

Original languageEnglish
Title of host publication26th International Conference on Concurrency Theory, CONCUR 2015
EditorsLuca Aceto, David de Frutos Escrig
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages85-99
Number of pages15
ISBN (Electronic)9783939897910
DOIs
StatePublished - 1 Aug 2015
Event26th International Conference on Concurrency Theory, CONCUR 2015 - Madrid, Spain
Duration: 1 Sep 20154 Sep 2015

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume42
ISSN (Print)1868-8969

Conference

Conference26th International Conference on Concurrency Theory, CONCUR 2015
Country/TerritorySpain
CityMadrid
Period1/09/154/09/15

Keywords

  • Automata
  • Bounded concurrency
  • Descriptive succinctness
  • Module size

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'On the succinctness of idioms for concurrent programming'. Together they form a unique fingerprint.

Cite this