Mercurial > hg > Papers > 2017 > atton-master

comparison paper/cbc.tex @ 47:45d3ac176bf5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mini fixes
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Mon, 30 Jan 2017 14:54:01 +0900
parents 36ce493604fb
children e9ff08a232f7
comparison
equal deleted inserted replaced
46:3aeabd46d72b 47:45d3ac176bf5
100 % }}} 100 % }}}
101 101
102 % {{{ Continuation based C におけるメタ計算の例: GearsOS 102 % {{{ Continuation based C におけるメタ計算の例: GearsOS
103 \section{Continuation based C におけるメタ計算の例: GearsOS} 103 \section{Continuation based C におけるメタ計算の例: GearsOS}
104 CbC におけるメタ計算は軽量継続を行なう際に Meta CodeSegment を挟むことで実現できる。 104 CbC におけるメタ計算は軽量継続を行なう際に Meta CodeSegment を挟むことで実現できる。
105 CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142108_1}が存在する。 105 CbC を用いてメタ計算を実現した例として、GearsOS\cite{weko_142109_1}が存在する。
106 GearsOS とはマルチコアCPUやGPU環境での動作を対象としたOSであり、現在OSの設計と並列処理部分の実装が行なわれている。 106 GearsOS とはマルチコアCPUやGPU環境での動作を対象としたOSであり、現在OSの設計と並列処理部分の実装が行なわれている。
107 GearsOS におけるメタ計算はMonadによって形式化されている\cite{Moggi:1991:NCM:116981.116984}。
107 現在存在するメタ計算としてメモリの確保と割り当て、並列に書き込むことが可能な Synchronized Queue、データの保存に用いる非破壊赤黒木がある。 108 現在存在するメタ計算としてメモリの確保と割り当て、並列に書き込むことが可能な Synchronized Queue、データの保存に用いる非破壊赤黒木がある。
108 109
109 GearsOS では CodeSegment と DataSegment はそれぞれ CodeGear と DataGear と呼ばれている。 110 GearsOS では CodeSegment と DataSegment はそれぞれ CodeGear と DataGear と呼ばれている。
110 マルチコアCPU環境では CodeGear と CodeSegment は同一だが、GPU 環境では CodeGear には OpenCL/CUDA における kernel も含まれる。 % TODO: ref OpenCL/CUDA 111 マルチコアCPU環境では CodeGear と CodeSegment は同一だが、GPU 環境では CodeGear には OpenCL/CUDA における kernel も含まれる。 % TODO: ref OpenCL/CUDA
111 kernel とは GPU で実行される関数のことであり、GPU上のメモリに配置されたデータ群に対して並列に実行されるものである。 112 kernel とは GPU で実行される関数のことであり、GPU上のメモリに配置されたデータ群に対して並列に実行されるものである。