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

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: David Robillard <d@...>
Cc: Linux Audio Developers <linux-audio-dev@...>
Date: Tuesday, January 14, 2014 - 5:52 pm

--001a11c36ad2b6ef8704eff1d93b
Content-Type: text/plain; charset=ISO-8859-1

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 wrote:

> Hello,

--001a11c36ad2b6ef8704eff1d93b
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

I won't speak for Fundamental, he's=
usually in #lad, but I know the following:His blog on the to=
pic:h=
ttp://log.fundamental-code.com/2012/05/31/sfpv-intro

The code on github:https://github.com/fundamental/sfpvI've not use=
d / toyed with it myself, I don't know anything more :) -Harry
On Tue, Jan 1=
4, 2014 at 5:43 PM, David Robillard <d@drobilla.net> wrote:=

Hello,

Does anyone know if anything has emerged from

http://www.google-melange.com/gsoc/prop=
osal/review/google/gsoc2012/fundamental/1

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

I know I have

#ifdef __clang__
# =A0 =A0define REALTIME __attribute__((annotate("realtime")))
#else
# =A0 =A0define 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<=
br>
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@lis=
ts.linuxaudio.org

http://lists.linuxaudio.org/listinfo/linux-audio-dev

--001a11c36ad2b6ef8704eff1d93b--

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
[LAD] Static verification of real-time safety, David Robillard, (Tue Jan 14, 5:43 pm)
Re: [LAD] Static verification of real-time safety, Harry van Haaren, (Tue Jan 14, 5:52 pm)
Re: [LAD] Static verification of real-time safety, David Robillard, (Wed Jan 15, 1:15 am)
Re: [LAD] Static verification of real-time safety, Mark D. McCurry, (Wed Jan 15, 6:28 am)