Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-56-54-K-5

Replication and Consistency (2V+1U, 4.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K Lecture with exercise classes (V/U) 4.0 CP 78 h
2 V Lecture 28 h
1 U Exercise class (in small groups) 14 h
(2V+1U) 4.0 CP 42 h 78 h

Basedata

SWS 2V+1U
CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. in WiSe
Level [5] Master (Entry Level)
Language [DE/EN] German or English as required
Lecturers
Area of study [INF-ALG] Algorithmics and Deduction
Livecycle-State [NORM] Active

Possible Study achievement

  • Verification of study performance: proof of successful participation in the exercise classes (ungraded)
  • Details of the examination (type, duration, criteria) will be announced at the beginning of the course.

Contents

  • correctness criteria
    • happens before
    • sequential consistency
    • histories
    • abstract executions
    • linearizability
    • compositionality
  • non-blocking synchronization in shared memory architectures
    • primitive synchronization operations
    • ABA problem
    • single concatenated data structures
    • stacks
    • LIFO lists
  • hardware storage models
    • Total Store Order (TSO)
    • axiomatic memory models
    • Data-Race-Freedom
    • robustiness
  • non-blocking synchronization in distributed systems
    • consistency models in distributed systems
    • replicated data types
    • snapshots
    • invariants

Literature

  • M. Herlihy & Nir Shavit. The Art of Multiprocessor Programming, Morgan Kaufmann.
  • B. Charron-Bost, F. Pedone, A. Schiper (ed.) Replication. Springer LNCS, 2010.

References to Course [INF-56-54-K-5]

Module Name Context
[INF-56-54-M-5] Replication and Consistency P: Obligatory 2V+1U, 4.0 LP
Course-Pool Name
[INF-Alg_V-KPOOL-6] Lectures of the teaching area Algorithmics and Deduction