Out side world may be interested in whether the scheduler is locked or
not. Provide an API to tell that.