[bug #51200] Improvement suggestion: listen to signals to adjust number of jobs

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

[bug #51200] Improvement suggestion: listen to signals to adjust number of jobs

David Boyce-5
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
[hidden email]
https://lists.gnu.org/mailman/listinfo/bug-make
Reply | Threaded
Open this post in threaded view
|

[bug #51200] Improvement suggestion: listen to signals to adjust number of jobs

David Boyce-5
Follow-up Comment #1, bug #51200 (project make):

As the directory structure recently changed in git, would you like me to send
an updated patch?

regards Henrik

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?51200>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/


_______________________________________________
Bug-make mailing list
[hidden email]
https://lists.gnu.org/mailman/listinfo/bug-make
Reply | Threaded
Open this post in threaded view
|

[bug #51200] Improvement suggestion: listen to signals to adjust number of jobs

David Boyce-5
Additional Item Attachment, bug #51200 (project make):

File name: signal_num_jobs5.patch         Size:3 KB
    <https://savannah.gnu.org/file/signal_num_jobs5.patch?file_id=49430>



    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?51200>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/