to add a few comments into the source code file for
records.
From: Dmitry Stogov
Sent: Monday, January 17, 2022 8:12 PM
To: Su, Tao
Cc: PHP internals
Subject: Re: [PHP-DEV] Reason for ZEND_JIT_COUNTER_INIT set to 32531?
Oh, probably this is just the biggest prime number that fits into a sign
om: Dmitry Stogov
>> Sent: Monday, January 17, 2022 1:37 PM
>> To: Su, Tao
>> Cc: PHP internals
>> Subject: Re: [PHP-DEV] Reason for ZEND_JIT_COUNTER_INIT set to 32531?
>>
>> This it's my choice.
>> This number is common for all JIT counters (hot_l
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] Reason for ZEND_JIT_COUNTER_INIT set to 32531?
>
> This it's my choice.
> This number is co
] Reason for ZEND_JIT_COUNTER_INIT set to 32531?
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
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.
