Registration info |
一般 Free
FCFS
「安西先生、肉が食べたいです」支援 ¥500 (Pre-pay)
FCFS
|
---|---|
About Prepayment |
About Prepayment Contact Info: (Only shown to attendees.) |
Cancel/Refund Policy: 支援ありがとうございます。 |
|
Print receipt data: 発行しない (詳しくはこちら) |
Description
ロックフリーアルゴリズムのモデル化と分析
初谷@PRINCIPIAです.
ロックフリーアルゴリズムの話がしたくなりました.はじめに不可分操作(アトミック操作)の話をして、それからロックフリースタックのモデルを作って分析してみます。ABA 問題を発見するあたりまでです。専門家ではないのでお遊び程度です。でも、テストで見つけるのは相当難しいだろうということが確実に見つけられる様子を味わえるとは思います。
モデリング言語やツールの使い方については説明しません。雰囲気で何やっているかわかればいいかなというゆるふわです。
1時間くらいだと思います。お菓子と飲み物など用意して気軽に聞いてください.途中参加・途中退出はご自由にどうぞ.
Zoom の URL は CONNPASS のメッセージでお知らせします.資料とモデルは配布しません。
Media View all Media
If you add event media, up to 3 items will be shown here.