| Anonymous | Login | Signup for a new account | 2013-06-20 04:52 CEST |  |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||
| 0004935 | OCaml | OCamlbuild (the tool) | public | 2009-12-08 17:23 | 2013-06-16 21:26 | ||||||
| Reporter | letouzey | ||||||||||
| Assigned To | xclerc | ||||||||||
| Priority | normal | Severity | feature | Reproducibility | always | ||||||
| Status | assigned | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | 3.11.1 | ||||||||||
| Target Version | 4.02.0+dev | Fixed in Version | |||||||||
| Summary | 0004935: ocamlbuild -j does not compile in parallel a parallelizable development | ||||||||||
| Description | I'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. | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
 Relationships |
 Notes |
|
| There are no notes attached to this issue. |
|
Notes |
|
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 |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |