Finding Patterns in Lock-Free Algorithms
Lock-free algorithms are an approach to concurrent programming wherethreads access shared state without mutual exclusion. Writing correctcomplex lock-free programs can come with great difficulties. The typesystem Capable aims to aid the programmer in writing concurrentsoftware, such as lock-free alg...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Uppsala universitet, Institutionen för informationsteknologi
2017
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-328666 |