Avoiding diamonds in desynchronization

H. Beohar, P.J.L. Cuijpers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

The design of concurrent systems often assumes synchronous communication between different parts of a system. When system components are physically apart, this assumption becomes inappropriate. Desynchronization is a technique that aims to implement a synchronous design in an asynchronous manner by placing buffers between the components of the synchronous design. When queues are used as buffers, the so-called ‘diamond property’ (among others) ensures correct operation of the desynchronized design. However, this property is difficult to establish in practice. In this paper, we formally prove that the conditions for desynchronizability can be relaxed, and in particular the diamond property is no longer needed, when half-duplex queues are used as a communication buffer. Furthermore, we discuss how the half-duplex condition can be further relaxed when the diamond property can be partially guaranteed.
Originele taal-2Engels
TitelFormal Aspects of Component Software (9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers)
RedacteurenC.S. Pasareanu, G. Salaun
Plaats van productieBerlin
UitgeverijSpringer
Pagina's36-54
ISBN van geprinte versie978-3-642-35860-9
DOI's
StatusGepubliceerd - 2013
Evenement9th International Symposium on Formal Aspects of Component Software (FACS 2012), September 12-14, 2012, Mountain View, CA, USA - Mountain View, CA, Verenigde Staten van Amerika
Duur: 12 sep 201214 sep 2012

Publicatie series

NaamLecture Notes in Computer Science
Volume7684
ISSN van geprinte versie0302-9743

Congres

Congres9th International Symposium on Formal Aspects of Component Software (FACS 2012), September 12-14, 2012, Mountain View, CA, USA
Verkorte titelFACS 2012
Land/RegioVerenigde Staten van Amerika
StadMountain View, CA
Periode12/09/1214/09/12
Ander9th International Symposium on Formal Aspects of Component Software

Vingerafdruk

Duik in de onderzoeksthema's van 'Avoiding diamonds in desynchronization'. Samen vormen ze een unieke vingerafdruk.

Citeer dit