summaryrefslogtreecommitdiff
path: root/papers/LOCO-24
diff options
context:
space:
mode:
Diffstat (limited to 'papers/LOCO-24')
-rw-r--r--papers/LOCO-24/contents.latex53
1 files changed, 42 insertions, 11 deletions
diff --git a/papers/LOCO-24/contents.latex b/papers/LOCO-24/contents.latex
index 6069a97..cc09008 100644
--- a/papers/LOCO-24/contents.latex
+++ b/papers/LOCO-24/contents.latex
@@ -165,16 +165,36 @@ Computing}{December 05, 2024}{Glasgow, Scotland, United Kingdom }
\section{Motivation}
-\subsection{Von Neumann architecture}
-\subsection{Unix}
+
+\subsection{Von Neumann model}
+
+General purpose device: CPU + Store + User interaction
+
+The Store is implemented with hardware memories, flat storage of numbers in
+addresses.
+
+
+\subsection{Unix's heritage}
\epigraph{
Applicants must also have extensive knowledge of Unix, although they should
- have sufficiently good programming taste to not consider this an achievement.}
-{\textit{-- Hal Abelson}}
-
-\subsection{The Kernel}
-\subsubsection{Virtual Memory}
-\subsection{The Shell}
+ have sufficiently good programming taste to not consider this an achievement.
+}{\textit{-- Hal Abelson}}
+
+ Since its inception, Unix was a huge innovation in Operating Systems market.
+ Its main features include \textit{multitasking} and \textit{multi-user}
+ support, a programming interface, \textit{files as abstractions} for devices
+ and other objects and a powerful \textit{shell} that facilitates program
+ composition.
+
+\subsubsection{The Kernel}
+ In the Unix model, the Kernel, the core of the Operating System, is
+ responsible for managing the hardware resources. For that job, it uses
+ several concepts that systems designers and programmers are familiarized with
+ and are discouraged to change. Those include \textit{virtual memory},
+ \textit{processes}, \textit{shared-memory threads}, \textit{hierarchical
+ filesystems} and \textit{system calls}.
+
+\subsubsection{The Shell}
The shell is run as a userspace program that has the hability to launch other
programs using an outdated fork+exec mechanism that encourages memory
overshoot\cite{fork:Baumann}.
@@ -182,10 +202,16 @@ Computing}{December 05, 2024}{Glasgow, Scotland, United Kingdom }
words, \textit{"text streams [are] the universal interface"}
\cite{QuarterCenturyUnix:Salus}.
-\subsection{Language interpreters}
+\subsubsection{Userspace programs}
+ ELF/Mach-O/EXE -> the kernel acts as an interpreter for them.
+ Virtual memory separates one program from another.
+ The CPU helps with that.
+ Each program is a process (invented concept)
+ Each process can launch threads \cite{Threads:Lee}
+\paragraph{Language interpreters}
Language interpreters are run as userspace programs.
-\subsection{Hardware}
+\subsection{Computer hardware}
Computer processors, often marketed as "\textit{general purpose}", are based
on the von Newmann model\cite{LiberateFromVonNeumann:Backus}, a CPU and a
Store that is, and designed for running an Operating System on them. They
@@ -210,8 +236,13 @@ Computing}{December 05, 2024}{Glasgow, Scotland, United Kingdom }
\subsection{Optimization for tree structures}
\subsection{Hardware garbage collection}
\subsection{Extendable CPU}
+\subsection{No kernel/interpreter separation}
+\subsection{No threads/processes but tasks}
+\subsection{No virtual memory}
+\subsection{Capability based security "lambda-style"}
+ Reduces the amount of permission issues inherited from Von Neumann style and
+ Unix.
-\cite{Threads:Lee}
%% The acknowledgments section is defined using the "acks" environment
%% (and NOT an unnumbered section). This ensures the proper