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
5 weeks 5 days ago
5 weeks 5 days ago
5 weeks 5 days ago
11 weeks 5 days ago
52 weeks 10 hours ago
52 weeks 14 hours ago
52 weeks 14 hours ago
1 year 22 weeks ago
1 year 26 weeks ago
1 year 27 weeks ago