Controlは、DBのTx技術の中でも比較的上位魔法に属し、あまたのTx系統の魔術を学ぼうとする魔術師の挑戦を退けてきた。時代はメニー・コア/大容量メモリーの時代に入り、MVCC系統の呪文を唱えるための...とある魔術のMVCC入門(なんとなくわかりたいあなたのための)2019-01-05日本社会はロボットによる労働力不足解消の夢をみるか?どちらかと言うと関係者向け。とある事情でロボットとかCVとか、いろいろAI系(の一歩手前)に関わることになっている。業務系IT屋と今後のマーケットの視点で書いておく。最初に断っておくが自分はロボットに関しては素人なのよ。本来、僕がどうこう書くものではないし、しかるべき人がしかるべき何かのコメントを書くべきだと思う。いえ、時代的なものも含めて、後につながる人が「発掘」できるようにはしておきたい。2018/12月の現在の自分のタスクは、DBのMVCCでのTX制御の理論・アルゴリズムの設計になっている。要するにDBを作りましょうということで、そのコア部分をどうにかしなさい、ということになっている。某Pjrに関わっている人全員。あとはSAPのHANAとかのHTAP系を使っている人。あとはDB系の人とかそっち系の人。anomalyがHTAPのなかでかなりの厄ネタになるという指摘と、その解決素案の提示になっている。https://pdfs.semanticscholar.org/ecf9/821e0c4f1f28fb7eb42c5eaa8a92cf16ade9.pdfTxのserializabilityを判断する、いわゆるcertifierになる。実際はDBのTx処理のvalidatorの実装として組み込まれることが通常だと思う。0.10.0についてあけましておめでとうございます。今年もよろしくお願いします。0.10.02017-09-24客先常駐について客先常駐は増加傾向に見える。別に統計資料はないので、どちらかというと体感的なものだけど、ベンダーからユーザーへの常駐は増加している気がする。“Hekaton”再考SQLServer2014「Hekaton」MSの主要DB。論文がでているので、それをベースに自分の理解を書く。実装は公開されていないので、合ってるかどうかは知らない。https://www.cs.cmu.edu/~hl/papers/cicada-sigmod2017.pdfSIGMOD2017で発表されている。ordering)MVCC系の実装プロトコルの代表例。そのほかにMV2PL(実際は2V2PLが多い)とMVSGTがある。MVTOにも様々なバリエーションがある。理論自体は1980年後半から存在している。ordering)2017-08-13クラウドに基幹を移行して5年超経過もう5年か、まだ5年というべきかちょっと判断に迷う。業務系のシステムがクラウドを始めるのは現実的には今年来年以降になるので、今の自分達の状況は多分、今後の業務系システムをクラウド移行したユーザの近未来になると思う。MVCCの基礎理論をまとめておく。今後はここを参照する。基本的にTX本とCC本から必要な部分をまとめている。急がば...multi-versionの基礎2017-01-05「パブリッククラウドvsプライベートクラウドの終わり」の始まり遅めですが明けましておめでとうございます。