Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Voss, Caleb"'
Autor:
Voss, Caleb, Sarkar, Vivek
Publikováno v:
Principles and Practice of Parallel Programming, 2021, ACM, pp. 348-361
Task-parallel programs often enjoy deadlock freedom under certain restrictions, such as the use of structured join operations, as in Cilk and X10, or the use of asynchronous task futures together with deadlock-avoiding policies such as Known Joins or
Externí odkaz:
http://arxiv.org/abs/2101.01312
The automatic verification of programs that maintain unbounded low-level data structures is a critical and open problem. Analyzers and verifiers developed in previous work can synthesize invariants that only describe data structures of heavily restri
Externí odkaz:
http://arxiv.org/abs/1710.03357
In this paper, we introduce a new type system based on linear typing, and show how it can be incorporated in a concurrent programming language to track ownership of promises. By tracking write operations on each promise, the language is able to guara
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23565c4b7aebddf1412b81123a591947
We present a compiler for a concurrent programming language, which utilizes linear typing to create a safer promise abstraction. The compiler is implemented in OCaml and produces source-level Java code. We provide example programs to demonstrate use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd0d0f17e16dac6efd43f6abf39c77cf