Discovering and correcting a deadlock in a channel implementation
We investigate the cause of a deadlock in the implementation of a channel in a message-passing concurrency API. We model the channel implementation using the process algebra CSP, and then use the model checker FDR to find the cause of the deadlock. The bug is rather subtle, and arguably infeasible t...
| Главный автор: | |
|---|---|
| Формат: | Journal article |
| Опубликовано: |
Springer Nature
2019
|