search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

One Usage Analysis #32

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

Ensure that the lock is only used once. It may be the case that this ends up being covered by other analyses (such as the rba analysis), but it's worth checking this just in case.

Baltoli commented 7 years ago

Thinking about it, multiple usages would be covered by a combination of RBA and call order - in order to use the lock multiple times, you would be in a situation where you acquire after releasing (so release before acquire).

Baltoli commented 7 years ago

Written an example to demonstrate that this is indeed the case. Note that in the future these constraints might need to be relaxed (to allow for multiple usages, repeats etc)