一句话：提出基于数据抽象的软件事务对象（STO），利用数据类型语义降低事务开销并提升多核并发程序性能。
该演讲关注多核计算机上高效并发程序的实现。传统软件事务内存（STM）以内存字为粒度跟踪读写，可能带来较高开销并产生伪冲突。作者提出软件事务对象（STO），以数据抽象为基础，让事务感知的数据类型实现能够利用数据类型语义减少簿记、限制伪冲突并实现高效并发控制。其目标是在模块化与封装的基础上，同时提供良好的性能和正确性。摘要未给出具体实验或基准结果，主要阐述设计思路及其相对传统 STM 的潜在优势。
This talk describes a new approach to implementing efficient concurrent programs that run on multicore computers. The approach is inspired by work on software transactional memory, and like that work aims to make it easier to write correct concurrent programs through the use of atomic transactions. A conventional STM tracks reads and writes of memory words, which can lead to high overhead. Our approach, called STO (software transactional objects), is based on data abstraction instead. Implementations of transactionaware datatypes can take advantage of datatype semantics to reduce bookkeeping, limit false conficts, and implement efficient concurrency control. This way we can provide both good performance and correctness based on modularity and encapsulation.
DOI 原文 ·
@inproceedings{paperbot4854,
title = {Keynote},
author = {Barbara Liskov},
booktitle = {ASPLOS},
year = {2019},
doi = {10.1145/3297858.3304078}
}