May

3
ロックフリーアルゴリズムのモデル化と分析

Organizing : PRINCIPIA Limited

Hashtag ：#SyncStitch

Registration info	一般 Free FCFS 1/10 「安西先生、肉が食べたいです」支援￥500 (Pre-pay) FCFS 7/10
About Prepayment	About Prepayment Contact Info: (Only shown to attendees.)
	Cancel/Refund Policy: 支援ありがとうございます。
	Print receipt data: 発行しない (詳しくはこちら)

Description

ロックフリーアルゴリズムのモデル化と分析

初谷@PRINCIPIAです．

ロックフリーアルゴリズムの話がしたくなりました．はじめに不可分操作（アトミック操作）の話をして、それからロックフリースタックのモデルを作って分析してみます。ABA 問題を発見するあたりまでです。専門家ではないのでお遊び程度です。でも、テストで見つけるのは相当難しいだろうということが確実に見つけられる様子を味わえるとは思います。

モデリング言語やツールの使い方については説明しません。雰囲気で何やっているかわかればいいかなというゆるふわです。

1時間くらいだと思います。お菓子と飲み物など用意して気軽に聞いてください．途中参加・途中退出はご自由にどうぞ．

Zoom の URL は CONNPASS のメッセージでお知らせします．資料とモデルは配布しません。