Copy() target is blank in PHP 8.3.0

Description

The following code:

<?php
$source = '/media/sf_source/text.txt';
$destination = '/media/sf_destination/text.txt';
copy($source, $destination);

Resulted in this output:
/media/sf_destination/text.txt is an empty 0 bytes file.

How to replicate

php is running in the guest and tries to copy a file from a shared folder to an other shared folder.
Permissions are ok on the source and destination.
I tried to activate/disable the option "Host Input/Output Caching" of VirtualBox. There is no visible impact.

Environnement

Host: Windows 10 running VirtualBox 7.0.12
Guest: Ubuntu 20.04.

Workaround

<?php
file_put_contents('/media/sf_destination/text.txt', file_get_contents('/media/sf_source/text.txt'));

Related?

https://github.com/php/php-src/issues/9656
https://github.com/php/php-src/issues/9653

PHP Version

PHP 8.3.0

Operating System

Ubuntu 20.04 + Windows 10

Bắt đầu bằng cách tái hiện lỗi copy() trong PHP 8.3.0 với thiết lập đã nêu gồm Windows 10, VirtualBox 7.0.12, Ubuntu 20.04 và thư mục dùng chung. So sánh hành vi với cách khắc phục bằng file_get_contents()/file_put_contents() và xem xét các issue liên quan 9656 và 9653; được xem là hoàn tất khi copy() bảo toàn đáng tin cậy nội dung nguồn trong môi trường này.