|
|||||
|
|
Detecting semantic violations of lock-free data structures through C++ contracts |
|
| Authors: | López-Gómez Javier del Rio Astorga David Dolz Manuel F Fernández Javier García J Daniel |
| Affiliation: | 1.Department of Computer Science, Universidad Carlos III de Madrid, 28911, Leganés, Spain ;2.Department of Engineering and Computer Science, Universitat Jaume I de Castelló, 12071, Castellón, Spain ; |
| Abstract: | The Journal of Supercomputing - The use of synchronization mechanisms in multithreaded applications is essential on shared-memory multi-core architectures. However, debugging parallel applications... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |