Essays about: "work-stealing"

Showing result 1 - 5 of 9 essays containing the word work-stealing.

  1. 1. Parallel Query Systems : Demand-Driven Incremental Compilers

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

    Author : Christofer Nolander; [2023]
    Keywords : Query Systems; Parallelism; Incremental Computation; Compiler Architecture; Dependency Tracking; Query system; Parallelism; inkrementella beräkningar; kompilatorer; beroende spårning;

    Abstract : Query systems were recently introduced as an architecture for constructing compilers, and have shown to enable fast and efficient incremental compilation, where results from previous builds is reused to accelerate future builds. With this architecture, a compiler is composed of several queries, each of which extracts a small piece of information about the source program. READ MORE

  3. 2. Applying Stateless Model Checking to Work-Stealing libraries

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Robert Markovski; [2021]
    Keywords : ;

    Abstract : Software verification by testing does not always detect concurrency errors. Software verification by Stateless Model Checking searches the state space more systematically than testing and can therefore detect concurrency errors which may not be found by testing alone. READ MORE

  4. 3. Parallelization in Rust with fork-join and friends: Creating the fork-join framework

    University essay from

    Author : Linus Färnstrand; [2019-07-03T13:42:24Z 2019-07-03T13:42:24Z 2015]
    Keywords : Data- och informationsvetenskap; Computer and Information Science;

    Abstract : This thesis describes the design, implementation and benchmarking of a work stealing fork-join library, called ForkJoin, for the new language Rust. Rust is a programming language with a novel approach to memory safety and concurrency, and guarantees memory safety through zero-cost abstractions and thorough checks at compile time rather than run time. READ MORE

  5. 4. Implementing Confidence-based Work Stealing Search in Gecode

    University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Author : Patrik Eklöf; [2014]
    Keywords : ;

    Abstract : Constraint programming is a field whose goal is to solve extremely large problems with a set of restrictions that define the problem. One such example is generating CPU instructions from source code, because a compiler must choose the optimal instructions that best matches the source code, schedule them optimally to minimize the amount of time it takes to execute the instructions and possibly at the same time also minimize power consumption. READ MORE

  6. 5. Porting Cilk to the Barrelfish OS

    University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Author : Chau Ho Bao Le; [2013]
    Keywords : Barrelfish; Cilk; porting; multikernel; shared-memory; work-stealing; message;

    Abstract : Barrelfish operating system is an experimental instance of multikernel structure which exhibits good features such as hardware heterogeneity, scalability, dynamicity, etc. Barrelfish is in progress and lacks applications. READ MORE