summaryrefslogtreecommitdiffstats
path: root/test/unit/witness.c
Commit message (Collapse)AuthorAgeFilesLines
* Header refactoring: unify and de-catchall witness code.David Goldblatt2017-05-241-92/+80
|
* Add witness_assert_depth[_to_rank]().Jason Evans2017-02-021-12/+39
| | | | | This makes it possible to make lock state assertions about precisely which locks are held.
* Remove extraneous parens around return arguments.Jason Evans2017-01-211-4/+4
| | | | This resolves #540.
* Update brace style.Jason Evans2017-01-211-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 Evans2017-01-131-7/+0
| | | | This resolves #535.
* Add rtree element witnesses.Jason Evans2016-06-031-13/+19
|
* Resolve bootstrapping issues when embedded in FreeBSD libc.Jason Evans2016-05-111-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 Evans2016-04-141-0/+278
This resolves #358.