Even if the created disks are thick provisioned, if both programs check the free space at the same time, they will both see enough free space and continue. By using the mutual exclusion they are not allowed to check for the free space at the same time. This will prevent the second program to see space that is already reserved by the first program as free space.