Suresh, VP and Pai, R and DSouza, D and DSouza, M and Chakrabarti, SK (2022) Static Race Detection for Periodic Programs. In: European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 5-7 April 2022, Munich, pp. 290-316.
|
PDF
ESOP_ETAPS_2022.pdf - Published Version Download (11MB) | Preview |
Abstract
We consider the problem of statically detecting data races in periodic real-time programs that use locks, and run on a single processor platform. We propose a technique based on a small set of rules that exploits the priority, periodicity, locking, and timing information of tasks in the program. One of the key requirements is a response time analysis for such programs, and we propose an algorithm to compute this for the case of non-nested locks. We have implemented our analysis for real-time programs written in C in a tool called PePRacer and evaluated its performance on a small set of benchmarks from the literature. © 2022, The Author(s).
Item Type: | Conference Paper |
---|---|
Publication: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Publisher: | Springer Science and Business Media Deutschland GmbH |
Additional Information: | The copyright for this article belongs to Authors |
Keywords: | Benchmarking; C (programming language); Interactive computer systems; Locks (fasteners); Real time systems, Data races; Periodic program; Real - Time system; Real time programs; Response-time analysis; Set of rules; Single processors; Static race detection; Timing information; WCRT analyse, Static analysis |
Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
Date Deposited: | 19 May 2022 04:35 |
Last Modified: | 19 May 2022 04:35 |
URI: | https://eprints.iisc.ac.in/id/eprint/72059 |
Actions (login required)
![]() |
View Item |