Essays about: "reactive async"

Found 3 essays containing the words reactive async.

1. 1. Deterministic Concurrency Using Lattices and the Object Capability Model

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Ellen Arvidsson; [2018]
   Keywords : type systems; concurrency; determinism; object capability model; lattices; small-step operational semantics;

   Abstract : Parallelization is an important part of modern data systems. However, the non-determinism of thread scheduling introduces the difficult problem of considering all different execution orders when constructing an algorithm. Therefore deterministic-by-design concurrent systems are attractive. READ MORE

3. 2. Fast and Scalable Static Analysis using Deterministic Concurrency

   University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

   Author : Patrik Ackland; [2017]
   Keywords : concurrent static analysis; ifds algorithm; reactive async;

   Abstract : This thesis presents an algorithm for solving a subset of static analysis data flow problems known as Interprocedural Finite Distribute Subset problems. The algorithm, called IFDS-RA, is an implementation of the IFDS algorithm which is an algorithm for solving such problems. READ MORE

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

   University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

   Author : Simon Geries; [2016]
   Keywords : parallel; programming; reactive; asynchronous;

   Abstract : 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. READ MORE