*  archivi_sync (are_objects_available): updated policy for shared object.
(private_to_disk): Likewise.