Управление памятью со Стивеном Доланом

Стивен Долан работает в команде «Инструменты и компиляторы» компании Jane Street, где занимается компилятором OCaml. В этом эпизоде ​​Стивен и Рон вспоминают прошлое, обсуждая, как эффективно и безопасно управлять компьютерной памятью. Они рассматривают компромиссы между подсчетом ссылок и сборкой мусора, неожиданные преимущества, достигаемые за счет предварительной выборки, и то, как новые языковые возможности, такие как локальное выделение памяти и неупакованные типы, могут дать пользователям OCaml больше контроля над своей памятью. Некоторые ссылки на темы, которые обсуждались: Командный процессор JSON Стивена, jq: https://github.com/stedolan/jq Диссертация Стивена в Кембридже, «Алгебраическая подтипизация»: https://www.cs.tufts.edu/~nr/cs257/ar... и прототип реализации mlsub: https://github.com/stedolan/mlsub, языка, основанного на этих идеях. Статья Стивена о том, как проводить сравнительный анализ различных распределителей памяти: https://blog.janestreet.com/memory-al... Технический доклад Jane Street на тему «Распакованные типы для OCaml»: https://www.janestreet.com/tech-talks... RFC в репозитории OCaml RFC: https://github.com/ocaml/RFCs/blob/88... Статья Стивена и К.С. Сиварамакришнана (https://kcsrk.info/) под названием «Ограничение гонок данных в пространстве и времени», посвященная новой и улучшенной модели памяти для многоядерного OCaml: https://kcsrk.info/papers/pldi18-memo... Еще одна статья, описывающая проектирование многоядерного сборщика мусора OCaml: https://arxiv.org/pdf/2004.11663.pdf RFC для Rust по ограничениям для трейтов более высокого ранга: https://rust-lang.github.io/rfcs/0387... Вы можете найти расшифровку этого эпизода и всех предыдущих эпизодов на signalsandthreads.com.