Anam, MA;
Andreopoulos, Y;
(2016)
Reliable Linear, Sesquilinear, and Bijective Operations on Integer Data Streams Via Numerical Entanglement.
IEEE Transactions on Signal Processing
, 64
(17)
pp. 4606-4617.
10.1109/TSP.2016.2560134.
Preview |
Text
Andreopolous_2col1space.pdf Download (1MB) | Preview |
Abstract
A new technique is proposed for fault-tolerant linear, sesquilinear and bijective (LSB) operations on $M$ integer data streams ( $M \geq 3$), such as: scaling, additions/subtractions, inner or outer vector products, permutations and convolutions. In the proposed method, $M$ input integer data streams are linearly superimposed to form $M$ numerically-entangled integer data streams that are stored in-place of the original inputs. LSB operations can then be performed directly using these entangled data streams. The results are extracted from the $M$ entangled output streams by additions and arithmetic shifts. Any soft errors affecting one disentangled output stream are guaranteed to be detectable via a post-computation reliability check. Additionally, when utilizing a separate processor core for each stream, our approach can recover all outputs after any single fail-stop failure. Importantly, unlike algorithm-based fault tolerance (ABFT) methods, the number of operations required for the entire process is linearly related to the number of inputs and does not depend on the complexity of the performed LSB operations. We have validated our proposal in an Intel processor via several types of operations: fast Fourier transforms, convolutions, and matrix multiplication operations. Our analysis and experiments reveal that the proposed approach incurs between 0.03% to 7% reduction in processing throughput for numerous LSB operations. This overhead is 5 to 1000 times smaller than that of the equivalent ABFT method that uses a checksum stream. Thus, our proposal can be used in fault-generating processor hardware or safety-critical applications, where high reliability is required without the cost of ABFT or modular redundancy.
| Type: | Article |
|---|---|
| Title: | Reliable Linear, Sesquilinear, and Bijective Operations on Integer Data Streams Via Numerical Entanglement |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1109/TSP.2016.2560134 |
| Publisher version: | http://dx.doi.org/10.1109/TSP.2016.2560134 |
| Language: | English |
| Additional information: | Copyright © 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
| Keywords: | Fault tolerance, Fault tolerant systems, Signal processing algorithms, Circuit faults, Hardware, Transient analysis, reliability, convolution, fast Fourier transforms, fault tolerant computing, mathematics computing, matrix multiplication, parallel processing, integer data streams, safety-critical applications, fault-generating processor hardware, check-sum stream, convolution operations, matrix multiplication operations, fast Fourier transforms, Intel processor, ABFT methods, algorithm-based fault tolerance methods, numerical entanglement, Linear operations, sum-of-products, algorithm-based fault tolerance, silent data corruption, core failures |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Electronic and Electrical Eng |
| URI: | https://discovery.ucl.ac.uk/id/eprint/1519570 |
Archive Staff Only
 |
View Item |
