Bug #72024 [Com]: microtime() leaks memory

From: Date: Fri, 08 Jul 2016 09:50:12 +0000
Subject: Bug #72024 [Com]: microtime() leaks memory
References: 1  Groups: php.bugs 
Request: Send a blank email to php-bugs+get-202131@lists.php.net to get a copy of this message
Edit report at https://bugs.php.net/bug.php?id=72024&edit=1

 ID:                 72024
 Comment by:         maroszek at gmx dot net
 Reported by:        maroszek at gmx dot net
 Summary:            microtime() leaks memory
 Status:             Assigned
 Type:               Bug
 Package:            Date/time related
 Operating System:   Windows 10 x64
 PHP Version:        5.6.20
 Assigned To:        ab
 Block user comment: N
 Private report:     N

 New Comment:

I accidentally added another commit to the PR. Can you merge both commits or shall it just cancel
the PR and create a new one?

The other commit is just a backport from an already accepted one: 
https://bugs.php.net/bug.php?id=71144

Sorry for the mess.


Previous Comments:
------------------------------------------------------------------------
[2016-07-07 12:29:41] maroszek at gmx dot net

I added a fix and PR here: https://github.com/php/php-src/pull/1989

It would be awesome if you could merge this.

PHP7 is not affected. It just NOPs this function.

------------------------------------------------------------------------
[2016-04-14 14:34:22] maroszek at gmx dot net

Description:
------------
Just run the script and watch the memory consumption rise. It goes way beyond the specified memory
limit, therefore i suspect a simple memory leak.

Not reproducable on 7.0.x. 
Not reproducable on 5.4.x.

Bug must have been introduced with PHP 5.5. This is the first affected version.

Test script:
---------------
<?

while(true) { microtime(); }

Expected result:
----------------
Steady memory consumption.

Actual result:
--------------
Right before max_execution_time occurs, php.exe is consuming a few hundred megabytes of RAM.


------------------------------------------------------------------------



--
Edit this bug report at https://bugs.php.net/bug.php?id=72024&edit=1


Thread (6 messages)

« previous php.bugs (#202131) next »