L4Re - L4 Runtime Environment
Pthread Support

L4Re supports the standard pthread library functionality.

Therefore L4Re itself does not contain any documentation for pthreads itself. Please refer to the standard pthread documentation instead.

The L4Re specific parts will be described herein.

  • Include pthread-l4.h header file:

    #include <pthread-l4.h>

  • Return the local thread capability of a pthread thread:

    Use pthread_l4_cap(pthread_t t) to get the capability index of the pthread t.

    For example:


  • Setting the L4 priority of an L4 thread works with a special scheduling policy (other policies do not affect the L4 thread priority):

    pthread_t t;
    pthread_attr_t a;
    struct sched_param sp;
    sp.sched_priority = l4_priority;
    pthread_attr_setschedpolicy(&a, SCHED_L4);
    pthread_attr_setschedparam(&a, &sp);
    pthread_attr_setinheritsched(&a, PTHREAD_EXPLICIT_SCHED);
    if (pthread_create(&t, &a, pthread_func, NULL))
    // failure...

  • You can prevent your pthread from running immediately after the call to pthread_create(..) by adding PTHREAD_L4_ATTR_NO_START to the create_flags of the pthread attributes. To finally start the thread you need to call scheduler()->run_thread() passing the capability of the pthread and scheduling parameters.

    pthread_t t;
    pthread_attr_t attr;
    attr.create_flags |= PTHREAD_L4_ATTR_NO_START;
    if (pthread_create(t, &pattr, pthread_func, nullptr))
    // failure...
    // do stuff
    auto ret = L4Re::Env::env()->scheduler()->run_thread(pthread_l4_cap(t),
    if (l4_error(ret))
    // failure...