Accesses to the Workspace object now automatically check the semaphore