[nrf51]RTX ? (2)

自分でRTXをビルドせずとも、nRF51 SDKのサンプルにRTXで動くものが入っていた。
nRF51422向けだが、まあ大丈夫だろう。

ビルドしてみる前に、ソースの差分を見てみる。
ble_app_hrsと、ble_app_hrs_rtxのmain.cだ。
だいたいこんな感じだ。

• タイマは、OSのしくみを使う
• SoftDeviceからのBLEイベント通知は、メッセージボックスに詰めて投げるだけ。
  処理はble_stack_thread()というスレッド(uITRONでいうところのタスク)で行う。
• sd_app_evt_wait()は、osDelay(1000)に置き換えられている

sd_app_evt_wait()は、SoftDeviceなしだとWFEみたいだが、SoftDeviceありだとSVCALLしている。
何か秘密があるんじゃないかと思ったんだけど・・・。
なんか、ちょっと納得がいってない。

RTXのosDelay()をたどると、__svcDelay()を呼んでいた。
svcDelay()という関数はあるのだが・・・。
こんな記載があり、マクロマクロして、SVCに変換されるようだ。

SVC_1_1(svcDelay,・・・・)

この辺が、nRF51 SDKがRTXをサポートしているという意味なのか。
でも、それだったら1秒じゃなくて、もっと長くすればいいのにという気もするが・・・何か違うのか・・・。

SVCはSoftDeviceと共有と書いてある。
だから、上記リンク先の表でも、RTXよりもS110の方が動作までに多くクロック数がかかるようになっているのだろう。
しかし、Application SVC interruptはS110の方が速くなっていて、何か腑に落ちない。
私がSVCをまだ理解できてないせいかもしれないので、本を読んでみよう。