Filtering Algorithms and Implementation for Very Fast Publish/Subscribe