diff options
| author | Matthew Sackman <matthew@rabbitmq.com> | 2010-06-23 19:01:59 +0100 |
|---|---|---|
| committer | Matthew Sackman <matthew@rabbitmq.com> | 2010-06-23 19:01:59 +0100 |
| commit | 29c67607331e9c0c781c81249c174e1c045b47f8 (patch) | |
| tree | d91545bc5e6cff1609f5243c3ec2533943da0e9a /ebin | |
| parent | a964c1d5cb2a40515bff14e4d4aa93b9ea55c420 (diff) | |
| download | rabbitmq-server-git-29c67607331e9c0c781c81249c174e1c045b47f8.tar.gz | |
Chunk up work to do when converting α to β. Unfortunately this violates one of the invariants (Q1 or Q2 or Q4) -> ¬(TargetRamMsgCount > 0) because it might be ==0 but the work is still in progress. I prefer relaxing the invariant over requiring a "big push" once we get to 0. Some of the tests now don't pass as they assume certain values for δ - this should be fixable.
Diffstat (limited to 'ebin')
0 files changed, 0 insertions, 0 deletions