Worst-Case Response Time Analysis for Periodic Programs with Nested Locks
Periodic applications involve tasks that execute continuously at specific intervals, often leading to concurrency-related data races. Traditionally, locks are used as synchronization mechanisms to ensure correctness. However, in safety-critical systems, a low-priority task holding a lock may be preempted by a high-priority task that requires the same lock, resulting in priority inversion and violating the periodicity and priority of high-priority tasks. While previous research has focused on race detection techniques for applications without nested locking, these approaches fail to generalize to scenarios involving nested locks. This work introduces a worst-case response time analysis and a robust technique for static race detection in periodic applications with nested locking behavior. The proposed algorithm provides a conservative upper bound for task response times while addressing the complexities of nested locks, enhancing the safety and dependability of concurrent periodic programs. Implemented in Rust, the algorithm is evaluated for performance and correctness across various programs, demonstrating its efficacy.
Sat 22 FebDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
10:30 - 11:30 | |||
10:30 12mResearch paper | A Lightweight Hybrid CNN-Fuzzy Logic Approach for Real Time On-Device Document Classification Research Papers Shashank Mouli Satapathy Vellore Institute of Technology, Vishal Agrawal , Kartik Kumar Gounder Vellore Institute of Technology, Riddhi Panchal , Amith Kumar Mahale , Akila Victor Vellore Institute of Technology | ||
10:42 12mResearch paper | Domain Aligned Microservices Decomposition Research Papers Jay Gandhi TCS Research, Tata Consultancy Services, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services, Ravindra Naik TCS Research, TRDDC, India | ||
10:54 12mResearch paper | Dominant Hand detection using Base Smartphone sensors Research Papers | ||
11:06 12mResearch paper | Effective Resource Management through VM Allocation in Cloud Data Center Research Papers | ||
11:18 12mResearch paper | Worst-Case Response Time Analysis for Periodic Programs with Nested Locks Research Papers |