Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004935OCamlOCamlbuild (the tool)public2009-12-08 17:232016-02-16 01:24
Reporterletouzey 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusclosedResolutionsuspended 
PlatformOSOS Version
Product Version3.11.1 
Target VersionFixed in Version 
Summary0004935: ocamlbuild -j does not compile in parallel a parallelizable development
DescriptionI'm trying to compile Coq via ocamlbuild (See also bug 0004934). Currently, the use of the -j option brings almost no time gain on a multi-core machine (while make -j is close to 2x gain on dual-core and 3.5x gain on quad-core).

Here again, I may well be the culprit and not have written my myocamlbuild.ml in an appropriate manner. Any hint is welcome...

Best regards,
Pierre Letouzey


Instructions to reproduce:

0) you'll need camlp5 installed
1) get a copy of coq development archive
   svn checkout svn://scm.gforge.inria.fr/svn/coq/trunk/ [^] [^]
2) ./configure -local -opt
3) Launch a first build (./build is a wrapper for ocamlbuild, with no -j) :
   ./build
4) Redo the same with -j 0 :
   rm -rf _build
   ocamlbuild -j 0 coq.otarget

Here, on a quad-core machine, first build says:
Finished, 2716 targets (0 cached) in 00:13:10.

While the second one says
Finished, 2716 targets (0 cached) in 00:12:37.

On the same machine, make -j perform the same build in about 4min.
TagsNo tags attached.
Attached Files

- Relationships
related to 0005138assignedxclerc option "-j" doesn't parallelize processes on windows 

-  Notes
(0015362)
egallego (reporter)
2016-02-16 00:55

This issue is superseded by https://github.com/ocaml/ocamlbuild/issues/52 [^]
(0015364)
gasche (developer)
2016-02-16 01:24

Moving to the new ocamlbuild bugtracker.

- Issue History
Date Modified Username Field Change
2009-12-08 17:23 letouzey New Issue
2010-01-08 13:34 doligez Status new => confirmed
2010-01-08 13:34 doligez Description Updated
2011-06-06 13:00 xclerc Relationship added related to 0005138
2011-06-06 13:08 xclerc Status confirmed => assigned
2011-06-06 13:08 xclerc Assigned To => xclerc
2012-02-02 15:17 protz Category OCamlbuild => OCamlbuild (the tool)
2012-07-06 16:31 doligez Target Version => 4.01.0+dev
2012-07-31 13:36 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-07 12:53 frisch Target Version 4.00.1+dev => 4.00.2+dev
2013-06-16 18:33 gasche Target Version 4.00.2+dev => 4.02.0+dev
2013-06-16 21:25 gasche Severity major => minor
2013-06-16 21:26 gasche Severity minor => feature
2013-07-12 18:15 doligez Target Version 4.02.0+dev => 4.01.1+dev
2014-05-25 20:24 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-08-21 12:00 doligez Target Version 4.02.0+dev =>
2016-02-16 00:55 egallego Note Added: 0015362
2016-02-16 01:24 gasche Note Added: 0015364
2016-02-16 01:24 gasche Status assigned => closed
2016-02-16 01:24 gasche Assigned To xclerc =>
2016-02-16 01:24 gasche Resolution open => suspended


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker