エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
コメント一覧は非表示に設定されています。
(詳しくはこちら)
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
関連リンク 午前のセッション 午後1のセッション togetterまとめ (講演者の方は敬称略) 並列データ処理... 関連リンク 午前のセッション 午後1のセッション togetterまとめ (講演者の方は敬称略) 並列データ処理基盤を用いた並行バグ並列検査方式の検討 荒堀喜貴(東京工業大学) 目的: 並行バグ検査の高速化(並列化) 背景 前提とするプログラム実行モデル 複数スレッドが共有メモリを並行アクセス 並行 = 並列 + 擬似並列 スレッド操作は fork/join, lock/unlock, wait/notify メモリモデルは Sequencial Consistency を仮定しない 事例 Mozilla とApacheのケース Concurrency 並行処理のバグは、Mem メモリ操作のバグや Sem 意味依存のバグに比べて遥かに少ない 並行バグの検査に特化した専用ツール 競合解析を基にきわどいスレッドインタリーブを合成 Maple: Active Scheduling イベント履歴に