Every operator has many kernels because there are multiple data types, places, data layout that Fluid supports. We use the `KernelType` to describe kernel types that operators can hold.
The `KernelType` is as follows.
```
struct KernelType {
Place place_;
DataType data_type_;
LayoutType layout_;
};
```
The `place_` is a descriptor of the device and the computational library, e.g., `MKLDNNPlace`, `CUDAPlace`.
The `data_type_` is the data type that this kernel performs on, e.g., `FP32`, `INT64`. Note that one kernel may have inputs with different data types. However, it will be a major `data_type`. For example, the `cross_entropy` takes `int64` as it label, and `double`/`float` as its input logit and output cost. The major `data_type` of `cross_entropy` is `float`/`double`.
The `layout` is useful for some computational library. One example is that MKLDNN uses many kinds of layout, such as `nChw8c`. Each kind of layout will invoke the different kernel.
## Problem
We register a kernel for every operator and every kernel type ideally. However, it is impracticable for the following situations.
1. Some operators, like CRF, are complicated and inefficient to be implemented on GPU. The CRF operator will only have a CPU kernel.
2. Some operators will take too many memory. It is better to force them into CPU. However, the rest of operators in this neural network will be performed on GPU, i.e., model parallel problem.
3. Some layout and place are particular. One example is that MKLDNN uses `nChw8` and there is no other library uses `nChw8c`.
Problems under these situations are similar. We can formalise this problem as follow.
We register kernels with types $KT = \{kt_1, kt_2, kt_3, ...\}$ for one operator. The inputs of this operator should be run on kernel type $kt_{?}$, which the $kt_{?} \notin KT$. How to cast the input of this operator from $kt_{?}$ to any of kernel type in $KT$.
## Solution
It is clearly that transforming inputs of an operator toadapt another kernel type is not related to the particular operator. So we should register these transformation methods as global methods.
We can infer a kernel type from the inputs of an operators. We let this kernel type as `actual kernel type`, which means this kernel type is the actually kernel type that operator should be performed.
We can get a kernel type by 1) The configuration of operator description. (Users may want to force use `MKL` for `conv` operator). 2) The place of the current executor. (Executor is running on GPU). This kernel type is what we expect the operator will be performed on. We let this kernel type as `expect kernel type`.
We transform the input data from `actual` to `expect` if the expect kernel type is not as same as actual kernel type.
The algorithm is described as follow
```cpp
using DataTransformationFN = std::function<void(const Tensor& in, Tensor* out)>;
using KernelTypePair = std::pair<KernelType, KernelType>;
<spanid="background"></span><h1>Background<aclass="headerlink"href="#background"title="Permalink to this headline">¶</a></h1>
<p>Every operator has many kernels because there are multiple data types, places, data layout that Fluid supports. We use the <codeclass="docutils literal"><spanclass="pre">KernelType</span></code> to describe kernel types that operators can hold.</p>
<p>The <codeclass="docutils literal"><spanclass="pre">KernelType</span></code> is as follows.</p>
<p>The <codeclass="docutils literal"><spanclass="pre">place_</span></code> is a descriptor of the device and the computational library, e.g., <codeclass="docutils literal"><spanclass="pre">MKLDNNPlace</span></code>, <codeclass="docutils literal"><spanclass="pre">CUDAPlace</span></code>.</p>
<p>The <codeclass="docutils literal"><spanclass="pre">data_type_</span></code> is the data type that this kernel performs on, e.g., <codeclass="docutils literal"><spanclass="pre">FP32</span></code>, <codeclass="docutils literal"><spanclass="pre">INT64</span></code>. Note that one kernel may have inputs with different data types. However, it will be a major <codeclass="docutils literal"><spanclass="pre">data_type</span></code>. For example, the <codeclass="docutils literal"><spanclass="pre">cross_entropy</span></code> takes <codeclass="docutils literal"><spanclass="pre">int64</span></code> as it label, and <codeclass="docutils literal"><spanclass="pre">double</span></code>/<codeclass="docutils literal"><spanclass="pre">float</span></code> as its input logit and output cost. The major <codeclass="docutils literal"><spanclass="pre">data_type</span></code> of <codeclass="docutils literal"><spanclass="pre">cross_entropy</span></code> is <codeclass="docutils literal"><spanclass="pre">float</span></code>/<codeclass="docutils literal"><spanclass="pre">double</span></code>.</p>
<p>The <codeclass="docutils literal"><spanclass="pre">layout</span></code> is useful for some computational library. One example is that MKLDNN uses many kinds of layout, such as <codeclass="docutils literal"><spanclass="pre">nChw8c</span></code>. Each kind of layout will invoke the different kernel.</p>
</div>
<divclass="section"id="problem">
<spanid="problem"></span><h1>Problem<aclass="headerlink"href="#problem"title="Permalink to this headline">¶</a></h1>
<p>We register a kernel for every operator and every kernel type ideally. However, it is impracticable for the following situations.</p>
<olclass="simple">
<li>Some operators, like CRF, are complicated and inefficient to be implemented on GPU. The CRF operator will only have a CPU kernel.</li>
<li>Some operators will take too many memory. It is better to force them into CPU. However, the rest of operators in this neural network will be performed on GPU, i.e., model parallel problem.</li>
<li>Some layout and place are particular. One example is that MKLDNN uses <codeclass="docutils literal"><spanclass="pre">nChw8</span></code> and there is no other library uses <codeclass="docutils literal"><spanclass="pre">nChw8c</span></code>.</li>
</ol>
<p>Problems under these situations are similar. We can formalise this problem as follow.</p>
<p>We register kernels with types $KT = {kt_1, kt_2, kt_3, ...}$ for one operator. The inputs of this operator should be run on kernel type $kt_{?}$, which the $kt_{?} \notin KT$. How to cast the input of this operator from $kt_{?}$ to any of kernel type in $KT$.</p>
</div>
<divclass="section"id="solution">
<spanid="solution"></span><h1>Solution<aclass="headerlink"href="#solution"title="Permalink to this headline">¶</a></h1>
<p>It is clearly that transforming inputs of an operator toadapt another kernel type is not related to the particular operator. So we should register these transformation methods as global methods.</p>
<p>We can infer a kernel type from the inputs of an operators. We let this kernel type as <codeclass="docutils literal"><spanclass="pre">actual</span><spanclass="pre">kernel</span><spanclass="pre">type</span></code>, which means this kernel type is the actually kernel type that operator should be performed.</p>
<p>We can get a kernel type by 1) The configuration of operator description. (Users may want to force use <codeclass="docutils literal"><spanclass="pre">MKL</span></code> for <codeclass="docutils literal"><spanclass="pre">conv</span></code> operator). 2) The place of the current executor. (Executor is running on GPU). This kernel type is what we expect the operator will be performed on. We let this kernel type as <codeclass="docutils literal"><spanclass="pre">expect</span><spanclass="pre">kernel</span><spanclass="pre">type</span></code>.</p>
<p>We transform the input data from <codeclass="docutils literal"><spanclass="pre">actual</span></code> to <codeclass="docutils literal"><spanclass="pre">expect</span></code> if the expect kernel type is not as same as actual kernel type.</p>
Built with <ahref="http://sphinx-doc.org/">Sphinx</a> using a <ahref="https://github.com/snide/sphinx_rtd_theme">theme</a> provided by <ahref="https://readthedocs.org">Read the Docs</a>.
Every operator has many kernels because there are multiple data types, places, data layout that Fluid supports. We use the `KernelType` to describe kernel types that operators can hold.
The `KernelType` is as follows.
```
struct KernelType {
Place place_;
DataType data_type_;
LayoutType layout_;
};
```
The `place_` is a descriptor of the device and the computational library, e.g., `MKLDNNPlace`, `CUDAPlace`.
The `data_type_` is the data type that this kernel performs on, e.g., `FP32`, `INT64`. Note that one kernel may have inputs with different data types. However, it will be a major `data_type`. For example, the `cross_entropy` takes `int64` as it label, and `double`/`float` as its input logit and output cost. The major `data_type` of `cross_entropy` is `float`/`double`.
The `layout` is useful for some computational library. One example is that MKLDNN uses many kinds of layout, such as `nChw8c`. Each kind of layout will invoke the different kernel.
## Problem
We register a kernel for every operator and every kernel type ideally. However, it is impracticable for the following situations.
1. Some operators, like CRF, are complicated and inefficient to be implemented on GPU. The CRF operator will only have a CPU kernel.
2. Some operators will take too many memory. It is better to force them into CPU. However, the rest of operators in this neural network will be performed on GPU, i.e., model parallel problem.
3. Some layout and place are particular. One example is that MKLDNN uses `nChw8` and there is no other library uses `nChw8c`.
Problems under these situations are similar. We can formalise this problem as follow.
We register kernels with types $KT = \{kt_1, kt_2, kt_3, ...\}$ for one operator. The inputs of this operator should be run on kernel type $kt_{?}$, which the $kt_{?} \notin KT$. How to cast the input of this operator from $kt_{?}$ to any of kernel type in $KT$.
## Solution
It is clearly that transforming inputs of an operator toadapt another kernel type is not related to the particular operator. So we should register these transformation methods as global methods.
We can infer a kernel type from the inputs of an operators. We let this kernel type as `actual kernel type`, which means this kernel type is the actually kernel type that operator should be performed.
We can get a kernel type by 1) The configuration of operator description. (Users may want to force use `MKL` for `conv` operator). 2) The place of the current executor. (Executor is running on GPU). This kernel type is what we expect the operator will be performed on. We let this kernel type as `expect kernel type`.
We transform the input data from `actual` to `expect` if the expect kernel type is not as same as actual kernel type.
The algorithm is described as follow
```cpp
using DataTransformationFN = std::function<void(const Tensor& in, Tensor* out)>;
using KernelTypePair = std::pair<KernelType, KernelType>;
<p>Every operator has many kernels because there are multiple data types, places, data layout that Fluid supports. We use the <codeclass="docutils literal"><spanclass="pre">KernelType</span></code> to describe kernel types that operators can hold.</p>
<p>The <codeclass="docutils literal"><spanclass="pre">KernelType</span></code> is as follows.</p>
<p>The <codeclass="docutils literal"><spanclass="pre">place_</span></code> is a descriptor of the device and the computational library, e.g., <codeclass="docutils literal"><spanclass="pre">MKLDNNPlace</span></code>, <codeclass="docutils literal"><spanclass="pre">CUDAPlace</span></code>.</p>
<p>The <codeclass="docutils literal"><spanclass="pre">data_type_</span></code> is the data type that this kernel performs on, e.g., <codeclass="docutils literal"><spanclass="pre">FP32</span></code>, <codeclass="docutils literal"><spanclass="pre">INT64</span></code>. Note that one kernel may have inputs with different data types. However, it will be a major <codeclass="docutils literal"><spanclass="pre">data_type</span></code>. For example, the <codeclass="docutils literal"><spanclass="pre">cross_entropy</span></code> takes <codeclass="docutils literal"><spanclass="pre">int64</span></code> as it label, and <codeclass="docutils literal"><spanclass="pre">double</span></code>/<codeclass="docutils literal"><spanclass="pre">float</span></code> as its input logit and output cost. The major <codeclass="docutils literal"><spanclass="pre">data_type</span></code> of <codeclass="docutils literal"><spanclass="pre">cross_entropy</span></code> is <codeclass="docutils literal"><spanclass="pre">float</span></code>/<codeclass="docutils literal"><spanclass="pre">double</span></code>.</p>
<p>The <codeclass="docutils literal"><spanclass="pre">layout</span></code> is useful for some computational library. One example is that MKLDNN uses many kinds of layout, such as <codeclass="docutils literal"><spanclass="pre">nChw8c</span></code>. Each kind of layout will invoke the different kernel.</p>
<p>We register a kernel for every operator and every kernel type ideally. However, it is impracticable for the following situations.</p>
<olclass="simple">
<li>Some operators, like CRF, are complicated and inefficient to be implemented on GPU. The CRF operator will only have a CPU kernel.</li>
<li>Some operators will take too many memory. It is better to force them into CPU. However, the rest of operators in this neural network will be performed on GPU, i.e., model parallel problem.</li>
<li>Some layout and place are particular. One example is that MKLDNN uses <codeclass="docutils literal"><spanclass="pre">nChw8</span></code> and there is no other library uses <codeclass="docutils literal"><spanclass="pre">nChw8c</span></code>.</li>
</ol>
<p>Problems under these situations are similar. We can formalise this problem as follow.</p>
<p>We register kernels with types $KT = {kt_1, kt_2, kt_3, ...}$ for one operator. The inputs of this operator should be run on kernel type $kt_{?}$, which the $kt_{?} \notin KT$. How to cast the input of this operator from $kt_{?}$ to any of kernel type in $KT$.</p>
<p>It is clearly that transforming inputs of an operator toadapt another kernel type is not related to the particular operator. So we should register these transformation methods as global methods.</p>
<p>We can infer a kernel type from the inputs of an operators. We let this kernel type as <codeclass="docutils literal"><spanclass="pre">actual</span><spanclass="pre">kernel</span><spanclass="pre">type</span></code>, which means this kernel type is the actually kernel type that operator should be performed.</p>
<p>We can get a kernel type by 1) The configuration of operator description. (Users may want to force use <codeclass="docutils literal"><spanclass="pre">MKL</span></code> for <codeclass="docutils literal"><spanclass="pre">conv</span></code> operator). 2) The place of the current executor. (Executor is running on GPU). This kernel type is what we expect the operator will be performed on. We let this kernel type as <codeclass="docutils literal"><spanclass="pre">expect</span><spanclass="pre">kernel</span><spanclass="pre">type</span></code>.</p>
<p>We transform the input data from <codeclass="docutils literal"><spanclass="pre">actual</span></code> to <codeclass="docutils literal"><spanclass="pre">expect</span></code> if the expect kernel type is not as same as actual kernel type.</p>
Built with <ahref="http://sphinx-doc.org/">Sphinx</a> using a <ahref="https://github.com/snide/sphinx_rtd_theme">theme</a> provided by <ahref="https://readthedocs.org">Read the Docs</a>.
