One Stack to Run Them All Reducing Concurrent Analysis to Sequential Analysis Under Priority Scheduling
Nicholas Kidd, Suresh Jagannathan, Nicholas Kidd, Suresh Jagannathan, Jan Vítek · Purdue e-Pubs (Purdue University System) · 2010
Abstract. We present a reduction from a concurrent real-time program with priority preemptive scheduling to a sequential program that has the same set of behaviors. Whereas many static analyses of concurrent programs are undecidable, our reduction enables the application of any sequential program analysis to be applied to a concurrent real-time program with priority preemptive scheduling. 1