お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

5月

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

主催 : PRINCIPIA Limited

ハッシュタグ：#SyncStitch

募集内容	一般無料先着順 1/10人「安西先生、肉が食べたいです」支援 500円（前払い）先着順 7/10人
申込者	申込者一覧を見る
開催日時	2020/05/03(日) 19:30 ～ 20:30 Googleカレンダー icsファイル
募集期間	2020/05/03(日) 00:00 〜 19:15まで
会場	Zoom オンライン
前払いについて	前払いについての連絡先: (参加者にのみ公開されます)
	キャンセル・参加費用の払い戻しについて主催者からの説明: 支援ありがとうございます。
	領収データの発行: 発行しない (詳しくはこちら)

イベントの説明

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

初谷@PRINCIPIAです．

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

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

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

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