zombie proof processes

Makarius makarius at sketis.net
Fri Nov 7 11:13:58 CET 2025


On 07/11/2025 00:02, Peter Lammich wrote:
> I've, very rarely, some zombie atp processes keeping my CPU nice and warm, and 
> my battery draining (on Linux). I typically just kill them manually.

So which ATPs (or SMTs) are they?


	Makarius



More information about the isabelle-dev mailing list