Mercurial > hg > Papers > 2024 > matac-master

changeset 59:7009a8e8d746

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mm
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Sun, 04 Feb 2024 12:22:50 +0900
parents 7b1af63ace67
children 6c5965c3539e
files mindmaps/gears_fs_db.mm
diffstat 1 files changed, 13 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/mindmaps/gears_fs_db.mm	Sun Feb 04 12:22:22 2024 +0900
+++ b/mindmaps/gears_fs_db.mm	Sun Feb 04 12:22:50 2024 +0900
@@ -856,7 +856,17 @@
 <node TEXT="アルゴリズム" ID="ID_73867053" CREATED="1706934970286" MODIFIED="1706934976931"/>
 <node TEXT="登場する主なCodeGear" ID="ID_1955149593" CREATED="1706934987471" MODIFIED="1706935007665"/>
 <node TEXT="CodeGearのおおまかな遷移" ID="ID_872667908" CREATED="1706935010066" MODIFIED="1706935017591"/>
-<node TEXT="ALLOCATION" ID="ID_1410128784" CREATED="1706935157942" MODIFIED="1706935161703"/>
+<node TEXT="実装詳細" ID="ID_1895012245" CREATED="1707013282802" MODIFIED="1707013287360">
+<node TEXT="ALLOCATION" ID="ID_1410128784" CREATED="1706935157942" MODIFIED="1706935161703">
+<node TEXT="3箇所でアロケーションが実行される" ID="ID_987986764" CREATED="1707013312935" MODIFIED="1707013333262"/>
+<node TEXT="メタでは&amp;ALLOCATIONが呼び出される" ID="ID_1299023885" CREATED="1707013338704" MODIFIED="1707013352784"/>
+<node TEXT="同じContextにアロケーションしている" ID="ID_333936053" CREATED="1707013353271" MODIFIED="1707013372674"/>
+</node>
+<node TEXT="swap" ID="ID_861618575" CREATED="1707013292638" MODIFIED="1707013295916">
+<node TEXT="ひとまずコピー前の木とコピー後の木を入れ替える操作をしている" ID="ID_434898110" CREATED="1707013376738" MODIFIED="1707013398965"/>
+<node TEXT="これはGCを想定している" ID="ID_1298895362" CREATED="1707013399773" MODIFIED="1707013407108"/>
+</node>
+</node>
 </node>
 <node TEXT="Tree InterfaceのAPIにCopyを追加する" ID="ID_746343495" CREATED="1705735678228" MODIFIED="1705735715335">
 <node TEXT="tree-&gt;copy" ID="ID_1447270137" CREATED="1706690663705" MODIFIED="1706690668279"/>
@@ -959,6 +969,7 @@
 <node TEXT="同じContextにコピーしてしまっている" ID="ID_917538944" CREATED="1706803805237" MODIFIED="1706803821463">
 <node TEXT="ALLOCATEの改造が必要" ID="ID_1305277586" CREATED="1706804450792" MODIFIED="1706804461228"/>
 <node TEXT="逆にいうとそれだけでできるのではないか" ID="ID_786333116" CREATED="1706804465061" MODIFIED="1706804472295"/>
+<node TEXT="swapは本当はcontextの切り替えになる" ID="ID_249775448" CREATED="1707013430414" MODIFIED="1707013442111"/>
 </node>
 <node TEXT="Copyは今の所定理証明による検証の取り組みがない" ID="ID_675344411" CREATED="1706803925820" MODIFIED="1706803957592">
 <node TEXT="本当に？" ID="ID_528512336" CREATED="1706803974168" MODIFIED="1706803977559"/>
@@ -991,6 +1002,7 @@
 </node>
 <node TEXT="今後の課題" POSITION="right" ID="ID_912711900" CREATED="1706956151544" MODIFIED="1706956155177">
 <node TEXT="別コンテキストへのコピー" ID="ID_1209930854" CREATED="1706956313462" MODIFIED="1706956324424"/>
+<node TEXT="GearsOS全体をGCすることも考えられる" ID="ID_1250275844" CREATED="1707013490904" MODIFIED="1707013522142"/>
 <node TEXT="非破壊Stackの扱い" ID="ID_1644568533" CREATED="1706956401644" MODIFIED="1706956408706">
 <node TEXT="freelistを作成する？" ID="ID_1571509667" CREATED="1706956417754" MODIFIED="1706956422304"/>
 </node>