A Theory of Reliable Hardware

Informacje na temat projektu

ToRH

Identyfikator umowy o grant: 716562

DOI

10.3030/716562

Projekt został zamknięty

Data podpisania przez KE 4 Maja 2017

Data rozpoczęcia 1 Sierpnia 2017

Data zakończenia 31 Lipca 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 472 000,00

Wkład UE

€ 1 472 000,00

Koordynowany przez

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

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

Okres sprawozdawczy: 2021-07-01 do 2022-07-31

Podsumowanie kontekstu i ogólnych celów projektu

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.

Prace wykonane od początku projektu do końca okresu sprawozdawczego oraz najważniejsze dotychczasowe rezultaty

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.

Innowacyjność oraz oczekiwany potencjalny wpływ (w tym dotychczasowe znaczenie społeczno-gospodarcze i szersze implikacje społeczne projektu)

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