Mantis Bug Tracker
Main | My View | View Issues | Change Log | Roadmap
  

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005893OCamlOCaml backend (code generation)public2013-01-17 06:512013-01-17 07:39
Reporterjohan.mazel 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformLinuxOSDebianOS VersionTesting
Product Version4.00.0 
Target VersionFixed in Version 
Summary0005893: Fork stuck when big memory use and profile option for compilation
DescriptionFork is stuck at execution when one uses a consequent amount of memory (in my case 8%) and the profile option is used during compilation.
When the fork call is stuck, the program uses 100% of one core.
Steps To ReproduceI made a small program that first create a big array called array1 that contains other arrays named array2. The size of those arrays can be chosen through the two mandatory parameters of the program.
In my case, the bug happens with array1 length = 1000 and array2 length = 200000.

This program is located in the joined tar archive along with _tags and makefile files.
TagsNo tags attached.
Attached Filestar file icon Fork_problem.tar [^] (10,240 bytes) 2013-01-17 06:51

- Relationships

-  Notes
(0008766)
johan.mazel (reporter)
2013-01-17 07:04

 I forgot to add that this only happens with native compilation.
Bytecode compilation seems to not experience this problem.
(0008767)
berenger (reporter)
2013-01-17 07:39

 Here is some part of an strace of a program that was affected by this possible bug:

---
--- SIGPROF (Profiling timer expired) @ 0 (0) ---
rt_sigreturn(0x1b) = 140464321150976
clone(child_stack=0, flags=CLONE_CHILD_CLEARTID|CLONE_CHILD_SETTID|SIGCHLD, child_tidptr=0x7fc080ed19d0) = ? ERESTARTNOINTR (To be restarted)
--- SIGPROF (Profiling timer expired) @ 0 (0) ---
rt_sigreturn(0x1b) = 56
clone(child_stack=0, flags=CLONE_CHILD_CLEARTID|CLONE_CHILD_SETTID|SIGCHLD, child_tidptr=0x7fc080ed19d0) = ? ERESTARTNOINTR (To be restarted)
--- SIGPROF (Profiling timer expired) @ 0 (0) ---
rt_sigreturn(0x1b) = 56
clone(child_stack=0, flags=CLONE_CHILD_CLEARTID|CLONE_CHILD_SETTID|SIGCHLD, child_tidptr=0x7fc080ed19d0) = ? ERESTARTNOINTR (To be restarted)
--- SIGPROF (Profiling timer expired) @ 0 (0) ---
rt_sigreturn(0x1b) = 56
clone(child_stack=0, flags=CLONE_CHILD_CLEARTID|CLONE_CHILD_SETTID|SIGCHLD, child_tidptr=0x7fc080ed19d0) = ? ERESTARTNOINTR (To be restarted)
---

Hope this helps,
F.

- Issue History
Date Modified Username Field Change
2013-01-17 06:51 johan.mazel New Issue
2013-01-17 06:51 johan.mazel File Added: Fork_problem.tar
2013-01-17 07:04 johan.mazel Note Added: 0008766
2013-01-17 07:39 berenger Note Added: 0008767

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker