URL:
<http://savannah.gnu.org/bugs/?51200>
Summary: Improvement suggestion: listen to signals to adjust
number of jobs
Project: make
Submitted by: None
Submitted on: Wed 07 Jun 2017 06:43:43 PM UTC
Severity: 3 - Normal
Item Group: Enhancement
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Component Version: SCM
Operating System: POSIX-Based
Fixed Release: None
Triage Status: None
_______________________________________________________
Details:
Many times after starting make I have wished that I started it with more
parallel jobs than I did. A few time I have also wished that I started make
with fewer parallel jobs.
The attached patch allows you to send SIGUSR2 to your top level make process
to add one more parallel job.
Once a SIGUSR2 is received the functionality of SIGUSR1 also changes from
toggling debug output to decrease the number of jobs by 1. No running job will
be killed, but when the next target is finished one less job will be started
again.
If make was started with parallel jobs SIGUSR2 will immediately increase the
number of jobs with one. If make was started without -j SIGUSR2 will not cause
make to work in parallel until the current target is finished.
The patch was written against sources from git, but also works with latest
stable version 4.2.1.
I hope that you will find my patch useful and that it somehow will make it
into upcoming stable releases of make.
Please feel free to discuss improvements of the patch, I have subscribed to
the bug-make mailing list.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Wed 07 Jun 2017 06:43:43 PM UTC Name: signal_num_jobs3.patch Size: 3kB
By: None
<http://savannah.gnu.org/bugs/download.php?file_id=40877>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?51200>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
