Используя Парсек Haskell для парсинга двоичных файлов?
Парсек разработан для парсинга текстовой информации, но мне приходит в голову, что Парсек мог также подойти, чтобы сделать парсинг формата двоичного файла для сложных форматов, которые включают условные сегменты, неисправные сегменты, и т.д.
Существует ли способность сделать это или подобный, альтернативный пакет, который делает это? В противном случае, каков лучший способ в Haskell проанализировать форматы двоичного файла?
5 ответов
????????, ??? ???????????? AttoParsec , ???????, ? ?????, ??? ?????????? ??? ???? ????.
Он работает нормально, хотя вы можете использовать Parsec 3, Attoparsec или Iteratees. Использование Parsec в качестве промежуточного представления String может значительно увеличить объем памяти, в то время как остальные можно настроить на использование ByteStrings.
Итеративы особенно привлекательны, потому что легче гарантировать, что они не будут удерживать начало вашего ввода и могут получать порции данных постепенно, когда они становятся доступными. Это избавляет вас от необходимости заранее считывать весь ввод в память и позволяет избежать других неприятных обходных путей, таких как ленивый ввод-вывод.
Ключевые инструменты для синтаксического анализа двоичных файлов:
Binary - наиболее общее решение, Cereal отлично подходит для данных ограниченного размера, а attoparsec отлично подходит например, для парсинг пакетов. Все это нацелено на очень высокую производительность, в отличие от Parsec. Также есть много примеров взлома.
Наилучший подход зависит от формата двоичного файла.
Многие двоичные форматы предназначены для облегчения синтаксического анализа (в отличие от текстовых форматов, которые в первую очередь предназначены для чтения людьми). Таким образом, любому типу данных объединения будет предшествовать дискриминатор, который сообщает вам, какой тип следует ожидать, все поля либо имеют фиксированную длину, либо им предшествует поле длины, и так далее. Для такого рода данных я бы рекомендовал Data.Двоичный; обычно вы создаете соответствующий тип данных Haskell для каждого типа в файле, а затем делаете каждый из этих типов экземпляром Binary. Определите метод чтения для чтения; он возвращает действие монады «Получить», которое по сути является очень простым синтаксическим анализатором. Вам также нужно будет определить метод «положить».
С другой стороны, если ваши двоичные данные не вписываются в такой мир, вам понадобится attoparsec. Я никогда этим не пользовался, поэтому не могу комментировать дальше, но это сообщение в блоге очень положительное.