[論文レビュー] Small Hazard-Free Transducers

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

Machine Learning and Algorithms被引用数 1

ひとこと要約

本稿では、小さな状態空間を持つトランスダーサーを実装するための汎用的で、漸近的に最適なハザードフリーな組み合わせ回路の構築法を提示する。状態遷移を普遍的関数符号化を用いて表現し、クレイン・論理における行列乗算を活用することで、トランスダーサーの状態空間に比べて多項式的な回路サイズの増加でハザードフリーな計算を実現し、非同期的およびマルチクロックシステムにおける故障耐性デジタル回路設計における主要な課題を解決する。

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.

研究の動機と目的

• ハザードフリー回路と標準的回路の複雑さの間にある既知の指数的ギャップにもかかわらず、効率的なハザードフリー回路実装を可能にする関数のクラスを同定すること。
• 非同期入力やクロックドメインクロスが存在するシステムにおいて、不安定な信号が一時的な出力グルーピングを引き起こす可能性があるという課題に対処すること。
• 任意の小状態空間を持つトランスダーサーを、漸近的に最適なサイズのハザードフリー回路に変換する汎用的構成法を開発すること。
• 定数サイズの状態空間を持つトランスダーサーは、漸近的複雑度における小さな定数を有する回路をもたらすため、実世界のデジタル設計において実用的であることを示すこと。

提案手法

• 不安定な入力をモデル化するため、クレインの三値論理（T = {0, 1, u}）を用い、u は未指定または遷移中の信号を表す。
• 不安定な入力が組み合わせ論理を通過する様子を形式的に捉えるために、重ね合わせ（∗）および解消（res）の演算を定義する。
• トランスダーサーの状態遷移を三値論理上の行列として符号化し、各行列は現在の状態に対する入力記号の関数を表す。
• 関数の合成は行列乗算によってモデル化され、合成関数の重ね合わせはそれぞれの行列表現の積に対応する。
• すべての可能な遷移関数を表現するための普遍的関数符号化を用い、トランスダーサーの状態空間サイズにのみ依存する汎用的回路構成を可能にする。
• 行列積を用いて合成トランスダーサーの挙動をシミュレートすることで、不安定な入力のすべての解消に対して出力が安定することを保証し、ハザードフリー性を確保する。

実験結果

リサーチクエスチョン

• RQ1 小状態空間を持つトランスダーサーは、入力長 n に対して漸近的に最適なハザードフリー回路で実装可能か？
• RQ2 トランスダーサーに基づく関数をハザードフリーにするために必要な最小の回路サイズのオーバーヘッドは何か？ これはトランスダーサーの状態空間に基づいて上限を示せるか？
• RQ3 クレイン論理における行列演算を用いて、ハザードフリー関数の合成を形式的にモデル化・計算することは可能か？
• RQ4 一般に指数的になるのではなく、トランスダーサーの状態空間に対して多項式的増加にとどまる回路サイズの増加を達成することは可能か？
• RQ5 この構成法は、適切な入力符号化および不確実性制約のもとで、加法などの実用的算術関数にも適用可能か？

主な発見

• 提案された構成法により、|S| 個の状態をもつトランスダーサーに対して、サイズ O(κ³n + 2ℓκ²n + 2ℓκλn) および深さ O(log κ log n + ℓ) のハザードフリー回路が得られる。ここで κ は普遍的関数符号化のサイズを表す。
• 定数サイズの状態空間を持つトランスダーサーに対しては、回路サイズが漸近的に最適であり、小さな定数を有するため、実世界の応用において実用的である。
• この方法は、定理 3.18 で形式化されたように、重ね合わせられた遷移関数の行列積が合成関数の重ね合わせと一致することを保証することで正しさを達成する。
• 一般関数とは異なり、トランスダーサーの状態空間が小さい場合には、ハザードフリー性の実装に指数的増加が生じないことが示された。
• 初期の研究では、適切な入力符号化のもとで k ビットのハザードフリー加算器の設計が可能であることが示されており、トランスダーサーを超えた広範な適用可能性を示唆している。