cocolog:89194943

ELDE (Exhaustive Lock Dependency Emulator) において、「実実行」のみを数え上げる「修正」バージョンを作った。そして、それを「失敗作」だった「虚実行」を許すバージョンと突き合わせ、結果が正しいことを確かめた。怪我の功名。 (JRF 9442)

JRF 2018年4月13日 (金) Tweet

ブログ記事は↓。

《Exhaustive Lock Dependency Emulator その３ 修正とチェック》
http://jrf.cocolog-nifty.com/software/2018/04/post-1.html

JRF2018/4/130695

今回こそ「車輪の再発明」。前回の「その１」は、意図しない「虚実行」を含めていたため、他の人がやらないような実装になり、その意味では個性があったことになる。

とりあえず「その１」を確認用として役立てられたのは良かった。

JRF2018/4/137580

……。

実装はそれほど難しくなかった。組み合わせを使ったロック仕様の数え上げが適度に難しく作っていて楽しかった。途中で組み合わせの数え上げについて記事を書いた([cocolog:89185782])のが副産物。

lock_limit まわりは、ループの途中でも良いようにしようかと少し迷ったが、その１ではそういう実装をしていなかったため、変換が容易になるように、今回は、難しい実装にしなかった。

JRF2018/4/139899

……。

そこにも書いたが「虚実行」について。「虚実行」という考え方は、この「虚実行」以外にも cut している実行があり、それらと「虚実行」を分けるものが何かと問われると難しく、今のままでは「虚実行」そのものに意味を見出すのは難しい。

今後、ELDE を発展させていくなかでデッドロックに関して連続とか不連続とかを定義できて、そこに絡めて何とか言えたりしたら、カッコイイんだけど、どうなることやら…。

JRF2018/4/132852

……。

今後は複数ロックの場合について考えたいが、その「仕事」の前に読書やゲームを先に進めるため、少し休もうかな、時間をおこうかな…。

JRF2018/4/134690