From 9c07b4640a226f8070d4de0f8cd8f119d7754aa8 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Sun, 3 Aug 2025 10:03:55 +0100
Subject: feat: update papers.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 docs/tex/binary_mutex.tex | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

(limited to 'docs/tex/binary_mutex.tex')

diff --git a/docs/tex/binary_mutex.tex b/docs/tex/binary_mutex.tex
index 5902cefc..4e61eb65 100644
--- a/docs/tex/binary_mutex.tex
+++ b/docs/tex/binary_mutex.tex
@@ -1,7 +1,7 @@
 \documentclass{article}
 \usepackage{graphicx} % Required for inserting images
 
-\title{The BinaryMutex Pattern}
+\title{BinaryMutex}
 \author{Amlal El Mahrouss}
 \date{\today}
 
@@ -9,15 +9,11 @@
 
 \maketitle
 
-\section{Context}
+\section{Abstract}
 
-The BinaryMutex is a core component of NeKernel (NeKernel/VMKernel) based systems.
+{The BinaryMutex is a core component of NeKernel (NeKernel/VMKernel) based systems. The pattern excludes other acquirers to own the USER\_PROCESS that is currently being hold. Thus the acquiree is the USER\_PROCESS itself}
 
-The pattern excludes other acquirers to own the USER\_PROCESS that is currently being hold.
-
-Thus the acquiree is the USER\_PROCESS itself
-
-\section{Use Cases}
+\section{Use Case \#1: Process lock for atomic data retrival}
 
 \begin{verbatim}
 BinaryMutex mux;
@@ -26,7 +22,9 @@ mux.Lock(process);
 // Say we want to interact with the process itself on this thread, 
 we can then make sure that no race condition happens by using:
 constexpr auto kSecondsMax = 5;
-mux.WaitForProcess(kSecondsMax); 
+mux.WaitForProcess(kSecondsMax);
+
+process.DoFoo();
 \end{verbatim}
 
 \section{Implementation}
-- 
cgit v1.2.3

