From ed463b71d6017383ca2f4d3469409273a61ca034 Mon Sep 17 00:00:00 2001 From: hsc Date: Wed, 6 Jun 2012 14:27:11 +0000 Subject: [PATCH] TODO git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1308 8c4709b5-6ec9-48aa-a5cd-a96041d1645a --- doc/todo.txt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/todo.txt b/doc/todo.txt index c44632f8..f4256f1c 100644 --- a/doc/todo.txt +++ b/doc/todo.txt @@ -9,8 +9,8 @@ Verrückte Ideen - Events fuer besondere Instruktionen (HLT?) - Backend-Schnittstelle (z.B. direkte Anbindung an Simulator vs. GDB-Schnittstelle zu Simulator vs. Anbindung an reale HW) von - Backend-Metainformationen (welche Register gibt es, wie breit ist der - Datenbus, welche Traps können ausgelöst werden) + Backend-Architektur (welche Register gibt es, wie breit ist der + Datenbus, welche Traps können ausgelöst werden, etc.) trennen ========================================================================================== @@ -36,7 +36,7 @@ Abstraktionen: - einheitliches Namensschema für Backend-Beeinflussungen (Interrupt-Synthese, Interrupt-Unterdrückung, Speicher schreiben, Register schreiben, ...) finden -> "Fehlerinjektion" ist das ja nicht immer - - (Allgemeine) Testfälle? + - (Allgemeine) Testfälle / Regression-Tests -> Modifikationen an FAIL* sind damit leichter zu verifizieren Events: @@ -66,7 +66,7 @@ Parallelisierung: * ETA bis Kampagne komplett - Client/Server-TCP-Verbindungen aufrechterhalten - die Möglichkeit schaffen, im Server mehr Informationen über einen Job - vorhält (und dann auch loggt), als man an den Client kommuniziert + vorzuhalten (und zu loggen), als man an den Client kommuniziert -> bei Fault-Space-Pruning hat man im Server Äquivalenzklassen, aus denen man nur einen einzelnen Parametersatz auswählt und dem Client zum Ausprobieren gibt; die Informationen über die Äquivalenzklasse müss(t)en @@ -88,7 +88,7 @@ Implementierungsdetails: Effizienz: - getrennte Queues? - - Queue-Suche optimieren (z.B. Hash-Idee)? + - Queue-Suche optimieren (Hashes, Sortierung, ...)? - boolean/Counter für Events (um Durchlaufen der Queue zu verhindern)? - Dynamic AspectC++ ausprobieren - Löschliste in EventList via Hashing implementieren (o.Ä.)?