Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005295OCamlOCaml generalpublic2011-06-17 22:172013-08-31 12:48
Reporterdb 
Assigned To 
PrioritynormalSeveritycrashReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.12.0 
Target VersionFixed in Version4.00.0+dev 
Summary0005295: Systhreads bug
DescriptionSteps to reproduce it:

/* thread 1 */
caml_startup();
caml_enter_blocking_section();

/* thread 2 */
caml_c_thread_register();

/* thread 1 */
caml_c_thread_unregister();

/* thread 2 */
caml_leave_blocking_section();

Now all_threads pointer is invalid and you'll see the crash. The fix is attached.
TagsNo tags attached.
Attached Filesdiff file icon systhreads.diff [^] (434 bytes) 2011-06-17 22:17 [Show Content]

- Relationships

-  Notes
(0006021)
db (reporter)
2011-06-24 17:09
edited on: 2011-06-29 17:00

(Edit: delete non-existing issue reported by mistake)

(0006060)
db (reporter)
2011-07-26 17:21

Sorry, but why do you think this bug should not be fixed?
(0006071)
xclerc (developer)
2011-08-01 14:42

Sorry, I misinterpreted the first note as meaning "delete this bug report".
(0007293)
xleroy (administrator)
2012-04-08 19:13

Fixed as suggested in 4.00 release branch (commit 12324) and in trunk (commit 12325)

- Issue History
Date Modified Username Field Change
2011-06-17 22:17 db New Issue
2011-06-17 22:17 db File Added: systhreads.diff
2011-06-24 17:09 db Note Added: 0006021
2011-06-29 17:00 db Note Edited: 0006021
2011-07-26 16:03 xclerc Status new => closed
2011-07-26 16:03 xclerc Resolution open => no change required
2011-07-26 17:21 db Note Added: 0006060
2011-07-26 17:21 db Status closed => feedback
2011-07-26 17:21 db Resolution no change required => reopened
2011-08-01 14:42 xclerc Note Added: 0006071
2012-04-08 19:13 xleroy Note Added: 0007293
2012-04-08 19:13 xleroy Status feedback => resolved
2012-04-08 19:13 xleroy Resolution reopened => fixed
2012-04-08 19:13 xleroy Fixed in Version => 4.00.0+dev
2013-08-31 12:48 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker