Performance and Testing of an Open Source Erlang TCP/IP Stack

Thomas Arts
Fault Free Software Creator

Erlang fits very well for protocol implementation, even protocols like TCP/IP.

Recently, the Erlang TCP/IP implementation from research at the university of A Coruna (UDC) became open source.

The TCP/IP protocol is not an easy protocol to implement and replacing the well known TCP/IP stacks with a new open source implementation is a risk for Otolonetworks. To mitigate that risk, the stack was extensively tested with QuickCheck. The concurrency errors initially found have been fixed and we trust this stack to be conform the protocol specifications.
The second obvious concern may be its performance. Otolonetworks validated the performance by comparing it with the kernel stack as well as running on OSv. In this talk we report on our findings.

Talk objectives:

  • Learn how to test difficult protocols.

Target audience:

  • Erlang developers
  • Protocol developers
Slides

Thomas Arts, co-founder and CTO of Quviq, has worked at Ericsson's computer Science Lab in the nineties. Together with Joe Armstrong, Simon Marlow and Phil Wadler, he tried to build a type system for Erlang. That being of little practical use, he later worked on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools.


GitHub: Quviq

Twitter: @quviq

Back to conference page