[LAD] Static verification of real-time safety

[Harry van Haaren]

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

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:

> 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 at lists.linuxaudio.org
> http://lists.linuxaudio.org/listinfo/linux-audio-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.linuxaudio.org/pipermail/linux-audio-dev/attachments/20140114/a7a4c944/attachment.html>