Synchronisation paralleler Transaktionen  AIFB SS2001 1 4.4Synchronisationsverfahren 4.4 Synchronisationsverfahren (1/3) 4.4.1 Typen von Synchronisationsverfahren.

Slides:



Advertisements
Ähnliche Präsentationen
Mehrbenutzersynchronisation
Advertisements

Synchronisation paralleler Transaktionen AIFB SS Serialisierbarkeitsprinzip 4.3 Serialisierbarkeitsprinzip (5/13) Schedule: T* = {T 1,..., T.
Rücksetzen Bisher betrachtetes Scheduling gewährleistet Isolation, d.h. Serialisierbarkeit, setzt jedoch voraus, dass Transaktionen abgebrochen und rückgesetzt.
Transaktionsverwaltung
Transaktionsverwaltung
Vs61 6 Verteilte Datenverwaltung. vs62 Ziel:Zusammengehöriger Datenbestand soll über mehrere Stationen verteilt werden, z.B. Fragmentierung: in mehrere.
Objektrelationales Mapping mit JPA Working with Persistent Objects Jonas Bandi Simon Martinelli.
Informatik II, SS 2008 Algorithmen und Datenstrukturen Vorlesung 16 Prof. Dr. Thomas Ottmann Algorithmen & Datenstrukturen, Institut für Informatik Fakultät.
Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme
IS: Datenbanken, © Till Hänisch 2000 CREATE TABLE Syntax: CREATE TABLE name ( coldef [, coldef] [, tableconstraints] ) coldef := name type [länge], [[NOT]NULL],
3.1.7 Korrektheit von Objekten Voraussetzung für die Diskussion der Korrektheit von nichtsequentiell benutzten abstrakten Objekten: Modellbasierte Spezifikation:
Datenbanksysteme für FÜ SS 2000 Seite Worzyk FH Anhalt Transaktionen und Parallelverarbeitung Eigenschaften von Transaktionen Konsistenz Isolation.
Kapitel 13: Mehrbenutzersynchronisation
Erhard Künzel für Info 9. Klasse: Digitale Schule Bayern© Erhard Künzel.
Dzomo Prudence Christelle1 Digitale Bilder Anwendungen und Trends.
Synchronisation paralleler Transaktionen AIFB SS Synchronisationsverfahren 4.4 Synchronisationsverfahren (1/18) Sperrmodi und Sperrobjekte Sperrprotokoll.
RelationentheorieObjektorientierte Datenbanken AIFB SS Das ODMG-Objektmodell vs. relationales Modell (1/9) ODMG-Objektmodell Literal_type Atomic_literal.
Transaktion 1Transaktion 2... Transaktion n Synchronisation durch Scheduler Datenbasis-Verwalter lokaler Schedule 1lokaler Schedule n konfliktserialisierbarer.
4.4.2 Sperrverfahren (9/18) Regeln für das Setzen von Sperren
Recovery AIFB SS Einbringstrategie der Pufferverwaltung(1/4) Die bestimmt, wann geänderte Seiten in die Datenbank eingebracht werden. Sie.
Verklemmungen Bei sperrenbasierter Synchronisation können sogenannte Verklemmungen (engl. deadlocks) auftreten, in denen Transaktionen sich gegenseitig.
Prof. K. Gremminger Folie 1 Vorlesung Datenbanksysteme SS 2002 Hierarchische Sperrgranulate Granularität: Bezeichnet die Größe der Dateneinheiten, die.
Recovery AIFB SS (1/8) Sicherungspunkte (Checkpoints) (1/8) (1) Transaktions-Orientierte Sicherungspunkte Transaction-Oriented Checkpoint.
Implementierung von S2PL (1) Scheduler als Verwalter von Sperren auf Datenelementen sowie Warteschlangen für Sperren (Sperren-Verwalter). Transaktion 1Transaktion.
Modellierung von Transaktionen Zur Formalisierung der ACID-Garantien muss Verhalten von Transaktionen modelliert werden. Folge aus der Forderung nach lokaler.
Synchronisation paralleler Transaktionen AIFB SS Konzept der Transaktion 4.2 Konzept der Transaktion (1/4) Eine Transaktion ist ein in sich geschlossener,
Datenmodelle, Datenbanksprachen und Datenbankmanagementsysteme
Mehrbenutzersynchronisation
Vorbesprechung Serie 9 Ax(ExR(x) Q(x)) wird identifiziert mit Ax(EzR(z) Q(x)) Skript S.101 & 102: ~AxP(x) Ex~P(x) ~ExP(x) Ax~P(x) Ax(P(x)/\Q(x)) AxP(x)
WS 2012/13 Datenbanksysteme Mi 15:15 – 16:45 R Vorlesung #11 Transaktionsverwaltung.
WS 2011/12 Datenbanksysteme Mi 15:15 – 16:45 R Vorlesung #10 Transaktionsverwaltung.
WS 2007/08 Datenbanksysteme Mi 17:00 – 18:30 R Vorlesung #12 Mehrbenutzersynchronisation.
WS 2004/2005 Datenbanken II - 5W Mi 17:00 – 18:30 G 3.18 Vorlesung #7 Mehrbenutzersynchronisation (Teil 1)
WS 2009/10 Datenbanksysteme Fr 15:15 – 16:45 R Vorlesung #12 Mehrbenutzersynchronisation.
SS 2004 Datenbanken 4W Mi 13:30 – 15:00 G 2.30 Vorlesung #3 ER Modellierung.
Synchronisation paralleler Transaktionen AIFB SS Serialisierbarkeitsprinzip 4.3 Serialisierbarkeitsprinzip (11/13) Vermutung: Eine Schedule S.
Replikation und Synchronisation
Problem : Wie kann man einen schweren Körper heben ?
Transaktion Huang Zhenhao FU Shuai.
Vorlesung #12 Mehrbenutzersynchronisation
Datenbanksysteme Technische Grundlagen Transaktions-Konzept, Mehrbenutzer-Synchronisation, Fehlerbehandlung Prof. Dr. Manfred Gruber FH München.
Vorlesung Datenbanksysteme WS 2.0 Christoph Koch (Subject: DBVO:...
ADAT©2004,2006 Dipl. - Ing. Walter SabinSeite: 48 Version 1.0a Recovery Wiederherstellung eines konsistenten Datenbankzustandes nach Fehlersituationen.
Übung: Transaktionale Systeme (Zusammenfassung der Vorlesungsinhalte)
Integritätserhaltung und -Überprüfung in deduktiven Datenbanken
Mehrbenutzerzugriff auf GIS-Daten
Mehrbenutzersynchronisation
Typo 3 //Textbox - HTML //Benutzerverwaltung //Zugriffsrechte.
Recovery    AIFB SS Grundlegende Annamen(1/2) Um den Erfolg der der Recovery-Maßnahmen zu gewährleisten, werden folgende Annahmen.
Synchronisation paralleler Transaktionen  AIFB SS Sperrverfahren Sperrverfahren (13/18) Behandlung von Konflikten bei der Sperrvergabe.
Umgang mit Hausübungen. Vorher Wo wird HÜ notiert? Wer notiert sich oft gar nichts? Wer hat so etwas wie einen Übersichtskalender?
6.1.2 Sequentielle Konsistenz
Synchronisation paralleler Transaktionen  AIFB SS Serialisierbarkeitsprinzip 4.3 Serialisierbarkeitsprinzip (2/13) Im folgenden wird ein vereinfachtes.
Synchronisation mit Zeitmarken (1) Zeitmarken-Synchronisation = einfaches, aber ineffizientes Verfahren zur Gewinnung konfliktserialisierbarer Schedules.
Recovery    AIFB SS (1/6) Durchführung der Recovery-Maßnahmen(1/6) Transaktions-Fehler (TF) T1 T2 T3 Zeitt Transaktion T2 wird vom.
Serialisierbarkeitsprinzip Isolationsprinzip scheint zunächst streng serielle Abwicklung der Transaktionen zu fordern: r 1 (x) r 1 (y)... w 1 (z) c 1 r.
Prof. K. Gremminger Folie 1 Vorlesung Datenbanksysteme SS 2002 Abhängigkeiten zwischen Transaktionen (Fehlerklassen) u Lost-Update-Problem u Dirty Read.
Vs51 5 Verteilte Datenverwaltung. vs52 Situation:Zusammengehöriger Datenbestand ist über mehrere Stationen verteilt, z.B. Fragmentierung: in mehrere Fragmente.
5.1.2 Sequentielle Konsistenz
Vs Verteilte Transaktionen Situation:Fragmentierung: Ein Datenbestand ist über mehrere Stationen verteilt (z.B. verteilte Datenbank, verteiltes Dateisystem,...)
6.3 Verteilte Transaktionen
Proseminar Präsentation
Agenten und verteilte Anwendungen
WS 2013/14 Datenbanksysteme Do 17:00 – 18:30 R Vorlesung #12 Mehrbenutzersynchronisation.
Datenbanktechnik 1 Datenbanktechnik II Kapitel 3.0 bis 4.0.
Transaktionsverwaltung Beispiel einer typischen Transaktion in einer Bankanwendung: 1.Lese den Kontostand von A in die Variable a: read(A,a); 2.Reduziere.
6.3 Verteilte Transaktionen
Wo bitte ist die Mitte… …von geometrischen Objekten
WS 2001/2002 Mehrbenutzerzugriff auf GIS-Daten
Aktuelle Planung Release 3.0.0
 Präsentation transkript:

Synchronisation paralleler Transaktionen  AIFB SS Synchronisationsverfahren 4.4 Synchronisationsverfahren (1/3) Typen von Synchronisationsverfahren (1) Präventive Verfahren („pessimistische“ Verfahren) Idee: Man beobachte ankommenden Strom von Aktionsaufforderungen und greife ein, sobald aus Sicht des Synchronisationsverfahrens (später) eine Konsistenzverletzung möglich werden könnte. (“pessimistisch”: es könnte je etwas passieren!)

Synchronisation paralleler Transaktionen  AIFB SS Typen von Synchronisationsverfahren Typen von Synchronisationsverfahren (2/3) Sperrverfahren: Objekte, die von einer Transaktion bearbeitet werden, werden vorher mit einer Sperre versehen. (d.h.: Keine andere Transaktion darf eine Operation auf dem gesperrten Objekt ausführen (Wartezustand)) Zeitstempelverfahren: Zugriff auf die Objekte erfolgt in der Reihenfolge des Alters der Transaktionen. (Bisher sind Sperrverfahren die in zentralen Datenbanksystemen überwiegend eingesetzten Synchronisationsverfahren. Zeitstempelverfahren werden insbes. im Zusammenhang mit verteilten Datenbanken untersucht.)

Synchronisation paralleler Transaktionen  AIFB SS Typen von Synchronisationsverfahren Typen von Synchronisationsverfahren (3/3) (2) Verifizierende Verfahren („optimistische“ Verfahren) Idee: Beobachte ankommenden Strom von Aktionsaufforderungen und greife erst ein, wenn eine konkrete Verletzung der Serialisierbarkeit als gegeben angenommen wird. Gewährleiste dann Konsistenz durch Rücksetzen einer Transaktion. („optimistisch“: Annahme, dass Konflikte nur selten auftreten, Rücksetzen von Transaktionen also nur selten nötig)