Automata-theoretic protocol programming

Leiden Repository

Automata-theoretic protocol programming

Type: Doctoral Thesis
Title: Automata-theoretic protocol programming
Author: JongmansSung-Shik, Theodorus Quirinus
Journal Title: IPA Dissertation Series
Issue Date: 2016-03-03
Keywords: F.3.2
Abstract: Parallel programming has become essential for writing scalable programs on general hardware. Conceptually, every parallel program consists of workers, which implement primary units of sequential computation, and protocols, which implement the rules of interaction that workers must abide by. As programmers have been writing sequential code for decades, programming workers poses no new fundamental challenges. What is new---and notoriously difficult---is programming of protocols. In this thesis, I study an approach to protocol programming where programmers implement their workers in an existing general-purpose language (GPL), while they implement their protocols in a complementary domain-specific language (DSL). DSLs for protocols enable programmers to express interaction among workers at a higher level of abstraction than the level of abstraction supported by today's GPLs, thereby addressing a number of protocol programming issues with today's GPLs. In particular, in this thesis, I develop a DSL for protocols based on a theory of formal automata and their languages. The specific automata that I consider, called constraint automata, have transition labels with a richer structure than alphabet symbols in classical automata theory. Exactly these richer transition labels make constraint automata suitable for modeling protocols.
Promotor: Supervisor: F. Arbab
Faculty: Faculty of Science
University: Leiden University

Files in this item

Description Size View
application/pdf Full text 13.14Mb View/Open
application/pdf Cover 15.23Mb View/Open
application/pdf Title page_Contents 148.1Kb View/Open
application/pdf Chapter 1 Introduction 474.0Kb View/Open
application/pdf Chapter 2 563.4Kb View/Open
application/pdf Chapter 3 711.5Kb View/Open
application/pdf Chapter 4 689.9Kb View/Open
application/pdf Chapter 5 2.954Mb View/Open
application/pdf Chapter 6 3.148Mb View/Open
application/pdf Chapter 7 3.240Mb View/Open
application/pdf Chapter 8 2.949Mb View/Open
application/pdf Chapter 9 Conclusion 1.715Mb View/Open
application/pdf Abstract 132.7Kb View/Open
application/pdf Curriculum Vitae_Bibliography_Index 498.6Kb View/Open
application/pdf Propositions 45.46Kb View/Open

This item appears in the following Collection(s)