harisokanovic / librtpi

Real-Time Priority Inheritance C Library Wrapper

Introduction

The Real-Time Priority Inheritance Library (librtpi) is intended to bridge the gap between the glibc pthread implementation and a functionally correct priority inheritance for pthread locking primitives, such as pthread_mutex and pthread_condvar.

Specifically, priority based wakeup is required for correct operation, in contrast to the more time-based ordered wakeup groups in the glibc pthread condvar implementation.

A C library with C++ bindings are provided.

Approach

This library provides an API that is as close as possible to the POSIX pthread specification. Any changes or restrictions to this API are the result of ensuring priority based wakeup ordering and proper behavior in the context of real-time and priority inheritance requirements.

Wherever possible, the glibc pthread primitives and functions are used, and where necessary are wrapped or rewritten. When the glibc implementation is incompatible, a new mechanism is provided, e.g. the pthread_condvar specifically.

To encourage programming to the API, internal types specific to the implementation are opaque types, or private class members in the case of the C++ bindings (using the "Has a" vs. "Is a" inheritance model).

Build

$ autoreconf --install
$ ./configure
$ make
$ ./test

License and Copyright

The Real-Time Priority Inheritance Library is licensed under the Lesser GNU Public License. The LGPL was chosen to make it possible to link with libc libraries, reuse code from libc, and still be as broadly usable as possible in industry.

Copyright © 2018 VMware, Inc. All Rights Reserved.

C Specification

Source Files

• rtpi.h
• pi_mutex.c
• pi_cond.c

Packaged Collateral

• rtpi.h
• librtpi.a
• librtpi.so

Types

pi_mutex_t

Wrapper to pthread_mutex_t guranteed to be initialized using a mutexattr with the PTHREAD_PRIO_INHERIT protocal set.

pi_cond_t

New primitive modeled after the POSIX pthread_cond_t, with the following modifications.

1. It must be associated with a pi_mutex_t at initialization time, preventing the practice of signaling the condition prior to the association of the mutex.
2. All wakeup events will wake the N highest priority waiters.
3. Waiters will be woken in priority FIFO order.
4. The associated mutex must be held when the condition variable is signaled or broadcast.

Functions

PI Mutex

The PI Mutex API represents a subset of the Pthread Mutex API, written specifically for priority inheritance aware condition variables. The calls wrap a pthread_mutex_t internally, but it is not exposed to the caller to examine, manipulate, or pass directly.

int pi_mutex_init(pi_mutex_t *mutex, uint32_t flags)

Wrapper to pthread_mutex_init and pthread_mutexattr_setprotocol, ensuring PTHREAD_PRIO_INHERIT is set, and allows for the specification of process private or process shared.

The following attributes are not supported:

type:

• PTHREAD_MUTEX_RECURSIVE
• PTHREAD_MUTEX_ERRORCHECK

robust:

• PTHREAD_MUTEX_ROBUST

protocol:

• PTHREAD_PRIO_NONE
• PTHREAD_PRIO_PROTECT

Where flags are:

• RTPI_MUTEX_PSHARED

And future flags may include

• RTPI_MUTEX_ERRORCHECK
• RTPI_MUTEX_ROBUST

Returns 0 on success, otherwise an error number is returned.

int pi_mutex_destroy(pi_mutex_t *mutex)

Simple wrapper to pthread_mutex_destroy.

int pi_mutex_lock(pi_mutex_t *mutex)

Simple wrapper to pthread_mutex_lock.

int pi_mutex_trylock(pi_mutex_t *mutex)

Simple wrapper to pthread_mutex_trylock.

int pi_mutex_unlock(pi_mutex_t *mutex)

Simple wrapper to pthread_mutex_unlock.

PI Condition

The PI Condition API represents a new implementation of a Non-POSIX PI aware condition variable.

int pi_cond_init(pi_cond_t *cond, pi_mutex_t *mutex, uint32_t flags)

Where flags are:

• RTPI_COND_PSHARED

int pi_cond_destroy(pi_cond_t *cond)

int pi_cond_wait(pi_cond_t *cond)

int pi_cond_timedwait(pi_cond_t *cond, const struct timespec *restrict abstime)

int pi_cond_signal(pi_cond_t *cond)

int pi_cond_broadcast(pi_cond_t *cond)

Initializers

DEFINE_PI_MUTEX(mutex, flags)

Defines and initializes a PI aware mutex.

DEFINE_PI_COND(condvar, mutex, flags)

Defines and initializes a PI aware conditional variable. The mutex is associated with the conditional variable at this time.

C++ Specification

WRITEME - after the C Specification is complete

References

1. POSIX pthread API?
2. Requeue-PI: Making Glibc Condvars PI-Aware
3. Bug 11588 - pthread condvars are not priority inheritance aware