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...
| Autor principal: | |
|---|---|
| Formato: | Journal article |
| Publicado em: |
Springer Nature
2019
|