Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Hack to make liveness work on Debian testing
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 27 Oct 2023 15:11:39 +0000 (17:11 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 27 Oct 2023 15:22:50 +0000 (17:22 +0200)
commit5a48253f252bfe990a421012da93a714145de365
treef3b9445b9efddf60f98c859b5c4c73b4c7e366bd
parent97860e63abc5fb6b950e08722a9b270e78f20e44
Hack to make liveness work on Debian testing

A proper solution would be to make the liveness more robust, and in
particular the state equality mechanism. To that extend, we should
 - change the code so that it computes a distance between states
   instead of returning a simple boolean "it's different". That way,
   we could know which states desserve a deeper debugging to
   understand why equality detection is broken, simply by picking the
   closest pair of states, that ought to be equal.

 - Write a bunch of unit tests where we do 2 controled states and
   compare their detected difference.

Maybe, we should trash all this code that is aging (no Dwarf5 support)
and is very complex anyway. A simpler way to get the same effects
could be to go through the compiler, and have clang generate a binary
that is fully introspectable. It sounds like a long and burdensome way
to go, however.

Hopefuly someone will do a library doing it in the future, so that we
just need to use their work.
src/kernel/activity/MailboxImpl.hpp