Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007670OCamlruntime system and C interfacepublic2017-11-13 14:502017-11-13 15:02
Reportersbriais 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionduplicate 
PlatformWindows 32 bitsOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0007670: Strange Out of memory when using Bigarray
DescriptionI made a small reproduction case.

It allocates indefinitely a vector of floats of size 10000 (and throw the array immediately).

On trunk (c5fe6932), I get an Out of memory.
I use Ocaml on Windows 32 bits, compiled with MSVC.

Here is the source code:

let main () =
    while true do
      ignore Bigarray.(Array1.create float64 c_layout 10000)
    done
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0007100assigneddoligez Bigarray's caml_ba_alloc doesn't try GC if malloc fails 

-  Notes
(0018649)
yallop (developer)
2017-11-13 14:52

This appears to be the same issue as PR7100.
(0018650)
frisch (developer)
2017-11-13 14:56

Observation: all bigarray descriptors are allocated in the minor heap and the major GC does not trigger before we reach the OOM.
(0018651)
frisch (developer)
2017-11-13 14:58

Reducing to CAML_BA_MAX_MEMORY = 256 Mb instead of 1 Gb does not fix the problem.
(0018652)
sbriais (reporter)
2017-11-13 14:59

Note: It works if we set minor_heap_size to a small value.
(0018653)
frisch (developer)
2017-11-13 15:01

Thanks Jeremy. Will continue discussion on 7100.

- Issue History
Date Modified Username Field Change
2017-11-13 14:50 sbriais New Issue
2017-11-13 14:52 yallop Note Added: 0018649
2017-11-13 14:52 yallop Relationship added duplicate of 0007100
2017-11-13 14:56 frisch Note Added: 0018650
2017-11-13 14:58 frisch Note Added: 0018651
2017-11-13 14:59 sbriais Note Added: 0018652
2017-11-13 15:01 frisch Note Added: 0018653
2017-11-13 15:02 frisch Status new => resolved
2017-11-13 15:02 frisch Resolution open => duplicate
2017-11-13 15:02 frisch Assigned To => frisch


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker