A Theory of Reliable Hardware

Projektinformationen

ToRH

ID Finanzhilfevereinbarung: 716562

DOI

10.3030/716562

Projekt abgeschlossen

EK-Unterschriftsdatum 4 Mai 2017

Startdatum 1 August 2017

Enddatum 31 Juli 2022

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 472 000,00

EU-Beitrag

€ 1 472 000,00

Koordiniert durch

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

Periodic Reporting for period 4 - ToRH (A Theory of Reliable Hardware)

Berichtszeitraum: 2021-07-01 bis 2022-07-31

Zusammenfassung vom Kontext und den Gesamtzielen des Projekts

The goal of the project is to develop hardware that is more reliable. This is achieved by developing a theory of fault-tolerant hardware, i.e. understanding fundamental principles in dealing with both transient and permanent faults of any kind. The developed ideas are then implemented to measure how successful they are in practice.

A main focus of the project is the development of highly reliable, accurate, and efficient clock generation and distribution methods. Traditional designs cannot cope with permanent faults and have limits in scalability, which we address by devising fault-tolerant distributed clocking methods. If successful, this enables faster, better, and cheaper computers. As computers (and computing devices) are omnipresent, this has the potential of large economical benefits.

Arbeit, die ab Beginn des Projekts bis zum Ende des durch den Bericht erfassten Berichtszeitraums geleistet wurde, und die wichtigsten bis dahin erzielten Ergebnisse

The project has resulted in many novel techniques for simultaneously achieving reliability and efficiency. Most prominently,

1. we developed a discrete abstraction allowing us to handle metastability - a problem caused by trying to read the value of a signal while being in transition - in an efficient manner without falling back to analog design,
2. we came up with several improved clock synchronization and distribution schemes, pushing the state of the art, and
3. we implemented some of these schemes, pushing towards their adoption in practice.

Concretely, our results form a solid theoretical foundation for more scalable hardware systems. To promote our insights, we are planning to found a start-up company whose goal is to transfer them into industry products.

Fortschritte, die über den aktuellen Stand der Technik hinausgehen und voraussichtliche potenzielle Auswirkungen (einschließlich der bis dato erzielten sozioökonomischen Auswirkungen und weiter gefassten gesellschaftlichen Auswirkungen des Projekts)

The abovementioned results all reach beyond the state of the art. Regarding metastability, before the project the only known way of dealing with metastability was to wait for it to disappear with sufficiently high probability. This caused large latencies, which we can avoid with our techniques in certain, highly relevant cases. Our fault-tolerant clock generation and distribution schemes offer the opportunity to completely redesign computer hardware in a much more robust and scalable manner. On the other hand, the tools we provide can be used for smaller changes whose benefits could be reaped immediately. This is demonstrated by our various implementations, which prove the practicality of our schemes and bring them closer to application.

TorH Picture