memo0001 のバックアップ(No.14)

KH-FDPLのメモ #0001 （途中からpersistent-Cのメモ）

(by K, 2016.02.04)

↑

2016.02.04(木)

とにかく作ることにする。どこから作るかを考えたのだけど、とにかくオブジェクトを操作できるようにしたい。そういうライブラリから作る。言語仕様を考え始めると気が遠くなるので、まだ考えないことにする。

↑

2016.02.17(水)

さっそく予定を変更（笑）。まあ私にはよくあること。・・・変数を永続化させる機能だけを取り出して、それを実装することにします。それで変数の永続化について体験できる環境を作ります。
- このサブプロジェクトを「persistent-C」「KHPC」と呼ぶことにします。
  - http://khfdpl.osask.jp/wiki/?persistent_C
  - http://khfdpl.osask.jp/wiki/?KHPC

↑

2016.05.10(火)

今日はwikiをたくさん更新しようと思ったら、いきなりたくさん荒らされてしまいました。近日中に荒らし対策スクリプトを入れるので、それまでは荒らされたページを凍結しておくことにします。

↑

2016.05.11(水)

よし、とりあえず荒らし対策完了。ぜんぜん完璧じゃないけど、昨日のパターンにはやられないはず。

↑

2016.05.12(木)

もうやられなくなったっぽい。よかったよかった。じゃあ開発しよう。

↑

2016.05.13(金)

今日はやられた！・・・また別の対処法を考えなくては。
よし対処したー。
今日はコードもそれなりに書けたのでいい日だー。

↑

2016.05.16(月)

loadしてないうちからsaveを実行しようとした場合はエラーにしよう。そうでないと、ただのloadし忘れの場合に、同じidの変数名があったら上書きされてしまって、悲しいことこの上ないから。

↑

2016.05.17(火)

(1)今日は、なるほどなーと思うことを発見した。以下に示すプログラムは永続変数の典型例だけど、これは間違っていた。

    [間違った例]
    persistent int sum = 0, i = 0;
    persistent_load();
    for (; i <= 100; i++) {
        sum += i;
        persistent_save(0);
    }
    printf("sum=%d\n", sum);

正しい書き方はこうなる。

    [正しい例]
    persistent int sum = 0, i = 0;
    persistent_load();
    for (; i <= 100; i++) {
        persistent_save(0);
        sum += i;
    }
    printf("sum=%d\n", sum);

違うのはsaveの位置だ。
そんな違いがなぜ重要なのかを書こう。・・・仮に[間違った例]のプログラムが最後まで走ったとする。その場合、ファイルに書かれた変数の値はi=100, sum=5050になる。この状態でこのプログラムをもう一度実行すれば、i<=100を満たすのでループの中に入って、sum=5150に更新されて保存される。さらにもう一度実行したら、sum=5250になる。・・・つまりこのプログラムは期待通りに動いていない。
一方で、[正しい例]なら最後に書かれる値はi=100, sum=4950になるので、何度実行しても結果はsum=5050となり、期待通りになる。
もしloadするたびに1回だけループを回るという挙動が気持ち悪いのであれば、printfの直前にもsaveを入れるといい。そうすればi=101, sum=5050が保存されるので、次回起動時にforループに侵入しなくなる。

この問題をより一般的に考えてみる。

    while (i <= 100) {
        persistent_save(0);
        sum += i;
        i++;
    }

これはforループをwhileに開いたものだ。こうして見ると、sum += i;の直後にsaveを入れるというのは、ループの処理を中途半端にやって途中で保存しているという行為に他ならず、それでは再開時に中途半端な処理をもう一度実行することになってしまうのは自明である。
- この問題さえなければ、saveがループの先頭にあってもループの末尾にあっても問題はない。

(2)persistentな変数が今いくつになっているのか、いちいちプログラムを作って確認しなければいけないのは不便なので、簡単なツールを作ってみた。
```
khpc000>pbdtol dump p-vars.pbd
format: persistent_binary_memimage_IA32_v00
note: @hkawai3.khpc000.test

i (4bytes) (flags=0x00000000) :
64 00 00 00  (=100)

sum (4bytes) (flags=0x00000000) :
56 13 00 00  (=4950)
```
- よしよし。まあ最初はこんなものだろう。

(3)persistent-Cを使っていると、変数がとても便利に思えてくる。・・・たとえばprintf("hello");というのは、画面表示が最も分かりやすいからサンプルに使われるのだと思う。でも、persistent-Cなら画面表示するよりも変数に代入しておく方が便利だ。
変数に代入してsaveしておけば、画面に出したくなった時はツールを使っていつでも出せるし、ファイルに出すこともできる。この時点でprintfするプログラムと同等だ。その上、変数として使えるので、関数に渡したり、複雑な処理をしたりできる。
通常のprintfなプログラムがあってソースコードがないとしたら、出力結果を変数に取り込むには、出力結果をファイルに出させて、ファイルをfopenしてfreadしなければいけない。

↑

こめんと欄

コメント	お名前	NameLink