summaryrefslogtreecommitdiffhomepage
path: root/source/wg02
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2026-01-15 00:30:14 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2026-01-15 00:30:14 +0100
commit8f1b0b4930d67c8edf904583c55d1248c0395e40 (patch)
tree6b9a02ac30076a93a5cb65c0cc66c3b45dab206c /source/wg02
parentc613a855fb323ce51f25c7bcf473c1d1af3c063d (diff)
feat: paper definition improvements.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'source/wg02')
-rw-r--r--source/wg02/wg02.tex10
1 files changed, 3 insertions, 7 deletions
diff --git a/source/wg02/wg02.tex b/source/wg02/wg02.tex
index 555e3da..4e48745 100644
--- a/source/wg02/wg02.tex
+++ b/source/wg02/wg02.tex
@@ -9,8 +9,8 @@
\usepackage[margin=0.5in,top=1in,bottom=1in]{geometry}
\title{Methodology for Process and Image Computation.}
-\author{Amlal El Mahrouss.\\amlal@nekernel.org}
-\date{December 2025}
+\author{Amlal El Mahrouss\\amlal@nekernel.org}
+\date{December 2025\\Last Edited: January 2026}
\definecolor{codegray}{gray}{0.95}
\definecolor{codeblue}{rgb}{0.1,0.1,0.8}
@@ -134,23 +134,19 @@ struct ProcessImage final {
if (this->fCode) {
return ErrorOr<ImagePtr>{this->fCode};
}
-
- return ErrorOr<ImagePtr>{kErrorInvalidData};
}
ErrorOr<ImagePtr> LeakBlob() {
if (this->fBlob) {
return ErrorOr<ImagePtr>{this->fBlob};
}
-
- return ErrorOr<ImagePtr>{kErrorInvalidData};
}
};
\end{lstlisting}
\section{V: Conclusion.}
-{The CPS is a system with provable domains and separation of computation, the CPS itself governs how a Process Domain shall compute its child processes, it does not provide the algorithms.} {Which is why, one scheduler backend (such as the UserProcessScheduler) takes care of user process scheduling and fairness.}
+{The CPS is a system with provable domains and separation of computation, it governs how a Process Domain shall compute its child processes, it does not provide the algorithms.} {Which is why, one scheduler backend (such as the UserProcessScheduler) takes care of user process scheduling and fairness.}
\section{References}