豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215

寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「存储模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态模块」之书。
寻观「编译器核心」之「网页汇编核心」之「状态二进制」之书。
寻观「裸机后端」之「机器编码」之书。
寻观「裸机后端」之「存储镜像」之书。
寻观「裸机后端」之「设备驱动镜像」之书。
寻观「裸机后端」之「持久盘构造」之书。

「：文言：系统之构：以真编译器造执行器、程序与库，并造带客体之镜像与预置之盘；验证之器与豫言系统之器所共用。汉语：豫言系统的构造函数库（验证工具 普通豫言验证 与命令行工具 豫言系统 共用）：运行外部工具；用豫构构建底层包或编译普通豫言源为 wasmgc 模块；把客体模块嵌进执行器状态造出 ARM64／AMD64 镜像（有磁盘时含设备驱动镜像）；把预置树里的豫言源（。豫）与底层库标记（.底层库）先编成模块再按 盘内路径=本地文件 的参数造盘。：」
「检查」乃化「爻」而化「字符串」而「有」也。
「检查」者会「真」而会「名」而
  若「真」则
    「元」
  否则
    「发生事故」于（『裸机验证失败：』附「名」）
也。

「运行工具」乃化「字符串」而化（「列」于「字符串」）而「字符串」也。
「运行工具」者会「程序」而会「参数」而
  虑「果」者「操作系统」之「子进程」之「获取输出」于「程序」于「参数」而
  虑「检」者
    「检查」于（「果」中「零」）于（「程序」附『：』附（「果」中「二」））
  而
  「果」中「一」
也。

「构建豫言包」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「构建豫言包」者会「构」而会「编」而会「包名」而会「出」而
  虑「果」者
    「运行工具」
      于『env』
      于（「列」【
        『YY_GC_INITIAL_HEAP_SIZE_MB=1024』，
        「构」，
        『构建』，
        「包名」，
        『--编译器』，
        「编」，
        『--输出』，
        「出」，
        『-j』，
        『24』
      】）
  而
  「出」
也。

「编译豫言源」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「编译豫言源」者会「构」而会「编」而会「源」而会「出」而
  虑「果」者
    「运行工具」
      于『env』
      于（「列」【
        『YY_GC_INITIAL_HEAP_SIZE_MB=1024』，
        「构」，
        『文件』，
        「源」，
        『--编译器』，
        「编」，
        『--输出』，
        「出」，
        『-j』，
        『24』
      】）
  而
  「出」
也。

「：文言：造执行器之镜像：客体模块置于 0x10000，其长写于 0x408；有格式化之标者，挂载遇空盘则自格式化；无盘者预置块态为二（无设备）。汉语：造执行器镜像：把客体模块作为主动数据段追加到执行器状态（客体 0x10000、模块长 0x408、自动格式化标志 0x884、无盘运行时块态 0x940=2），再生成裸机镜像；盘式为真则用设备驱动镜像。臂 为真是 ARM64，否则 AMD64。：」
「造执行器镜像」乃
  化「爻」而
  化「网页状态模块」而
  化「字节串」而
  化「爻」而
  化「爻」而
  「字节串」
也。
「造执行器镜像」者会「臂」而会「状」而会「客字」而会「格式化」而会「盘式」而
  虑「新」者
    （（（「状」中「零」）中「零」）与（（「状」中「零」）中「一」）
  与（「附加」授以「网页数据声明」
    于（（「状」中「零」）中「二」）
    于（「附加」授以「网页数据声明」
      于（「附加」授以「网页数据声明」
        于（「列」【
          「网页主动数据」于「零」于「六五五三六」于「客字」，
          「网页主动数据」
            于「零」
            于「一零三二」
            于（「小端字节」于「四」于（「字节串长度」于「客字」））
        】）于（
          若「格式化」则「列」【「网页主动数据」于「零」于「二一八零」于（「小端字节」于「四」于「一」）】否则「罄」
        ））
        于（若「盘式」则「罄」否则「列」【「网页主动数据」于「零」于「二三六八」于（「小端字节」于「四」于「二」）】）））
    ）与（「状」中「一」）而
  若「盘式」则
    「生成设备驱动镜像」于「臂」于「新」
  否则
    「生成常规状态镜像」于「臂」于「新」
