[LAD] Static verification of real-time safety

David Robillard d at drobilla.net
Tue Jan 14 17:43:37 UTC 2014


Does anyone know if anything has emerged from


or, what alternative solutions for doing the same thing exist today?

I know I have

#ifdef __clang__
#    define REALTIME __attribute__((annotate("realtime")))
#    define REALTIME

in my code and was tinkering with an implementation capable of doing
this at some point, but can't dig up the details, or whatever system I
was using to do it.

It would be oh so very nice to be able to statically verify that code is
real-time safe...


More information about the Linux-audio-dev mailing list