[LAD] Static verification of real-time safety

Hello,

Does anyone know if anything has emerged from

http://www.google-melange.com/gsoc/proposal/review/google/gsoc2012/fundamental/1

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

I know I have

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

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...

-- 
dr
_______________________________________________
Linux-audio-dev mailing list
Linux-audio-dev@email-addr-hidden
http://lists.linuxaudio.org/listinfo/linux-audio-dev