[LAD] Static verification of real-time safety

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

Hello,

Does anyone know if anything has emerged from

http://www.google-melange.com/gsoc/proposal/review/google/gsoc2012/funda...

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

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)