![Mathematics / Software engineering / Concurrent computing / Application programming interfaces / Commutative property / Symmetry / Boolean algebra / POSIX / Lock / Computing / Concurrency control / Transaction processing Mathematics / Software engineering / Concurrent computing / Application programming interfaces / Commutative property / Symmetry / Boolean algebra / POSIX / Lock / Computing / Concurrency control / Transaction processing](https://www.pdfsearch.io/img/e3363ebc0955f661da8400d297c56851.jpg)
| Document Date: 2015-03-27 16:16:57 Open Document File Size: 261,08 KBShare Result on Facebook
City Rappoport / Farmington / / Company Designing Scalable Software / / Country United States / / IndustryTerm software transactional memory / disjointaccess-parallel memory systems / multicore processors / systems software / shared-memory multicore processor / software starting / shared abstractions using distributed systems / updates during faults and network / multicore software / software interfaces / coherence protocol / memory systems / symbolic execution systems / software interface / design-level solutions / software development / / OperatingSystem Unix / Linux / Unix-like / Microsoft Windows / POSIX / / Organization Harvard University / MIT / / Person Nickolai Zeldovich / M. Frans Kaashoek / A NALYZER / Paul McKenney / Eddie Kohler / Austin T. Clements / Robert T. Morris / C OMMUTER / / Position author / owner/author / model / system designer / Implementation Python model / symbolic model / simplified model / interface model / / ProgrammingLanguage Python / / ProvinceOrState Pennsylvania / / Technology shared memory system / Unix / Linux / API / shared-memory multicore processor / MESI-like protocol / coherence protocol / virtual memory system / multicore processors / virtual memory / operating system / shared memory / operating systems / / URL http /
SocialTag |