diff options
author | Tom Rondeau <tom@trondeau.com> | 2015-08-05 15:28:43 -0400 |
---|---|---|
committer | Tom Rondeau <tom@trondeau.com> | 2015-08-05 15:28:43 -0400 |
commit | 25ece6784ec06d9c2fed13d59eb9dec9c541983d (patch) | |
tree | 4df8795fa01624cf3676e68a49f4a9307dcb0722 /grc/python/expr_utils.py | |
parent | fccf4b04dac2b3cefdc4b610dea8920bfff4d08b (diff) |
runtime: fixes a problem with tag pruning.
Looked like a race condition if two blocks are reading from the same
buffer; one block calls prune before the other one can, and then it no
longer gets its tags. This puts back in the original protections we
used when pruning with vectors, only we don't have to restart the
iterator at the beginning and can exit sooner because of the sort
order. Likely slower than the multimap erase, so we will have to
reinvestigate what kind of performance hit we take and if we can do
better.
Diffstat (limited to 'grc/python/expr_utils.py')
0 files changed, 0 insertions, 0 deletions