A Theory of Reliable Hardware

Información del proyecto

ToRH

Identificador del acuerdo de subvención: 716562

DOI

10.3030/716562

Proyecto cerrado

Fecha de la firma de la CE 4 Mayo 2017

Fecha de inicio 1 Agosto 2017

Fecha de finalización 31 Julio 2022

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 472 000,00

Aportación de la UE

€ 1 472 000,00

Coordinado por

CISPA - HELMHOLTZ-ZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH
Germany

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

Período documentado: 2021-07-01 hasta 2022-07-31

Resumen del contexto y de los objetivos generales del proyecto

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.

Trabajo realizado desde el comienzo del proyecto hasta el final del período abarcado por el informe y los principales resultados hasta la fecha

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.

Avances que van más allá del estado de la técnica e impacto potencial esperado (incluida la repercusión socioeconómica y las implicaciones sociales más amplias del proyecto hasta la fecha)

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