Yat: A Validation Framework for Persistent Memory Software
نویسندگان
چکیده
This paper describes the design and implementation of Yat. Yat is a hypervisor-based framework that supports testing of applications that use Persistent Memory (PM)—byte-addressable, non-volatile memory attached directly to the memory controller. PM has implications on both system architecture and software. The PM architecture extends the memory ordering model to add software-visible support for durability of stores to PM. By simulating the characteristics of PM, and integrating an application-specific checker in the framework, Yat enables validation, correctness testing, and debugging of PM software in the presence of power failures and crashes. We discuss the use of Yat in development and testing of the Persistent Memory File System (PMFS), describing the effectiveness of Yat in catching and debugging several hard-to-find bugs in PMFS.
منابع مشابه
Software Support for Atomicity and Persistence in Non-volatile Memory
Advances in memory technology are promising the availability of byte-addressable persistent memory as an integral component of future computing platforms. This change has significant implications for software that has traditionally made a sharp distinction between durable and volatile storage. In this paper we describe a software framework for persistent memory that provides atomicity and durab...
متن کاملComputational and in vitro studies of persistent activity: edging towards cellular and synaptic mechanisms of working memory.
Persistent neural activity selective to features of an extinct stimulus has been identified as the neural correlate of working memory processes. The precise nature of the physiological substrate for this self-sustained activity is still unknown. In the last few years, this problem has gathered experimental together with computational neuroscientists in a quest to identify the cellular and netwo...
متن کاملA Framework of Customizing Transactions in Persistent Object Management for Advanced Applications
In the new applications that support user cooperation using the power of distributed computers, users' processes in distributed hosts often share large data structures containing nested structure and pointers that often indicate persistent objects. Transactions usually manage concurrent accesses to shared persistent objects in such applications. Although various types of transaction schemes hav...
متن کاملaroma.affymetrix: A generic framework in R for analyzing small to very large Affymetrix data sets in bounded memory
Summary: We have developed a cross-platform open-source framework for analyzing Affymetrix data sets consisting of 1 to 1,000s of arrays. By working directly with CDF and CEL files (standard Affymetrix file formats) most chip types are automatically supported, e.g. expression, SNP, and exon arrays. The package provides methods for low-level analysis such as background correction of different ki...
متن کاملDesign and Validation of Environmental Curriculum Framework Based on Upstream documents in Middle school
The purpose of this study was to design and validate the environmental curriculum framework based on the upstream documents in the middle school, which was carried out using a qualitative-quantitative method with exploratory design in two sections. The research population in the first section of the research was upstream documents. The sampling method from this population was criterion-based. T...
متن کامل