- Title Information
- Title
- Adapting Persistent Data Structures for Concurrency and Speculation
- Name:
Personal
- Name Part
- Dickerson, Thomas D
- Role
- Role Term:
Text
- creator
- Name:
Personal
- Name Part
- Herlihy, Maurice
- Role
- Role Term:
Text
- Advisor
- Name:
Personal
- Name Part
- Fonseca, Rodrigo
- Role
- Role Term:
Text
- Reader
- Name:
Personal
- Name Part
- Koskinen, Eric
- Role
- Role Term:
Text
- Reader
- Name:
Corporate
- Name Part
- Brown University. Department of Computer Science
- Role
- Role Term:
Text
- sponsor
- Origin Information
- Copyright Date
- 2019
- Physical Description
- Extent
- xii, 102 p.
- digitalOrigin
- born digital
- Note:
thesis
- Thesis (Ph. D.)--Brown University, 2019
- Genre (aat)
- theses
- Abstract
- This work unifies insights from the systems and functional programming communities, in order to enable compositional reasoning about software which is nonetheless efficiently realizable in hardware. It exploits a correspondence between design goals for efficient concurrent data structures and efficient immutable persistent data structures, to produce novel implementations of mutable concurrent trees with low contention and an efficient snapshot operation to support speculative execution models. It also exploits commutativity to characterize a design space for integrating traditional high-performance concurrent data structures into Software Transactional Memory (STM) runtimes, and extends this technique to yield a novel algorithm for concurrent execution of so-called "smart contracts" (specialized programs which manipulate the state of blockchain ledgers).
- Subject (fast)
(authorityURI="http://id.worldcat.org/fast", valueURI="http://id.worldcat.org/fast/01728115")
- Topic
- Computer multitasking
- Subject (fast)
(authorityURI="http://id.worldcat.org/fast", valueURI="http://id.worldcat.org/fast/00887978")
- Topic
- Data structures (Computer science)
- Subject (fast)
(authorityURI="http://id.worldcat.org/fast", valueURI="http://id.worldcat.org/fast/00936086")
- Topic
- Functional programming (Computer science)
- Subject (fast)
(authorityURI="http://id.worldcat.org/fast", valueURI="http://id.worldcat.org/fast/01981761")
- Topic
- Blockchains (Databases)
- Subject
- Topic
- Smart Contracts
- Subject
- Topic
- Software Transactional Memory
- Language
- Language Term (ISO639-2B)
- English
- Record Information
- Record Content Source (marcorg)
- RPB
- Record Creation Date
(encoding="iso8601")
- 20190603
- Identifier:
DOI
- 10.26300/mrtg-sy85
- Access Condition:
rights statement
(href="http://rightsstatements.org/vocab/InC/1.0/")
- In Copyright
- Access Condition:
restriction on access
- Collection is open for research.
- Type of Resource (primo)
- dissertations