jpg) QCon 全球软件开发大会 INTERNATIONAL SOFTWARE DEVELOPMENT CONFERENCE BEIJING 2018 # 《基于深度学习的视频结构化实践》 # 七牛云 AI实验室首席架构师 / 姚唐仁 主办方 Geekbang > InfoQ 极客邦科技  视频存储 ## 结构化策略  ## 主题分类 ![Im

部分计算：程序优化，根据已知信息，运算进行特化 ◦ 已知源程序与解释器，进行部分运算，获得目标程序 ■ 目标程序 x 输入数据 -> 输出数据 ## 虚拟机 • 一处编写，处处运行 ☐ 定义一个不基于任何平台的指令集 在不同平台上实现解释器 • 两种常见的虚拟机 ☐ 堆栈虚拟机：运算数存储在栈上，数据遵循先进后出原则 ☐ 寄存器虚拟机：运算数存储在寄存器中 ## 寄存器虚拟机 • 例：Lua VM (The WebAssembly • WebAssembly是什么？ ☐ 一个虚拟指令集 可以在浏览器以及其他运行时（Wasmtime WAMR WasmEdge等）中运行 ○ MoonBit的第一个后端 • WebAssembly指令集的子集为例 ## 简单指令集 • 数据 ☐ 只考虑32位有符号整数 ☐ 非零代表 true，零代表 false · 指令 ☐ 数据操作：const add minus equal local.get local.set ☐ 控制流：if/else call ## 类型定义 • 数据 1. enum Value { I32(Int) } // 只考虑32位有符号整数 · 指令 1. enum Instruction { 2. Const(Int) // 常数 3. Add; Sub; Modulo; Equal // 加、减、取模、相等 4. Call(String)