[论文解读] Small Hazard-Free Transducers

Johannes Bund, Christoph Lenzen+1 more|arXiv (Cornell University)|Nov 29, 2018

Machine Learning and Algorithms被引用 1

一句话总结

本文提出了一种通用的、渐近最优的构造方法，用于实现具有小状态空间的转换器的无危险组合电路。通过使用通用函数编码来表示状态转移，并利用Kleene逻辑下的矩阵乘法，该方法仅在电路规模上相对于转换器的状态空间呈多项式增长，从而实现了无危险计算，解决了异步和多时钟系统中容错数字电路设计的关键挑战。

ABSTRACT

Ikenmeyer et al. (JACM'19) proved an unconditional exponential separation between the hazard-free complexity and (standard) circuit complexity of explicit functions. This raises the question: which classes of functions permit efficient hazard-free circuits? In this work, we prove that circuit implementations of transducers with small state space are such a class. A transducer is a finite state machine that transcribes, symbol by symbol, an input string of length n into an output string of length n. We present a construction that transforms any function arising from a transducer into an efficient circuit of size 𝒪(n) computing the hazard-free extension of the function. More precisely, given a transducer with s states, receiving n input symbols encoded by l bits, and computing n output symbols encoded by m bits, the transducer has a hazard-free circuit of size n*m*2^{𝒪(s+𝓁)} and depth 𝒪(s*log(n) + 𝓁); in particular, if s, 𝓁,m ∈ 𝒪(1), size and depth are asymptotically optimal. In light of the strong hardness results by Ikenmeyer et al. (JACM'19), we consider this a surprising result.

研究动机与目标

• 识别出在已知无危险电路复杂度与标准电路复杂度之间存在指数级复杂度差距的前提下，仍能实现高效无危险电路实现的函数类别。
• 解决在具有异步输入或时钟域交叉的系统中设计无危险电路的挑战，其中不稳定信号可能引发瞬时输出毛刺。
• 开发一种通用构造方法，将任意具有小状态空间的转换器转换为渐近最优大小的无危险电路。
• 证明具有常数大小状态空间的转换器可产生在渐近复杂度中常数较小的电路，使其在实际数字设计中具有可行性。

提出的方法

• 该方法使用Kleene的三值逻辑（T = {0, 1, u}）来建模不稳定输入，其中u表示未指定或正在转换的信号。
• 定义了叠加（∗）和解析（res）操作，以形式化描述不稳定输入在组合逻辑中的传播方式。
• 将转换器的状态转移编码为三值逻辑上的矩阵，每个矩阵表示单个输入符号对当前状态的函数作用。
• 通过矩阵乘法建模函数复合，其中复合函数的叠加对应于其各自矩阵表示的乘积。
• 使用通用函数编码来表示所有可能的转移函数，从而实现仅依赖于转换器状态空间大小的通用电路构造。
• 通过确保在所有不稳定输入可能的解析下输出保持稳定，利用矩阵积来模拟复合转换器的行为，从而保证无危险性。

实验结果

研究问题

• RQ1 具有小状态空间的转换器能否实现无危险电路，且其大小在输入长度n上渐近最优？
• RQ2 为使基于转换器的函数实现无危险性，所需的最小电路规模开销是多少？该开销能否以转换器的状态空间为基准进行界定？
• RQ3 如何利用Kleene逻辑下的矩阵运算，形式化建模并计算无危险函数的复合？
• RQ4 是否可能实现仅相对于转换器状态空间呈多项式增长的电路规模开销，而非指数增长？
• RQ5 该构造方法能否在适当的输入编码和不确定性约束下，应用于实际的算术函数（如加法）？

主要发现

• 对于具有|S|个状态的转换器，所提出的构造方法生成的无危险电路大小为O(κ³n + 2ℓκ²n + 2ℓκλn)，深度为O(log κ log n + ℓ)，其中κ为通用函数编码的大小。
• 对于具有常数大小状态空间的转换器，电路大小渐近最优且常数较小，使其在实际应用中具有可行性。
• 该方法通过确保叠加转移函数的矩阵积与复合函数的叠加相匹配来保证正确性，如定理3.18所形式化描述。
• 该构造表明，当转换器的状态空间较小时，无危险性不会导致电路规模出现指数级增长，这与一般函数的情况形成对比。
• 该方法在适当输入编码下可实现k位无危险加法器，初步工作已证明其在转换器之外的更广泛应用潜力。