package decompress

  1. Overview
  2. Docs
Implementation of Zlib in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

decompress-v0.9.0.tbz
sha256=70dd782b258a51a37c3971b9bd96c656b161876d781e168a626e9bb437833e3b
sha512=34033405c8dca30f67c39cad8f50875e255644d0e0b88019091d59932aaf90d87445070228291b1d3d1c07a98ce97aeca11554daf1a8f3b04d043b4f6c1ab83c

Description

Decompress is an implementation of Zlib in OCaml

It provides a pure non-blocking interface to inflate and deflate data flow.

Published: 11 Jul 2019

README

Decompress - Pure OCaml implementation of Zlib

Decompress is a pure implementation of zlib. The goal is to create an available package for Mirage OS which implements zlib in OCaml (instead a C code).

We respect the interface of zlib and all flush mode is available (experimental):

  1. sync performs the following tasks:

  • if there is some buffered but not yet compressed data, then this data is compressed into one or several blocks

  • a new type 0 block with empty contents is appended

  1. partial is a deprecated flush method

  2. full is a variant of the sync method flush. The difference lies in the LZ77 step. The full flush is a sync flush where the dictionary is emptied: after a full flush, the deflater will refrain from using copy symbols which reference sequences appearing before the flush point.

The interface proposed is a non-blocking interface.

Home page: http://din.osau.re/

Contact: Romain Calascibetta <romain.calascibet ta@gmail.com>

Installation

Decompress can be installed with opam:

opam install decompress

Checkseum & Optint, linking with Decompress

From benchmarks, the biggest bottleneck of decompress seems to be the computation of the ADLER-32. From this acknowledge, we decide to externalize this part of decompress to 2 sub-libraries: checkseum and optint.

checkseum (and, by this way, decompress) uses a trick about linking and let the end-user to choose which implementation he wants. We provide 2 implementations: checkseum.c and checkseum.ocaml. Currently, decompress does not choose an implementation.

When you want to use decompress, you must choose which implementation you want and link with decompress and checkseum.{c,ocaml}.

NOTE: currently the end-user need to put checkseum.{c,ocaml} as the first dependency before decompress in dune file, like:

(executable
 ((name ...)
  (libraries (checkseum.c decompress))))

Otherwise, the end-user should have a linking error (see #47).

RFC 1951

This distribution provides an implementation of zlib and an implementation of RFC 1951 - which is a subset of zlib. You can use both if you link with decompress - or just use the RFC 1951 implementation by the rfc1951 package.

The biggest difference between zlib and rfc1951 is:

  • no header

  • input/output is not aligned on byte

  • no checksum

Sample programs

A good example is provided in bin/easy.ml with the signature:

val compress   : ?level:int -> string -> string
val uncompress : string -> string

And you can compile this program with:

ocamlbuild -use-ocamlfind -package checkseum.c,decompress bin/easy.native

But keep in your mind, it's an easy example and it's not optimized for a productive environment - so, don't copy/paste and think.

Build Requirements

  • OCaml >= 4.03.0

  • base-bytes meta-package

  • Bigarray module (provided by the standard library of OCaml)

  • dune to build the project

  • checkseum & optint to compute ADLER-32 checksum

Dev Dependencies (4)

  1. bos with-test
  2. alcotest with-test
  3. re with-test & >= "1.7.2"
  4. camlzip with-test & >= "1.07"

Used by (3)

  1. albatross < "1.1.0"
  2. git >= "2.1.0" & < "3.3.1"
  3. rfc1951 = "0.9.0"

Conflicts

None

OCaml

Innovation. Community. Security.