User loginNavigation |
Witnessing Side-EffectsWitnessing Side-Effects, Tachio Terauchi and Alex Aiken. ICFP 2005.
If I understand the idea in this paper correctly, you take a functional language with a possibly non-deterministic or parallel execution model, and then add references to it. To keep this from being impossible to reason about, you add dataflow tokens to each reference operation (assignment, allocation, reading) to ensure that they don't happen until each op's predecessors have happened -- and you make the tokens first class, so that the programmer can directly specify the amount of serial execution needed. Then you can do an analysis to ensure that the reduction is confluent, which means that you have no races. |
Browse archives
Active forum topics |
Recent comments
35 weeks 1 day ago
35 weeks 1 day ago
35 weeks 1 day ago
1 year 5 weeks ago
1 year 9 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 13 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago