CORSO Space Based Computing mit Java

Transkript

1 CORSO Space Based Computing mit Java Dipl.-Ing. Alexander Forst-Rakoczy TECCO Software Entwicklung AG A-1040 Wien, Prinz Eugen-Str. 58, Web: Tel: (431) , Fax: (431) CORSO Space Based Computing mit Java 1

2 Agenda Message Passing Tuple-Space CORSO Transaktionen Objekte Prozesse CORSO Space Based Computing mit Java 2

3 Paradigmata Grundannahme: Computer, die über ein Netzwerk verbunden sind und Daten austauschen Message passing Data driven shared memory CORSO Space Based Computing mit Java 3

4 Message Passing Rechner A (Client) stellt Anfrage Rechner B (Server) gibt Antwort Was passiert, wenn Nachrichten verloren gehen? Protokoll auf Netzwerkebene Behandlung auf Applikationsebene CORSO Space Based Computing mit Java 4

5 Feldherrenhügel CORSO Space Based Computing mit Java 5

6 Feldherrenhügel CORSO Space Based Computing mit Java 6

7 Modell Tuple-Space David Gelernter, Linda-Modell Space = gemeinsamer Datenraum für Objekte Objekte = strukturierte Daten Einfache Operationen Write Read Take Objekte haben Namen (erster Parameter, Konvention) CORSO Space Based Computing mit Java 7

8 Tuple-Space: Write Applikation Write stellt ein Tuple in den Tuple-Space Write { Name, Daten, Daten, Daten, } CORSO Space Based Computing mit Java 8

9 Tuple-Space: Read Applikation Read liest den Wert eines Tuples aus dem Tuple-Space Abfrage über Wildcards möglich Read { Name, * } Read { *, 12, *, foo } CORSO Space Based Computing mit Java 9

10 Tuple-Space: Take Applikation Take liest den Wert eines Tuples und entfernt das Tuple Abfrage über Wildcards möglich Take { Name, * } Take { *, 12, *, foo } CORSO Space Based Computing mit Java 10

11 Tuple-Space: Vorteile Netzwerkprogrammierung fällt weg Anonyme Kommunikation Kommunikationspartner müssen nicht bekannt sein Zeitliche Abfolge beliebig Synchronisation nur über Daten Verhalten genau spezifiziert Mächtiges Modell CORSO Space Based Computing mit Java 11

12 Tuple-Space: negative Eigenschaften Tuple-Space liegt auf Server Erweiterung auf weitere Rechner schwierig Transaktionen zwingend notwendig Verhalten im Fehlerfall gehört spezifiziert Tuples haben Namen Zugriffsrechte? Lebensdauer? CORSO Space Based Computing mit Java 12

13 CORSO Shared Object Space Server? Transaktionen? Zugriff auf Objekte? CORSO Space Based Computing mit Java 13

14 Server? Appl A Appl B? Appl C CORSO Space Based Computing mit Java 14

15 Implementierung mit CORSO A CORSO Windows B CORSO C CORSO UNIX D CORSO Space Based Computing mit Java 15

16 Transaktionen CorsoConnection coco = new CorsoConnection(); coco.connect(... ); MyStruct ms = new MyStruct(...); CorsoTopTransaction tx1 = coco.createtoptransaction(); ms.i = 5; ms.s = new String("foobar"); ms.writevalue( tx1 ); tx1.commit(corsoconnection.infinite_timeout); CorsoTopTransaction tx2 = coco.createtoptransaction(); a.writevalue( tx2 ); b.readvalue( tx2 ); c.writevalue( tx2 ); tx2.commit(corsoconnection.infinite_timeout); CORSO Space Based Computing mit Java 16

17 Transaktionen ACID-Transaktionen Atomicity Consistency Isolation Durability Flex-Transaktionen Sub-Transaktionen Compensate Action Retry Action Prozessmodell CORSO Space Based Computing mit Java 17

18 Namenlose Objekte Applikation A B(x,y) x y Process: B(x, y) CORSO OS OS data.putshareable(x); data.putshareable(y); coco.createindependentprocess( "B", data, userid, lsysname, cokesite ); CORSO Space Based Computing mit Java 18

19 Zugriffsrechte & Lebensdauer Implizite Sicherheit Nur Partner haben Rechte Weitergabe über Prozesshierarchie Objekte können nicht erraten werden Explizite Sicherheit Passwortschutz Verschlüsselung Automatische Garbage Collection CORSO Space Based Computing mit Java 19

20 Objekte mit Namen Applikation A Applikation B Name x CORSO OS (A) OS (B) Applikation A: A_Oid = cocoa.createnamedvaroid(strategy, "Name",...); Applikation B: B_Oid = cocob.getnamedvaroid("name", "A",... ); CORSO Space Based Computing mit Java 20

21 Flexible Protokolle Übertragung eager (prefetching): kleine, (fast) überall benötigte Objekte lazy (on-demand): große, selten benötigte Objekte Persistenz flüchtig: Objekte überleben keine Systemausfälle Daten-File: Objekte überleben Systemausfälle Daten- und Log-File: Objekte überleben System- und Plattenausfälle CORSO Space Based Computing mit Java 21

22 Prozesse für den Feldherrenhügel CorsoTopTransaction tx = coco.createtoptransaction(); fahne.enableschwenk(); fahne.writevalue( tx ); data.putshareable(fahne); coco.createdependentprocess( "Marschbefehl", data, tx userid, lsysname, "1.Kohorte" ); coco.createdependentprocess( "Marschbefehl", data, tx userid, lsysname, "2.Kohorte" ); tx.commit(corsoconnection.infinite_timeout); CORSO Space Based Computing mit Java 22

23 Zusammenfassung CORSO ist führende, kommerzielle Implementierung von Shared Object Spaces Patentierte Technologie Einzigartige Kombination von Middleware & Transaktionsmanager. Flexibler Baukasten mit dynamisch austauschbaren Protokollen zur Einstellbarkeit von Verfügbarkeit, Zuverlässigkeit und Durchsatz. CORSO Space Based Computing mit Java 23