Re: [LAD] Static verification of real-time safety

From: Harry van Haaren <harryhaaren@email-addr-hidden>
Date: Tue Jan 14 2014 - 19:52:05 EET

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@email-addr-hidden> 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@email-addr-hidden
> http://lists.linuxaudio.org/listinfo/linux-audio-dev
>

_______________________________________________
Linux-audio-dev mailing list
Linux-audio-dev@email-addr-hidden
http://lists.linuxaudio.org/listinfo/linux-audio-dev
Received on Tue Jan 14 20:15:02 2014

This archive was generated by hypermail 2.1.8 : Tue Jan 14 2014 - 20:15:02 EET