A misconception in blocking time analyses under multiprocessor synchronization protocols

详细信息    查看全文

• 作者：Maolin Yang ; Jian-Jia Chen ; Wen-Hung Huang
• 关键词：Blocking time analyses ; Multiprocessor synchronization protocols ; Schedulability analyses
• 刊名：Real-Time Systems
• 出版年：2017
• 出版时间：March 2017
• 年：2017
• 卷：53
• 期：2
• 页码：187-195
• 全文大小：
• 刊物类别：Computer Science
• 刊物主题：Computer Systems Organization and Communication Networks; Communications Engineering, Networks; Special Purpose and Application-Based Systems; Performance and Reliability; Control, Robotics, Mechatron
• 出版者：Springer US
• ISSN：1573-1383
• 卷排序：53

文摘

In multiprocessor systems, synchronization protocols can result in non-trivial (remote) blocking, which can cause timing impacts in real-time systems. To analyze the schedulability or the worst-case response time, it is essential to calculate a safe upper bound on the maximum remote blocking time due to the synchronization protocols. The derivation of the upper bound is sometimes unsafe in the literature when the analyses improperly adopt a misconception that assumes the well-known critical instant theorem. In this paper, we show that the original analyses for the distributed priority ceiling protocol and the multiprocessor priority ceiling protocol are unsafe in the calculation of the blocking time due to this misconception. This results in repetition of unsafe timing analyses in the literature. This paper also provides a simple remedy for such a flaw.