大西です。 >> 確かにFigure 11-3 PreTaskHook and PostTaskHookを見る限り >> 状態が変わっているように受け取れますが、 >> #私も誤解していた時期がありました・・・ >> TOPPERS/OSEKカーネルでは仕様書の記述に従い実装しています。 > > やはり、仕様通りでしたか。（でも、不便な仕様ですよね） 実装するときの社内のディスカッションでも仕様不備では？ という意見が多かったです。 その他修正したほうがよい仕様も少なからずあるのは確かです。 #と言ってもおいそれと仕様を決めたOSEKに #簡単に意見できないところが難しいのですが・・・ ##TOPPERS/OSEKカーネルは不備と思われるところは ##きちんと議論したうえで実装してます（と自己フォロー