Vijay Nagarajan

Daniel J. Sorin

Mark D. Hill

David A. Wood

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.

A Primer on Memory Consistency and Cache Coherence, Second Edition

Jianchao Cai

Sustainable Natural Gas Reservoir and Production Engineering, the latest release in The Fundamentals and Sustainable Advances in Natural Gas Science and Engineering series, delivers many of the scientific fundamentals needed in the natural gas industry, including improving gas recovery, simulation processes for fracturing methods, and methods for optimizing production strategies. Advanced research covered includes machine learning applications, gas fracturing mechanics aimed at reducing environmental impact, and enhanced oil recovery technologies aimed at capturing carbon dioxide. Supported by corporate and academic contributors along with two well-distinguished editors, this book provides today’s natural gas engineers the fundamentals and advances in a convenient resource Helps readers advance from basic equations used in conventional gas reservoirs Presents structured case studies to illustrate how new principles can be applied in practical situations Covers advanced topics, including machine learning applications to optimize predictions, controls and improve knowledge-based applications Helps accelerate emission reductions by teaching gas fracturing mechanics with an aim of reducing environmental impacts and developing enhanced oil recovery technologies that capture carbon dioxide

Sustainable Natural Gas Reservoir and Production Engineering

Ashok K. Singh

Bodhisatwa Hazra

Pradeep K. Singh

Devleena Mani

This book details the analytical processes, and interpretation of the resulting data, needed in order to achieve a comprehensive source-rock evaluation of organic-rich shales. The authors employ case studies on Permian and Cretaceous shales from various Indian basins and other petroleum-bearing basins around the world to illustrate the key features of their organic-rich shale characterization methodology. These case studies may also help to identify potential zones within shale formations that could be exploited for commercial gas and/or oil production. Given its scope, the book will be of interest to all researchers working in the field of source-rock analysis. In addition, the source-rock evaluation techniques – and the various intricacies associated with them – discussed here offer valuable material for postgraduate geology courses.

Evaluation of Shale Source Rocks and Reservoirs

Second Edition

A Primer on Memory Consistency and Cache Coherence

David A. Wood

Books

Your next favorite book is out there