Static lock capabilities for deadlock freedom

[Raoul Duke]

1) w/out some enforcement of lock ordering, you are simply Doing It Wrong. (assuming a lock based approach.)

2) but we inevitably want systems that cannot be always fully statically checked?

https://homes.cs.washington.edu/~mernst/pubs/lock-capabilities-tldi2012-abstract.html

[Raoul Duke]

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0310807

[Raoul Duke]

but fundamentally i fail to understand how all processes can be expected to know what-all possible locks will be needed.