From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id kPwBDUSkW2R4XQEASxT56A (envelope-from ) for ; Wed, 10 May 2023 16:03:48 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id +GICDESkW2RgWQAAG6o9tA (envelope-from ) for ; Wed, 10 May 2023 16:03:48 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id AD9522A182 for ; Wed, 10 May 2023 16:03:47 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pwkPI-0004yj-IO; Wed, 10 May 2023 10:03:04 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pwkPG-0004yH-C0 for bug-guix@gnu.org; Wed, 10 May 2023 10:03:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pwkPG-00051K-1O for bug-guix@gnu.org; Wed, 10 May 2023 10:03:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pwkPF-0007AR-Sz for bug-guix@gnu.org; Wed, 10 May 2023 10:03:01 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#63412: Topological sorting in cuirass Resent-From: "Dr. Arne Babenhauserheide" Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 10 May 2023 14:03:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63412 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Andreas Enge Cc: 63412@debbugs.gnu.org X-Debbugs-Original-Cc: 63412@debbugs.gnu.org, bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.168372737427537 (code B ref -1); Wed, 10 May 2023 14:03:01 +0000 Received: (at submit) by debbugs.gnu.org; 10 May 2023 14:02:54 +0000 Received: from localhost ([127.0.0.1]:48525 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pwkP7-0007A5-LE for submit@debbugs.gnu.org; Wed, 10 May 2023 10:02:54 -0400 Received: from lists.gnu.org ([209.51.188.17]:33568) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pwkP6-00079y-I7 for submit@debbugs.gnu.org; Wed, 10 May 2023 10:02:52 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pwkP6-0004xd-CW for bug-guix@gnu.org; Wed, 10 May 2023 10:02:52 -0400 Received: from mout.web.de ([212.227.17.12]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pwkP4-0004zD-Jn for bug-guix@gnu.org; Wed, 10 May 2023 10:02:52 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1683727359; i=arne_bab@web.de; bh=ABqbhTGMSq6elPoT0qDNqcRs+SkA6Zy/beUo966ao68=; h=X-UI-Sender-Class:References:From:To:Cc:Subject:Date:In-reply-to; b=QLpuVc7m7iGxBtbDRFBa94sTTD6f/BAYbbqOg/RMsXkoCmb/vlEVzzjuGjTIt7pHI VFUTzR9hEbXartZ0b/8cewPlv+c1yXyb3KLgaDF+MLk3mHdpdXonxa+71ZcmPaixOQ cjVQxd6lZ2jux9O5zttfzwJJSdtwfbyahRG4D0RiA0vWxEgxBQR5VyNhcTaW5gtrC4 1dAkTigeCRX9UcIpjxDRs+nyL5//5+VoQiXiWSjj3o9GI8ZXPLLkG/HZ4Sm5ROEfkk 3u4A/3QIm+MfPlIyiXEcjViSXPeJ0GQuKzINI9UhkycbkAzuLK9JyiHmtGE2H/xeNm u+KqcuExOAR1A== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from fluss ([84.165.25.222]) by smtp.web.de (mrweb106 [213.165.67.124]) with ESMTPSA (Nemesis) id 1M604f-1ppLTI33H9-007WK7; Wed, 10 May 2023 16:02:39 +0200 References: User-agent: mu4e 1.10.2; emacs 29.0.90 From: "Dr. Arne Babenhauserheide" Date: Wed, 10 May 2023 15:59:45 +0200 In-reply-to: Message-ID: <87r0ro9tdt.fsf@web.de> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Provags-ID: V03:K1:ZJEeCAxmsP+NdY2em04BD+xEYJNTK6L+4Da/PpXEbctsd2PhbRi K5hSpQbARETN1jehqZ6fF9O9lulMzjrbwOUVPAZy/sAIuRQKHTolarlcxQUWCLgQkezZwDR DQeidlSSp1Z/iKrqn14qkNlLxFYSXjijkpA/NZ50X9LsLJ+ktoONiC6TX2iY7U+86OioME8 n9PT8GIO54vaKdB4Wq6RA== UI-OutboundReport: notjunk:1;M01:P0:Lrz0rLQaqN0=;rwx3WkeOa2yvygJZARG0KFcMOE4 Z3Y3JsJlDQaqmBUgX5Hx5ENtCZB+1DUuTxdRmQJtrxsYqO4s2+6nRZbkUIy6QrgI5rYuZDQ3Y Vzq2QfAySzpfKqnsJkWxsKpHZaVfiSku0UNpfUWl42szc8nYDUOUDg3NkBdFsGCg8bG5BDMXA rvRS0k0gsiKSxSqmES2BE7np7TPxH1lHXAfc+a+bjBwDswdQtfmQ4Q+mWW3+2rXTbqWBpJpJ3 Y6KZiYBml4QHV5wV/FIjc5zL5ZdDVuk2KGGizBPYmuIuQWGC0ALd1rR2wp9GZp53d+Pot7Ao/ yBmx9BKZE2qFeF+zm+k0tAhIdeaYTPm0+cUXp+bSTS5VaQk9mtvFKxZ26bnaj2XeUZmoCGMzo Dt2EAb0xC2USUXfSctah9CSyJ2Xk2UnnUBdAt4o90zWX3h4J+gpplMI2kh9EFikXiN7iK40qN fjcQpJRsAya6ChUKu92l1P4JEWty6oZXaR56wbEpX3tL0MsRNqxpN9KyIu4HBZQA8ATGs1Tit 1K6GeqgPmHsjGo8q78Kkotvc5z+iBwzlH4bZNbsjawgR/rph2HDgaHVC2pXn+bZQO++lxPHjK Lgi7R/IEgArawSOqLLaLUzKFOo6Dzdn4fyRiR38RAJ2CbfVlegDiy7Bzm148EtASGs8cJuMp5 aCtmTxnDVU975ibR2EnUnBKr8pmN3JXL1jdOf0f8+8i03seTbFQmh4YrVLyA62xdLLJZ1zCJC PB3P+yMmFM1kkOttuwZ5rEN2NssY8OsNJygKKvj66KEjqwavS+EGzXCytoxrgnxX5KBo3KCFk Va6rkhSmH1SuDjLQxsxF0Y0loBHT14SmIO/+dtr6Sp4NvT3OflJD/LB2ZvmMGE6hLsiF3l17P GAuCVdkgnMlwfVebC95bEXRbzF9FXSg+OWLH77+oA0OwerLR4fwoeoLNYL3lLkmyJOEFGVrhZ DWk/Xw== Received-SPF: pass client-ip=212.227.17.12; envelope-from=arne_bab@web.de; helo=mout.web.de X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Seal: i=1; s=key1; d=yhetil.org; t=1683727427; a=rsa-sha256; cv=none; b=sxbS6lHpHLReUQKNIs5k7+BhAT4GvI9TQ7PYDKM5zPvc9nsovU4M7KoFCvj/W40dESBcHF CdTvg0zSStw/OZ+j2p+B/oNycfD2Tm7qsTKKYU8tzY2nMU61y8MQBjy8/aei0p8O1WPh8X BTqbNyaRRSbTQdAsFZRzRLH6xGe7OHG5eAIHdAJdT0vLjEatkh4bDJJx3t2+xm68Emb7+x YCSyBf4/oGR34ndWorPXsoBUCzrlJPp4OiUUuKXA4A4WL+kUqehoI+CaZlrojSxwortpJM oSfhiIfq0tbVa5K28rADpkkc7jswFGxVkA3LfnwfZCmNaJ6WRGNChdeR6nK9aA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=web.de header.s=s29768273 header.b=QLpuVc7m; dmarc=fail reason="SPF not aligned (relaxed)" header.from=web.de (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1683727427; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=ABqbhTGMSq6elPoT0qDNqcRs+SkA6Zy/beUo966ao68=; b=LMigBPsLiANaHOiTmBMJW35zeh94uy653G9NlnZHQ/anJm4JV66oaK1WLEeP/H9Nbv5SPv OITheEf5ejoO2Yg9n1ZID0JeTOOK9ZXHjjOKS+JNo4bt97TMgw1Rq+KIvVtOqxn6qPe7nN 22z8wGT+5S8vXaWjtmdkZbRnsBJzowRA0VTJnCzPznt9zqw9gaCEMKyeO0g5bPDbrfUGHL EeO5qOnp0FOI7tKlgKagPURDeLz1bSMwudUd8nud3MBs4G34azmwQsQF8CZpqUG4H2CNWD hlQlTrqbwdh9W6F0ePD8haMm33egZWY5nEgOxT1OySt5ZqIIS40YhXWF4/zjmA== X-Migadu-Scanner: scn1.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=web.de header.s=s29768273 header.b=QLpuVc7m; dmarc=fail reason="SPF not aligned (relaxed)" header.from=web.de (policy=none); spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 4.52 X-Spam-Score: 4.52 X-Migadu-Queue-Id: AD9522A182 X-TUID: +7x0X36fbl5N --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Andreas Enge writes: > Cuirass should sort builds and only offload derivations for which all > inputs are available. ... > Alternatively, build jobs could be sorted topologically and then be kept > in a list; then before sending out a job, all its inputs have been tried > to be built; the job should then be sent if all inputs are available, or > be marked as "Failed (dependency)" if any of them has failed. If you want to try this out quickly, you could use code from the topological sorting SRFI I=E2=80=99m slowly finalizing: https://srfi.schemers.org/srfi-234/srfi-234.html For usage see: https://github.com/scheme-requests-for-implementation/srfi-2= 34/blob/main/srfi-234-test.scm Code: https://github.com/scheme-requests-for-implementation/srfi-234/blob/m= ain/srfi/234-impl.scm edgelist->graph should do the conversion from inputs per package to the input format. Best wishes, Arne =2D-=20 Unpolitisch sein hei=C3=9Ft politisch sein, ohne es zu merken. draketo.de --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmRbo/4QHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD61HYEAC0cngpr3CGwz0WIR08pCPoDJ4aqQZ5hLMJ NWCNS/UEa+svUUe8M3RTD0ULLu6bdPVIqapWxmU6eiCAWRR/Sw0yC//RwAHrrNEm HsWT9/yX44upkyG4jD1UI04FVo/4anOi87tcPVxoUl+07g3NTs4I682W/nv0WxDY 8OURhIwMe3eeHF7bSX9cLzx6QbfmUwP0Z6uwi7ZTyzOat8FuJNqLIF13WofMj3N3 osKQerCADYZrpWMeiFkHrBIFF2n0Bx61SwVrWkZJJt6CDf2lUQhjEOhZtPKRDCsW 8299sdPs6NY2bcsRAhi4I2ImFVhVdL15oFvk/Z0eYu180J1cPedvjgvxHKjnYGSH uvKWv6Yl8F7K1wNmkkV80OJwJfbbfYWE+YMoPAcMwBwCCfQh9HaErOF58tfoL18a W/xOZ1x80YC1zmdFS85FSzn6DCwK+OJXOUPiAgMwrpVWq6jKvEST17Lt40XTEZWG UM2vKd6anTMwdAYRjsioBDOHiV5EQCtK4gtCIjoodIu8UtZos1xW91GQ+jFYFFCy aia90PgwLKBDjQ8fWDFQ8GF2lo5CYGKk+dvXfc3SruzpRTJAunPT/X5utNcCjvV8 0NsOdFpdNE5u5C6snAwJQChGSI+5UDNw1rUI/oXEIniQaEuwB+wCiuYSeCsbN5+C WCVJqBjbK4jEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmRbo/4QHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSCYSA/9dFjzglwj8/z4++auf9c0iHIG6 ve33HOtv6FuZd8Uqs4lOZed7dpIjhXaIkPPApxtRwF3qacs7BbY0VZlx+V8+z0US fANOg45cha9eJJchXfQWWwussE/VePM5hY3I5gUZo6UaL0Pjrw4gEhJnHIhFxV0c mq+xD9Tiiac9roJsUw== =6oiM -----END PGP SIGNATURE----- --=-=-=--