Data races and static analysis for interrupt-driven kernels

DOI10.1007/978-3-030-17184-1_25MaRDI QIDQ6070804zbMATH OpenFDO

Authors Nikita Chopra, Rekha R. Pai, Deepak D'Souza

Publication date 24 November 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17184-1_25

zbMATH Keywords

data racesinterrupt-driven programsstatic analysis

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
• Static analysis for detecting high-level races in RTOS kernels
• Static analysis for detecting high-level races in RTOS kernels
• Static race detection for periodic programs
• Fast and Accurate Static Data-Race Detection for Concurrent Programs

Cited in

(4)

• scientific article; zbMATH DE number 6712238 (Why is no real title available?)
• SOME RESULTS ON (PRE)KERNEL CATCHERS AND THE COINCIDENCE OF THE KERNEL WITH PREKERNEL
• Static race detection for periodic programs
• Static analysis for detecting high-level races in RTOS kernels

This page was built for publication: Data races and static analysis for interrupt-driven kernels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6070804)