Towards a quantum algorithm for evaluating WCETs

Gabriella Bettonte (1) , Stéphane Louise (1) , Renaud Sirdey (1)

1 DSCIN (CEA, LIST) - Département Systèmes et Circuits Intégrés Numériques

In this paper we propose a quantum-based solution to the problem of counting the cache hits, an important issue when analyzing real-time embedded applications. This field has already seen the development of "quantum-inspired" classical algorithms which are competitive with the state of the art. We designed a polynomial-time dynamic programming algorithm for computing the lowest number of cache hits realized by a deterministic sequence of memory accesses, in the presence of preemptions. Our contribution consists in porting that algorithm to the quantum framework, improving the complexity of the algorithm from (3) to (2 +).

Mots clés: WCETs; preemption; quantum computing; dynamic programming

Domaines: Algorithme et structure de données [cs.DS]

Gabriella Bettonte, Stéphane Louise, Renaud Sirdey. Towards a quantum algorithm for evaluating WCETs. 2nd Quantum Software Engineering and Technology Workshop | IEEE Quantum Week 2021, Oct 2021, Virtual Conference, United States. pp.66-80. ⟨hal-03455669⟩