METHOD AND APPARATUS FOR THE DETECTION OF FAULTS IN DATA COMPUTATIONS
    1.
    发明公开
    METHOD AND APPARATUS FOR THE DETECTION OF FAULTS IN DATA COMPUTATIONS 审中-公开
    用于检测数据计算中的故障的方法和设备

    公开(公告)号:EP3189460A1

    公开(公告)日:2017-07-12

    申请号:EP15763975.8

    申请日:2015-09-02

    申请人: UCL Business PLC

    IPC分类号: G06F21/54 H04L9/00

    摘要: A method and apparatus for detecting and mitigating faults in numerical computations of M input data streams is claimed (embodiments of FIG. 1 and FIG. 14). Such faults may occur due to circuit or processor malfunctions stemming from (but not limited to): supply voltage or current fluctuation, timing signal errors, hardware device noise, or other signalling, hardware, or software non-idealities. The invented method and apparatus for numerical entanglement linearly superimposes M input data streams to form M numerically-entangled data streams that can optionally be stored in-place of the original inputs (as in the example embodiments of: Step 2 of FIG. 1 and item 1054 of FIG. 14). A series of operations, such as (but not limited to): scaling, additions/subtractions, inner or outer vector or matrix products and permutations, can then be performed directly using these entangled data streams (as in the example embodiment of Step 3 of FIG. 1, operator g of FIG. 2, FIGS. 6-11, item 1053 of FIG. 14). The output results are disentangled from the M entangled output streams by additions and arithmetic shifts (example embodiments of Steps 4 and 5 of FIG. 1, “disentanglement and fault checking” of FIG. 2, item 1056 of FIG. 14). A post-computation reliability check detects processing errors affecting disentangled outputs (example embodiments of item 1056 of FIG. 14, FIGS. 15a, 15b, 16a, 16b, 17a, 17b).

    摘要翻译: 要求保护用于检测和缓解M个输入数据流的数值计算中的故障的方法和装置(图1和图14的实施例)。 由于(但不限于):电源电压或电流波动,定时信号错误,硬件设备噪声或其他信号,硬件或软件非理想因素引起的电路或处理器故障,可能会发生此类故障。 本发明的用于数值纠缠的方法和设备线性叠加M个输入数据流以形成M个数值纠缠的数据流,其可以任选地存储在原始输入的位置(如在图1的步骤2和项目1054的示例实施例中 图14)。 然后可以使用这些纠缠数据流直接执行一系列操作,例如(但不限于):缩放,加/减,内部或外部矢量或矩阵乘积和置换(如在步骤3的示例实施例中 图1,图2的操作者g,图14的项目1053)。 通过添加和算术移位(图1的步骤4和5的示例实施例,图2的“解开和故障检查”,图14的项目1056),从M个纠缠的输出流中解开输出结果。 计算后可靠性检查检测影响解缠输出的处理错误(图14的项目1056的示例实施例,图15a,15b,16a,16b,17a,17b)。