Promising 2.0: global optimizations in relaxed memory concurrency
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
Abstract
For more than fifteen years, researchers have tried to support global optimizations in a usable semantics for a concurrent programming language, yet this task has been proven to be very difficult because of (1) the infamous “out of thin air” problem, and (2) the subtle interaction between global and thread-local optimizations.
Topics & Concepts
Computer scienceConcurrencyUSableThread (computing)Programming languageConcurrent computingSemantics (computer science)Shared memoryParallel computingDistributed computingConcurrency controlWorld Wide WebDatabase transactionParallel Computing and Optimization TechniquesDistributed systems and fault toleranceLogic, programming, and type systems