0004743: About generational global roots in the manual

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004743

OCaml

OCaml documentation

public

2009-03-12 00:25

2012-09-17 15:11

Reporter

frisch

Assigned To

Priority

normal

Severity

minor

Reproducibility

N/A

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

4.00.2+dev

Fixed in Version

Summary

0004743: About generational global roots in the manual

Description

1. 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?

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

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