Operator Scheduling in a Data Stream Manager