Back to Results
First PageMeta Content
Computer programming / Lock / Software transactional memory / Non-blocking algorithm / Linearizability / Readers–writer lock / Algorithmic efficiency / Skip list / Test-and-set / Concurrency control / Computing / Data management


Compiler Aided Manual Speculation for High Performance Concurrent Data Structures ∗ Lingxiang Xiang Michael L. Scott
Add to Reading List

Document Date: 2013-01-07 09:48:21

Open Document

File Size: 460,40 KB

Share Result on Facebook

City

Shenzhen / San Jose / /

Company

Checkpoint / STM / Lehman / Morgan Kaufmann Publishers Inc. / IBM Canada / Oracle Corp. / Intel / /

Currency

USD / /

/

Facility

University of Rochester / AS=atomic store / /

IndustryTerm

baseline algorithm / speculative search / source transformation tool / given chip / even software / remove algorithm / transformation algorithm / file systems / tree concurrency control algorithms / search structures / simpler coarse-grained algorithm / concurrent queue algorithms / source-to-source tool / search method / Software transactional memory / lock protocol / compiler tool / translation algorithm / search component / tree algorithm / concurrent binary search tree / memory management / fine-grained locking algorithm / linear search / search phase / /

NaturalFeature

Niagara / /

OperatingSystem

Linux / Gnu / /

Organization

National Science Foundation / Gelato Federation / University of Rochester / Lingxiang Xiang Michael L. Scott Computer Science Department / ded / /

Person

Michael L. Scott / P. Felber / V / M. Herlihy / V / Xiang Michael / /

Position

Code generation General / s→head / translator / head / pnext!=s→head / writer / extensions and source-to-source translator / programmer / Element head / /

Product

MSpec / Limitations Our / /

ProgrammingLanguage

Java / R / C / L / C++ / /

ProvinceOrState

California / /

PublishedMedium

The VLDB Journal / /

Technology

two UltraSPARC T2+ chips / lock protocol / baseline algorithm / Linux / J. Algorithms / translation algorithm / concurrent queue algorithms / shared memory / encryption / remove algorithm / java / two chips / simpler coarse-grained algorithm / fine-grained locking algorithm / B+ tree concurrency control algorithms / CSpec transformation algorithm / sequential consistency / tree algorithm / given chip / Parallel Processing / /

URL

http /

SocialTag