Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004743OCamlOCaml documentationpublic2009-03-12 00:252013-08-02 15:34
Reporterfrisch 
Assigned To 
PrioritynormalSeverityminorReproducibilityN/A
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target Version4.01.0+devFixed in Version4.01.0+dev 
Summary0004743: About generational global roots in the manual
Description1. Chapter 18 mentions the new functions caml_register_generational_global_root and caml_remove_generational_global_root, but not caml_modify_generational_global_root. Moreover, the sentence "The garbage collector takes advantage of the guarantee that v is not modified to scan it less often." leads to believe that generational global roots are really immutable.

2. My understanding is that the new interface is always more efficient for immutable value. However, assignment (through caml_modify_generational_global_root) can make the new interface slower than the old one, although the slowdown would usually be negligible. Is this correct? In which cases should we keep using the old interface instead of the new one?
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0010078)
doligez (administrator)
2013-08-02 15:34

Changed the wording of the doc. (rev 13965)

- Issue History
Date Modified Username Field Change
2009-03-12 00:25 frisch New Issue
2009-04-29 15:38 doligez Status new => acknowledged
2012-07-11 14:56 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-17 13:49 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-09 16:46 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-08-02 15:34 doligez Note Added: 0010078
2013-08-02 15:34 doligez Fixed in Version => 4.01.0+dev
2013-08-02 15:34 doligez Status acknowledged => resolved
2013-08-02 15:34 doligez Resolution open => fixed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker