[infer] Add max-jobs option

Summary:
This diff adds an option `max-jobs` that restrict the number of jobs
running simultaneously.

Reviewed By: ngorogiannis

Differential Revision: D22978328

fbshipit-source-id: 544153c1c

infer/man/man1/infer-analyze.txt

@@ -209,6 +209,9 @@ OPTIONS
            Activates: Enable loop-hoisting and disable all other checkers
            (Conversely: --no-loop-hoisting-only)
 
+       --max-jobs int
+           Maximum number of analysis jobs running simultaneously
+
        --perf-profiler-data-file file
            DEPRECATED: Specify the file containing perf profiler data to read
 

infer/man/man1/infer-full.txt

@@ -783,6 +783,10 @@ OPTIONS
            Activates: Enable loop-hoisting and disable all other checkers
            (Conversely: --no-loop-hoisting-only)           See also infer-analyze(1).
 
+       --max-jobs int
+           Maximum number of analysis jobs running simultaneously       
+    See also infer-analyze(1).
+
        --max-nesting int
            Level of nested procedure calls to show. Trace elements beyond the
            maximum nesting level are skipped. If omitted, all levels are
@@ -1546,6 +1550,9 @@ INTERNAL OPTIONS
        --margin int
            Set right margin for the pretty printing functions
 
+       --max-jobs-reset
+           Cancel the effect of --max-jobs.
+
        --max-nesting-reset
            Cancel the effect of --max-nesting.
 

infer/man/man1/infer.txt

@@ -783,6 +783,10 @@ OPTIONS
            Activates: Enable loop-hoisting and disable all other checkers
            (Conversely: --no-loop-hoisting-only)           See also infer-analyze(1).
 
+       --max-jobs int
+           Maximum number of analysis jobs running simultaneously       
+    See also infer-analyze(1).
+
        --max-nesting int
            Level of nested procedure calls to show. Trace elements beyond the
            maximum nesting level are skipped. If omitted, all levels are

infer/src/base/Config.ml

@@ -1563,6 +1563,12 @@ and margin =
     "Set right margin for the pretty printing functions"
 
 
+and max_jobs =
+  CLOpt.mk_int_opt ~long:"max-jobs"
+    ~in_help:InferCommand.[(Analyze, manual_generic)]
+    ~meta:"int" "Maximum number of analysis jobs running simultaneously"
+
+
 and max_nesting =
   CLOpt.mk_int_opt ~long:"max-nesting"
     ~in_help:InferCommand.[(Explore, manual_explore_bugs)]
@@ -2867,7 +2873,7 @@ and javac_classes_out = !javac_classes_out
 
 and job_id = !job_id
 
-and jobs = !jobs
+and jobs = Option.fold !max_jobs ~init:!jobs ~f:min
 
 and join_cond = !join_cond