Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
interfaces_for_atomicity [2007/06/21 15:55] vasu.singh |
interfaces_for_atomicity [2007/06/21 15:56] (current) vasu.singh |
||
---|---|---|---|
Line 2: | Line 2: | ||
static analysis for atomicity for non-blocking programs(http://portal.acm.org/citation.cfm?doid=1065944.1065953). | static analysis for atomicity for non-blocking programs(http://portal.acm.org/citation.cfm?doid=1065944.1065953). | ||
- | The presentation is here. {{savcourse-atomicityinterfaces-relatedwork.ppt|}} | + | The presentation is {{savcourse-atomicityinterfaces-relatedwork.ppt|here.}} |
The project aims at developing an assume-guarantee reasoning for atomicity of concurrent threads in a program. The idea is to capture the behavior of each thread | The project aims at developing an assume-guarantee reasoning for atomicity of concurrent threads in a program. The idea is to capture the behavior of each thread | ||
- | as an interface, and to check for compatibility of interfaces to reason about the atomicity of the original program. | + | as an interface, and to check for compatibility of interfaces to reason about the atomicity of the original program. The final presentation is {{final_presentation_-_interfaces_for_atomicity.ppt|here.}} |