リポジトリ / emssr / independent_common_compiler

# compile して走らせる

[← Index](../Index.md)

## 1. 誰が何を出すか

$$

\texttt{.cam}\ \xrightarrow{\ \text{Haskell}\ }\ \text{image}

\qquad\qquad

\texttt{.cmn}\ \xrightarrow{\ \text{commonc の image}\ }\ \text{image}

$$

Haskell が出してよいのはバイナリだけになる。`.cmn` を compile するのは常に

commonc の image であり、その image を走らせるのは C か Python の実行台になる。

```

commonc/src/

  front.cam       .cmn → 疑似命令。target を知らない

  qlayer.cam      判定値 𝒬 の層

  qword.cam       構成語の算術

  region.cam      領域と鎖の層

  back_x86h.cam   → commonc_x86h.cam

  back_lane64.cam → commonc_lane64.cam

```

`use` は名前空間を一つにする。ラベルの解決は展開の後に一度だけ走る。

$$

\operatorname{res}(\texttt{use}\ f)=\operatorname{res}\bigl(\text{$f$ の中身をその行へ置いた source}\bigr)

\tag{12.1.1}

$$

---

## 2. 一本を走らせる

### 2.1 core 意味論で読む

```bash

common continuous_republic/examples/cmn/futatsu.cmn --run

```

```

source : .../futatsu.cmn  層 2  d係数=[2]

境界   : [PtDyad]

平文   : huhukanoka

降下   : 箱 4  退避語 32

  出力[0] = 2

```

### 2.2 commonc で compile する

作業領域の刻みは入力から出る（19 式 3.1）。

$$

B=\max(N+80,\ 4096),

\qquad

\mathrm{InBase}=288B,

\qquad

\mathrm{Words}=288B+N+4096

$$

$288$ は lane64 の覆いの倍数になる。x86-64 hosted 版では $128$ を採る。

```bash

python continuous_republic/common_systems/Python_vCPU/vcpu.py \

  builds/commonc/commonc_lane64.bin \

  --words 1183761 --in-base 1179648 \

  --in continuous_republic/examples/cmn/futatsu.cmn \

  --emit out.bin

```

### 2.3 出た image を走らせる

```bash

python continuous_republic/common_systems/Python_vCPU/vcpu.py out.bin --words 4096 --dump 1

```

```

lane 0    tu

  w[0] = 2

```

`tu` が成功報告、`te` が失敗報告になる（10 §2）。

---

## 3. 実行台

| 実行台 | 走らせ方 | 中身 |

|---|---|---|

| C | `builds/common-host/common_host.exe` | thread で lane を配る |

| Python 翻訳器 | `vcpu.py` | image を Python の文へ落とす |

| Python 解釈器 | `vcpu.py --interp` | 式 (2.1) の mask 付き意味をそのまま持つ |

| GPU | `vcpu.py --cupy` | 語も述語も bit のまま持つ（cuvcpu） |

どれも image の中身を読まない。

---

## 4. 検査

```bash

continuous_republic/common_systems/common_lang/commonc/tools/Check.ps1 -Cupy

```

三つを同時に見る。

$$

\operatorname{commonc}_{\mathrm{x86h}}(\texttt{.cmn})=\operatorname{Compile}_{\mathrm{x86h}}(\texttt{.cmn})

\qquad\text{byte 単位}

\tag{19.5.1}

$$

$$

\bigl\llbracket\operatorname{commonc}_{\mathrm{lane64}}(\texttt{.cmn})\bigr\rrbracket

=\bigl\llbracket\operatorname{Desc}(\texttt{.cmn})\bigr\rrbracket_C

\tag{19.43.2}

$$

GPU の実行台の観測も同じ列に並ぶ。

```

07_adjacent      式(5.1) 一致     式(43.2) 一致     分子 1 / 1  GPU 一致     1

```

降下の表に無い箱を含む平文は、どちらも image を出さない。それも一致のうちになる。

```

tu_no_copy       式(5.1) 一致     式(43.2) 一致     分子 — / —

```

`.cam` が image を出さなかったときは、そこで止まる。古い image で走ると、

直したはずの誤りが検査を通ってしまう。

### 他の runner

| runner | 何を走らせるか |

|---|---|

| `common_assembler/tools/BuildAndRun.ps1` | 全体 |

| `common_lang/common_lang/tools/Run.ps1` | 意味 program 14 本を C と Python で |

| `Python_vCPU/tools/Run.ps1` | lane64 の image を翻訳器と解釈器で |

| `reverse2tensor/tools/Run.ps1` | 平文からテンソルへの逆写像 |

| `examples/edu/run.py` | 採用語彙を展開してから走らせる |

## 参照

- [02_targets](02_targets.md) target と実行台の対