On 23/06/18 19:16, Makarius wrote: > On 22/06/18 16:33, Lars Hupel wrote: >> >> They fail spuriously (except for the last one, which fails reproducibly) >> when running with a total of 64 or even 128 worker threads: >> >> None of this happens when using a total of just 32 worker threads. >> >> Makarius, David, this probably requires another round of analysis. >> >> Isabelle/b6e48841d0a5 >> AFP/00e13b87d199 > > I am still in the process of exploring the situation (with new and old > hardware).
Which HD product is actually /dev/sda on the new hardware? I don't have root access to query it e.g. via "sudo lshw -class disk -class storage". Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev