Pervasive Theory of Memory

For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, out of order access to memory, segmentation and paging, shared memory data structures (e.g. for locks) as well as for memory models of multi-threaded programming languages. It turns out that we have to unite all of these theories into a single theory if we wish to understand why parallel C compiled by an optimizing compiler runs correctly on a contemporary multi core processor. This pervasive theory of memory is outlined here.

• Type: Conference
• Year: 2009
• Where: BIRTHDAY
• Authors: Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer
• Keywords: BIRTHDAY 2009, Memory Theoretical Treatment, Simple Cache Construction, Store Buer