Mercurial > hg > Papers > 2018 > nozomi-master

comparison paper/cbc.tex @ 93:16dc3337a5a9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 09 Feb 2017 18:54:18 +0900
parents 21cc0181b4cc
children ebe838b83ada
comparison
equal deleted inserted replaced
92:c407b7403548 93:16dc3337a5a9
105 % {{{ Continuation based C におけるメタ計算の例: GearsOS 105 % {{{ Continuation based C におけるメタ計算の例: GearsOS
106 \section{Continuation based C におけるメタ計算の例: GearsOS} 106 \section{Continuation based C におけるメタ計算の例: GearsOS}
107 CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142109_1}が存在する。 107 CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142109_1}が存在する。
108 GearsOS は並列に、信頼性高く動作することを目標としたOS であり、 マルチコアCPUやGPU環境での動作を対象としている。 108 GearsOS は並列に、信頼性高く動作することを目標としたOS であり、 マルチコアCPUやGPU環境での動作を対象としている。
109 現在OSの設計と並列処理部分の実装が行なわれている。 109 現在OSの設計と並列処理部分の実装が行なわれている。
110 GearsOS におけるメタ計算はMonad\cite{Moggi:1991:NCM:116981.116984}を用いている。 %TODO: kkb さんの修論 110 GearsOS におけるメタ計算はMonad\cite{Moggi:1991:NCM:116981.116984}を用いている~\cite{kkb-master}。
111 現在実装済みのメタ計算はメモリの管理、並列に書き込むことが可能な Synchronized Queue、データの保存用の非破壊赤黒木がある。 111 現在実装済みのメタ計算はメモリの管理、並列に書き込むことが可能な Synchronized Queue、データの保存用の非破壊赤黒木がある。
112 112
113 GearsOS では CodeSegment と DataSegment はそれぞれ CodeGear と DataGear と呼ばれている。 113 GearsOS では CodeSegment と DataSegment はそれぞれ CodeGear と DataGear と呼ばれている。
114 マルチコアCPU環境では CodeGear と CodeSegment は同一だが、GPU 環境では CodeGear には OpenCL~\cite{opencl}/CUDA~\cite{cuda} における kernel も含まれる。 114 マルチコアCPU環境では CodeGear と CodeSegment は同一だが、GPU 環境では CodeGear には OpenCL~\cite{opencl}/CUDA~\cite{cuda} における kernel も含まれる。
115 kernel とは GPU で実行される関数のことであり、GPU上のメモリに配置されたデータ群に対して並列に実行される。 115 kernel とは GPU で実行される関数のことであり、GPU上のメモリに配置されたデータ群に対して並列に実行される。