locking for SmpManager