[LAD] Static verification of real-time safety
Harry van Haaren
harryhaaren at gmail.com
Tue Jan 14 17:52:05 UTC 2014
I won't speak for Fundamental, he's usually in #lad, but I know the
His blog on the topic:
The code on github:
I've not used / toyed with it myself, I don't know anything more :) -Harry
On Tue, Jan 14, 2014 at 5:43 PM, David Robillard <d at drobilla.net> wrote:
> 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...
> Linux-audio-dev mailing list
> Linux-audio-dev at lists.linuxaudio.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Linux-audio-dev