Nhiều hệ thống máy tính hiện đại, bao gồm cả kiến trúc đồng nhất và không đồng nhất, hỗ trợ bộ nhớ dùng chung trong phần cứng. Trong hệ thống bộ nhớ dùng chung, mỗi lõi bộ xử lý có thể đọc và ghi vào một không gian địa chỉ dùng chung. Đối với máy bộ nhớ dùng chung, mô hình nhất quán bộ nhớ xác định hành vi hiển thị về mặt kiến trúc của hệ thống bộ nhớ của nó. Các định nghĩa nhất quán cung cấp các quy tắc về tải và lưu trữ (hoặc đọc và ghi bộ nhớ) và cách chúng hoạt động trên bộ nhớ. Là một phần của việc hỗ trợ mô hình nhất quán bộ nhớ, nhiều máy cũng cung cấp các giao thức kết hợp bộ nhớ đệm để đảm bảo rằng nhiều bản sao dữ liệu được lưu trong bộ nhớ đệm luôn được cập nhật. Mục tiêu của cuốn sách này là cung cấp cho người đọc những hiểu biết cơ bản về tính nhất quán và mạch lạc. Sự hiểu biết này bao gồm cả những vấn đề phải giải quyết cũng như nhiều giải pháp khác nhau. Cuốn sách trình bày cả các khái niệm cấp cao cũng như các ví dụ cụ thể, cụ thể từ các hệ thống trong thế giới thực. Phiên bản thứ hai này phản ánh một thập kỷ tiến bộ kể từ phiên bản đầu tiên và bao gồm, trong số những thay đổi khiêm tốn hơn, hai chương mới: một chương về tính nhất quán và mạch lạc cho các bộ tăng tốc không dùng CPU (tập trung vào GPU) và một chương đề cập đến công việc chính thức và công cụ về tính nhất quán và mạch lạc.

Abstract:

Many modern computer systems, including homogeneous and heterogeneous architectures, support shared memory in hardware. In a shared memory system, each of the processor cores may read and write to a single shared address space. For a shared memory machine, the memory consistency model defines the architecturally visible behavior of its memory system. Consistency definitions provide rules about loads and stores (or memory reads and writes) and how they act upon memory. As part of supporting a memory consistency model, many machines also provide cache coherence protocols that ensure that multiple cached copies of data are kept up-to-date. The goal of this primer is to provide readers with a basic understanding of consistency and coherence. This understanding includes both the issues that must be solved as well as a variety of solutions. We present both high-level concepts as well as specific, concrete examples from real-world systems. This second edition reflects a decade of advancements since the first edition and includes, among other more modest changes, two new chapters: one on consistency and coherence for non-CPU accelerators (with a focus on GPUs) and one that points to formal work and tools on consistency and coherence.

Ngôn ngữ:	En
Tác giả:	Nagarajan, Vijay, Sorin, Daniel, J. Hill, Mark, D. Wood, David A.
Thông tin nhan đề:	A Primer on Memory Consistency and Cache Coherence, Second Edition
Nhà xuất bản:	Springer Nature
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:	https://creativecommons.org/licenses/by/4.0
Nguồn gốc:	https://directory.doabooks.org/handle/20.500.12854/97841
Mô tả vật lý:	276p.
Năm xuất bản:	2020