Type-aware transactions for faster concurrent code
| Autor: | Liuba Shrira, Barbara Liskov, Lillian Tsai, Jeevana Priya Inala, Eddie Kohler, Yihe Huang, Nathaniel Herman |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Semantics (computer science)
Programming language Computer science Suite 020207 software engineering 02 engineering and technology Commit Software_PROGRAMMINGTECHNIQUES computer.software_genre Concurrency control 020204 information systems 0202 electrical engineering electronic engineering information engineering Code (cryptography) Benchmark (computing) Operating system Software transactional memory computer Protocol (object-oriented programming) |
| Zdroj: | EuroSys |
| DOI: | 10.1145/2901318.2901348 |
| Popis: | It is often possible to improve a concurrent system's performance by leveraging the semantics of its datatypes. We build a new software transactional memory (STM) around this observation. A conventional STM tracks read- and write-sets of memory words; even simple operations can generate large sets. Our STM, which we call STO, tracks abstract operations on transactional datatypes instead. Parts of the transactional commit protocol are delegated to these datatypes' implementations, which can use datatype semantics, and new commit protocol features, to reduce bookkeeping, limit false conflicts, and implement efficient concurrency control. We test these ideas on the STAMP benchmark suite for STM applications and on our own prior work, the Silo high-performance in-memory database, observing large performance improvements in both systems. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|