There are many ServiceController invariant checks missing.
The most important one is asyncTasks field (cannot be negative).
Implement code checks that will verify asyncTasks invariant is effective.