Mercurial > hg > Papers > 2024 > matac-master
diff marp-slide/slide.md @ 77:5847cf59e9b3
...
author | matac42 <matac@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 14 Feb 2024 13:49:06 +0900 |
parents | 13969295f118 |
children | 4ab8a9a8389a |
line wrap: on
line diff
--- a/marp-slide/slide.md Wed Feb 14 11:38:01 2024 +0900 +++ b/marp-slide/slide.md Wed Feb 14 13:49:06 2024 +0900 @@ -83,7 +83,7 @@ ## Context -- Gears OS上全てのCodeGear,DataGearの参照を持つ +- Gears OS上全てのCodeGear、DataGearの参照を持つ - OS上の処理の実行単位 - プロセスに相当 - Gearの概念ではmetaDataGearに当たる @@ -92,6 +92,12 @@ --- +## CodeGear遷移の流れ + +![w:1100](figs/context.svg) + +--- + ## 3種類のGears OS - GearsAgda(Agda) @@ -114,12 +120,6 @@ --- -## CodeGear遷移の流れ - -![w:1100](figs/context.svg) - ---- - ## 非破壊RedBlackTree ![w:1100](figs/nondestructive_tree_modification.png) @@ -183,12 +183,11 @@ ## GearsOSのGC -CopyingGCのような仕組み - +- CopyingGCのような仕組み - 新しいContextのメモリに新規にコピーする - 古いContextをそのまま全部解放する -![bg right:52% 95%](figs/copy_context.svg) +![bg right:52% 85%](figs/copy_context.svg) --- @@ -197,16 +196,15 @@ - 複数のストレージに同時に木をコピーする - そのうちの一部は持続的なストレージにする - システム起動時には必要な分をメモリにコピーする +- トランザクションも考慮する -トランザクションも考慮する - -![bg right:48% 95%](figs/copy_context.svg) +![bg right:48% 85%](figs/copy_context.svg) --- ## RedBlackTreeの トランザクション -- トランザクションはのルートの置き換え +- トランザクションはルートの置き換え - 複数の書き込みポイント - 最新の情報が欲しい場合は書き込み停止処理が必要 @@ -245,7 +243,7 @@ - 2つのStackを使用する - nodeStackは元の木を辿る - toStackは新しい木を操作 -- 大まかにleftDown, rightDown, upの3ステップ +- 大まかにleftDown, rightDown, upの3つの動作 ![bg right:45% 65%](figs/copy_algo4.svg) @@ -303,10 +301,10 @@ ![bg right:50% 90%](figs/swap.svg) --- - +<!-- ## 実行方法 ---- +--- --> ## 評価 @@ -329,9 +327,9 @@ - 別Contextコピー - GearsAgdaでの記述 - Stack領域の圧縮 -- Stackの再利用? -- GC,レプリケーションの実装 -- 多重性以外の機能 +- Stackの再利用 +- GC、レプリケーションの実装 +- 多重性やメモリ管理以外の機能の実装 ---