My bad, looking again at it, I think it is not needed due to the way the method is called, always submitting a state update task, which makes sure there are no concurrent calls.