- 追加された行はこのように表示されます。
- 削除された行は
このように表示されます。
!今月は
実装とか実験に注力する．
勝負は，1月後半から2月．
* H/W囲碁
* コンパイラ
* modoki
!行ってみたい
平和苑という焼肉屋が美味しいと聞きました
http://gourmet.livedoor.com/restaurant/5122/
http://r.gnavi.co.jp/f324600/
!コンパイラ制御可能なCOMA環境を実現するソフトウェアDSM Laurasiaの実装
{{category 論文読み}}
@article{上原哲太郎:20000107,
author="上原 哲太郎 and 齋藤 彰一 and 城 和貴 and 國枝 義敏",
title="コンパイラ制御可能なCOMA環境を実現するソフトウェアDSM Laurasiaの実装",
journal="情報処理学会研究報告. 計算機アーキテクチャ研究会報告",
ISSN="09196072",
publisher="社団法人情報処理学会",
year="20000107",
volume="2000",
number="1",
pages="49-54",
URL="http://ci.nii.ac.jp/naid/110002774817/",
DOI="",
}
* COMA
** 全プロセッサが一つのメモリアドレス空間を共有
** ノード上のローカルメモリはキャッシュ
*** 主記憶の各ノードへのメモリ割当ては動的に決定
** ローカルメモリ同士のデータの整合性の制御が必要
** データ整合性による転送が増える．
*** Weak Consistency制御モデルとしてEntry Consistencyモデルを導入
* NUMAではなくCOMA
** [予想]あるページがどのノードにあるコストがデータ転送自体のコストに比べ小さい
** ノード間のデータの動的再配置は自然に行われる
* Laurasia
** コンパイラでECモデルに基く整合性制御用コードを埋め込む
** キャッシュのページと同期変数の関連を宣言
*** 共有変数の参照に際し，acquire/releaseプリミティブでの宣言(= 同期変数へのロック)を行う
*** キャッシュのページと同期の変数を宣言することによってシステム側で記憶
** システムコールでページ-同期変数，同期変数-ページ群を得る
** キャッシュ制御スレッド
*** 他ノードから複製要求されたページがロックされていたら転送を遅延
+ Acquire発行．ロック
+ 共有変数がinvalidなら読み込み要求発行
+ クリティカルセクション実行
+ 共有変数の各ページが共有されていればExlusiveにして，他ノードは無効化
+ relase発行．同期変数の開放．