Back to Results
First PageMeta Content
Memory barrier / Non-blocking algorithm / Linearizability / Test-and-set / Load-link/store-conditional / Lock / Parallel computing / Spinlock / ABA problem / Concurrency control / Computer architecture / Computing


Synchronising C/C++ and POWER Susmit Sarkar1 1 2 Kayvan Memarian1
Add to Reading List

Document Date: 2012-03-26 05:14:09

Open Document

File Size: 217,82 KB

Share Result on Facebook

City

Beijing / /

Company

IBM / IBM POWER / /

Country

China / /

Currency

USD / /

/

Event

Product Issues / Product Recall / /

Facility

Kayvan Memarian1 Scott Owens1 Mark Batty1 Luc Maranget2 Jade Alglave3 Derek Williams4 University of Cambridge / Peter Sewell1 University of Oxford / A store / /

IndustryTerm

web interface / concurrent algorithms / model exploration tool / hardware machinery / lock-free algorithms / large-scale software development / software side / machinery / thread-crossing store/load communications / ppcmem web interface / cache protocol / model tool / search space / /

MusicGroup

POWER / /

OperatingSystem

Linux / /

Organization

Peter Sewell1 University of Oxford / Kayvan Memarian1 Scott Owens1 Mark Batty1 Luc Maranget2 Jade Alglave3 Derek Williams4 University of Cambridge / /

Person

Stream Architectures (Multiprocessors) / Austin / /

Position

g /

Product

sequenced-before / Architecture / /

ProgrammingLanguage

Java / R / C / C++ / /

ProvinceOrState

South Carolina / /

Technology

Alpha / Java / Linux / Caching / sequential consistency / cache protocol / Shared memory / /

SocialTag