DOAJ Open Access 2020

Deadlocks Detection in Multithreaded Applications Based on Source Code Analysis

Damian Giebas Rafał Wojszczyk

Lihat Sumber DOI

Abstrak

This paper extends multithreaded application source code model and shows how to using it to detect deadlocks in C language applications. Four known deadlock scenarios from literature can be detected using our model. For every scenario we created theorems and proofs whose fulfillment guarantees the occurrence of deadlocks in multithreaded applications. Paper also contains comparison of multithreaded application source code model and Petri nets and describe advantages and disadvantages both of them.

Topik & Kata Kunci

Technology Engineering (General). Civil engineering (General) Biology (General) Physics Chemistry

Penulis (2)

Damian Giebas

Rafał Wojszczyk

Format Sitasi

APA MLA BibTeX

Giebas, D., Wojszczyk, R. (2020). Deadlocks Detection in Multithreaded Applications Based on Source Code Analysis. https://doi.org/10.3390/app10020532

Akses Cepat

Lihat di Sumber doi.org/10.3390/app10020532

Informasi Jurnal

Tahun Terbit: 2020
Sumber Database: DOAJ
DOI: 10.3390/app10020532
Akses: Open Access ✓