자료유형  

 학위논문

Control Number  

0017164615

International Standard Book Number  

9798346808909

Dewey Decimal Classification Number  

004

Main Entry-Personal Name  

Liu, Shuyang.

Publication, Distribution, etc. (Imprint  

[S.l.] : University of California, Los Angeles., 2024

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2024

Physical Description  

246 p.

General Note  

Source: Dissertations Abstracts International, Volume: 86-06, Section: B.

General Note  

Advisor: Palsberg, Jens.

Dissertation Note  

Thesis (Ph.D.)--University of California, Los Angeles, 2024.

Summary, Etc.  

요약Concurrent programming is often error-prone due to the non-deterministic nature of multithread executions. Programmers typically reason about their concurrent programs in the context of sequential consistency. Under sequential consistency, instructions in a concurrent program are executed to generate memory events in a linear global order that is consistent with the order specified by the source program, i.e., the program order. However, the assumption of sequential consistency is too strong in practice, given today's processor designs. To achieve better performance, processors today often adopt a weak memory model. Under a weak memory model, instructions are not guaranteed to be executed consistently with the program order, due to optimizations such as out-of-order execution and instruction reordering. As a result, previous correctness results of software tools need to be re-visited with considerations of weak memory models. In this thesis, we demonstrate the issues of previous correctness results of software tools and provide new methods for reasoning about their correctness under weak memory models.

Subject Added Entry-Topical Term  

Computer science.

Subject Added Entry-Topical Term  

Computer engineering.

Index Term-Uncontrolled  

Sequential consistency

Index Term-Uncontrolled  

Weak memory model

Index Term-Uncontrolled  

Programming

Index Term-Uncontrolled  

Software tools

Added Entry-Corporate Name  

University of California, Los Angeles Computer Science 0201

Host Item Entry  

Dissertations Abstracts International. 86-06B.

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:654917