Spawn & Merge - A programmingmodel for deterministic synchronization of distributed systems

Bestehende Ansätze zur deterministischen Ausführung führen alle Codebereiche einer Anwendung voll-deterministisch aus, was mit hohen Performancekosten und einem Verlust der Skalierbarkeit einhergeht. In dieser Arbeit wird ein Programmiermodell entwickelt, das eine skalierbare deterministische Ausführung einer verteilten Anwendung mit geringeren Performancekosten (gegenüber vollem Determinismus) ermöglicht. Dazu wird das Konzept des Determinismus auf Applikationsebene eingeführt, das im Gegensatz zu vollem Determinismus die deterministische Ausführung auf diejenigen Codebereiche beschränkt, deren nebenläufige Ausführung einen Einfluss auf das deterministische Ergebnis hat. Das darauf aufbauende Spawn & Merge Programmiermodell ermöglicht die automatisierte Entscheidung, ob die Ausführungsreihenfolge zweier Codebereiche für ein deterministisches Ergebnis beibehalten werden muss. Die Evaluation eines Prototyps für Spawn & Merge in Verteilten Systemen zeigt, dass verteilte Spawn & Merge Anwendungen, die einen hohen parallelisierbaren Anteil haben, effizient skalieren können (bis zu 100% der maximal erreichbaren Beschleunigung), während eine deterministische Ausführung der Anwendungslogik garantiert wird. Dem Performancegewinn stehen die Kosten für die Mechanismen gegenüber, die den Determinismus der Anwendung ermöglichen und sich aus den Kosten für die intern verwendete Operational Transformation (OT) und den eingeführten Wartebedingungen zusammensetzen. Der Großteil der potenziellen Wartebedingungen wird durch ein internes dynamisches Scheduling der parallel ausgeführten Anteile der Anwendung verhindert. Die verbleibenden Wartebedingungen wurden durch ein angepasstes OT-System, das eine effiziente deterministische Zusammenführung in beliebiger Reihenfolge ermöglicht, weiter reduziert. Die Höhe der OT-Kosten ergibt sich aus der Anwendung und kann einen Großteil der Ausführungszeit einnehmen (im Worst Case bis zu 97,5% in den durchgeführten Messungen), wenn viele Modifikationen an geteilten Datenstrukturen durchgeführt und häufig zu parallel ausgeführten Anteilen der Anwendung synchronisiert werden. Das liegt an der Berechnungskomplexität O(n^2) der verwendeten OT-Systeme. Die OT-Kosten sind allerdings für eine Anwendung konstant (für feste Eingabedaten). Somit sinkt der Anteil der OT-Kosten an der Gesamtlaufzeit bei steigender Parallelität. Die Eignung von Spawn & Merge für eine Anwendung ist somit abhängig vom parallelisierbaren Anteil, der Anzahl durchgeführter Modifikationen an geteilten Datenstrukturen und der Häufigkeit von Synchronisationen innerhalb der Anwendung.Existing approaches for deterministic execution run all code sections in a fully deterministic manner, resulting in high performance costs and a loss of scalability. In this thesis we develop a programming model for a scalable deterministic execution of distributed applications, which introduces less performance costs than fully deterministic systems. We introduce the concept of Application-level Determinism, which, in contrast to full determinism, limits the deterministic execution to code sections that potentially influence the deterministic result of the application when executed concurrently. Based on this concept, the Spawn & Merge programming model automates the decision whether the execution of two code segments must be kept in order to maintain a deterministic result. The evaluation of a prototype of Spawn & Merge for distributed systems shows that applications with a high share of parallelizable code can scale efficiently (achieve up to 100% of maximum speedup possible) and guarantee the deterministic and reproducible execution of the application logic. The performance gain competes with the costs for the determinism-enforcing mechanisms used by Spawn & Merge: Operational Transformation (OT) and waiting conditions introduced. The majority of potential waiting conditions is automatically dealt with by internal dynamic scheduling of the parallel parts of the application. The remaining waiting conditions are further reduced by introducing a modified OT system that allows for an efficient deterministic merge in any given order. The costs for OT depend on the application and can take up most of the execution time (up to a worst case of 97,5% in the performed measurements) when many modifications of shared data structures are performed and when there is a high amount of synchronization between the parts of the application that are executed in parallel. This is due to the computational complexity of O(n^2) for the OT systems used. However, these costs for OT are constant for an application for a given input. Thus, the share of OT on the overall application runtime reduces with rising parallelism. Therefore, the feasibility of Spawn & Merge for an application depends on the parallelizable share of the application, the amount of performed modifications of shared data structures, and the amount of internal synchronizations