也。

「：文言：嵌客体于执行器之模块：客体之字置于 0x10000，其长书于 0x408；原生之执行器（Linux 等）用之。汉语：把客体模块嵌进执行器的状态模块：客体字节作为数据段放在 0x10000（模块窗口），长度写到 0x408（状态_模块长）。路二的独立可执行文件（如 Linux 上的执行器）用它。待办事项：客体超过 448 KiB 的模块窗口时尚不支持。：」
「嵌入客体」乃化「网页状态模块」而化「字节串」而「网页状态模块」也。
「嵌入客体」者会「状」而会「客字」而
  （（（「状」中「零」）中「零」）
    与（（「状」中「零」）中「一」）
  与（「附加」授以「网页数据声明」
    于（（「状」中「零」）中「二」）
    于（「列」【
      「网页主动数据」于「零」于「六五五三六」于「客字」，
      「网页主动数据」于「零」于「一零三二」于（「小端字节」于「四」于（「字节串长度」于「客字」））
    】））
  ）
    与（「状」中「一」）
也。

「路径末名」乃化「字符串」而「字符串」也。
「路径末名」者会「路」而
  鉴「串从右搜索单个」于『/』于「路」而
    有「可有」于「位」则
      「获取子字符串」于（「加」于「位」于「一」）于（「串长度」于「路」）于「路」
    或有「可无」则「路」
也。

「：文言：预置树之编：豫言源、底层库之标，先编为模块，方入盘。汉语：编译预置树造盘参数：参数形如 +盘内目录 或 盘内路径=本地文件；本地文件以 。豫 结尾的是普通豫言源程序，编成 wasmgc 模块，盘内路径去掉 。豫 加 .wasm（如 /程序/你好。豫 成 /程序/你好.wasm）；以 .底层库 结尾的是空的标记文件，其文件名去掉后缀就是要构建的底层包名，构建后以 .wasm 入盘（/库/库甲.底层库 成 /库/库甲.wasm）；其余原样。产物写在 输出前缀 开头的路径。：」
「编译预置程序」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  「字符串」
也。
「编译预置程序」者会「构」而会「编」而会「出名」而会「参」而
  若「是目录参数」于「参」则
    「参」
  否则
    （
      若「串结尾是它吗」于『。豫』于（「本地之路」于「参」）
      则
        （
          虑「出」者
            「编译豫言源」
              于「构」
              于「编」
              于（「本地之路」于「参」）
              于（「出名」附『.wasm』）
          而
          （（「去除串结尾」于『。豫』于（「盘内之路」于「参」））附『.wasm=』附「出」）
        ）
      否则
        （
          若「串结尾是它吗」于『.底层库』于（「本地之路」于「参」）
          则
            （
              虑「包名」者
                「去除串结尾」
                  于『.底层库』
                  于（「路径末名」于（「本地之路」于「参」））
              而
              （
                虑「出」者
                  「构建豫言包」
                    于「构」于「编」于「包名」
                    于（「出名」附『.wasm』）
                而
                （（「去除串结尾」于『.底层库』于（「盘内之路」于「参」））附『.wasm=』附「出」）
              ）
            ）
          否则
            「参」
        ）
    ）
也。

「编译预置们」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化（「列」于「字符串」）而
  （「列」于「字符串」）
也。
「编译预置们」者会「构」而
  会「编」而
    会「输出前缀」而
      会「参们」而
        递归虑「逐」其化「整数」而化（「列」于「字符串」）而（「列」于「字符串」）者会「序」而会「余」而
          鉴「余」而
            有「罄」则「罄」授以「字符串」
            或有「缀」于「首」于「尾」则
              「缀」
                于（「编译预置程序」
                  于「构」
                  于「编」
                  于（「输出前缀」附『-预置程序-』附（「整数表示」于「序」））
                  于「首」）
                  于（「逐」于（「加」于「序」于「一」）于「尾」）
        而
        「逐」于「零」于「参们」
也。