Hashed and hierarchical timing wheels: efficient data structures for implementing a timer facility | IEEE Journals & Magazine | IEEE Xplore