Introduction to Reliable Distributed Programming

Author: Rachid Guerraoui
Publisher: Springer Science & Business Media
ISBN: 9783540288466
Release Date: 2006-05-01
Genre: Computers

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions as well as algorithms to implement these abstractions. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one specific class of abstractions, covering reliable delivery, shared memory, consensus and various forms of agreement. This textbook comes with a companion set of running examples implemented in Java. These can be used by students to get a better understanding of how reliable distributed programming abstractions can be implemented and used in practice. Combined, the chapters deliver a full course on reliable distributed programming. The book can also be used as a complete reference on the basic elements required to build reliable distributed applications.

Introduction to Reliable and Secure Distributed Programming

Author: Christian Cachin
Publisher: Springer Science & Business Media
ISBN: 3642152600
Release Date: 2011-02-11
Genre: Computers

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes. Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of "Introduction to Reliable Distributed Programming". Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name "Byzantine fault-tolerance".

Verteilte Systeme

Author: Andrew S. Tanenbaum
Publisher:
ISBN: 3827372933
Release Date: 2008
Genre: Distributed processing


Programmverifikation

Author: Krzysztof R. Apt
Publisher: Springer-Verlag
ISBN: 9783642579479
Release Date: 2013-03-07
Genre: Computers


Verteilte Systeme

Author: George F. Coulouris
Publisher:
ISBN: 3827371864
Release Date: 2003
Genre: Electronic data processing


Die Programmiersprache Ruby

Author: David Flanagan
Publisher: O'Reilly Germany
ISBN: 9783897218741
Release Date: 2008
Genre: Object-oriented programming (Computer science)

"Die Programmiersprache Ruby" ist das magebliche Handbuch zu Ruby mit einer umfassenden Beschreibung der Sprachversionen 1.8 und 1.9. Es wurde fur erfahrene Programmierer geschrieben, die sich neu in Ruby einarbeiten wollen, und fur Ruby-Programmierer, die ihr Wissen erweitern und Ruby besser beherrschen wollen. Dieses Buch dokumentiert Ruby umfassend, jedoch ohne den Formalismus einer Sprachspezifikation. Ruby vom Feinsten Dieses Handbuch beginnt mit einem Tutorial zum Schnelleinstieg in die Sprache Ruby und erklart sie dann detailliert auf allen Ebenen: Lexikalische und syntaktische Struktur von Ruby-Programmen, Datentypen und Objekte, Ausdrucke und Operatoren, Anweisungen und Kontrollstrukturen, Methoden, Procs, Lambdas und Closures, Klassen und Module, Reflection und Metaprogrammierung und die Ruby-Plattform API der Ruby-Plattform Die Programmiersprache Ruby beinhaltet eine umfassende Einfuhrung in die machtige API der Ruby-Plattform und stellt - mit ausfuhrlich kommentiertem Code - die Moglichkeiten von Ruby in Bezug auf Textbearbeitung, mathematische Berechnungen, Collections, Ein-/Ausgabe, Netzwerkverarbeitung und Concurrency vor. Wenn Sie Ruby wirklich verstehen wollen, ist dies das Buch, das Sie brauchen.

Reliable Distributed Systems

Author: Kenneth Birman
Publisher: Springer Science & Business Media
ISBN: 9780387276014
Release Date: 2006-07-02
Genre: Computers

Explains fault tolerance in clear terms, with concrete examples drawn from real-world settings Highly practical focus aimed at building "mission-critical" networked applications that remain secure

Kubernetes

Author: Kelsey Hightower
Publisher: dpunkt.verlag
ISBN: 9783960884293
Release Date: 2018-01-24
Genre: Computers

Es heißt, dass Google über zwei Milliarden Anwendungscontainer pro Woche deployt. Wie ist das möglich? Diese Frage hat Google mit einem Projekt namens Kubernetes beantwortet, einem Cluster-Orchestrierer, der das Bauen, Deployen und Warten skalierbarer, verteilter Systeme in der Cloud radikal vereinfacht. Dieser praktische Leitfaden zeigt Ihnen, wie Kubernetes und die Container-Technologie Ihnen helfen können, in Bezug auf Schnelligkeit, Agilität, Zuverlässigkeit und Effizienz in ganz neue Bereiche vorzudringen. Die Autoren Kelsey Hightower, Brendan Burns und Joe Beda haben bei Google und in anderen Firmen mit Kubernetes gearbeitet und erklären Ihnen, wie sich dieses System in den Lebenszyklus einer verteilten Anwendung einfügt. Sie werden lernen, wie Sie Tools und APIs einsetzen, um skalierbare, verteilte Systeme zu automatisieren – egal ob es sich um Online-Services, Systeme zum maschinellen Lernen oder ein Cluster aus Raspberry Pis handelt. Lernen Sie die Herausforderungen verteilter Systeme kennen, die Sie mit Kubernetes angehen können.Tauchen Sie ein in die containerisierte Anwendungsentwicklung und nutzen Sie dabei zum Beispiel Docker-Container.Erstellen Sie Container im Docker-Image-Format mit Kubernetes und lassen Sie sie über die Docker-Runtime ausführen.Begutachten Sie die zentralen Konzepte und API-Objekte von Kubernetes, die notwendig sind, um Anwendungen produktiv laufen zu lassen.Rollen Sie neue Softwareversionen zuverlässig ohne Downtime oder Fehler aus.Lernen Sie aus Beispielen zum Entwickeln und Deployen realer Anwendungen in Kubernetes.

Distributed Programming

Author: A. Udaya Shankar
Publisher: Springer Science & Business Media
ISBN: 9781461448808
Release Date: 2012-09-15
Genre: Computers

Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets. Distributed Programming: Theory and Practice bridges the gap between books that focus on specific concurrent programming languages and books that focus on distributed algorithms. Programs are written in a "real-life" programming notation, along the lines of Java and Python with explicit instantiation of threads and programs. Students and programmers will see these as programs and not "merely" algorithms in pseudo-code. The programs implement interesting algorithms and solve problems that are large enough to serve as projects in programming classes and software engineering classes. Exercises and examples are included at the end of each chapter with on-line access to the solutions. Distributed Programming: Theory and Practice is designed as an advanced-level text book for students in computer science and electrical engineering. Programmers, software engineers and researchers working in this field will also find this book useful.

Protocol Engineering

Author: Hartmut König
Publisher: Springer-Verlag
ISBN: 9783322800664
Release Date: 2013-03-12
Genre: Computers

Das Buch führt in die Grundlagen des Protocol Engineerings ein. Es stellt die Funktionsweise von Kommunikationsprotokollen, die Methoden und Techniken für ihre Beschreibung sowie die Phasen der Protokollentwicklung vor. Es werden sowohl praktische als auch theoretische Aspekte des Protocol Engineerings untersucht.

Algorithmen Eine Einf hrung

Author: Thomas H. Cormen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 9783110522013
Release Date: 2013-01-01
Genre: Computers

Der "Cormen" bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren Entwurf und deren Analyse allen Leserschichten zugänglich. Sorgfältige Erklärungen zur notwendigen Mathematik helfen, die Analyse der Algorithmen zu verstehen. Den Autoren ist es dabei geglückt, Erklärungen elementar zu halten, ohne auf Tiefe oder mathematische Exaktheit zu verzichten. Jedes der weitgehend eigenständig gestalteten Kapitel stellt einen Algorithmus, eine Entwurfstechnik, ein Anwendungsgebiet oder ein verwandtes Thema vor. Algorithmen werden beschrieben und in Pseudocode entworfen, der für jeden lesbar sein sollte, der schon selbst ein wenig programmiert hat. Zahlreiche Abbildungen verdeutlichen, wie die Algorithmen arbeiten. Ebenfalls angesprochen werden Belange der Implementierung und andere technische Fragen, wobei, da Effizienz als Entwurfskriterium betont wird, die Ausführungen eine sorgfältige Analyse der Laufzeiten der Programme mit ein schließen. Über 1000 Übungen und Problemstellungen und ein umfangreiches Quellen- und Literaturverzeichnis komplettieren das Lehrbuch, dass durch das ganze Studium, aber auch noch danach als mathematisches Nachschlagewerk oder als technisches Handbuch nützlich ist. Für die dritte Auflage wurde das gesamte Buch aktualisiert. Die Änderungen sind vielfältig und umfassen insbesondere neue Kapitel, überarbeiteten Pseudocode, didaktische Verbesserungen und einen lebhafteren Schreibstil. So wurden etwa - neue Kapitel zu van-Emde-Boas-Bäume und mehrfädigen (engl.: multithreaded) Algorithmen aufgenommen, - das Kapitel zu Rekursionsgleichungen überarbeitet, sodass es nunmehr die Teile-und-Beherrsche-Methode besser abdeckt, - die Betrachtungen zu dynamischer Programmierung und Greedy-Algorithmen überarbeitet; Memoisation und der Begriff des Teilproblem-Graphen als eine Möglichkeit, die Laufzeit eines auf dynamischer Programmierung beruhender Algorithmus zu verstehen, werden eingeführt. - 100 neue Übungsaufgaben und 28 neue Problemstellungen ergänzt. Umfangreiches Dozentenmaterial (auf englisch) ist über die Website des US-Verlags verfügbar.

