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、レプリケーションの実装
+- 多重性やメモリ管理以外の機能の実装
 
 ---