Mercurial > hg > Members > anatofuz > slides
comparison slides/20180403/memo.txt @ 22:7143a82401fa
update
author | Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 05 Apr 2018 11:30:03 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
21:952136cc268f | 22:7143a82401fa |
---|---|
1 - モデル検査 | |
2 - 実際に処理をしている箇所は? | |
3 - 並列実行をしている箇所を選択する | |
4 - Synchronized Queue | |
5 | |
6 - 方針 | |
7 - 使える部分だけCbCに書き換える | |
8 - 完全にGearsの形式に書き換える | |
9 | |
10 - CbCで書き直したxv6も同じ方式で行っている | |
11 - 帯域変数は入力で持ってくる,出力で出すという雰囲気 | |
12 | |
13 - PWDを環境変数に持たせると途中のディレクトリパスが異なる可能性がある | |
14 - syscallにすると途中のパスをuserdirに保存する | |
15 | |
16 - UEFI | |
17 - OSの立ち上げ時のBaseとなる部分 | |
18 |