Reactive Async : Safety and efficiency of new abstractions for reactive, asynchronous programming

Futures and Promises have become an essential part of asynchronous programming. However, they have important limitations, allowing at most one result and no support for cyclic dependencies, instead resulting in deadlocks. Reactive Async is a prototype of an event-based asynchronous parallel programming model that extends the functionality of Futures and Promises, supporting refinement of results according to an application-specific lattice. Furthermore, it allows for completion of cyclic dependencies through quiescence detection of a thread pool. The thesis demonstrates the practical applicability of Reactive Async by applying the model to a large static analysis framework, OPAL. Benchmarks comparing Reactive Async with Futures and Promises show an efficiency trade-off for the flexibility of using the model.Futures och Promises har blivit en viktig del av asynkron programmering. Men de har viktiga begränsningar, bland annat att tillåta högst ett resultat skrivas och inget stöd för cykliska beroenden, som istället resulterar i baklås. Reactive Async är en prototyp av en händelsebaserad asynkron parallell programmeringsmodell som utökar funktionaliteten hos Futures och Promises, för att stödja förädling av resultat enligt en applikation specifik lattice. Dessutom möjliggör modellen slutförandet av cykliska beroenden genom att upptäcka när en tråd pool ej har några oavslutade uppgifter. Masteruppsatsen visar att Reactive Async är praktisk tillämpbar genom att applicera modellen på ett stort ramverk för statiska analyser. Prestandatester som jämför Reactive Async med Futures och Promises visar att flexibiliteten av modellen kompromissas med effektiviteten vid användning