Rustをフル活用したリアルタイムOS「Tock」の特異性

図6　スレッド安全性に関しては、そもそもTockではマルチスレッドをサポートしていないのであまり関係ないのだが。それにしても、「型安全性はRustがやってくれるからZero Cost」というのは、まぁそれはそうなのだろうが……［クリックで拡大］