Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Recurso digital |
| Dil: | |
| Baskı/Yayın Bilgisi: |
Zenodo
2026
|
| Online Erişim: | https://doi.org/10.5281/zenodo.20081700 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
İçindekiler:
- <p>摘要<br>本文提出代理模型的概念,将其定义为一种由代理操作、验证与修复构成的三<br>元结构,用以在满足正确性约束的前提下,降低计算成本。我们给出该结构的形式<br>化定义,基于耦合程度将其分为四类,并推导出期望成本的通用公式。特别地,我<br>们深入分析解耦代理模型,展示其为何成为并行时代的关键范式,并从信息论角度<br>严格论证代理映射的冲突概率如何由原数据的表示冗余所决定,从而为设计极低修<br>复成本的加速方案提供理论基础。此外,该框架独立于任何具体领域,可统一解释<br>散见于数据库、体系结构、图形学与机器学习等领域中的众多优化技术。与传统投<br>机执行相对,代理模型涵盖了更大范围的设计空间,其设计自由度为硬件亲和的最<br>优结构提供了系统化方法。<br>1 引言<br>在计算系统的设计中,一个核心矛盾反复出现:精确语义的实现往往代价高昂,而<br>低成本近似却可能违反正确性要求。传统上,这一矛盾在诸领域中被孤立地解决,产生<br>的技术虽然在结构上高度相似,却被赋予了互不相通的专业术语。<br>本文的目标是揭示这些技术背后共同的数学结构。我们所要论证的核心论点是:存<br>在一个普适的、可形式化的设计模式——代理模型,它将任何计算加速问题重构为三个<br>可分离组件的选择与组合问题:代理操作 Π(提供低成本近似)、验证 V (检测近似是<br>否违反约束)与修复 F (恢复正确性)。三者之间的耦合方式、成本分布与错误率共同<br>决定了系统的最终性能与正确性。<br>我们将首先在完全与领域无关的层次上构建这一理论。在此基础上,我们根据组件<br>间的控制与数据耦合关系,给出代理模型的四种纯粹结构类型,并建立其期望成本定律。<br>随后,我们特别深入解耦代理模型,论述其在并行硬件时代的必然性,并为其提供完整<br>的信息论支撑。接着,我们对比代理模型与传统投机执行,论证代理模型是更为宏大的<br>1<br>2 基本定义 2<br>理论容器。最后,我们通过大量的跨领域实例验证框架的普适性,并给出系统设计方法论</p>