On 10/03/18 18:02, Amaan Cheval wrote:
- Improve RTEMS SMP[3]
What kinds of improvements to SMP are we considering?
The SMP support is quite complete now. In general, an independent review
is required, but this is probably not a GSoC project. Some areas in the
implementation are a bit too complex (e.g. thread lock) and should be
simplified, however, I guess this is a very difficult task.
A formal specification using TLA+ for the OMIP and MrsP locking
protocols would be nice.
https://en.wikipedia.org/wiki/TLA%2B
A proper strong APA scheduler:
https://devel.rtems.org/ticket/2510
I am not sure if there is a real application demand for this.
As noted earlier, SMP
support on i386 is lagging. Is there any interest in bringing that up to
par with the other architectures?
I think this makes only sense for a x86_64 BSP.
From an application developer point of view a ready to use tracing of
thread context switches and interrupts would be nice. Some kind of data
provider for the lttng-relayd (LTTng 2 relay daemon)
https://lttng.org/docs/v2.10/#doc-lttng-relayd
Which can be used by
https://projects.eclipse.org/projects/tools.tracecompass
--
Sebastian Huber, embedded brains GmbH
Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone : +49 89 189 47 41-16
Fax : +49 89 189 47 41-09
E-Mail : sebastian.hu...@embedded-brains.de
PGP : Public key available on request.
Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
