Qi Wang
434a68e221
Disallow decay during reentrancy.
...
Decay should not be triggered during reentrant calls (may cause lock order
reversal / deadlocks). Added a delay_trigger flag to the tickers to bypass
decay when rentrancy_level is not zero.
2023-04-05 10:16:37 -07:00
David Goldblatt
8edfc5b170
Add ticker_geom_t.
...
This lets a single ticker object drive events across a large number of different
tick streams while sharing state.
2021-02-04 14:10:43 -08:00
Yinan Zhang
21dfa4300d
Change assert_* to expect_* in tests
...
```
grep -Irl assert_ test/ | xargs sed -i \
's/witness_assert/witness_do_not_replace/g';
grep -Irl assert_ test/ | xargs sed -i \
's/malloc_mutex_assert_owner/malloc_mutex_do_not_replace_owner/g';
grep -Ir assert_ test/ | grep -o "[_a-zA-Z]*assert_[_a-zA-Z]*" | \
grep -v "^assert_"; # confirm no output
grep -Irl assert_ test/ | xargs sed -i 's/assert_/expect_/g';
grep -Irl witness_do_not_replace test/ | xargs sed -i \
's/witness_do_not_replace/witness_assert/g';
grep -Irl malloc_mutex_do_not_replace_owner test/ | xargs sed -i \
's/malloc_mutex_do_not_replace_owner/malloc_mutex_assert_owner/g';
```
2020-02-19 16:03:16 -08:00
David Goldblatt
bf2dc7e678
Header refactoring: ticker module - remove from the catchall and unify.
2017-04-24 10:33:21 -07:00
Jason Evans
c0cc5db871
Replace tabs following #define with spaces.
...
This resolves #564 .
2017-01-20 21:45:53 -08:00
Jason Evans
f408643a4c
Remove extraneous parens around return arguments.
...
This resolves #540 .
2017-01-20 21:43:07 -08:00
Jason Evans
c4c2592c83
Update brace style.
...
Add braces around single-line blocks, and remove line breaks before
function-opening braces.
This resolves #537 .
2017-01-20 21:43:07 -08:00
Jason Evans
ffbb7dac3d
Remove leading blank lines from function bodies.
...
This resolves #535 .
2017-01-13 14:49:24 -08:00
Jason Evans
9998000b2b
Implement ticker.
...
Implement ticker, which provides a simple API for ticking off some
number of events before indicating that the ticker has hit its limit.
2016-02-19 20:29:06 -08:00
