Search for dissertations about: "Data-Race Freedom"
Found 3 swedish dissertations containing the words Data-Race Freedom.
-
1. Language Constructs for Safe Parallel Programming on Multi-Cores
Abstract : 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. READ MORE
-
2. Capability-Based Type Systems for Concurrency Control
Abstract : 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. READ MORE
-
3. Abstractions to Control the Future
Abstract : 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. READ MORE