From c56bcd9c4b92d2f66afdaf35cf6e318f612ad70d Mon Sep 17 00:00:00 2001 From: Stefan Junker Date: Tue, 22 Aug 2017 10:55:48 +0200 Subject: [PATCH] R&D: outline stack protection --- .../research_and_development.tex | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/src/docs/parts/research_and_development/research_and_development.tex b/src/docs/parts/research_and_development/research_and_development.tex index b72bc6e..05a831d 100644 --- a/src/docs/parts/research_and_development/research_and_development.tex +++ b/src/docs/parts/research_and_development/research_and_development.tex @@ -46,7 +46,18 @@ Guarantees to be statically checked: \subsection{Redox} \subsection{Tock} -\chapter{Introduce Preemptive \gls{OS}-Level Multitasking to \gls{imezzos}} +\chapter{\gls{imezzos}: Adding Preemptive \gls{OS}-Level Multitasking} + +\section{Timed Interrupts For Scheduling and Dispatching} +\section{Simple Stack Allocation Scheme} + +\section{Risk Of Stack-Overflow} +* TODO: The compiler doesn't check for stack overflows. +* TODO: Describe possible implementation. + Parameters: + Stack limit for each function: user defined constant, + Stack size for each function: calculated, + Call-Tree: calculated, \chapter{Result Generalization}