You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 2187 Reporter: administrator Assigned to:@xclerc Status: resolved (set by @damiendoligez on 2015-03-13T19:31:40Z) Resolution: suspended Priority: high Severity: minor Target version: 4.03.0+dev / +beta1 Fixed in version: 4.03.0+dev / +beta1 Category: ~DO NOT USE (was: OCaml general) Tags: patch
Bug description
On Sat, Feb 07, 2004 at 09:46:25AM +0100, Stefano Zacchiroli wrote:
On Fri, Feb 06, 2004 at 11:30:47AM -0800, Issac Trotts wrote:
Thanks for making wowcamldebug available. I wonder if you know how to
get around this problem:
Unfortunately no. I'm aware of the problem but last time I tried to
track it down it seemed to me that it was not deterministic. Are you
experiencing a reproducible behaviour?
Yes I think so.
I believe the problem is actually with ocamldebug. The error message
Lost connection with process -1 (active process)
between time 0 and time 10000
comes from the function Time_travel.forget_process. Here's my fix,
though I don't understand ocamldebug well enough to be sure that it's
really correct:
(* in debugger/main.ml *)
let rec protect ppf loop =
try
loop ppf
with
| End_of_file ->
(* This is hosed.
protect ppf (function ppf ->
forget_process
!current_checkpoint.c_fd
!current_checkpoint.c_pid;
pp_print_flush ppf ();
stop_user_input ();
loop ppf) )
exit 0 ( This is basically what I want it to do. *)
Otherwise it just loops forever and you can't control-C or control-Z to
make it stop.
It's hard to tell exactly now that we've lost the context and we don't have a repro case, but there is a bug in forget_process when it gets called with pid=-1. I've fixed it in trunk (commit 15936).
Original bug ID: 2187
Reporter: administrator
Assigned to: @xclerc
Status: resolved (set by @damiendoligez on 2015-03-13T19:31:40Z)
Resolution: suspended
Priority: high
Severity: minor
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)
Tags: patch
Bug description
On Sat, Feb 07, 2004 at 09:46:25AM +0100, Stefano Zacchiroli wrote:
Yes I think so.
I believe the problem is actually with ocamldebug. The error message
Lost connection with process -1 (active process)
between time 0 and time 10000
comes from the function Time_travel.forget_process. Here's my fix,
though I don't understand ocamldebug well enough to be sure that it's
really correct:
(* in debugger/main.ml *)
let rec protect ppf loop =
try
loop ppf
with
| End_of_file ->
(* This is hosed.
protect ppf (function ppf ->
forget_process
!current_checkpoint.c_fd
!current_checkpoint.c_pid;
pp_print_flush ppf ();
stop_user_input ();
loop ppf)
)
exit 0 ( This is basically what I want it to do. *)
Otherwise it just loops forever and you can't control-C or control-Z to
make it stop.
Cheers,
Issac
--
Issac Trotts
http://redwood.ucdavis.edu/~issac
The text was updated successfully, but these errors were encountered: