Всем привет!
Рады пригласить вас на следующее выступление в рамках бесплатных
открытых лекций компании JetBrains.
Ближайшая встреча – 9 февраля, 6:30 pm, **Antwork Coworking Limassol
__Programming Language Memory Models: Problems, Solutions, and Directions. A talk by Anton Podkopaev
__**Язык встречи: английский. Для участия, пожалуйста,
зарегистрируйтесь.
Добавить в календарь
**Подробнее о лекции и авторе:
**Due to compiler and hardware optimizations, modern programming languages do not provide sequential consistent memory models. Instead, they have weak memory models that allow for more behaviors. Such memory models have to find the balance between performance and the guarantees provided to software developers, or, put another way, the balance needed is actually between performance and sanity.
In this talk, we’ll introduce weak memory concurrency, consider requirements imposed on programming language memory models, examine those used by industry (C11 and Java), including their drawbacks, and then discuss solutions proposed by the academic community. We’ll conclude with a discussion on how to choose the best memory model for your language or VM, depending on your requirements.
Anton Podkopaev is the head of the
Programming Languages and Tools Lab at JetBrains Research.
He was a postdoc at MPI-SWS after getting his PhD at St. Petersburg State University.
Anton works on rigorous mathematical specifications and proofs for realistic concurrency systems, including CPU architectures, such as x86, ARM, and Power, and languages like C/C++, Java, and JavaScript. His professional interests include proving compiler correctness, verifying concurrent algorithms in weak memory models, mechanizing proofs in interactive theorem provers, and functional programming.
До встречи!