# HG changeset patch # User matac42 # Date 1681646320 -32400 # Node ID 091510a8cd0acd2cf68ab8c2988a2ab39529690c # Parent 10c5fc2a7b0eda681f0e32b2174763c55da1cdcc ... diff -r 10c5fc2a7b0e -r 091510a8cd0a Paper/paper.log --- a/Paper/paper.log Sun Apr 16 20:47:50 2023 +0900 +++ b/Paper/paper.log Sun Apr 16 20:58:40 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 20:47 +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:51 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -3233,10 +3233,10 @@ Here is how much of TeX's memory you used: 5097 strings out of 478724 81242 string characters out of 5858393 - 627481 words of memory out of 5000000 + 628481 words of memory out of 5000000 23499 multiletter control sequences out of 15000+600000 499135 words of font info for 160 fonts, out of 8000000 for 9000 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, 34788 bytes). +Output written on paper.dvi (4 pages, 35628 bytes). diff -r 10c5fc2a7b0e -r 091510a8cd0a Paper/paper.pdf Binary file Paper/paper.pdf has changed diff -r 10c5fc2a7b0e -r 091510a8cd0a Paper/paper.synctex.gz Binary file Paper/paper.synctex.gz has changed diff -r 10c5fc2a7b0e -r 091510a8cd0a Paper/paper.tex --- a/Paper/paper.tex Sun Apr 16 20:47:50 2023 +0900 +++ b/Paper/paper.tex Sun Apr 16 20:58:40 2023 +0900 @@ -164,6 +164,12 @@ GearsOSには現在3つの種類がある． 1つ目が型式手法による信頼性の向上を目的とした，GearsAgdaと呼ばれるGearsOSである． +これは，Agdaによって実装されている． +2つ目がユーザーレベルタスクマネジメントの実装を目的としたGearsOSがある． +これは，CbCによって実装されている． +3つ目はスタンドアロンOSの開発を目的とした，CbC\_xv6と呼ばれるGearsOSがある． +これは，教育用に開発されたx.v6 OSをCbCで書き換える形で実装している． +今回，ファイルシステムを実装する対象は3つ目のCbC\_xv6である． ContextはGearsOS上全てのCodeGear，DataGearの参照を持ち，CodeGearとDataGearの接続に用いられる． OS上の処理の実行単位で，従来のOSにおけるプロセスに相当する機能であるといえる．