Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007915OCamlotherlibspublic2019-02-10 05:222019-02-11 11:00
Reporterdanielrichman 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformUnixOSOS Version
Product Version4.07.0 
Target VersionFixed in Version 
Summary0007915: mmapped bigarrays that have been sliced are never unmapped
Descriptioncaml_ba_slice uses caml_ba_alloc and hence caml_ba_ops/caml_ba_finalize, even if the array you are slicing is mmapped and so it _should_ be using caml_ba_mapped_ops/caml_ba_mapped_finalize.

When the slice is garbage collected, caml_ba_finalize either asserts-0, or does nothing (if assertions are not enabled), and in particular does not decrease the refcount on the proxy.

When the original array is garbage collected, the refcount is greater than 1, so it is not freed.
Steps To ReproduceBuild and execute attached file with ocamlopt.
TagsNo tags attached.
Attached Files? file icon test.ml [^] (736 bytes) 2019-02-10 05:22 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2019-02-10 05:22 danielrichman New Issue
2019-02-10 05:22 danielrichman File Added: test.ml


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker