Sökning: "software coherence"

Visar resultat 1 - 5 av 19 avhandlingar innehållade orden software coherence.

1. 1. Towards Low-Complexity Scalable Shared-Memory Architectures

   Författare :Håkan Zeffer; Erik Hagersten; John Carter; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; shared memory; distributed shared memory; hardware-software trade-off; software coherence; coherence profiling; remote access cache; chip multiprocessor; simultaneous multi threading; simulation; workload characterization; statistical cache model; Computer engineering; Datorteknik;

   Sammanfattning : 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. LÄS MER

3. 2. Automatic Verification of Parameterized Systems by Over-Approximation

   Författare :Vladislavs Jahundovics; Ulf Nilsson; Cristina Seceleanu; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : 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. LÄS MER

4. 3. Software Techniques for Distributed Shared Memory

   Författare :Zoran Radovic; Erik Hagersten; Sandhya Dwarkadas; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; synchronization; distributed shared memory; write permission cache; nonuniform communication architecture; node affinity; locality; hardware-software trade-off; profiling; flexibility; trap-based memory architecture; Computer engineering; Datorteknik; Data- och systemvetenskap; Computer Systems Sciences;

   Sammanfattning : 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. LÄS MER

5. 4. Advances Towards Data-Race-Free Cache Coherence Through Data Classification

   Författare :Mahdad Davari; Kaxiras Stefanos; Erik Hagersten; Alberto Ros; Manuel Eugenio Acacio Sánchez; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Shared Memory Architectures; Multicore; Memory Hierarchy; Cache Coherence; Data Classification;

   Sammanfattning : 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. LÄS MER

7. 5. Efficient synchronization and coherence for nonuniform communication architectures

   Författare :Zoran Radović; Erik Hagersten; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : 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. LÄS MER