Design Task Manager

Implement a TaskManager supporting add, edit, remove, and execTop (execute and remove the global task with highest priority, breaking ties by larger taskId) and return its userId. The core challenge is maintaining efficient max retrieval while allowing arbitrary task updates and deletions, so you need a data structure that supports fast lookup, updates, and removals alongside priority ordering.