Confirmed users
699
edits
ConcurrencyTesting: Difference between revisions
Jump to navigation
Jump to search
m
→Plan (TODOs)
(→Tools) |
m (→Plan (TODOs)) |
||
| Line 147: | Line 147: | ||
** use SharC, other tool, or write them with treehydra | ** use SharC, other tool, or write them with treehydra | ||
* ('''??''') add sharing annotations to existing concurrent code | * ('''??''') add sharing annotations to existing concurrent code | ||
** SharC or helgrind? | |||
* ('''??''') find a useful shared subset of SharC/helgrind annotations for programmers to use; hide implementation behind conditional compilation | |||
* ('''??''') find least amount of platform code needed to usefully support non-trivial modules (such as worker threads) | * ('''??''') find least amount of platform code needed to usefully support non-trivial modules (such as worker threads) | ||
** create separate build target for each concurrent module? (like unit tests) | ** create separate build target for each concurrent module? (like unit tests) | ||
** attempt to model-check these targets? | ** attempt to model-check these targets? | ||
** integrate with tinderbox? | ** integrate with tinderbox? | ||