| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | fslock-guard: Rename os modules | Ian Jackson | 2024-01-23 | 1 | -2/+2 | |
| | | | | | | | | | | | | These two modules are key to the implementation of the locking protocols. We must define the locking protocol in terms of underlying OS semantics (since Unix and Windows have different fs concepts and different concurrency semantics) and therefore, although we are sharing some code between the implementations, these modules are what defines the two protocols. | |||||
| * | Give a formal semantics for the fslock operations. | Ian Jackson | 2024-01-22 | 1 | -0/+15 | |
| | | ||||||
| * | fslock-guard: sketch implementation | Nick Mathewson | 2024-01-21 | 3 | -0/+188 | |
| This is not yet "correct", since it will rely on https://github.com/brunoczim/fslock/pull/15 (Conceivably, it might be better to make the `fslock` crate rm-safe.) | ||||||
 |
index : mirrors/arti.git | |
| mirror of https://gitlab.torproject.org/tpo/core/arti |
| summaryrefslogtreecommitdiff |