Mutex

Serializing threads with mutexes

EVL provides common mutexes for serializing thread access to a shared resource from out-of-band context, with semantics close to the POSIX specification for the basic operations.

Mutex services


int evl_create_mutex(struct evl_mutex *mutex, int clockfd, unsigned int ceiling, int flags, const char *fmt, ...)

This call creates a mutex, returning a file descriptor representing the new object upon success. This is the generic call form; for creating a mutex with common pre-defined settings, see [evl_new_mutex()}(#evl_new_mutex).

  • mutex

    An in-memory mutex descriptor is constructed by evl_create_mutex(), which contains ancillary information other calls will need. mutex is a pointer to such descriptor of type struct evl_mutex.

  • clockfd

    Some mutex-related calls are timed like evl_timedlock_mutex which receives a timeout value. You can specify the EVL clock this timeout refers to by passing its file descriptor as clockfd. Built-in EVL clocks are accepted here.

  • ceiling

    When non-zero, EVL interprets this value as the priority ceiling of the new mutex. In this case, the behavior is similar to POSIX’s PRIO_PROTECT protocol. The priority must be in the [1-99] range, so that priority ceiling can apply to any scheduling policy EVL supports.

    When zero, EVL applies a priority inheritance protocol such as described for POSIX’s PRIO_INHERIT protocol.

  • For priority protection/ceiling, EVL actually changes the priority of the lock owner to the ceiling value only when/if the rescheduling procedure is invoked while such thread is current on the CPU. Since mutex-protected critical sections should be short and the lock owner is unlikely to schedule out while holding such lock, this reduces the overhead of dealing with priority protection, whilst providing the same guarantees compared to changing the priority immediately upon acquiring that lock.

  • flags

    A set of creation flags ORed in a mask which defines the new mutex type and visibility:

    • EVL_MUTEX_NORMAL for a normal, non-recursive mutex.

    • EVL_MUTEX_RECURSIVE for a recursive mutex a thread may lock multiple times in a nested way.

    • EVL_CLONE_PUBLIC denotes a public element which is represented by a device file in the /dev/evl file hierarchy, which makes it visible to other processes for sharing.

    • EVL_CLONE_PRIVATE denotes an element which is private to the calling process. No device file appears for it in the /dev/evl file hierarchy.

    • EVL_CLONE_NONBLOCK sets the file descriptor of the new mutex in non-blocking I/O mode (O_NONBLOCK). By default, O_NONBLOCK is cleared for the file descriptor.

  • fmt

    A printf-like format string to generate the mutex name. See this description of the naming convention.

  • ...

    The optional variable argument list completing the format.

  • evl_create_mutex() returns the file descriptor of the newly created mutex on success. Otherwise, a negated error code is returned:

    • -EEXIST The generated name is conflicting with an existing mutex, event, semaphore or flag group name.

    • -EINVAL Either flags is wrong, clockfd does not refer to a valid EVL clock, or the generated name is badly formed.

    • -ENAMETOOLONG The overall length of the device element’s file path including the generated name exceeds PATH_MAX.

    • -EMFILE The per-process limit on the number of open file descriptors has been reached.

    • -ENFILE The system-wide limit on the total number of open files has been reached.

    • -ENOMEM No memory available.

    • -ENXIO The EVL library is not initialized for the current process. Such initialization happens implicitly when evl_attach_self() is called by any thread of your process, or by explicitly calling evl_init(). You have to bootstrap the library services in a way or another before creating an EVL mutex.

    #include <evl/mutex.h>
    
    static struct evl_mutex mutex;
    
    int create_new_mutex(void)
    {
    	int fd;
    
    	/* Create a (private) non-recursive mutex with priority inheritance enabled. */
    	fd = evl_create_mutex(mutex, EVL_CLOCK_MONOTONIC, 0, EVL_MUTEX_NORMAL, "name_of_mutex");
    	/* skipping checks */
    	
    	return fd;
    }
    

    int evl_new_mutex(struct evl_mutex *mutex, const char *fmt, ...)

    This call is a shorthand for creating a normal (non-recursive) mutex enabling the priority inheritance protocol, timed on the built-in EVL monotonic clock. It is identical to calling:

    	evl_create_mutex(mutex, EVL_CLOCK_MONOTONIC, 0, EVL_MUTEX_NORMAL|EVL_CLONE_PRIVATE, fmt, ...);
    

    Note that if the generated name starts with a slash (’/’) character, EVL_CLONE_PRIVATE would be automatically turned into EVL_CLONE_PUBLIC internally.


    EVL_MUTEX_INITIALIZER((const char *) name, (int) clockfd, (int) ceiling, (int) flags)

    The static initializer you can use with events. All arguments to this macro refer to their counterpart in the call to evl_create_mutex().

    /* Create a (public) recursive mutex with priority ceiling enabled (prio=90). */
    struct evl_mutex mutex = EVL_MUTEX_INITIALIZER("name_of_mutex", EVL_CLOCK_MONOTONIC, 90, EVL_MUTEX_RECURSIVE|EVL_CLONE_PUBLIC);
    /* which is strictly equivalent to: */
    struct evl_mutex mutex = EVL_MUTEX_INITIALIZER("/name_of_mutex", EVL_CLOCK_MONOTONIC, 90, EVL_MUTEX_RECURSIVE);
    

    int evl_open_mutex(struct evl_mutex *mutex, const char *fmt, ...)

    You can open an existing mutex, possibly from a different process, by calling evl_open_mutex().

  • mutex

    An in-memory mutex descriptor is constructed by evl_open_mutex(), which contains ancillary information other calls will need. mutex is a pointer to such descriptor of type struct evl_mutex. The information is retrieved from the existing mutex which was opened.

  • fmt

    A printf-like format string to generate the name of the mutex to open. This name must exist in the EVL device file hierarchy at /dev/evl/monitor. See this description of the naming convention.

  • ...

    The optional variable argument list completing the format.

  • evl_open_mutex() returns the file descriptor referring to the opened mutex on success, Otherwise, a negated error code is returned:

    • -EINVAL The name refers to an existing object, but not to a mutex.

    • -EMFILE The per-process limit on the number of open file descriptors has been reached.

    • -ENFILE The system-wide limit on the total number of open files has been reached.

    • -ENOMEM No memory available.


    int evl_lock_mutex(struct evl_mutex *mutex)

    The current thread may lock a mutex by calling this service, which guarantees exclusive access to the resource it protects on success, until it eventually releases mutex.

    If mutex is unlocked, or it is of recursive type and the current thread already owns it on entry to the call, the lock nesting count is incremented by one then evl_lock_mutex() returns immediately with a success status.

    Otherwise, the caller blocks until the current owner releases it by a call to evl_unlock_mutex(). If multiple threads wait for acquiring the lock, the one with the highest scheduling priority which has been waiting for the longest time is served first.

    As long as the caller holds an EVL mutex, switching to in-band mode is wrong since this would introduce a priority inversion. For this reason, EVL threads which undergo the SCHED_WEAK policy are kept running out-of-band by the core until the last mutex they have acquired is dropped.

  • mutex

    The in-memory mutex descriptor constructed by either evl_create_mutex or evl_open_mutex(), or statically built with EVL_MUTEX_INITIALIZER. In the latter case, an implicit call to evl_create_mutex() is issued for mutex before a locking operation is attempted, which may trigger a transition to the in-band execution mode for the caller.

  • evl_lock_mutex() returns zero on success. Otherwise, a negated error code may be returned if:

    -EAGAIN mutex is recursive and the lock nesting count would exceed 2^31.

    -EINVAL mutex does not represent a valid in-memory mutex descriptor. If that pointer is out of the caller’s address space or points to read-only memory, the caller bluntly gets a memory access exception.

    If mutex was statically initialized with EVL_MUTEX_INITIALIZER, then any error returned by evl_create_mutex() may be passed back to the caller in case the implicit initialization call fails.


    int evl_timedlock_mutex(struct evl_mutex *mutex, const struct timespec *timeout)

    This call is a variant of evl_lock_mutex() which allows specifying a timeout on the locking operation, so that the caller is automatically unblocked if a time limit is reached.

  • mutex

    The in-memory mutex descriptor constructed by either evl_create_mutex or evl_open_mutex(), or statically built with EVL_MUTEX_INITIALIZER. In the latter case, an implicit call to evl_create_mutex() is issued for mutex before a locking operation is attempted, which may trigger a transition to the in-band execution mode for the caller.

  • timeout

    A time limit to wait for the caller to be unblocked before the call returns on error. The clock mentioned in the call to evl_create_mutex() will be used for tracking the elapsed time.

  • The possible return values include any status from evl_lock_mutex(), plus:

    -ETIMEDOUT The timeout fired, after the amount of time specified by timeout.


    int evl_trylock_mutex(struct evl_mutex *mutex)

    This call attempts to lock the mutex like evl_lock_mutex() would do, but returns immediately both on success or failure to do so, without waiting for the lock to be available in the latter case.

  • mutex

    The in-memory mutex descriptor constructed by either evl_create_mutex or evl_open_mutex(), or statically built with EVL_MUTEX_INITIALIZER. In the latter case, an implicit call to evl_create_mutex() for mutex is issued before a wait is attempted, which may trigger a transition to the in-band execution mode for the caller.

  • evl_trylock_mutex() returns zero on success. Otherwise, a negated error code may be returned if:

    -EAGAIN mutex is already locked by another thread.

    -EINVAL mutex does not represent a valid in-memory mutex descriptor. If that pointer is out of the caller’s address space or points to read-only memory, the caller bluntly gets a memory access exception.

    If mutex was statically initialized with EVL_MUTEX_INITIALIZER, then any error returned by evl_create_mutex() may be passed back to the caller in case the implicit initialization call fails.


    int evl_unlock_mutex(struct evl_mutex *mutex)

    This routine releases a mutex previously acquired by evl_lock_mutex(), evl_trylock_mutex() or evl_timedlock_mutex() by the current EVL thread.

    Only the thread which acquired an EVL mutex may release it.

  • mutex

    The in-memory mutex descriptor constructed by either evl_create_mutex or evl_open_mutex().

  • If mutex is recursive, the lock nesting count is decremented by one until it reaches zero, at which point the lock is actually released.

    evl_unlock_mutex() returns zero on success. Otherwise, a negated error code may be returned if:

    -EPERM The caller does not own the mutex.

    -EINVAL mutex does not represent a valid in-memory mutex descriptor. If that pointer is out of the caller’s address space or points to read-only memory, the caller bluntly gets a memory access exception.


    int evl_set_mutex_ceiling(struct evl_mutex *mutex, unsigned int ceiling)

    Change the priority ceiling value for a mutex. If the mutex is currently owned by a thread, the change may not apply immediately, depending on whether the priority ceiling was committed for that thread already (see this note).

  • mutex

    The in-memory mutex descriptor constructed by either evl_create_mutex or evl_open_mutex().

  • ceiling

    The new priority ceiling in the [1-99] range.

  • evl_set_mutex_ceiling returns zero on success. Otherwise, a negated error code may be returned if:

    -EINVAL mutex does not enable priority protection.

    -EINVAL ceiling is out of range.

    -EINVAL mutex does not represent a valid in-memory mutex descriptor. If that pointer is out of the caller’s address space or points to read-only memory, the caller bluntly gets a memory access exception.


    int evl_get_mutex_ceiling(struct evl_mutex *mutex)

    Retrieve the current priority ceiling value for mutex. This call also succeeds for a mutex which does not enable priority protection (but priority inheritance instead), returning zero in such a case.

  • mutex

    The in-memory mutex descriptor constructed by either evl_create_mutex or evl_open_mutex().

  • evl_get_mutex_ceiling returns the current priority ceiling value on success. Otherwise, a negated error code may be returned if:

    -EINVAL mutex does not represent a valid in-memory mutex descriptor. If that pointer is out of the caller’s address space or points to read-only memory, the caller bluntly gets a memory access exception.


    int evl_close_mutex(struct evl_mutex *mutex)

    You can use evl_close_mutex to dispose of an EVL mutex, releasing the associated file descriptor, at which point mutex will not be valid for any subsequent operation from the current process. However, this mutex is kept alive in the EVL core until all file descriptors opened on it by call(s) to evl_open_mutex() have been released, whether from the current process or any other process.

  • mutex

    The in-memory descriptor of the mutex to dismantle.

  • evl_close_mutex returns zero upon success. Otherwise, a negated error code is returned:

    -EINVAL mutex does not represent a valid in-memory mutex descriptor. If that pointer is out of the caller’s address space or points to read-only memory, the caller bluntly gets a memory access exception.

    Closing a statically initialized mutex descriptor which has never been locked always returns zero.


    Last modified: Sun, 23 Jul 2023 10:06:11 +0200