Appunti di Distributed System

Modelling and run time interaction

Failure model architecture

Syncrhonous omission

Service

• Client-server web service
• P2P oriented
• Byzantine

Object and data center

Event based C-Rest asynchronous

Oriented timing

Linda and mobile code

• Remove code on mobile agent
• Evaluation demand modelling

Message stream

• RPC
• RMI oriented
• Oriented message
• Message public/subscribe
• Passing queueing

Naming and synchronization

• Structured attribute based flat naming
• Removing unrefered entity
• Simple home based hierarchical reference
• Reference mark and counting listing sweep synchronization collecting

Time and mutual exclusion

• Physical clock
• Logical time
• Mutual exclusion
• Leader election
• Global state
• Happened simple Chandy
• Cristian bully election

Distributed system solutions

• Before solution Laport Berkely
• Scalar clock
• Scalar clock ring solution
• Network time
• Vector clock
• Token ring protocol
• Distributed termination on copy

Deadlock and transaction detection

• Distributed on data
• Centralized atomicity snapshot
• Dijkstra-Distributed concurrency Sholten
• 2PL pessimistic concurrency
• Optimistic fault tolerance

Consensus and recovery

• Reliable group recovery failures
• Commit protocol problem communication technique
• Scalable 2 phase

Omission and flooding

• Set multicast commit checkpoint logging Laport 3 Phase
• Byzantine close synch rollback pessimistic algorithm commit checkpoint optimistic

Replication and consistency

• Data centric client centric design strategy protocols
• Monotonic backup linearizability
• Replica update how to propagation

Read and write

• Replacement propagation propagate strategy
• Monotonic single leader sequential write
• Permanent send update push-based leader
• Read your server initialized send notification

Multi-leader and leaderless

• Causal write pull-based leaderless client initialized send info
• Write your leaderless FIFO read peer-to-peer

Peer-to-peer systems

• Napster
• Gnutella
• Kazaa
• BitTorrent
• BitCoin
• DHT centralized search query flooding hierarchy topology collaborative system blockchain structured topology

Big data platform

• Map reduce
• Apache Spark
• Apache Flink

Security and secure replication

• Cryptography secure channel access control management server
• Challenge response logical key simple sol asynchronous public key centralized flat (n,m) threshold synchronous table KDC applied to signature