Non-Imperative Network Programming

on YouTube ↗33m

" summary

Claims that full network stacks work in OCaml via MirageOS and unikernels, replacing sockets with explicit module types that expose concrete APIs (flow, TCP create_connection, callbacks). Demonstrations include a tiny TCP discard server (port 9), pluggable virtual NICs and lossy links for tests, and substitutable RNGs/clocks to speed timeouts. Surprising measurement: sysctl shows 688 tunables to the kernel. Overall the tools let teams build unikernels and predictable stacks that are easier to test and reason about.

AI-written summary · about

" chapters (9)

1. 0:00NON-IMPERATIVE NETWORK PROGRAMMING
2. 0:15DISCLAIMERS
3. 4:09SOME SOCKET FUNCTIONS
4. 9:33ABSTRACTIONS FOR EVERYONE!
5. 12:17IMPOSING STRUCTURE
6. 17:19HOW DO WE RUN SERVERS?
7. 18:51A TRIMAL SERVER
8. 21:23FULL-STACK DEVELOPERS
9. 27:01INSTRUMENTATION

" related talks

• 01h 06mCompile your own cloud with Mirage OS v2.0Thomas Gazagnaire · Functional Conf 2014
• 25mUnikernels and why they're useful (or not)Amir Chaudhry · Full Stack Fest 2016
• 07mLightning Talk: Optimizing Security Container Runtime's Network Performance with Modular Plugin TCP/IP StackAnqi Shen · Container Plumbing Days 2024
• 54mThe Linux Network StackFlorian Westphal · FrOSCon 2015
• 12mAutomated Synthesis of Verified FirewallsAdam Chlipala, Clément Pit-Claudel, Shardul Chiplunkar · POPL 2021
• 30mVerifying Reliable Network Components in a Distributed Separation Logic with Dep...Lars Birkedal, Amin Timany, Jonas Kastberg Hinrichsen, Léon Gondelman, Mário Pereira · ICFP 2023
• 12mAutomated Synthesis of Verified FirewallsAdam Chlipala, Clément Pit-Claudel, Shardul Chiplunkar · CoqPL 2021
• 28m"Safety in an Unsafe World"Joshua Liebow-Feeser · RustConf 2024