Mark Blyther
Showing 1–2 of 2 transcripts.
- Jane Street1h 23m
Memory Management with Stephen Dolan
Stephen Dolan, KC Sivaramakrishnan, Ron Minsky, Mark Mandelmann, Simon Hughes, Matt Sullivan, Mark Blyther, Paul Lewisohn, Simon Verstraeteker
Stephen Dolan discusses advanced optimizations in the OCaml language, detailing how generational, incremental garbage collection and software pre-fetching reduce memory access latency by up to 90%. He introduces local types and unboxed representations to enable safe stack allocation and native memory layouts, thereby eliminating heap overhead for temporary values while maintaining automatic memory safety without manual lifetime annotations. The presentation concludes with a roadmap for integrating multi-core garbage collection and lifting GC barriers to support denser data structures, balancing performance with ergonomic simplicity.
- Jane Street1h 1m
What is an Operating System? with Anil Madhavapeddy
Anil Madhavapeddy, Ron Minsky, Mark Mandelbaum, Mark Blyther
Mirage OS is a pure OCaml unikernel framework that compiles applications into minimal, single-purpose binaries by linking only essential drivers and protocol stacks directly to the kernel. Since its origins as a Cambridge research project to verify high-level language performance, the system has achieved significant industrial adoption, powering Docker for Mac and Windows, Tezos blockchain nodes, and energy-efficient solar sensor networks. By utilizing a library operating system model and advanced features like the LDRF memory model, Mirage delivers enhanced security through a reduced attack surface while enabling scalable multi-core execution in upcoming language releases.