新機能 オンラインイベントが検索できるようになりました。オンラインイベントとして検索できるようにするには こちら をご確認ください

このエントリーをはてなブックマークに追加

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 のメッセージでお知らせします.資料とモデルは配布しません。

Media View all Media

If you add event media, up to 3 items will be shown here.

Ended

2020/05/03(Sun)

19:30
20:30

Registration Period
2020/05/03(Sun) 00:00 〜
19:15

Location

Zoom

オンライン

Zoom

Organizer

Attendees(8)

yaza_ta

yaza_ta

ロックフリーアルゴリズムのモデル化と分析に参加を申し込みました!

tacke_jp

tacke_jp

ロックフリーアルゴリズムのモデル化と分析に参加を申し込みました!

tkokamo

tkokamo

肉食べたい。ロックフリーアルゴリズムのモデル化と分析に参加を申し込みました!

zhanpon

zhanpon

ロックフリーアルゴリズムのモデル化と分析に参加を申し込みました!

hirofumi

hirofumi

ロックフリーアルゴリズムのモデル化と分析 に参加を申し込みました!

shigemi1014

shigemi1014

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

fetastein

fetastein

ロックフリーアルゴリズムのモデル化と分析 に参加を申し込みました!

TakeshiHori

TakeshiHori

ロックフリーアルゴリズムのモデル化と分析 に参加を申し込みました!

Attendees (8)