検索結果を絞り込む

データ種別

論文 4

本文・本体へのリンク

本文・本体リンクあり 4

〜

検索結果 4 件

  • 1 / 1

  • 並行プログラムのPartialStoreOrderingでの実行をモデル検査するためのReleaseメモリバリア

    鵜川, 始陽, 松元, 稿如, 飯干, 寛幸 第60回プログラミング・シンポジウム予稿集 2019 119-128, 2019-01-11

    我々は，並行プログラムの弱いメモリ一貫性モデルでの振舞いをモデル検査するためのモデル集（以下，モデル検査ライブラリ）であるMMLibを開発している．SPINモデル検査器で検査するために，Promelaで記述されたモデルに対して，共有変数のリードとライトを，MMLibが提供するマクロの呼出しに置き換えるだけで，TSOやPSOに従った振舞いを検査できるようになる．これまでMMLibにはacquire…

    情報処理学会

  • 書込みバリアにロックやメモリバリア命令を用いない並行スナップショットごみ集め

    鵜川 始陽, 信岡 孝佳, 海野 弘成, 湯淺 太一 コンピュータ ソフトウェア 29 (3), 3_143-3_156, 2012

    ...ロックやメモリバリア命令の実行には多くのCPUサイクルを消費するため，並行GC(ごみ集め)では，書込みバリアからロックやメモリバリア命令を排除することが容易なインクリメンタルアップデートGCが使われることが多い．しかし，インクリメンタルアップデートGCの通常の実装では，マークフェーズ後にミューテータを止めて多くのオブジェクトをマークする可能性があり，実時間アプリケーションには向かない．本論文では，この...

    DOI

  • Elastic Memory Consistency Models

    松本, 尚, 平木, 敬 全国大会講演論文集 第49回 (ハードウェア), 5-6, 1994-09-20

    ...緩和されたメモリモデルを使用した場合でも、メモリバリアを張るタイミングにおいてリモートメモリアクセスレイテンシによるコストが健在化する可能性があり、大規模並列計算機においてはこのコストが数百clockにも及ぶことがある。従来型のメモリバリアによるレイテンシコストの健在化を防止するために、メモリバリアをelastic動作可能に拡張することで、新しいタイプのコンシステンシモデルを提案する。...

    情報処理学会 被引用文献1件

  • 1 / 1
ページトップへ