Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Michael Orlitzky
On Mon, 2022-06-13 at 15:39 -0700, Paul Eggert wrote: > > I've wanted something like this for *years* (I assigned a simpler > version to my undergraduates but of course it was too much to expect > them to implement it) and I hope some sort of parallelization like this > can get into production

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Chet Ramey
On 6/13/22 6:39 PM, Paul Eggert wrote: > In many Gnu projects, the 'configure' script is the biggest barrier to > building because it takes s long to run. Is there some way that we > could improve its performance without completely reengineering it, by > improving Bash so that it can paralleliz

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Steffen Nurpmeso
Chet Ramey wrote in <211b74c0-caed-227f-ffae-b85868ef7...@case.edu>: |On 6/13/22 6:39 PM, Paul Eggert wrote: |> In many Gnu projects, the 'configure' script is the biggest barrier to |> building because it takes s long to run. Is there some way that we |> could improve its performance with

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Nick Bowler
On 2022-06-14, Michael Orlitzky wrote: > On Mon, 2022-06-13 at 15:39 -0700, Paul Eggert wrote: >> >> I've wanted something like this for *years* (I assigned a simpler >> version to my undergraduates but of course it was too much to expect >> them to implement it) and I hope some sort of paralleliz

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Nick Bowler
On 14/06/2022, Nick Bowler wrote: > On 2022-06-14, Michael Orlitzky wrote: >> On Mon, 2022-06-13 at 15:39 -0700, Paul Eggert wrote: >>> >>> I've wanted something like this for *years* (I assigned a simpler >>> version to my undergraduates but of course it was too much to expect >>> them to implem

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Richard Purdie
On Tue, 2022-06-14 at 13:11 -0400, Nick Bowler wrote: > The resulting config.h is correct but pa.sh took almost 1 minute to run > the configure script, about ten times longer than dash takes to run the > same script. More than half of that time appears to be spent just > loading the program into p

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Paul Eggert
On 6/14/22 10:11, Nick Bowler wrote: The resulting config.h is correct but pa.sh took almost 1 minute to run the configure script, about ten times longer than dash takes to run the same script. More than half of that time appears to be spent just loading the program into pa.sh, before a single

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Ángel
On 2022-06-13 at 18:32 -0700, Paul Eggert wrote: > Yes, all that could be done in theory, but it'd take a lot of > hacking and it's been decades and it hasn't happened. > > I'd rather have shell scripts "just work" in parallel with a minimum > of fuss. If this hasn't happened, that might be becau

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Paul Eggert
On 6/14/22 18:55, Ángel wrote: Do you have any handy example of configure that takes too long to run? Sure. Coreutils, emacs. Pretty much any nontrivial configure script takes longer than it should. I understand that parallelization of shell scripts is nontrivial.

Re: Parallelization of shell scripts for 'configure' etc.

2022-06-14 Thread Jeffrey Walton
On Tue, Jun 14, 2022 at 11:15 PM Ángel wrote: > > On 2022-06-13 at 18:32 -0700, Paul Eggert wrote: > > Yes, all that could be done in theory, but it'd take a lot of > > hacking and it's been decades and it hasn't happened. > > > > I'd rather have shell scripts "just work" in parallel with a minimu