読者です 読者をやめる 読者になる 読者になる

たまにゃんのメモ帳

情報系関連のメモ書きを主に載せていきます。あわよくば他の人の参考になれば...

Boosting Multi-Core Reachability Performance with Shared Hash Tables (2010)

URL : http://fmcad10.iaik.tugraz.at/Papers/papers/12Session11/033Laarman.pdf Abstract この論文はモデル検査アルゴリズムとその他検証手法において重要なキーコンポーネントであるマルチコアReachabiliyのためのデータ構造について焦点を当てる。 我々…

The ComBack Method – Extending Hash Compaction with Backtracking (2007)

URL : http://link.springer.com/content/pdf/10.1007%2F978-3-540-73094-1_26.pdf大雑把にいえば状態を持たずにハッシュ値と状態の一意のID(整数)と状態へのバックエッジ(遷移関数、前の状態の一意のID)を持ち、ハッシュ値がぶつかった場合バックエッジで最…

Concurrency without Locking in Parallel Hash Structures used for Data Processing(2012)

URL : http://www.waset.org/journals/waset/v61/v61-5.pdf Abstract ロックとかセマフォとかバリアーとか従来の方法ではなく、現代のマルチスレッドアーキテクチャにおいてより有効な別の方法とマルチスレッドでのConcurrent Hash Tableについて考える。 特…