Change search
ReferencesLink to record
Permanent link

Direct link
Reactive Async: Safety and efficiency of new abstractions for reactive, asynchronous programming
KTH, School of Computer Science and Communication (CSC).
2016 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

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.

Abstract [sv]

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.

Place, publisher, year, edition, pages
2016.
Keyword [en]
parallel, programming, reactive, asynchronous
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-191330OAI: oai:DiVA.org:kth-191330DiVA: diva2:956107
Educational program
Master of Science in Engineering - Computer Science and Technology
Supervisors
Examiners
Available from: 2016-08-30 Created: 2016-08-29 Last updated: 2016-08-30Bibliographically approved

Open Access in DiVA

fulltext(681 kB)6 downloads
File information
File name FULLTEXT01.pdfFile size 681 kBChecksum SHA-512
e0d9c79de2579ef0cfed3f8351aa66a708d3387eedff5e9084d98fd31212d82cf5f9c0d53d92334c944c41fd8fdc2044619a87b01cc92968026b7f0549bcbb2f
Type fulltextMimetype application/pdf

By organisation
School of Computer Science and Communication (CSC)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 11 hits
ReferencesLink to record
Permanent link

Direct link