Mercurial > hg > Papers > 2023 > matac-sigos
changeset 9:10c5fc2a7b0e
...
| author | matac42 <matac@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 16 Apr 2023 20:47:50 +0900 |
| parents | cbd1851698cc |
| children | 091510a8cd0a |
| files | Paper/paper.log Paper/paper.pdf Paper/paper.synctex.gz Paper/paper.tex |
| diffstat | 4 files changed, 5 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/Paper/paper.log Sun Apr 16 14:16:24 2023 +0900 +++ b/Paper/paper.log Sun Apr 16 20:47:50 2023 +0900 @@ -1,4 +1,4 @@ -This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9) 16 APR 2023 14:15 +This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9) 16 APR 2023 20:47 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -3239,4 +3239,4 @@ 929 hyphenation exceptions out of 8191 55i,10n,63p,294b,1365s stack positions out of 10000i,1000n,20000p,200000b,200000s -Output written on paper.dvi (4 pages, 34536 bytes). +Output written on paper.dvi (4 pages, 34788 bytes).
--- a/Paper/paper.tex Sun Apr 16 14:16:24 2023 +0900 +++ b/Paper/paper.tex Sun Apr 16 20:47:50 2023 +0900 @@ -162,6 +162,9 @@ 同様にGearの概念を持つContinuation based C（CbC）で記述されており，ノーマルレベルとメタレベルの処理を切り分けることが容易である． また，GearsOSは現在開発途上であり，OSとして動作するために今後実装しなければならない機能がいくつか残っている． +GearsOSには現在3つの種類がある． +1つ目が型式手法による信頼性の向上を目的とした，GearsAgdaと呼ばれるGearsOSである． + ContextはGearsOS上全てのCodeGear，DataGearの参照を持ち，CodeGearとDataGearの接続に用いられる． OS上の処理の実行単位で，従来のOSにおけるプロセスに相当する機能であるといえる． また，CodeGearをDataGearの一種であると考えると，ContextはGearの概念ではMetaDataGearに当たる．