arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2103.01503cs.ITcs.DCmath.IT
收藏

基于二进制线性码的编码计算:设计与性能限制

Coded Computing via Binary Linear Codes: Designs and Performance Limits

Mahdi Soleymani, Mohammad Vahid Jamali, Hessam Mahdavifar

摘要:

我们考虑编码分布式计算的问题,其中一个大的线性计算工作,如矩阵乘法,分为$k$较小的任务,使用$(n,k)$线性代码编码,并在$n$分布式节点上执行。目标是减少计算作业的平均执行时间。我们提供了一个连接之间的问题,表征编码的分布式计算系统的平均执行时间和分析的错误概率的代码长度$n$擦除通道使用的问题。因此,我们提出了使用二进制随机线性代码的执行时间和最佳执行时间的任何线性编码的分布式计算系统可以实现的封闭形式的表达式。它还表明,存在\textit{good}二进制线性码,不仅达到(渐近)的最佳性能,任何线性码(不一定是二进制)可以实现,但也是数值稳定的对不可避免的舍入误差在实践中。然后,我们开发了一个低复杂度的算法解码Reed-Muller(RM)码擦除信道。我们的解码器只涉及加法,减法,{和最多$\log n+1$的尺寸相对较小的矩阵的求逆},并使编码计算实值数据。广泛的数值分析的基本结果,以及RM和极性编码的计算方案证明了卓越的RM编码的计算,在实现接近最佳的性能,同时具有低复杂度的解码和明确的建设。鉴于信道编码理论中丰富的文献,本文提出的框架能够有效地设计分布式计算系统。

英文摘要:

We consider the problem of coded distributed computing where a large linear computational job, such as a matrix multiplication, is divided into $k$ smaller tasks, encoded using an $(n,k)$ linear code, and performed over $n$ distributed nodes. The goal is to reduce the average execution time of the computational job. We provide a connection between the problem of characterizing the average execution time of a coded distributed computing system and the problem of analyzing the error probability of codes of length $n$ used over erasure channels. Accordingly, we present closed-form expressions for the execution time using binary random linear codes and the best execution time any linear-coded distributed computing system can achieve. It is also shown that there exist \textit{good} binary linear codes that not only attain (asymptotically) the best performance that any linear code (not necessarily binary) can achieve but also are numerically stable against the inevitable rounding errors in practice. We then develop a low-complexity algorithm for decoding Reed-Muller (RM) codes over erasure channels. Our decoder only involves additions, subtractions, {and inversion of relatively small matrices of dimensions at most $\log n+1$}, and enables coded computation over real-valued data. Extensive numerical analysis of the fundamental results as well as RM- and polar-coded computing schemes demonstrate the excellence of the RM-coded computation in achieving close-to-optimal performance while having a low-complexity decoding and explicit construction. The proposed framework in this paper enables efficient designs of distributed computing systems given the rich literature in the channel coding theory.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