duplicate key value violates unique constraint "isabelle_build_sessions_pkey"

[Makarius]

On 13/01/2026 11:26, Fabian Huch wrote:
> 
> Looking at memory snapshots of the build, one of the reasons is the recent 
> incorporation of Node_Status into the progress: command_timings are stored as
> 
> command_timings:Map[Command, Command_Timings]
> 
> and the command (in the key) contains large markups, e.g. in init_markups, 
> during the lifetime of these timings: up to ~1GiB during the build of the 
> distribution, likely significantly more in an AFP build.
Thanks for the measurements. I've already suspected a problem exactly there, 
but did not know how to do memory profiling on the JVM.

Can you give some hints on how to do that?


	Makarius