Сага о многоядерном OCaml

Jane Street — это компания, занимающаяся электронной торговлей, которая использует системы торговли с низкой задержкой, разработанные на OCaml, для обеспечения ликвидности на финансовых рынках по всему миру. В декабре 2022 года, после почти десяти лет разработки, был выпущен OCaml 5.0 с первой средой выполнения OCaml, способной работать на многоядерных процессорах. Это стало важной вехой, наконец-то позволившей писать параллельные программы с общей памятью на OCaml. Новая среда выполнения была разработана таким образом, чтобы её было легко внедрить: она не нарушала работу FFI OCaml, а производительность в одноядерном режиме должна была быть всего на несколько процентных пунктов ниже. Несмотря на эти многообещающие начинания, переход на среду выполнения 5 в Jane Street оказался сложнее, чем мы ожидали. Действительно, мы перешли на неё только в этом году, после 2,5 лет исследований и инженерных работ. В этом докладе будет представлен обзор проблем, с которыми мы столкнулись, и того, чему мы научились в процессе, включая некоторые новые идеи, которые решили очень старые проблемы в проектировании сборщика мусора OCaml. Полную расшифровку можно прочитать здесь: https://www.janestreet.com/tech-talks...