search

TimelyDataflow / differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.
MIT License
2.54k stars 183 forks source link

merge_batcher: fix a Miri warning #396

Closed teskje closed 1 year ago

teskje commented 1 year ago

This PR fixes #395.

AFAICT, the issue was that the previous implementation wrote the new vector element before it increased the length of the vector, so the new element would be written to 'invalid' memory. Doing the lenght increase first fixes this.