Search for dissertations about: "software coherence"
Showing result 1 - 5 of 19 swedish dissertations containing the words software coherence.
-
1. Towards Low-Complexity Scalable Shared-Memory Architectures
Abstract : Plentiful research has addressed low-complexity software-based shared-memory systems since the idea was first introduced more than two decades ago. However, software-coherent systems have not been very successful in the commercial marketplace. We believe there are two main reasons for this: lack of performance and/or lack of binary compatibility. READ MORE
-
2. Automatic Verification of Parameterized Systems by Over-Approximation
Abstract : This thesis presents a completely automatic verification framework to check safety properties of parameterized systems. A parameterized system is a family of finite state systems where every system consists of a finite number of processes running in parallel the same algorithm. READ MORE
-
3. Software Techniques for Distributed Shared Memory
Abstract : In large multiprocessors, the access to shared memory is often nonuniform, and may vary as much as ten times for some distributed shared-memory architectures (DSMs). This dissertation identifies another important nonuniform property of DSM systems: nonuniform communication architecture, NUCA. READ MORE
-
4. Advances Towards Data-Race-Free Cache Coherence Through Data Classification
Abstract : Providing a consistent view of the shared memory based on precise and well-defined semantics—memory consistency model—has been an enabling factor in the widespread acceptance and commercial success of shared-memory architectures. Moreover, cache coherence protocols have been employed by the hardware to remove from the programmers the burden of dealing with the memory inconsistency that emerges in the presence of the private caches. READ MORE
-
5. Efficient synchronization and coherence for nonuniform communication architectures
Abstract : Nonuniformity is a common characteristic of contemporary computer systems, mainly because of physical distances in computer designs. In large multiprocessors, the access to shared memory is often nonuniform, and may vary as much as ten times for some nonuniform memory access (NUMA) architectures, depending on if the memory is close to the requesting processor or not. READ MORE