From 9012c6fb7c040be92aa8f950bad4f49c5be264d8 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Sun, 28 Dec 2025 09:23:05 +0100
Subject: feat! rename docs to doc.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 docs/tex/binary_mutex.tex | 77 -----------------------------------------------
 1 file changed, 77 deletions(-)
 delete mode 100644 docs/tex/binary_mutex.tex

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

diff --git a/docs/tex/binary_mutex.tex b/docs/tex/binary_mutex.tex
deleted file mode 100644
index 548f440f..00000000
--- a/docs/tex/binary_mutex.tex
+++ /dev/null
@@ -1,77 +0,0 @@
-\documentclass{article}
-\usepackage{graphicx}
-\usepackage{hyperref}
-
-\title{BinaryMutex: Technical Documentation}
-\author{Amlal El Mahrouss}
-\date{\today}
-
-\begin{document}
-
-\maketitle
-
-\section{Abstract}
-
-{The BinaryMutex is a core component of NeKernel (NeKernel/Legacy 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}
-
-\section{Overview}
-
-{The BinaryMutex comes from the need to make sure that no race conditions occurs in kernel code. Most of those race conditions happens in process handling code. Thus the design of the BinaryMutex (which holds a process handle to it)}
-
-\begin{verbatim}
-BinaryMutex mux;
-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;
-while (mux.WaitForProcess(kSecondsMax));
-
-// finally do our task now.
-
-process.DoFoo();
-\end{verbatim}
-
-\section{Implementation}
-
-The source implementation consists of this simple C++ class:
-
-\begin{verbatim}
-class BinaryMutex final {
- public:
-  explicit BinaryMutex() = default;
-  ~BinaryMutex()         = default;
-
- public:
-  bool IsLocked() const;
-  bool Unlock();
-
- public:
-  BOOL WaitForProcess(const UInt32& sec);
-
- public:
-  bool Lock(UserProcess* process);
-  bool LockAndWait(UserProcess* process, ITimer* timer);
-
- public:
-  NE_COPY_DEFAULT(BinaryMutex)
-
- private:
-  UserProcess* fLockingProcess;
-};
-\end{verbatim}
-
-\section{Conclusion}
-
-{This design pattern is useful for systems that need to make sure that a process isn't tampered by concurrent usages.
-Thus its existence in Legacy VMKernel and NeKernel.}
-
-\section{References}
-
-{NeKernel}: \href{https://github.com/nekernel-org/nekernel}{NeKernel}
-
-{Legacy VMKernel}: \href{https://snu.systems/specs/vmkernel}{Legacy VMKernel}
-
-{BinaryMutex}: \href{https://github.com/nekernel-org/nekernel/blob/src/src/kernel/KernelKit/BinaryMutex.h}{BinaryMutex}
-
-\end{document}
-- 
cgit v1.2.3

