RocksDB: Not a Good Choice for a High-Performance Streaming Platform