Mercurial > hg > Members > anatofuz > slides

- モデル検査
    - 実際に処理をしている箇所は?
    - 並列実行をしている箇所を選択する
    - Synchronized Queue

- 方針
    - 使える部分だけCbCに書き換える
    - 完全にGearsの形式に書き換える

- CbCで書き直したxv6も同じ方式で行っている
- 帯域変数は入力で持ってくる,出力で出すという雰囲気

- PWDを環境変数に持たせると途中のディレクトリパスが異なる可能性がある
    - syscallにすると途中のパスをuserdirに保存する

- UEFI
    - OSの立ち上げ時のBaseとなる部分
author	Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date	Tue, 16 Apr 2019 18:58:24 +0900
parents	2e1724369e51
children