Verwenden von Haskells Parsec zum Analysieren von Binärdateien?

Question

Parsec ist so konzipiert, Textinformationen zu analysieren, aber es fällt mir ein, dass Parsec auch geeignet sein könnte Binärdateiformat Parsen für komplexe Formate, die beinhalten bedingte Segmente, Out-of-Order-Segmente etc.

Gibt es zu tun eine Fähigkeit, dies oder ein ähnliches, alternatives Paket zu tun, das dies tut? Wenn nicht, was ist der beste Weg in Haskell, binäre Dateiformate zu analysieren?

Answer 1

Sie könnten daran interessiert sein, AttoParsec, die für diesen Zweck entwickelt wurde, denke ich.

Answer 2

Ich habe Data Binary erfolgreich verwendet.

Answer 3

Es funktioniert gut, obwohl Sie Parsec 3, Attoparsec oder Iteratees verwenden möchten. Die Abhängigkeit von Parsec von String als Zwischendarstellung kann den Speicherbedarf erheblich aufblähen, während die anderen für die Verwendung von ByteStrings konfiguriert werden können.

Iteratees sind besonders attraktiv, da es einfacher ist, sicherzustellen, dass sie nicht am Anfang Ihrer Eingabe stehen bleiben und Datenblöcke inkrementell zugeführt werden können, wenn sie verfügbar sind. Dies verhindert, dass Sie im Voraus die gesamte Eingabe in den Speicher lesen müssen, und Sie können andere scheußliche Workarounds wie Lazy IO vermeiden.

Answer 4

Der beste Ansatz hängt vom Format der Binärdatei ab.

Viele Binärformate wurden entwickelt, um das Parsen zu vereinfachen (im Gegensatz zu Textformaten, die hauptsächlich von Menschen gelesen werden sollen). Jedem Vereinigungsdatentyp wird also ein Diskriminator vorangestellt, der Ihnen sagt, welcher Typ erwartet werden soll, alle Felder haben entweder eine feste Länge oder ein Längenfeld, und so weiter. Für diese Art von Daten würde ich Data.Binary empfehlen; In der Regel erstellen Sie für jeden Typ in der Datei einen passenden Haskell-Datentyp und machen dann jeden dieser Typen zu einer Instanz von Binary. Definieren Sie die "get" -Methode zum Lesen; Es gibt eine "Get" -Monad-Aktion zurück, die im Grunde genommen ein sehr einfacher Parser ist. Sie müssen auch eine "Put" -Methode definieren.

Auf der anderen Seite, wenn Ihre Binärdaten nicht in diese Art von Welt passen, dann brauchen Sie attoparsec. Ich habe das nie benutzt, also kann ich nicht weiter kommentieren, aber this blog post ist sehr positiv.

Answer 5

Die wichtigsten Werkzeuge für binäre Dateien Parsen sind:

• Data.Binary
• cereal
• attoparsec

Binary die allgemeinste Lösung ist, Getreide für begrenzte Datengrößen groß sein kann, und attoparsec ist vollkommen in Ordnung für zB Parsing von Paketen. Alle diese sind im Gegensatz zu Parsec auf eine sehr hohe Leistung ausgerichtet. Es gibt viele Beispiele für Hacker.