Sökning: "Data-Race Freedom"

Hittade 3 avhandlingar innehållade orden Data-Race Freedom.

  1. 1. Language Constructs for Safe Parallel Programming on Multi-Cores

    Författare :Johan Östlund; Tobias Wrigstad; Ludovic Henrio; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming Languages; Type Systems; Ownership Types; Concurrency; Parallelism; Actors; Active Objects; Structured Parallelism; Data Race-Freedom; Immutability; Uniqueness; Datavetenskap; Computer Science;

    Sammanfattning : The last decade has seen the transition from single-core processors to multi-cores and many-cores. This move has by and large shifted the responsibility from chip manufacturers to programmers to keep up with ever-increasing expectations on performance. LÄS MER

  3. 2. Capability-Based Type Systems for Concurrency Control

    Författare :Elias Castegren; Tobias Wrigstad; Dave Clarke; Alan Mycroft; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Type Systems; Capabilities; Concurrency; Parallelism; Data-Race Freedom; Lock-Free Data Structures; Object-Oriented Programming; Actors; Active Objects; Object Calculi; Semantics;

    Sammanfattning : Since the early 2000s, in order to keep up with the performance predictions of Moore's law, hardware vendors have had to turn to multi-core computers. Today, parallel hardware is everywhere, from massive server halls to the phones in our pockets. However, this parallelism does not come for free. LÄS MER

  4. 3. Abstractions to Control the Future

    Författare :Francisco Ramón Fernández Reyes; Tobias Wrigstad; Björn Victor; Martin Steffen; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; concurrent; programming; type system; future; actors; active objects; Computer Science; Datavetenskap;

    Sammanfattning : Multicore and manycore computers are the norm nowadays, and users have expectations that their programs can do multiple things concurrently. To support that, developers use concur- rency abstractions such as threads, promises, futures, and/or channels to exchange information. LÄS MER