Jump to content

Draft:Elixir/bzip2-ex

From ludd
Revision as of 08:26, 14 February 2025 by Adamw (talk | contribs) (rewrite)

A chronicle of my first Erlang/Elixir library binding (NIF).

Adam Wight, Sept 2022



Problem statement

Phap Nang Ngam Nai Wannakhadi (1964, p 60). [This painting is not titled, "Picking the low-hanging fruit". -AW

I wanted to process some large, compressed files containing Wikipedia content[1], which couldn't be expanded in place. The typical approach to this problem is to stream the decompressed data through the desired analysis in memory and then throw it away.

Decompression can be accomplished by piping through an external, command-line tool or by reading the file using a native Elixir codec. In my case, I chose to mix these approaches by untarring through tar using a Port, but use a native bzip2 library to perform the decompression.

In hindsight, it would have been much simpler to use command-line bunzip2. The native library should make it possible to use backpressure and concurrency. But mostly I just got excited about a small gap in the BEAM ecosystem and wanted to teach myself how to write an Erlang native implemented function, or NIF[2].

How hard could it be to write a little binding...

Mysteries of libbzip2

The first interesting obstacle was that development of official bzip2 has stopped at the last stable release, with v1.0.x in 2019.[3] A new group of people has been working towards a fork[4] that they're calling version "1.1" but hopefully will avoid breaking changes to the programming interface. This is still unreleased as of 2025.

The second point worth mentioning is that the bzip2 file format has no formal specification. This situation is pretty common and I can't complain, because there's a brilliant reverse-engineering[5] effort which included the details I needed.

High- or low-level integration?

As I mentioned, my own project was already in hard mode due to the decision to write a NIF at all. But there was a second choice, between a the libbzip2 high-level interface[6] which does everything for you: open the file and return its contents decompressed, or the low-level interface[7] which works with block or even sub-block chunks of data.

Here I learned the most important requirement of a NIF binding: it does work within the BEAM memory and process space but it must return control to the Elixir scheduler within a very short time period, less than 100ms or so. Low-level it is, then!

Native implemented function (NIF)

TODO...

Parallel processing

TODO: Stream vs block, what can write multiple streams, what are the challenges of detecting blocks...

References