Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Khalanskiy, Dmitry"'
Writing concurrent code that is both correct and efficient is notoriously difficult. Thus, programmers often prefer to use synchronization abstractions, which render code simpler and easier to reason about. Despite a wealth of work on this topic, the
Externí odkaz:
http://arxiv.org/abs/2111.12682
