Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
interfaces_for_atomicity [2007/06/21 02:17] vasu.singh |
interfaces_for_atomicity [2007/06/21 15:55] vasu.singh |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| The project 'Interfaces for Atomicity' is based on recent work, mainly started with a type system for atomicity (http://portal.acm.org/citation.cfm?id=781169&dl=ACM&coll=portal). The current work tries to extend | The project 'Interfaces for Atomicity' is based on recent work, mainly started with a type system for atomicity (http://portal.acm.org/citation.cfm?id=781169&dl=ACM&coll=portal). The current work tries to extend | ||
| 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 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. | ||