| commit | 26c792e61a163b38b373023bca2947283dcd1fc8 | [log] [tgz] |
|---|---|---|
| author | David Goldblatt <davidgoldblatt@fb.com> | Mon May 15 15:38:15 2017 -0700 |
| committer | David Goldblatt <davidtgoldblatt@gmail.com> | Fri May 19 14:21:27 2017 -0700 |
| tree | 89c4b0e1275707f6e671a23ad6ed548484becabc | |
| parent | 6e62c6286258e340308b4a989b4bd80232fed8e1 [diff] |
Allow mutexes to take a lock ordering enum at construction. This lets us specify whether and how mutexes of the same rank are allowed to be acquired. Currently, we only allow two polices (only a single mutex at a given rank at a time, and mutexes acquired in ascending order), but we can plausibly allow more (e.g. the "release uncontended mutexes before blocking").