Agentensysteme - aktueller Entwicklungsstand und Konzeption eines universellen News-Watcher-Agent

Die Entwicklung von Softwareagenten bringt neue Technologien für die Lösung von Problemen des Information Retrieval, die Bewältigung komplexer Aufgabenstellungen und ein neues Paradigma für verteilte Systeme. Um dieses breite Anwendungsgebiet systematisch analysieren zu können, wird im einleitenden theoretischen Teil der Arbeit eine Begriffsbestimmung und Klassifikation von Softwareagenten vorgenommen. Anschließend wird ein Überblick über aktuelle Standardisierungsbemühungen gegeben und beispielhafte Entwicklungen aus Forschung und Industrie vorgestellt. Im zweiten Teil der Arbeit geht es um die Entwicklung eines konkreten News-Watcher-Agentensystems. Dabei wird die Umsetzung der im theoretischen Teil vorgestellten Eigenschaften von Agenten diskutiert

Energie für unser Europa

ENERGIE FÜR UNSER EUROPA Energie für unser Europa (Rights reserved) ( -

Künstliche Intelligenz

Dieses Buch ist eine Open-Access-Publikation unter einer CC BY 4.0 Lizenz. Künstliche Intelligenz (KI) klingt in aktuellen Debatten oft abstrakt und alltagsfremd. Doch die meisten Internetnutzerinnern und -nutzer sind bereits täglich mit ihr konfrontiert – wenn auch unbewusst: sei es bei der Sprachsteuerung des Smartphones, bei Kaufempfehlungen im Online-Shop oder bei der Abfrage von auf Webseiten häufig gestellten Fragen (Frequently Asked Questions, FAQ). KI ist ein Teilaspekt der Digitalisierung, der als Schlagwort immer häufiger in den Medien auftaucht. Das aktuell große Interesse liegt darin begründet, dass es in den vergangenen Jahren verschiedene technologische Fortschritte gab, welche die Nutzung der KI nun auf andere Ebenen heben. Mit diesem Themenband des Instituts für Innovation und Technik (iit) „Künstliche Intelligenz“ erhalten Leserinnen und Leser einen schlaglichtartigen Einblick in die KI hinsichtlich ihrer Technologien, aktuellen und potenziellen Anwendungen sowie Auswirkungen auf die Gesellschaft

Dimensionen der Entfremdung durch die programmgesteuerte Kommunikation: psycho-soziale Folgen der Nutzung von social media

Es wird untersucht, ob die Bedürfnisse der Menschen nach Kontakt und Austausch und ihrem Gefolge ihr Kommunikationsverhalten durch die Nutzung der computergestützten Kommunikation verformt und verändert wird. Die Ergebnisse lauten: In dem die private Kommunikation von der Kommunikations-technologie der Internetkonzerne eingenommen wird, verstärkt sich die durch die strukturellen Verhältnisse in der Gesellschaft ohnehin vorhandene Entfremdung der Menschen untereinander, denn die Nutzung dieser Technologie führt zur einer Entleiblichung, Entprivatisierung und Enteignung ihrer Kommunikation und geht einher mit ihrer wachsenden Vereinzelung. Ursache ist der allumfassende Einsatz von Kommunikationstechnologie im privaten Leben, denn Technologie verändert die Menschen und die Gesellschaft, indem sie wirkt: Die algorithmisch angeleitete Medienkommunikation verdrängt den sinnlich erfahrbaren Ausdruck des Leibes, der Gefühle und Empfindungen einerseits und die Anwendung spezifischer sensueller und affektiv-kognitiver Fähigkeiten und Fertigkeiten andererseits und setzt an ihre Stelle einen inszenierten und durch die Anbieter kontrollierten Datenaustausch, der sich zwischen die Menschen schiebt und ihre Wahrnehmung, ihr Denken und Handeln tendenziell verändert. Indem die elektronische Kommunikation also die Leiblichkeit der Person, d.h. ihre sensuelle und affektiv-kognitive Präsenz ersetzt durch einen von der Person selbst inszenierten und durch die Anbieter kontrollierten Datenaustausch, verändern sie das psycho-soziale Verhalten der Menschen und behindert zugleich ihre Kooperation in Gemeinschaften, was wiederum ihre Vereinzelung und ihre Abhängigkeit von den elektronischen Medien vorantreibt