Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Header refactoring: unify and de-catchall witness code. | David Goldblatt | 2017-05-24 | 1 | -92/+80 |
| | |||||
* | Add witness_assert_depth[_to_rank](). | Jason Evans | 2017-02-02 | 1 | -12/+39 |
| | | | | | This makes it possible to make lock state assertions about precisely which locks are held. | ||||
* | Remove extraneous parens around return arguments. | Jason Evans | 2017-01-21 | 1 | -4/+4 |
| | | | | This resolves #540. | ||||
* | Update brace style. | Jason Evans | 2017-01-21 | 1 | -26/+14 |
| | | | | | | | Add braces around single-line blocks, and remove line breaks before function-opening braces. This resolves #537. | ||||
* | Remove leading blank lines from function bodies. | Jason Evans | 2017-01-13 | 1 | -7/+0 |
| | | | | This resolves #535. | ||||
* | Add rtree element witnesses. | Jason Evans | 2016-06-03 | 1 | -13/+19 |
| | |||||
* | Resolve bootstrapping issues when embedded in FreeBSD libc. | Jason Evans | 2016-05-11 | 1 | -58/+58 |
| | | | | | | | | | | | | | b2c0d6322d2307458ae2b28545f8a5c9903d7ef5 (Add witness, a simple online locking validator.) caused a broad propagation of tsd throughout the internal API, but tsd_fetch() was designed to fail prior to tsd bootstrapping. Fix this by splitting tsd_t into non-nullable tsd_t and nullable tsdn_t, and modifying all internal APIs that do not critically rely on tsd to take nullable pointers. Furthermore, add the tsd_booted_get() function so that tsdn_fetch() can probe whether tsd bootstrapping is complete and return NULL if not. All dangerous conversions of nullable pointers are tsdn_tsd() calls that assert-fail on invalid conversion. | ||||
* | Add witness, a simple online locking validator. | Jason Evans | 2016-04-14 | 1 | -0/+278 |
This resolves #358. |