Mercurial > hg > Papers > 2018 > nozomi-master
diff paper/cbc.tex @ 93:16dc3337a5a9
Update
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Thu, 09 Feb 2017 18:54:18 +0900 |
| parents | 21cc0181b4cc |
| children | ebe838b83ada |
line wrap: on
line diff
--- a/paper/cbc.tex Thu Feb 09 18:52:09 2017 +0900 +++ b/paper/cbc.tex Thu Feb 09 18:54:18 2017 +0900 @@ -107,7 +107,7 @@ CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142109_1}が存在する。 GearsOS は並列に、信頼性高く動作することを目標としたOS であり、 マルチコアCPUやGPU環境での動作を対象としている。 現在OSの設計と並列処理部分の実装が行なわれている。 -GearsOS におけるメタ計算はMonad\cite{Moggi:1991:NCM:116981.116984}を用いている。 %TODO: kkb さんの修論 +GearsOS におけるメタ計算はMonad\cite{Moggi:1991:NCM:116981.116984}を用いている~\cite{kkb-master}。 現在実装済みのメタ計算はメモリの管理、並列に書き込むことが可能な Synchronized Queue、データの保存用の非破壊赤黒木がある。 GearsOS では CodeSegment と DataSegment はそれぞれ CodeGear と DataGear と呼ばれている。