Bill Allombert on Mon, 22 Jan 2024 23:21:31 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: make dobench failing recently for me


On Mon, Jan 22, 2024 at 02:47:35PM -0500, Charles Greathouse wrote:
> That cleared up all but the number-dyn.dif issue, which is still having
> heap issues:
> 
> cat Olinux-x86_64/number-dyn.dif
> *** ../src/test/32/number       2023-01-26 20:24:02.486620100 -0500
> --- gp.out      2024-01-22 14:45:42.896234900 -0500
> ***************
> *** 276,280 ****
>   [768, [12, 4, 4, 2, 2], [Mod(2641, 3120), Mod(2497, 3120), Mod(2341,
> 3120),
>   Mod(1951, 3120), Mod(2081, 3120)]]
>   ? if(getheap()!=HEAP,getheap())
>   ? print("Total time spent: ",gettime);
> ! Total time spent: 13
> --- 276,281 ----
>   [768, [12, 4, 4, 2, 2], [Mod(2641, 3120), Mod(2497, 3120), Mod(2341,
> 3120),
>   Mod(1951, 3120), Mod(2081, 3120)]]
>   ? if(getheap()!=HEAP,getheap())
> + [96, 3256]
>   ? print("Total time spent: ",gettime);
> ! Total time spent: 16

I assume you redid ./Configure --tune.

You can compare with
https://pari.math.u-bordeaux.fr/buildlogs/548a6ef1-6695-4522-a99c-654cb79529ca

Unfortunately some tuning values break the bench. This is difficult to avoid.
However there might still be a bug in the tuning code.

Cheers,
Bill.