add docs/limestone_race.md

[t-horikawa]

No description provided.

[ban-nobuhiro]

前に口頭で中間報告をしてから、長らくそのままにして申し訳ありませんでした。

• 内容の主題には異議はありません。
• typo 的なものを suggest コメントしました。
• (この PR の文脈を超えているため、ここでやるべきことではないかと思いますが、 epoch を管理する 変数が複数あり、使い分けがよくわからにという疑問は残りました。特に epoch_id_recorded_ と epoch_id_informed_ は一つではだめなのか)

[t-horikawa]

epoch_id_recorded_ はepochファイルに書き込んだepoch、
epoch_id_informed_ shirakamiにpersistent_callbackで通知したepoch、
という使い分けをしています。
分けた理由は、walを書き込んでいないのにepochが更新された（switch_epochで通知された）というだけでepochファイルに書き込むという無駄なI/Oを出したくなかったからです。

[ban-nobuhiro]

typo 等は suggestion 形式でインラインコメントしました

[ban-nobuhiro]

Suggested change

	* shirakamiがcallすることを想定しているlimestoneのdatastore::switch_epoch()とdata_channel::begin_session()のタイミング制約
	* shirakamiがcallすることを想定しているlimestoneのdatastore::switch_epoch()とlog_channel::begin_session()のタイミング制約

おそらく文中と図３～７の data_channel はすべて log_channel の誤記かと思います。

[ban-nobuhiro]

Suggested change

	6) durableとなったlimestone epochは、datastore::add_persistent_callback()でcallbackを登録しておくことで、durable epochがが更新される度にcall backとして通知を受け取ることもできる。
	6) durableとなったlimestone epochは、datastore::add_persistent_callback()でcallbackを登録しておくことで、durable epochが更新される度にcall backとして通知を受け取ることもできる。

[ban-nobuhiro]

Suggested change

	limestoneがdurable epochを認識できるようにするため、各log_channelは、各々が書き込んでるlogのepochを管理している。
	limestoneがdurable epochを認識できるようにするため、各log_channelは、各々が書き込んでいるlogのepochを管理している。

[ban-nobuhiro]

Suggested change

	ここで、channel's epochがUINT_MAXとなっている期間は、log_channel::begin_session()が行われていない（未書き込み尾logは存在しない）ことを示している。
	ここで、channel's epochがUINT64_MAXとなっている期間は、log_channel::begin_session()が行われていない（未書き込みのlogは存在しない）ことを示している。

UINT_MAX だと unsigned int の MAX となってしまい多くの場合 32bit になってしまうため。(図3～7 も同様)
(epoch の max 的な別名を付けてもいいかとは思いますが、ここでやる話ではなさそう)

[ban-nobuhiro]

申し訳ありません。review インラインコメントの最後の操作が抜けていたので、Pending のままになっていました。