Mapreduce Examples analysieren - Githubissues

gobo7793 / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.

http://safetysharp.isse.de/wiki

MIT License

0 stars 0 forks source link

Mapreduce Examples analysieren #42

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Prüfen, was die MapReduce Examples alles können, siehe #16

gobo7793 commented 6 years ago

Die meisten sind einmal durchgelaufen (Ausgabedateien nicht analysiert) und kategorisiert:

I/O-Analyse (Analyse von Dateiinhalten, zB Wordcount)
I/O-Generierung (Generierung von Daten, zB Randomwriter)
Sortieren (Sortieren von Daten, zB Sort)
Berechnungen (Durchführen von Berechnungen, zB Pi-Berechnung)

Als Sonderfall sind die Terasort-Programme zu sehen:

Teragen: Generierung der Daten (I/O-Generierung)
Terasort: Sortierung selbst (Sortieren)
Teravalidate: Validierung der Sortierung (I/O-Analyse)

Fehler bei der Ausführung hatten:

dbcount (notwendige Datenbank HSQLDB nicht gestartet)
distbbp

Generierung der Eingabedaten manuell nötig, daher erstmal nicht ausgeführt:

join
secondarysort
sudoku