eprintid: 1519570 rev_number: 30 eprint_status: archive userid: 608 dir: disk0/01/51/95/70 datestamp: 2016-12-05 12:18:00 lastmod: 2022-01-17 00:16:03 status_changed: 2016-12-05 12:18:00 type: article metadata_visibility: show creators_name: Anam, MA creators_name: Andreopoulos, Y title: Reliable Linear, Sesquilinear, and Bijective Operations on Integer Data Streams Via Numerical Entanglement ispublished: pub divisions: UCL divisions: B04 divisions: C05 divisions: F46 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 note: 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. 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. date: 2016-09-01 date_type: published official_url: http://dx.doi.org/10.1109/TSP.2016.2560134 oa_status: green full_text_type: other language: eng primo: open primo_central: open_green article_type_text: Journal Article verified: verified_manual elements_id: 1154326 doi: 10.1109/TSP.2016.2560134 lyricists_name: Anam, Mohammad lyricists_name: Andreopoulos, Ioannis lyricists_id: MAANA40 lyricists_id: IANDR50 actors_name: Andreopoulos, Ioannis actors_id: IANDR50 actors_role: owner full_text_status: public publication: IEEE Transactions on Signal Processing volume: 64 number: 17 pagerange: 4606-4617 issn: 1053-587X citation: 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 <https://doi.org/10.1109/TSP.2016.2560134>. Green open access document_url: https://discovery.ucl.ac.uk/id/eprint/1519570/1/Andreopolous_2col1space.pdf