LDR | | 00000nam u2200205 4500 |
001 | | 000000434806 |
005 | | 20200227105445 |
008 | | 200131s2019 ||||||||||||||||| ||eng d |
020 | |
▼a 9781088324912 |
035 | |
▼a (MiAaPQ)AAI22623782 |
040 | |
▼a MiAaPQ
▼c MiAaPQ
▼d 247004 |
082 | 0 |
▼a 004 |
100 | 1 |
▼a Bender, John Matthew. |
245 | 10 |
▼a Prove Once, Run Efficiently Anywhere: Tools for Lock-free Concurrent Algorithms. |
260 | |
▼a [S.l.]:
▼b University of California, Los Angeles.,
▼c 2019. |
260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2019. |
300 | |
▼a 160 p. |
500 | |
▼a Source: Dissertations Abstracts International, Volume: 81-04, Section: B. |
500 | |
▼a Advisor: Palsberg, Jens. |
502 | 1 |
▼a Thesis (Ph.D.)--University of California, Los Angeles, 2019. |
506 | |
▼a This item must not be sold to any third party vendors. |
520 | |
▼a The multi-core revolution has pushed programmers and algorithm designers to build algorithms that leverage concurrency. This notoriously difficult task is futher complicated by the existence of weak architecture and language memory models. The presence of many such memory models has traditionally forced correctness proofs for lock-free concurrent algorithms to be performed on a per-model basis, resulting in a significant duplication of effort. We demonstrate that the correctness of lock-free concurrent algorithms can be proved once for implementations that can be compiled to run correctly and efficiently on all mainstream memory models. |
590 | |
▼a School code: 0031. |
650 | 4 |
▼a Computer science. |
690 | |
▼a 0984 |
710 | 20 |
▼a University of California, Los Angeles.
▼b Computer Science 0201. |
773 | 0 |
▼t Dissertations Abstracts International
▼g 81-04B. |
773 | |
▼t Dissertation Abstract International |
790 | |
▼a 0031 |
791 | |
▼a Ph.D. |
792 | |
▼a 2019 |
793 | |
▼a English |
856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T15494022
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
980 | |
▼a 202002
▼f 2020 |
990 | |
▼a ***1008102 |
991 | |
▼a E-BOOK |