Initial commitHEADmaster

1 files changed, 20 insertions, 0 deletions

diff --git a/TODO b/TODO
new file mode 100644
index 0000000..7ce3f28
--- /dev/null
+++ b/TODO
@@ -0,0 +1,20 @@
+* todos
+  1. Parser
+     1. selective rule overwriting
+     2. define space requirements (especially 1-bit-bools)
+  2. Sicherheitsmassnahmen gegen Datenzerstoerung
+     * Logs der ausgefuehrten Kommandos
+  3. PLAs refractorn zur nutzung von pla_filter_{prop,quant}
+  4. child-readbaility bzw. on-modifabilty deduzieren und bei
+     Verletzungen warnen
+* Checks:
+  1. PLA_get/set/evolve pruefen bei read only continous values: time_t ist Time (nicht void), wird aber beim Zugrif nicht genutzt
+  2. alle sync()'s: werden die tiefer liegenden Barriers korrekt besetzt?
+
+* Optimierungen:
+  1. Konstanten als quantor class (WORM)
+  2. MAP_HUGETLB (ab 2.6.32) ... if it can be made swappable (or sim
+     is small enough)
+  3. (gcc 07/2011) builtin align for data storage
+  4. GCC 4.6: -Wsuggest-attribute=[const|pure|noreturn]
+