ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS
The subject presented in the paper concerns resource conflicts, which are the cause of order violation in multithreaded applications. The work focuses on developing conditions that can be implemented as a tool for allowing to detect these conflicts in the process of static code analysis. The researc...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polish Association for Knowledge Promotion
2020-12-01
|
| Series: | Applied Computer Science |
| Subjects: | |
| Online Access: | http://acs.pollub.pl/pdf/v16n4/8.pdf |