A benchmark for stream processing