An EVL event object has the same semantics than a POSIX condition variable. It can be used for synchronizing EVL threads on the state of some shared information in a raceless way. Proper serialization is enforced by pairing an event with a mutex. The typical usage pattern is as follows:
#include <evl/mutex.h>
#include <evl/event.h>
struct evl_mutex lock = EVL_MUTEX_INITIALIZER("this_lock",
EVL_CLOCK_MONOTONIC, 0, EVL_MUTEX_NORMAL|EVL_CLONE_PRIVATE);
struct evl_event event = EVL_EVENT_INITIALIZER("this_event",
EVL_CLOCK_MONOTONIC, EVL_CLONE_PRIVATE);
bool condition = false;
void waiter(void)
{
evl_lock_mutex(&lock);
/*
* Check whether the wait condition is satisfied, go
* sleeping if not. EVL drops the lock and puts the thread
* to sleep atomically, then re-acquires it automatically
* once the event is signaled before returning to the
* caller.
*/
while (!condition)
evl_wait_event(&event, &lock);
evl_unlock_mutex(&lock);
}
void poster(void)
{
/*
* Post the condition and signal the event to the waiter,
* all atomically by holding the lock. CAUTION: actual wake
* up happens when dropping the lock protecting the event.
*/
evl_lock_mutex(&lock);
condition = true;
evl_signal_event(&event);
evl_unlock_mutex(&lock);
}
Of course, the way you would express the condition to be satisfied is fully yours. It could be a simple boolean condition like illustrated, or the combination of multiple tests and/or computations, whatever works.
EVL optimizes the wake up sequence on event receipt by implementing a wait morphing technique. As a result, the waiter resumes execution once the lock which protects access to the condition is released by the thread posting the awaited event. This spares us a useless context switch to the waiter in case it has a higher priority than the poster.
To create an event, you need to call evl_create_event() which returns a file descriptor representing the new object upon success. This is the generic call form; for creating an event with common pre-defined settings, see evl_new_event().
An in-memory event descriptor is constructed by
evl_create_event(),
which contains ancillary information other calls will need. evt
is a pointer to such descriptor of type struct evl_event
.
Some event-related calls are timed like evl_timedwait_event() 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.
A set of creation flags for the new element, defining its visibility:
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 event in
non-blocking I/O mode (O_NONBLOCK
). By default, O_NONBLOCK
is
cleared for the file descriptor.
A printf-like format string to generate the event name. See this description of the naming convention.
The optional variable argument list completing the format.
evl_create_event() returns the file descriptor of the newly created event 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 event.
An event object cannot be used alone, it has to be paired with an EVL mutex for proper operation.
#include <evl/event.h>
static struct evl_event event;
int create_new_event(void)
{
int evfd;
evfd = evl_create_event(&event, EVL_CLOCK_MONOTONIC, "name_of_event");
/* skipping checks */
return evfd;
}
An event is based on the EVL monitor element. For this reason, the device representing the new element appears in the /dev/evl/monitor hierarchy.
This call is a shorthand for creating a private event timed on the built-in EVL monotonic clock. It is identical to calling:
evl_create_event(evt, EVL_CLOCK_MONOTONIC, EVL_CLONE_PRIVATE, fmt, ...);
Note that if the [generated name] (/core/user-api/#element-naming-convention) starts with a
slash (’/’) character, EVL_CLONE_PRIVATE
would be automatically turned
into EVL_CLONE_PUBLIC
internally.
The static initializer you can use with events. All arguments to this macro refer to their counterpart in the call to evl_create_event().
Knowing its name in the EVL device hierarchy, you may want to open an existing event, possibly from a different process, obtaining a new file descriptor on such object. You can do so by calling evl_open_event().
An in-memory event descriptor is constructed by evl_open_event(),
which contains ancillary information other calls will need. evt is a
pointer to such descriptor of type struct evl_event
. The information
is retrieved from the existing event which was opened.
A printf-like format string to generate the name of the event 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_event() returns the file descriptor referring to the opened event on success, Otherwise, a negated error code is returned:
-EINVAL The name refers to an existing object, but not to an event.
-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.
You should use this call to wait for the condition associated with an EVL event to become true. Access to such condition must be protected by an EVL mutex. The caller is blocked until this happens, dropping the lock guarding the condition in the same move, all atomically so that no wake up event can be missed. The lock is automatically re-acquired before this call returns. Waiters are queued by order of scheduling priority.
Keep in mind that events may be subject to spurious wake ups, meaning that the condition might turn to false again before the waiter can resume execution for consuming the event. Therefore, abiding by the documented usage pattern for waiting for an event is very important.
The in-memory event descriptor constructed by either evl_create_event() or evl_open_event(), or statically built with EVL_EVENT_INITIALIZER. In the latter case, an implicit call to evl_create_event() is issued for evt before a wait is attempted, which may trigger a transition to the in-band execution mode for the caller.
The in-memory mutex descriptor returned by either evl_create_mutex() or evl_open_mutex(). This lock should be used to serialize access to the shared information representing the condition.
evl_wait_event() returns zero if the event was signaled by a call to evl_signal_event() or evl_broadcast_event(). Otherwise, a negated error code may be returned if:
-EINVAL evt does not represent a valid in-memory event 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.
-EBADFD A thread is currently pending on evt protected by a different mutex. When multiple threads issue concurrent wait requests on the same event, they must use the same mutex to serialize.
-EINTR The caller was forcibly unblocked by the EVL core, typically as a result of a call to evl_unblock_thread().
This call is automatically restarted upon receipt of an in-band signal.
If evt was statically initialized with EVL_EVENT_INITIALIZER, then any error returned by evl_create_event() may be passed back to the caller in case the implicit initialization call fails.
This call is a variant of evl_wait_event() which allows specifying a timeout on the wait operation, so that the caller is automatically unblocked if a time limit is reached.
The in-memory event descriptor constructed by either evl_create_event() or evl_open_event(), or statically built with EVL_EVENT_INITIALIZER. In the latter case, an implicit call to evl_create_event() for evt is issued before a wait is attempted, which may trigger a transition to the in-band execution mode for the caller.
The in-memory mutex descriptor returned by either evl_create_mutex() or evl_open_mutex().
A time limit to wait for the event to be signaled before the call returns on error. The clock mentioned in the call to evl_create_event() will be used for tracking the elapsed time.
The possible return values include any status from evl_wait_event(), plus:
-ETIMEDOUT The timeout fired, after the amount of time specified by timeout.
This call notifies the thread heading the wait queue of an event at the time of the call (i.e. having the highest priority among waiters), indicating that the condition it has waited for may have become true.
You must hold the mutex lock which protects accesses to the condition around the call to evl_signal_event(), because the notified thread will be actually readied when such lock is dropped, not at the time of the notification.
The in-memory event descriptor constructed by either evl_create_event() or evl_open_event(), or statically built with EVL_EVENT_INITIALIZER. In the latter case, an implicit call to evl_create_event() for evt is issued before the signal is sent, which may trigger a transition to the in-band execution mode for the caller.
evl_signal_event() returns zero upon success, with the signal set pending for the event. Otherwise, a negated error code is returned:
-EINVAL evt does not represent a valid in-memory event 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 evt was statically initialized with EVL_EVENT_INITIALIZER but not passed to any event-related call yet, then any error status returned by evl_create_event() may be passed back to the caller in case the implicit initialization call fails.
If no thread was waiting on evt at the time of the call, no action is performed and evl_signal_event() returns zero.
This service is a variant of evl_signal_event(), which directs the wake up signal to a specific waiter instead of waking up the thread heading the wait queue.
The in-memory event descriptor constructed by either evl_create_event() or evl_open_event(), or statically built with EVL_EVENT_INITIALIZER. In the latter case, an implicit call to evl_create_event() for evt is issued before the signal is sent, which may trigger a transition to the in-band execution mode for the caller.
The file descriptor of the target thread, which must be attached to the EVL core by a call to evl_attach_self().
The possible return values include any status from evl_signal_event(), plus:
-EINVAL thrfd is not a valid file descriptor referring to an EVL thread.
If the target thread was not waiting on evt at the time of the call, no action is performed and evl_signal_thread() returns zero.
This service is yet another variant of evl_signal_event(), which wakes up all waiters currently sleeping on the event wait queue at the time of the call.
The in-memory event descriptor constructed by either evl_create_event() or evl_open_event(), or statically built with EVL_EVENT_INITIALIZER. In the latter case, an implicit call to evl_create_event() for evt is issued before the signal is sent, which may trigger a transition to the in-band execution mode for the caller.
The possible return values include any status from evl_signal_event().
If no thread was waiting on evt at the time of the call, no action is performed and evl_broadcast_event() returns zero.
You can use evl_close_event() to dispose of an EVL event, releasing the associated file descriptor, at which point evt will not be valid for any subsequent operation from the current process. However, this event object is kept alive in the EVL core until all file descriptors opened on it by call(s) to evl_open_event() have been released, whether from the current process or any other process.
The in-memory descriptor of the event to dismantle.
evl_close_event() returns zero upon success. Otherwise, a negated error code is returned:
-EINVAL evt does not represent a valid in-memory event 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 event descriptor which has never been used in wait or signal operations always returns zero.