The Dependency Protocol for Real-Time Synchronisation (実時間処理システムとその応用論文特集)

スポンサーリンク

概要

• 論文の詳細を見る

• Real-time mechanisms are important for supporting user interfaces, multi-media, and network processing on workstations. Current operating systems provide such real-time mechanisms. However workstations do not yet fully exploit such strong real-time properties and have only recently begun to partially use them for user interfaces, multimedia and network processing. In real-time environments, priority inversion is a well known phenomenon in which lower priority tasks block higher priority tasks because of semaphore blocking. It has been realised more recently that priority inversion is a serious problem when a real-time system uses task synchronisations for sharing resources. In order to solve the priority inversion problem, the priority inheritance protocol was invented about 20 years ago. The priority inheritance protocol was finally exploited in the standardisation of IEEE POSIX. This paper discusses methods of avoiding abnormal behaviour caused by priority inversion, and semaphore bloking in real-time processing in uniprocessor environments. We will attempt to show how these can be cured by more complex algorithms, namely : (1) the priority inheritance protocol (or the inheritance protocol), (2) the priority ceiling protocol (or the ceiling protocol), and (3) the semaphore dependency protocol (or the dependency protocol) to deal with increasingly complex situations.

• 社団法人電子情報通信学会の論文
• 1995-08-25

著者

• Nakamura Akira

  Communication And Information Laboratory Toshiba Research And Development Center Toshiba Corporation

• Needham Roger

  University of Cambridge, the Computer Laboratory

• Needham Roger

  University Of Cambridge The Computer Laboratory

関連論文

• The Dependency Protocol for Real-Time Synchronisation (実時間処理システムとその応用論文特集)

スポンサーリンク