Programming Model and Protocols for Reconfigurable Distributed Systems

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: WFRF:(Haridi Seif) > Programming Model a...

Arad, Cosmin Ionel,1981-RISE,KTH,Programvaruteknik och Datorsystem, SCS,SICS,School of Information and Communication Technology (författare)

Programming Model and Protocols for Reconfigurable Distributed Systems

BokEngelska2013

Förlag, utgivningsår, omfång ...

Stockholm :KTH Royal Institute of Technology,2013
xviii, 212 s.
electronicrdacarrier

Nummerbeteckningar

LIBRIS-ID:oai:DiVA.org:kth-122311
ISBN:9789175016948
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-122311URI
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-24202URI

Kompletterande språkuppgifter

Språk:engelska
Sammanfattning på:engelska

Ingår i deldatabas

SwePubSwePub

Klassifikation

Ämneskategori:vet swepub-contenttype
Ämneskategori:dok swepub-publicationtype

Anmärkningar

QC 20130520
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. Moreover, aside from inherent design challenges posed by partial failure, concurrency, or asynchrony, there remain significant challenges in the implementation of distributed systems. These programming challenges stem from the increasing complexity of the concurrent activities and reactive behaviors in a distributed system on the one hand, and the need to effectively leverage the parallelism offered by modern multi-core hardware, on the other hand.This thesis contributes Kompics, a programming model designed to alleviate some of these challenges. Kompics is a component model and programming framework for building distributed systems by composing message-passing concurrent components. Systems built with Kompics leverage multi-core machines out of the box, and they can be dynamically reconfigured to support hot software upgrades. A simulation framework enables deterministic execution replay for debugging, testing, and reproducible behavior evaluation for largescale Kompics distributed systems. The same system code is used for both simulation and production deployment, greatly simplifying the system development, testing, and debugging cycle.We highlight the architectural patterns and abstractions facilitated by Kompics through a case study of a non-trivial distributed key-value storage system. CATS is a scalable, fault-tolerant, elastic, and self-managing key-value store which trades off service availability for guarantees of atomic data consistency and tolerance to network partitions. We present the composition architecture for the numerous protocols employed by the CATS system, as well as our methodology for testing the correctness of key CATS algorithms using the Kompics simulation framework.Results from a comprehensive performance evaluation attest that CATS achieves its claimed properties and delivers a level of performance competitive with similar systems which provide only weaker consistency guarantees. More importantly, this testifies that Kompics admits efficient system implementations. Its use as a teaching framework as well as its use for rapid prototyping, development, and evaluation of a myriad of scalable distributed systems, both within and outside our research group, confirm the practicality of Kompics.

Ämnesord och genrebeteckningar

TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
NATURVETENSKAP Data- och informationsvetenskap hsv//swe
NATURAL SCIENCES Computer and Information Sciences hsv//eng
distributed systems
programming model
message-passing concurrency
nested hierarchical composition
reactive components
software architecture
dynamic reconfiguration
multi-core
discrete-event simulation
peer-to-peer
testing
debugging
distributed key-value stores
data replication
consistency
linearizability
network partition tolerance
consistent hashing
self-organization
scalability
elasticity
fault tolerance
consistent quorums

Biuppslag (personer, institutioner, konferenser, titlar ...)

Haridi, Seif,ProfessorKTH,Programvaruteknik och Datorsystem, SCS(Swepub:kth)u1j6y2uf (preses)
Chockler, Gregory,Associate ProfessorRoyal Holloway, University of London (opponent)
KTHProgramvaruteknik och Datorsystem, SCS (creator_code:org_t)

Internetlänk

Hitta via bibliotek

Programming Model and Protocols for Reconfigurable Distributed Systems (Sök publikationen i LIBRIS)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...: Arad, Cosmin Ion ...; Haridi, Seif, Pr ...; Chockler, Gregor ...

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Datorsystem

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...

Av lärosätet: Kungliga Tekniska Högskolan; RISE

Sök utanför SwePub

Sök vidare i:: Google; Google Book Search; Google Scholar

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

LIBRIS.kb.se