Thanks Dmitry for the information.
With a few debug sessions, I found that 32531 is working well
for any thresholds, and is also a big prime number :-).
-Original Message-
From: Dmitry Stogov
Sent: Monday, January 17, 2022 1:37 PM
To: Su, Tao
Cc: PHP internals
Subject: Re: [PHP-DEV]
This it's my choice.
This number is common for all JIT counters (hot_loop, hot_func, hot_return).
It's value was selected to provide the best precision when different
counters have different thresholds.
Unfortunately, I can't remember the exact equations or logic I used at that
time.
Thanks. Dmitr
On Sun, Jan 2, 2022 at 4:13 PM Jordan LeDoux
wrote:
> Hello internals,
>
> I've opened voting on
> https://wiki.php.net/rfc/user_defined_operator_overloads. The voting will
> close on 2022-01-17.
>
> To review past discussions on this RFC and the feature in general, please
> refer to:
>
> - https
