Prototype implementation for self-contained objects
Joel Sherrill
joel.sherrill at oarcorp.com
Thu Jul 23 13:49:14 UTC 2015
Is this intended for master only or also for the 4.11 branch?
On 7/23/2015 7:54 AM, Sebastian Huber wrote:
> https://lists.rtems.org/pipermail/devel/2015-July/011989.html
>
> Its fully functional and well tested. It is based on the FreeBSD support:
>
> https://git.rtems.org/rtems-libbsd/tree/rtemsbsd/include/machine/rtems-bsd-muteximpl.h
> https://git.rtems.org/rtems-libbsd/tree/rtemsbsd/rtems/rtems-bsd-muteximpl.c
>
> It is used to implement the Newlib internal locks and the libgomp (GCC OpenMP
> support) operating system services.
>
> There is one issue I am not that happy about. There are two thread queue
> definitions:
>
> 1. in Newlib <sys/lock.h>
>
> struct _Thread_queue_Queue {
> struct _Thread_queue_Heads *_heads;
> struct _Ticket_lock_Control _Lock;
> };
>
> 2. in <rtems/score/threadq.h>
>
> typedef struct {
> Thread_queue_Heads *heads;
>
> /**
> * @brief Lock to protect this thread queue.
> *
> * It may be used to protect additional state of the object embedding this
> * thread queue.
> *
> * @see _Thread_queue_Acquire(), _Thread_queue_Acquire_critical() and
> * _Thread_queue_Release().
> */
> #if defined(RTEMS_SMP)
> SMP_ticket_lock_Control Lock;
> #endif
> } Thread_queue_Queue;
>
> In RTEMS the lock is optional. In Newlib the storage must be always present
> for the lock to be independent of the actual RTEMS build configuration. I
> ensure with static assertions that the layout of these two structures is
> compatible (see top of cpukit/score/src/mutex.c). For the Newlib definition it
> would be sufficient to provide a structure with arbitrary content. Only the
> alignment and size must fit (see glibc header files for objects shared by
> user/kernel space). For debugging purposes it is quite handy to have an
> identical layout. I use a cast to get the score definition, e.g.
>
> static Thread_queue_Queue *_Futex_Get_thread_queue(
> struct _Futex_Control *futex
> )
> {
> return (Thread_queue_Queue *) &futex->_Queue;
> }
>
> This may, however, lead to strict aliasing problems. I am not sure how to
> solve this technically best.
>
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
>
--
Joel Sherrill, Ph.D. Director of Research & Development
joel.sherrill at OARcorp.com On-Line Applications Research
Ask me about RTEMS: a free RTOS Huntsville AL 35805
Support Available (256) 722-9985
More information about the devel
mailing list