Kureduki_Maari https://blog.hatena.ne.jp/Kureduki_Maari/ c4se記：さっちゃんですよ☆ https://c4se.hatenablog.com/ Programming だいたいに於いてそんな方法は存在しない。 test するうまい方法が既に有れば人類は parallelism で苦勞しない。競合しないやうにする爲に施した對策が動いてゐる事は test できるが、その對策に依って競合が防がれる事はよく test できない。 たまたまうまくゆく特殊な場合以外は test は諦めるのがよい。 test 以外の手法がよく取られる。 Erlang や Redux-Saga のやうに競合が起きにくい構造を作ってその上で計算するか、Rust や Pony のやうに競合する pattern の一部が起きないやうな形式化を行ひその上で計算する手法が有名だと思ふ。他には par… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fc4se.hatenablog.com%2Fentry%2F2019%2F10%2F30%2F003132" title="parallel に變更・參照される resource が競合せず整合性を保つ事を試驗する - c4se記：さっちゃんですよ☆" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-10-30 00:31:32 rich https://c4se.hatenablog.com/entry/2019/10/30/003132 1.0 100%