Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006728OCamlcompiler driverpublic2014-12-19 15:192018-09-08 02:59
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006728: Enable -g and OCAMLRUNPARAM=b by default
DescriptionThe size hit of -g is insignificant; a raw opam init checkout (not even any compilers or packages installed) is 60M, and a dozen packages blows it up to 500M. I haven't seen anyone complain.

The fact that -g enables several things unrelated to backtraces (see 0006238) should be still addressed.

The rationale for enabling OCAMLRUNPARAM=b is well described in 0005855. Additionally:

Not only most OCaml programs are unaffected by the slight performance hit due to collection of backtraces, but also since after 4.02, raise_notrace is available. I think it's time to stop caring about the performance hit at all. The code which *require* fast exceptions can (and should) well have them with raise_notrace.
TagsNo tags attached.
Attached Files

- Relationships
related to 0006238acknowledgedshinwell please add an option to enable debug symbols only 
related to 0005855assignedshinwell Compiling in debug mode should turn on caml_record_backtrace by default 

-  Notes
doligez (administrator)
2015-01-09 18:07

While I agree that no one should care much about the size increase, we have many users who do care a lot about performance.

In any case, if we enable backtraces by default, we'll have to change the parsing of OCAMLRUNPARAM to provide a syntax for disabling backtraces.
whitequark (developer)
2015-01-09 18:10

I do agree, hence the note on raise_notrace. And if the backtraces are not dynamically necessary, the debug information is not read at all, so just always enabling -g would be a zero-cost change.

lpw25 (developer)
2015-01-09 21:05

There would definitely need to be a -no-g option (with a better name than that), manually setting OCAMLRUNPARAM is not a viable alternative.
doligez (administrator)
2017-03-01 14:28

Note: the `OCAMLRUNPARAM=b=0` part is already implemented as part of 0006808.
2018-09-08 02:59

thank you i am the official agent of which provides various products from PT Nasa, for the please click the link below
More info - [^]

- Issue History
Date Modified Username Field Change
2014-12-19 15:19 whitequark New Issue
2014-12-19 15:19 whitequark Relationship added related to 0006238
2014-12-19 15:19 whitequark Relationship added parent of 0005855
2014-12-19 15:19 whitequark Relationship added related to 0005955
2014-12-19 15:20 whitequark Relationship replaced related to 0005855
2014-12-19 15:20 whitequark Relationship deleted related to 0005955
2014-12-19 15:22 whitequark Description Updated View Revisions
2014-12-19 15:24 whitequark Description Updated View Revisions
2015-01-09 18:05 doligez Status new => acknowledged
2015-01-09 18:05 doligez Description Updated View Revisions
2015-01-09 18:07 doligez Note Added: 0013040
2015-01-09 18:10 whitequark Note Added: 0013042
2015-01-09 21:05 lpw25 Note Added: 0013058
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-01 14:28 doligez Note Added: 0017508
2017-03-01 14:28 doligez Category -OCaml general => compiler driver
2018-09-08 02:59 user11163 Note Added: 0019345

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker