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


Verteilte Systeme

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


Programmverifikation

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


Finite Elemente Methoden

Author: Klaus-Jürgen Bathe
Publisher: Springer Verlag
ISBN: 3540668063
Release Date: 2002
Genre: Technology & Engineering

Dieses Lehr- und Handbuch behandelt sowohl die elementaren Konzepte als auch die fortgeschrittenen und zukunftsweisenden linearen und nichtlinearen FE-Methoden in Statik, Dynamik, Festkörper- und Fluidmechanik. Es wird sowohl der physikalische als auch der mathematische Hintergrund der Prozeduren ausführlich und verständlich beschrieben. Das Werk enthält eine Vielzahl von ausgearbeiteten Beispielen, Rechnerübungen und Programmlisten. Als Übersetzung eines erfolgreichen amerikanischen Lehrbuchs hat es sich in zwei Auflagen auch bei den deutschsprachigen Ingenieuren etabliert. Die umfangreichen Änderungen gegenüber der Vorauflage innerhalb aller Kapitel - vor allem aber der fortgeschrittenen - spiegeln die rasche Entwicklung innerhalb des letzten Jahrzehnts auf diesem Gebiet wieder.

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.

Object Based Distributed Programming

Author: Rachid Guerraoui
Publisher: Springer Science & Business Media
ISBN: 354057932X
Release Date: 1994-05-27
Genre: Computers

Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop intended to assess the current state of research in this field and to facilitate interaction between groups working on very different aspects of object-oriented distributed systems. The workshop was held as part of the 1993 European Conference on Object-Oriented Programming (ECOOP '93). Over fifty people submitted position papers and participated in the workshop, and almost half presented papers. The presented papers were carefully reviewed and revised after the workshop, and 14 papers were selected for this volume.

Internationale konomie

Author: Bernd Kempa
Publisher: Kohlhammer Verlag
ISBN: 3170208128
Release Date: 2011-06
Genre: Business & Economics

Dieses Lehrbuch behandelt die wesentlichen Gebiete der realen und der monetaren Aussenwirtschaftstheorie. Dabei werden sowohl traditionelle als auch neuere Modellierungsansatze dargestellt, und zugleich der empirischen Relevanz und Anwendbarkeit der Modelle besondere Aufmerksamkeit geschenkt. Durch eine schrittweise und detaillierte Darlegung werden auch komplexere Zusammenhange nachvollziehbar aufbereitet. Das Werk eignet sich daher gleichermassen als Einfuhrungstext sowie als Basis fur eine weitergehende Analyse der aktuellen Fragestellungen im Bereich der internationalen Okonomie.

Object Based Parallel and Distributed Computation

Author: Jean-Pierre Briot
Publisher: Springer Science & Business Media
ISBN: 3540614877
Release Date: 1996-07-24
Genre: Computers

This book contains a refereed collection of revised papers selected from the presentations at the France-Japan Workshop on Object-Based Parallel and Distributed Computation, OBPDC'95, held in Tokyo in June 1995. The 18 full papers included in the book constitute a representative, well-balanced set of timely research contributions to the growing field of object-based concurrent computing. The volume is organized in sections on massively parallel programming languages, distributed programming languages, formalisms, distributed operating systems, dependable distributed computing, and software management.

Kurventheorie

Author: Karl Menger
Publisher: American Mathematical Soc.
ISBN: 0828401721
Release Date: 1967
Genre: Curves

This classic book is a treatise on the topology of curves. The class of curves considered is quite broad, including smooth curves, rational curves, trees, Cantor curves and so on. It was one of a small handful of landmark books on topology, in particular point-set topology, that were published during the important period of the 1930s. Many of the properties of curves explored by Menger are of renewed importance today in various contexts, notably the topology of dynamics.

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.