Tag: operating systems
Episode 371: Howard Chu On the Lightning Memory-Mapped Database (LMDB)
Howard Chu, CTO of Symas Corp and chief architect of the OpenLDAP project, discusses the key technical features of the Lightning Memory-mapped Database (LMDB) that make it one of the fastest, most efficient, and safest embedded data stores in the world. Host Gavin Henry spoke with Chu about B+tree data structures, multi-version concurrency control, memory-mapped […]
Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language
Robert talks to Dr. Anil Madhavapeddy of the Cambridge University (UK) Systems research group about the OCaml language and the Mirage cloud operating system, a microkernel written entirely in OCaml. The outline includes: history of the evolution from dedicated servers running a monolithic operating system to virutalized servers based on the Xen hypervisor to micro-kernels; […]
