@inproceedings{880a967c11384479a085cbab7d2811ed,
title = "Deadlock-free buffer configuration for stream computing",
abstract = "Stream computing is a popular paradigm for parallel and distributed computing, which features computing nodes connected by first-in first-out (FIFO) data channels. To increase the efficiency of communication links and boost application throughput, output buffers are often used. However, the connection between the configuration of output buffers and application deadlocks has not been studied. In this paper, we show that bad configuration of output buffers can lead to application deadlock. We prove necessary and sufficient condition for deadlock-free buffer configurations. We also propose an efficient method based on all-pair shortest path algorithms to detect unsafe buffer configurations. We also sketch a method to adjust an unsafe buffer configuration to a safe one.",
keywords = "Buffer Configuration, Deadlock Avoidance, Stream Computing",
author = "Peng Li and Jonathan Beard and Jeremy Buhler",
note = "Publisher Copyright: Copyright {\textcopyright} 2015 ACM.; 6th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2015 ; Conference date: 07-02-2015 Through 08-02-2015",
year = "2015",
month = feb,
day = "7",
doi = "10.1145/2712386.2712403",
language = "English",
series = "Proceedings of the 6th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2015",
publisher = "Association for Computing Machinery",
pages = "164--169",
editor = "Pavan Balaji and Minyi Guo and Zhiyi Huang",
booktitle = "Proceedings of the 6th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2015",
}