4 ms·
Signals and Threads had an interview with Anil Madhavapeddy last year: https://signalsandthreads.com/what-is-an-operating-system/ https://signalsandthreads.com
by nequo 4y ago
Signals and Threads had an interview with Anil Madhavapeddy last year:
https://signalsandthreads.com/what-is-an-operating-system/ https://signalsandthreads.com/what-is-an-operating-system/
He talked about the work to put a multicore-ready memory model[1] and GC[2] under OCaml.
[1] https://anil.recoil.org/papers/2018-pldi-memorymodel.pdf https://anil.recoil.org/papers/2018-pldi-memorymodel.pdf
[2] https://arxiv.org/abs/2004.11663 https://arxiv.org/abs/2004.11663
- inbx0 4y agoOfftopic, but Signals and Threads is my absolute favourite programming podcast, maybe even favourite podcast overall. They go into interesting topics deeply, instead of the way too common "interviewer read the summary of the wikipedia page about the subject and is now interviewing someone who actually read the entire page." Hoping they'll get more content out soon.
- dimitropoulos 4y agothanks for mentioning this! I've been looking for a new one that's good. Even if they're behind schedule, it looks like I've got some catching up to do to keep me busy in the meantime.
- mirekrusin 4y agoYaron Minsky is such a charismatic speaker, watched all his recordings you can find on internet more times that I’d like to admit, s&t is great.
- nielsole 4y agoThey are doing a really good job at employer branding. They make the requirements/constraints of the finance industry sound interesting. A field that cares about correctness, ordering and accurate clocks.
- forkbomb123 4y agoJust FYI the talk about multicore starts at 44:22
- sadiq 4y agoOne thing to point out to anyone listening to that episode is that at the time the plan was to only upstream the multicore GC for 5.0 and then follow up with effects. Instead they both went in to 5.0. (Was a very enjoyable episode though!)