Search for dissertations about: "linearizability"
Showing result 1 - 5 of 6 swedish dissertations containing the word linearizability.
-
1. Programming Model and Protocols for Reconfigurable Distributed Systems
Abstract : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. READ MORE
-
2. Lock-free Concurrent Search
Abstract : The contemporary computers typically consist of multiple computing cores with high compute power. Such computers make excellent concurrent asynchronous shared memory system. READ MORE
-
3. Partition Tolerance and Data Consistency in Structured Overlay Networks
Abstract : Structured overlay networks form a major class of peer-to-peer systems, which are used to build scalable, fault-tolerant and self-managing distributed applications. This thesis presents algorithms for structured overlay networks, on the routing and data level, in the presence of network and node dynamism. READ MORE
-
4. Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures
Abstract : The multicore revolution means that programmers have many cores at their disposal in everything from phones to large server systems. Concurrent data structures are needed to make good use of all the cores. Designing a concurrent data structure that performs well across many different scenarios is a difficult task. READ MORE
-
5. Non-linearizability, unique ergodicity and weak mixing in dynamics
Abstract : .... READ MORE