Název: Detekce a oprava takzvaných bitových chyb v metodách pipelinových Krylovových podprostorů
Překlad názvu: Detection and Correction of Silent Errors in Pipelined Krylov Subspace Methods
Autoři: Hercík, Jakub ; Carson, Erin Claire (vedoucí práce) ; Tůma, Miroslav (oponent)
Typ dokumentu: Diplomové práce
Rok: 2024
Jazyk: eng
Abstrakt: [eng] [cze]
This thesis focuses on the problem of silent error detection in the pipelined predict- and-recompute conjugate gradient (Pipe-PR-CG) algorithm, a pipelined Krylov subspace method for solving linear systems with a symmetric positive definite matrix. The theory of silent errors and conjugate gradient variants is introduced, and the structure of Pipe- PR-CG is subsequently utilized in rounding error analysis to derive criteria for silent error detection based on bounds of several quantities computed in finite precision arithmetic. The efficacy of the criteria is then tested in a robust numerical experiment, and a fault- tolerant version of the algorithm is introduced. Additionally, the sensitivity of Pipe-PR- CG to silent errors is examined. Codes in the Python programming language which were used for the main experiments and figures presented in this thesis are also provided. 1 Tato diplomová práce se zaměřuje na problematiku detekce bitových chyb v algoritmu pipelinovaných predict-and-recompute sdružených gradientů (Pipe-PR-CG), pipelinované metodě Krylovových podprostorů pro řešení lineárních systémů se symetrickou pozitivně definitní maticí. Je představena teorie bitových chyb a variant metody sdružených gra- dientů, a struktura Pipe-PR-CG je následně využita v analýze zaokrouhlovacích chyb k odvození kritérií pro detekci bitových chyb založených na omezení několika hodnot spočtených v aritmetice s konečnou přesností. Účinnost těchto kritérií je poté podrobena testování v robustním numerickém experimentu a je představena verze algoritmu tole- rantní k chybám. Dále je také prozkoumána senzitivita Pipe-PR-CG k bitovým chybám. Přiloženy jsou rovněž kódy v programovacím jazyce Python, které byly použity pro hlavní experimenty a grafy prezentované v této práci. 1
Klíčová slova: fault tolerance|iterative methods|computer science|numerical mathematics|errors|algorithms|high-performance computing|matrix computations|Krylov subspace methods; fault tolerance|iterative methods|computer science|numerical mathematics|errors|algorithms|high-performance computing|matrix computations|Krylov subspace methods

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/190872

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-621168


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce