(itron-club 1670) Re: 優先度上 限プロトコルについて (長文注意)

["Takayuki WAKABAYASHI" <takayuki __at__ ertl.jp>]

豊橋技科大の若林です。 

NAKAMURA Katsuyuki [mailto:milkyway@ss.iij4u.or.jp] さんは書きました:
 > さて、その優先度上限プロトコルを考え出した人の著書
 > 「SYNCHRONIZATION IN REAL-TIME SYSTEMS A Priority Inheritance
 > Approach」 Rajkumar著のpp.26-27によれば、
(中略)
 > an indivisible system call to execute P(S1). However, the run-
 > time system finds that S2 is locked, and p(J1) < c(S2). Hence,
(中略)
 > と書かれています。c(S2) = p(J1)ですから、
 > p(J1) < c(S2)は明らかに矛盾すると思うのですが・・・
 > p(J1) =<c(S2)ではないかと思うのですが・・・

本は矛盾点を指摘されても直さないときがあるので、
そういうのを指摘する際には論文を用いた方がよろしいかと思います。

Lui Sha, Ragunathan Rajkumar, John P. Lehoczky
"Priority Inheritance Protocols: An Approach to Real-Time Synchronization"
IEEE Trans. Computers,  Vol. 39, No. 9, Sept. 1990

この論文の1179ページに多分同じ個所だろうという記述がありますが、
ここでは "However, the run-time system will find that job J1's priority 
is not higher than the priority ceiling of locked semaphore S2."と書いてあるので、

not higher = less than or equal to で、多分ただの書き間違いと思われます。

--------
豊橋技術科学大学 工学研究科 電子情報工学専攻
  若林 隆行 (mailto:takayuki@ertl.jp)