Term Name Reference Index
3AC |
BB |
BFE |
BFF |
Basic Block |
Bottom |
CFG |
Complete |
Control Flow Graph |
DFA |
Data Flow Analysis |
Dominate |
Kappa Architecture |
Kappa 架构 |
Lambda Architecture |
Lambda 架构 |
May Analysis:: |
Must Analysis:: |
Rice's theorem |
SLE |
SSA |
Shuffle Service |
Sound |
Sound and Complete |
Static Single-Assignment |
TAC |
Three-Addrress Code |
Top |
VPC |
vDSO |
virtual ELF dynamic shared object |
三地址码 |
两个匹配关系 |
交叉影线 |
亮暗面 |
内在构造 |
原点思维 |
原色 |
发际线 |
口轮匝肌 |
基本块 |
外在形态 |
奥菲莉亚 |
影线 |
控制流程图 |
支配关系 |
数据流分析 |
暖暖蘑菇 |
生命榴莲 |
眉弓 |
耐火蜥 |
色光三原色 |
色料三原色 |
苹果 |
莱斯定理 |
虎牙 |
虚拟私有云 |
速速莲蓬 |
酥麻蘑菇 |
静态单赋值 |
静谧公主 |
颧骨 |
颧骨到虎牙的连线 |
鬓角 |
鼻子底盘 |
鼻根
| 3AC | ||
Three-Addrress Code (ba241da) | :enwiki:`Three-address_code` .. figure:: /_images… | |
| BB | ||
Basic Block (f43022e) | Entry of BB must be dest of a JUMP instr. Exit of … | |
| BFE | ||
BFE (8a7305e) | 这里说的是 Bilibili Front End，理解为边缘节点的 proxy 即可 | |
| BFF | ||
BFF (30d4876) | Backend for Frontend | |
| Basic Block | ||
Basic Block (f43022e) | Entry of BB must be dest of a JUMP instr. Exit of … | |
| Bottom | ||
Bottom (0f24ae8) | :math:`\bot`, 用来表示一个符号是未定义的（Undefined ） | |
| CFG | ||
Control Flow Graph (5884c19) | .. figure:: /_images/0bc9d1e2-3ea7-4c5f-b1ea-6f948… | |
| Complete | ||
Sound and Complete (b84b8d9) | Sound by default 在静态分析中，几乎所有的分析方法都追求 Sound 而非 C… | |
| Control Flow Graph | ||
Control Flow Graph (5884c19) | .. figure:: /_images/0bc9d1e2-3ea7-4c5f-b1ea-6f948… | |
| DFA | ||
Data Flow Analysis (f5e3665) | How *Data* is *Flow* on :term:`CFG`? :Data: is ap… | |
| Data Flow Analysis | ||
Data Flow Analysis (f5e3665) | How *Data* is *Flow* on :term:`CFG`? :Data: is ap… | |
| Dominate | ||
Dominate (0c26078) | 若从进入程式块到达基本块 N 的所有路径，都会在到达基本块 N 之前先到达基本块 M，则基本块 M … | |
| Kappa Architecture | ||
Kappa 架构 (d27ca59) | 通过改进 :term:`Lambda 架构` 中的 Speed Layer，使它既能够进行实时数据处… | |
| Kappa 架构 | ||
Kappa 架构 (d27ca59) | 通过改进 :term:`Lambda 架构` 中的 Speed Layer，使它既能够进行实时数据处… | |
| Lambda Architecture | ||
Lambda 架构 (e6fb71b) | 通过流式处理和批式处理系统的结合，平衡一个数据处理系统的吞吐和延时。 - Batch Layer：… | |
| Lambda 架构 | ||
Lambda 架构 (e6fb71b) | 通过流式处理和批式处理系统的结合，平衡一个数据处理系统的吞吐和延时。 - Batch Layer：… | |
| May Analysis:: | ||
May Analysis:: (d2cdf1f) | Output information *may* be true (over-approximati… | |
| Must Analysis:: | ||
Must Analysis:: (b99453c) | Output information *must* be must (under-approxima… | |
| Rice's theorem | ||
莱斯定理 (53cfdb1) | :zhwiki:`递归可枚举语言` 的所有非平凡（nontrival）性质都是 :zhwiki:`不… | |
| SLE | ||
SLE (abb5a72) | Server Load Balancing | |
| SSA | ||
Static Single-Assignment (7bbbd80) | .. figure:: /_images/00cce13d-de57-41ac-b41b-84455… | |
| Shuffle Service | ||
Shuffle Service (f211ac3) | TODO - ESS - CSS | |
| Sound | ||
Sound and Complete (b84b8d9) | Sound by default 在静态分析中，几乎所有的分析方法都追求 Sound 而非 C… | |
| Sound and Complete | ||
Sound and Complete (b84b8d9) | Sound by default 在静态分析中，几乎所有的分析方法都追求 Sound 而非 C… | |
| Static Single-Assignment | ||
Static Single-Assignment (7bbbd80) | .. figure:: /_images/00cce13d-de57-41ac-b41b-84455… | |
| TAC | ||
Three-Addrress Code (ba241da) | :enwiki:`Three-address_code` .. figure:: /_images… | |
| Three-Addrress Code | ||
Three-Addrress Code (ba241da) | :enwiki:`Three-address_code` .. figure:: /_images… | |
| Top | ||
Top (ad0f857) | :math:`\top`，用来表示一个符号是未知的（Unknown） | |
| VPC | ||
VPC (2accebd) | 虚拟私有云，特指该私有云并非独立物理部署，而是建立在公有云上。 | |
| vDSO | ||
vDSO (a047f03) | ||
| virtual ELF dynamic shared object | ||
vDSO (a047f03) | ||
| 三地址码 | ||
Three-Addrress Code (ba241da) | :enwiki:`Three-address_code` .. figure:: /_images… | |
| 两个匹配关系 | ||
两个匹配关系 (b3960a3) | TODO | |
| 交叉影线 | ||
影线 (80810be) | ||
| 亮暗面 | ||
亮暗面 (e0df949) | 针对单一光源，忽略散射和反射，光能照射到地方为亮面，无法照射到的地方为暗面 | |
| 内在构造 | ||
内在构造 (58c5676) | TODO | |
| 原点思维 | ||
原点思维 (01f8bc6) | TODO | |
| 原色 | ||
原色 (a49207c) | ||
| 发际线 | ||
发际线 (7f6a5ce) | 对额头起修饰作用，对于更高的发际线，还代表着头顶空间的延伸 | |
| 口轮匝肌 | ||
口轮匝肌 (3d335da) | TODO | |
| 基本块 | ||
Basic Block (f43022e) | Entry of BB must be dest of a JUMP instr. Exit of … | |
| 外在形态 | ||
外在形态 (2e07c8d) | TODO | |
| 奥菲莉亚 | ||
奥菲莉亚 (e73cc5e) | ||
| 影线 | ||
影线 (80810be) | ||
| 控制流程图 | ||
Control Flow Graph (5884c19) | .. figure:: /_images/0bc9d1e2-3ea7-4c5f-b1ea-6f948… | |
| 支配关系 | ||
Dominate (0c26078) | 若从进入程式块到达基本块 N 的所有路径，都会在到达基本块 N 之前先到达基本块 M，则基本块 M … | |
| 数据流分析 | ||
Data Flow Analysis (f5e3665) | How *Data* is *Flow* on :term:`CFG`? :Data: is ap… | |
| 暖暖蘑菇 | ||
暖暖蘑菇 (95703fb) | :获取地点: 哈特诺研究所后山、火山北侧温泉 | |
| 生命榴莲 | ||
生命榴莲 (92ee06d) | :获取地点: 费罗尼之塔下高地 | |
| 眉弓 | ||
眉弓 (72b0c8a) | 上作为额头的底面，下包裹着眼睛，由三个形体组合而成，但我老看不太出来……亚洲人尤甚 空间上：TOD… | |
| 耐火蜥 | ||
耐火蜥 (59d2b4c) | :获取地点: 南部采矿场 | |
| 色光三原色 | ||
色光三原色 (10da012) | ||
| 色料三原色 | ||
色料三原色 (2245263) | ||
| 苹果 | ||
苹果 (94433ee) | :获取地点: 海拉鲁平原的苹果树林、哈诺特村、萨托利山东部山腰__ __ https://www.… | |
| 莱斯定理 | ||
莱斯定理 (53cfdb1) | :zhwiki:`递归可枚举语言` 的所有非平凡（nontrival）性质都是 :zhwiki:`不… | |
| 虎牙 | ||
虎牙 (738f887) | 虎牙必定在上唇形成一个凸起，分割上嘴唇的正侧面 | |
| 虚拟私有云 | ||
VPC (2accebd) | 虚拟私有云，特指该私有云并非独立物理部署，而是建立在公有云上。 | |
| 速速莲蓬 | ||
速速莲蓬 (e3b18c9) | :获取地点: 卓拉领地内神庙、前往雷兽山的多级瀑布 | |
| 酥麻蘑菇 | ||
酥麻蘑菇 (1a289ab) | :获取地点: 深远阿卡莱森林 | |
| 静态单赋值 | ||
Static Single-Assignment (7bbbd80) | .. figure:: /_images/00cce13d-de57-41ac-b41b-84455… | |
| 静谧公主 | ||
静谧公主 (8dc7586) | :获取地点: 大精灵泉、克格洛森林驱魔剑旁 | |
| 颧骨 | ||
颧骨 (aa55334) | TODO | |
| 颧骨到虎牙的连线 | ||
颧骨到虎牙的连线 (5441b37) | 是区分人脸正侧面的一条含糊的线 | |
| 鬓角 | ||
鬓角 (786147d) | 鬓角对脸型起修饰作用，和脸的交界 | |
| 鼻子底盘 | ||
鼻子底盘 (8f6780c) | 连接鼻子和脸的重要结构 | |
| 鼻根 | ||
鼻根 (a8e21a7) | 连接额头和鼻子的重要结构 |