diff options
Diffstat (limited to 'papers')
-rw-r--r-- | papers/LOCO-24/contents.latex | 53 |
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 |