christoph/fail
1
Fork 0
Code Actions Packages Releases Activity

TODO

Browse Source 
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1308 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
hsc
2012-06-06 14:27:11 +00:00
parent 9a47d75f9a
commit ed463b71d6
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
doc/todo.txt
View File

@ -9,8 +9,8 @@ Verrückte Ideen
- Events fuer besondere Instruktionen (HLT?) - Events fuer besondere Instruktionen (HLT?)
- Backend-Schnittstelle (z.B. direkte Anbindung an Simulator vs. - Backend-Schnittstelle (z.B. direkte Anbindung an Simulator vs.
GDB-Schnittstelle zu Simulator vs. Anbindung an reale HW) von GDB-Schnittstelle zu Simulator vs. Anbindung an reale HW) von
Backend-Metainformationen (welche Register gibt es, wie breit ist der Backend-Architektur (welche Register gibt es, wie breit ist der
Datenbus, welche Traps können ausgelöst werden) Datenbus, welche Traps können ausgelöst werden, etc.) trennen
========================================================================================== ==========================================================================================
@ -36,7 +36,7 @@ Abstraktionen:
- einheitliches Namensschema für Backend-Beeinflussungen (Interrupt-Synthese, - einheitliches Namensschema für Backend-Beeinflussungen (Interrupt-Synthese,
Interrupt-Unterdrückung, Speicher schreiben, Register schreiben, ...) finden Interrupt-Unterdrückung, Speicher schreiben, Register schreiben, ...) finden
-> "Fehlerinjektion" ist das ja nicht immer -> "Fehlerinjektion" ist das ja nicht immer
- (Allgemeine) Testfälle? - (Allgemeine) Testfälle / Regression-Tests
-> Modifikationen an FAIL* sind damit leichter zu verifizieren -> Modifikationen an FAIL* sind damit leichter zu verifizieren
Events: Events:
@ -66,7 +66,7 @@ Parallelisierung:
* ETA bis Kampagne komplett * ETA bis Kampagne komplett
- Client/Server-TCP-Verbindungen aufrechterhalten - Client/Server-TCP-Verbindungen aufrechterhalten
- die Möglichkeit schaffen, im Server mehr Informationen über einen Job - 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 -> bei Fault-Space-Pruning hat man im Server Äquivalenzklassen, aus denen
man nur einen einzelnen Parametersatz auswählt und dem Client zum man nur einen einzelnen Parametersatz auswählt und dem Client zum
Ausprobieren gibt; die Informationen über die Äquivalenzklasse müss(t)en Ausprobieren gibt; die Informationen über die Äquivalenzklasse müss(t)en
@ -88,7 +88,7 @@ Implementierungsdetails:
Effizienz: Effizienz:
- getrennte Queues? - 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)? - boolean/Counter für Events (um Durchlaufen der Queue zu verhindern)?
- Dynamic AspectC++ ausprobieren - Dynamic AspectC++ ausprobieren
- Löschliste in EventList via Hashing implementieren (o.Ä.)? - Löschliste in EventList via Hashing implementieren (o.Ä.)?