Wed, 23 Aug 2023 15:59:03 +0200 more accurate treatment of state vs. serial vs. db;
wenzelm [Wed, 23 Aug 2023 15:59:03 +0200] rev 78573
more accurate treatment of state vs. serial vs. db;
Wed, 23 Aug 2023 14:23:41 +0200 more explicit check;
wenzelm [Wed, 23 Aug 2023 14:23:41 +0200] rev 78572
more explicit check;
Wed, 23 Aug 2023 11:44:08 +0200 proper numa_nodes for build_worker;
wenzelm [Wed, 23 Aug 2023 11:44:08 +0200] rev 78571
proper numa_nodes for build_worker;
Wed, 23 Aug 2023 11:31:17 +0200 tuned message;
wenzelm [Wed, 23 Aug 2023 11:31:17 +0200] rev 78570
tuned message;
Wed, 23 Aug 2023 11:20:07 +0200 tuned;
wenzelm [Wed, 23 Aug 2023 11:20:07 +0200] rev 78569
tuned;
Wed, 23 Aug 2023 11:00:30 +0200 tuned signature;
wenzelm [Wed, 23 Aug 2023 11:00:30 +0200] rev 78568
tuned signature;
Tue, 22 Aug 2023 13:51:06 +0200 support hosts with shared directory (e.g. NFS);
wenzelm [Tue, 22 Aug 2023 13:51:06 +0200] rev 78567
support hosts with shared directory (e.g. NFS);
Tue, 22 Aug 2023 13:27:53 +0200 tuned message: failure may stem from build_cluster init;
wenzelm [Tue, 22 Aug 2023 13:27:53 +0200] rev 78566
tuned message: failure may stem from build_cluster init;
Tue, 22 Aug 2023 12:18:31 +0200 proper sync_database for receive timeout;
wenzelm [Tue, 22 Aug 2023 12:18:31 +0200] rev 78565
proper sync_database for receive timeout;
Tue, 22 Aug 2023 11:54:06 +0200 clarified source structure;
wenzelm [Tue, 22 Aug 2023 11:54:06 +0200] rev 78564
clarified source structure;
Tue, 22 Aug 2023 11:33:25 +0200 tuned whitespace;
wenzelm [Tue, 22 Aug 2023 11:33:25 +0200] rev 78563
tuned whitespace;
Tue, 22 Aug 2023 10:34:27 +0200 clarified command-line tools;
wenzelm [Tue, 22 Aug 2023 10:34:27 +0200] rev 78562
clarified command-line tools;
Tue, 22 Aug 2023 10:31:15 +0200 tuned output;
wenzelm [Tue, 22 Aug 2023 10:31:15 +0200] rev 78561
tuned output;
Tue, 22 Aug 2023 10:05:03 +0200 clarified signature;
wenzelm [Tue, 22 Aug 2023 10:05:03 +0200] rev 78560
clarified signature;
Tue, 22 Aug 2023 09:39:37 +0200 tuned signature;
wenzelm [Tue, 22 Aug 2023 09:39:37 +0200] rev 78559
tuned signature;
Tue, 22 Aug 2023 09:28:44 +0200 tuned signature;
wenzelm [Tue, 22 Aug 2023 09:28:44 +0200] rev 78558
tuned signature;
Mon, 21 Aug 2023 20:40:15 +0200 proper sequential evaluation;
wenzelm [Mon, 21 Aug 2023 20:40:15 +0200] rev 78557
proper sequential evaluation;
Mon, 21 Aug 2023 15:54:08 +0200 more robust command options;
wenzelm [Mon, 21 Aug 2023 15:54:08 +0200] rev 78556
more robust command options;
Mon, 21 Aug 2023 15:28:35 +0200 performance tuning: avoid redundant db access;
wenzelm [Mon, 21 Aug 2023 15:28:35 +0200] rev 78555
performance tuning: avoid redundant db access;
Mon, 21 Aug 2023 15:04:22 +0200 clarified signature: proper treatment of implicit state (amending d0c9d277620e);
wenzelm [Mon, 21 Aug 2023 15:04:22 +0200] rev 78554
clarified signature: proper treatment of implicit state (amending d0c9d277620e);
Mon, 21 Aug 2023 13:01:45 +0200 performance tuning: avoid redundant db access;
wenzelm [Mon, 21 Aug 2023 13:01:45 +0200] rev 78553
performance tuning: avoid redundant db access;
Mon, 21 Aug 2023 12:40:33 +0200 performance tuning: avoid multiple db roundtrips;
wenzelm [Mon, 21 Aug 2023 12:40:33 +0200] rev 78552
performance tuning: avoid multiple db roundtrips;
Mon, 21 Aug 2023 12:34:53 +0200 clarified signature: more robust treatment of implicit state;
wenzelm [Mon, 21 Aug 2023 12:34:53 +0200] rev 78551
clarified signature: more robust treatment of implicit state;
Mon, 21 Aug 2023 11:56:07 +0200 proper sync_database for Database_Progress consumer;
wenzelm [Mon, 21 Aug 2023 11:56:07 +0200] rev 78550
proper sync_database for Database_Progress consumer; more efficient (but less reactive) Database_Progress.stopped;
Mon, 21 Aug 2023 11:43:29 +0200 tuned message;
wenzelm [Mon, 21 Aug 2023 11:43:29 +0200] rev 78549
tuned message;
Mon, 21 Aug 2023 11:42:16 +0200 tuned;
wenzelm [Mon, 21 Aug 2023 11:42:16 +0200] rev 78548
tuned;
Mon, 21 Aug 2023 11:24:47 +0200 tuned messages;
wenzelm [Mon, 21 Aug 2023 11:24:47 +0200] rev 78547
tuned messages;
Mon, 21 Aug 2023 11:15:25 +0200 tuned signature: removed unused arguments;
wenzelm [Mon, 21 Aug 2023 11:15:25 +0200] rev 78546
tuned signature: removed unused arguments;
Mon, 21 Aug 2023 10:55:30 +0200 minor performance tuning: avoid multiple db roundtrips;
wenzelm [Mon, 21 Aug 2023 10:55:30 +0200] rev 78545
minor performance tuning: avoid multiple db roundtrips;
Mon, 21 Aug 2023 10:53:50 +0200 more operations;
wenzelm [Mon, 21 Aug 2023 10:53:50 +0200] rev 78544
more operations;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 tip