HTMはメモリ管理の為に生まれてきたんだよ！ ΩΩ＜な、なんだってー - Software Transactional Memo
HTMの第一人者にして、obstruction-freeやwait-freeなどの厳密な定義や、CAS命令の数学的な意義を証明し、The Art of Multiprocessor Programmingの著者で、ロックフリーでもSTMでも八面六臂の活躍をしているMaurice Herlihy先生が連名している最近の論文を流し読み。 Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev, Mark Moir: On the power of hardware transactional memory to simplify memory management. PODC 2011: 99-108 「トランザクショナルメモリのパワーでメモリ管理を簡略化する」という感じ。 GCを使わない環境下においてメモリ管理は鬼門になってて、そのせいでC++のロ
Quiescent State Based ReclamationとRCUの話とHTMの話
くまぎ @kumagi ブログ書いた 「userspace RCU(QSBR)の使い方と解説」 http://t.co/mvjPoU6M51 安全にロックフリーするための局所的なガベージコレクタとも言える。 Sadayuki Furuhashi @frsyuki @kumagi 全スレッドがrcu_quiescent_stateを定期的に呼ばないと成立しない気がしますが、データの読み出しを行わないスレッドとか、たまに行わなくなるスレッドは、どういうタイミングでrcu_quiescent_stateを呼んでいるんでしょ？ くまぎ @kumagi @frsyuki ぉ、その欠点に気づいてしまうとはさすがですね。他のUserspaceRCUがみんなRW-Lockの代わりにも使える（しかも位置やシグネチャも一致するのでバイナリのリンク先を変えるだけで良い）一方でQSBRはアルゴリズム中に侵入的に変
userspace RCU(QSBR)の使い方と解説 - くまメモ
http://lttng.org/urcu|Userspace RCU という大変クールなプロジェクトがあります。 「RCU（リードコピーアップデート）をユーザースペースで行うもの」という事で、そこだけ聞くとなんのこっちゃという感じ。 リードコピーアップデートって何よ リードコピーアップデートそのものの正しい説明はWikipedia*1 でも読んでもらうとして、Wikipediaを読むのすら面倒な人の為に説明すると「みんなで共有してるデータをfree()しても良いタイミングを見極める技術」です。 特定の構造体をみんなで共有して書き換えたりしたいな → Lockとればよくね？ すごく頻繁にアクセスするし読み出しの方が多いからLockはやだな → Read-Write Lockでよくね？ Read-Write LockだとAtomic命令多すぎてパフォーマンスでないな → Lock無くしてデー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Lock-freeデータ構造で使用されるABA避けカウンタについて