Microservices

Author: Sam Newman
Publisher: MITP-Verlags GmbH & Co. KG
ISBN: 9783958450837
Release Date: 2015-07-06
Genre: Computers

Feingranulare Systeme mit Microservices aufbauen Design, Entwicklung, Deployment, Testen und Monitoring Sicherheitsaspekte, Authentifizierung und Autorisierung Verteilte Systeme haben sich in den letzten Jahren stark verändert: Große monolithische Architekturen werden zunehmend in viele kleine, eigenständige Microservices aufgespalten. Aber die Entwicklung solcher Systeme bringt Herausforderungen ganz eigener Art mit sich. Dieses Buch richtet sich an Softwareentwickler, die sich über die zielführenden Aspekte von Microservice-Systemen wie Design, Entwicklung, Testen, Deployment und Monitoring informieren möchten. Sam Newman veranschaulicht und konkretisiert seine ganzheitliche Betrachtung der grundlegenden Konzepte von Microservice-Architekturen anhand zahlreicher praktischer Beispiele und Ratschläge. Er geht auf die Themen ein, mit denen sich Systemarchitekten und Administratoren bei der Einrichtung, Verwaltung und Entwicklung dieser Architekturen in jedem Fall auseinandersetzen müssen. Aus dem Inhalt: Vorteile von Microservices Gestaltung von Services Ausrichtung der Systemarchitektur an der Organisationsstruktur Möglichkeiten zur Integration von Services Schrittweise Aufspaltung einer monolithischen Codebasis Deployment einzelner Microservices mittels Continuous Integration Testen und Monitoring verteilter Systeme Sicherheitsaspekte Authentifizierung und Autorisierung zwischen Benutzer und Service bzw. zwischen Services untereinander Skalierung von Microservice-Architekturen »Microservice-Architekturen besitzen viele interessante Eigenschaften, allerdings sind bei der Umstellung so einige Fallstricke zu beachten. Dieses Buch wird Ihnen helfen herauszufinden, ob Microservices für Ihre Zwecke geeignet sind und zeigt Ihnen, wie Sie die Fallstricke umgehen können.« Martin Fowler, Chief Scientist, ThoughtWorks

Moderne Betriebssysteme

Author: Andrew S. Tanenbaum
Publisher: Pearson Deutschland GmbH
ISBN: 3827373425
Release Date: 2009
Genre: Betriebssystem


Mein Name war Judas

Author: C. K. Stead
Publisher: BASTEI LÜBBE
ISBN: 9783838720227
Release Date: 2012-10-12
Genre: Fiction

War Judas wirklich der Verräter, als der er allgemein gilt? Als alter Mann in Palästina lebend blickt er zurück. Er hat Jesus ein Leben lang mit tiefer Zuneigung begleitet, wurde aber skeptisch gegenüber der bedingungslosen Verehrung, die dieser zunehmend forderte. Das machte ihn zum Außenseiter in Kreis der Jünger, dennoch blieb er als Einziger an seiner Seite bis zum Ende. Der verräterische Kuss, der tatsächlich ein letzter Versuch war, Jesus zu retten, die Silberlinge, die nie gezahlt wurden - all das fügt C.K.Stead zusammen zur alternativen Geschichte.