A micro-benchmark for the performance of a publish/subscribe architecture in a distributed system