AI 中文总结
研究针对STM系统存在的安全性、可用性和通用性问题，提出轻量级高效的uSTM系统，支持通用类型且保持数据布局，延迟中止，实现新颖时间戳算法，经比较在多种工作负载上性能匹配或超越先进系统。
AI 中文摘要
软件事务内存（STM）系统允许开发人员通过将任意顺序代码包装在并发执行的事务中来更轻松地利用多核架构。近年来，STM系统的性能通过避免不必要中止和利用底层数据结构语义的技术已接近手工调整的数据结构。然而，大多数STM系统未完全解决安全性、可用性和通用性问题，如对事务更新数据类型有限制，还会在客户端代码中间中止事务导致问题。我们提出uSTM，一个解决所有这些缺点且性能出色的新颖STM系统，代码约300行。uSTM支持通用类型并保持数据布局，中止延迟到事务结束，允许事务内客户端代码正常终止。为确保uSTM保证不透明性，我们实现了一种名为拆分增量时间戳的新颖时间戳算法。我们将uSTM与各种先进STM系统比较，表明uSTM在各种工作负载上匹配或优于先进系统。
英文摘要
Software Transactional Memory (STM) systems allow developers to more easily exploit multicore architectures by wrapping arbitrary sequential code in transactions that are executed concurrently. In recent years, the performance of STM systems has approached that of hand-tuned data structures through techniques that avoid unnecessary aborts and exploit the semantics of underlying data structures. Despite achieving excellent performance, most STM systems do not fully address the concerns they targeted in the first place: safety, usability, and generality. In particular, these systems place restrictions on the data types that may be updated transactionally, such as requiring that these types fit within a word, and can require modification of data layout. Moreover, most STM systems abort transactions in the middle of client code to ensure correctness. This can cause space leaks and other bugs not present in the original code. We present ustm, a novel STM system addressing all of these shortcomings while still maintaining excellent performance, all within ~300 lines of code. uSTM supports general types while maintaining data layout. Aborts are deferred until the end of the transaction, allowing client code within a transaction to terminate normally. To ensure that uSTM guarantees opacity, we implement a novel timestamping algorithm we call split-increment timestamps. We compare the performance of uSTM to a variety of state-of-the-art (SOTA) STM systems, demonstrating that uSTM matches or outperforms the SOTA on a variety of workloads.
