PHP :: Bug #75670 :: opcache_reset problem with file

Bug #75670

opcache_reset problem with file_cache

Submitted:

2017-12-12 07:53 UTC

Modified:

Votes:	2
Avg. Score:	5.0 ± 0.0
Reproduced:	2 of 2 (100.0%)
Same Version:	2 (100.0%)
Same OS:	1 (50.0%)

From:

support at lenetnet dot ru

Assigned:

Status:

Open

Package:

opcache

PHP Version:

7.1.12

OS:

Debian 8

Private report:

CVE-ID:

None

[2017-12-12 07:53 UTC] support at lenetnet dot ru

Description:
------------
The problem is seen in 7.1.12 and 7.2.0.
Php.ini has:
zend_extension="/opt/rh/php71/lib/php/extensions/no-debug-non-zts-20160303/opcache.so"
opcache.enable=1
opcache.memory_consumption=128
opcache.max_accelerated_files=4000
opcache.revalidate_freq = 300
opcache.validate_timestamps=0
;opcache.file_cache= ...

If opcache.file_cache is uncommented and opcache.validate_timestamps=0 then opcache_reset() has no effect. There are to scripts: test.php and reset.php.
test.php:
<?
echo "Hi";
?>
reset.php:
<?
opcache_reset();
?>
When we change for example Hi to Hello, after that we execute reset.php and  test.php from browser. After we've done that there are no changes to issue of test.php. It shows steel Hi.

If we comment opcache.file_cache or set opcache.validate_timestamps=1 then opcache_reset works fine

Patches

Pull Requests

	php.net \| support \| documentation \| report a bug \| advanced search \| search howto \| statistics \| random bug \| login
go to bug id or search bugs for


Copyright © 2001-2019 The PHP Group All rights reserved.	Last updated: Wed Jan 23 07:01:25 2019 UTC