Handle is allocated for each Lock() call, all modifications are made using it, and it is invalidated by Unlock() This enforces correct Lock()-Usage()-Unlock() ordering.

Loader hides all low-level locking & synchronization related to device transient state updates.