Changeset 24a3d2b for doc/theses/thierry_delisle_PhD/thesis/text

Timestamp:

Jul 25, 2022, 11:36:34 AM (21 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

970fa54

Parents:

1988572

Message:

small updates

File:

• doc/theses/thierry_delisle_PhD/thesis/text/practice.tex (modified) (2 diffs)

doc/theses/thierry_delisle_PhD/thesis/text/practice.tex

@@ -193 +193 @@
 Interestingly, general notification, \ie waking any idle processor versus a specific one, does not strictly require modifying the list.
 Here, contention can be reduced notably by having notifiers avoid the lock entirely by adding a pointer to the event @fd@ of the first idle \proc, as in Figure~\ref{fig:idle2}.
-To avoid contention among notifiers, notifiers atomically exchange it to @NULL@ so only one notifier contends on the system call.
-The first notifier will succeed the atomic exchange and obtain the @fd@ of an idle \proc.
-The notifier will the normally write to the @fd@, which will wake a \proc.
-The woken \proc can then update the atomic pointer while it is updating the head of the list.
-Notifiers that obtained a @NULL@ in the exchange simply move on, knowing that another notifier is already waking a \proc.
+To avoid contention among notifiers, notifiers atomically exchange the pointer with @NULL@.
+The first notifier succeeds on the exchange and obtains the @fd@ of an idle \proc;
+hence, only one notifier contends on the system call.
+This notifier writes to the @fd@ to wake a \proc.
+The woken \proc then updates the atomic pointer, while it is updating the head of the list, as it removes itself from the list.
+Notifiers that obtained a @NULL@ in the exchange simply move on knowing that another notifier is already waking a \proc.
 This behaviour is equivalent to having multiple notifier write to the @fd@ since reads consume all previous writes.
 
@@ -208 +209 @@
 
 The next optimization is to avoid the latency of the event @fd@, which can be done by adding what is effectively a binary benaphore\cit{benaphore} in front of the event @fd@.
-A simple three state flag is added beside the event @fd@ to avoid unnecessary system calls, as shown in Figure~\ref{fig:idle:state}.
+The benaphore over the event @fd@ logically provides a three state flag to avoid unnecessary system calls, where the states are expressed explicit in Figure~\ref{fig:idle:state}.
 A \proc begins its idle sleep by adding itself to the idle list before searching for an \at.
 In the process of adding itself to the idle list, it sets the state flag to @SEARCH@.