[LAD] Static verification of real-time safety

David Robillard d at drobilla.net
Wed Jan 15 01:15:31 UTC 2014


On Tue, 2014-01-14 at 17:52 +0000, Harry van Haaren wrote:
[here lies thread mangling top-post]
> On Tue, Jan 14, 2014 at 5:43 PM, David Robillard <d at drobilla.net> wrote:
> > 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.
>
> I won't speak for Fundamental, he's usually in #lad, but I know the
> following:
> 
> His blog on the topic:
> http://log.fundamental-code.com/2012/05/31/sfpv-intro
> 
> The code on github:
> https://github.com/fundamental/sfpv

Ah, spfv, right.  That was it.

Thanks,

-- 
dr




More information about the Linux-audio-dev mailing list