Thoughts on benchmarking streaming systems