0002187: Re: wowcamldebug exit issue

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002187

OCaml

OCaml general

public

2004-02-07 15:40

2012-09-19 11:43

Reporter

administrator

Assigned To

xclerc

Priority

high

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Platform

OS Version

Product Version

Target Version

4.00.2+dev

Fixed in Version

Summary

0002187: Re: wowcamldebug exit issue

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.

Cheers,
Issac

--
Issac Trotts
http://redwood.ucdavis.edu/~issac [^]

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:14	administrator	New Issue
2008-01-18 16:07	doligez	Status	acknowledged => assigned
2008-01-18 16:07	doligez	Assigned To	=> doligez
2010-05-20 16:12	doligez	Assigned To	doligez => xclerc
2012-07-11 17:37	doligez	Target Version	=> 4.01.0+dev
2012-07-11 17:37	doligez	Description Updated	View Revisions
2012-07-31 13:37	doligez	Target Version	4.01.0+dev => 4.00.1+dev
2012-09-19 11:43	doligez	Target Version	4.00.1+dev => 4.00.2+dev
2012-09-19 11:43	doligez	Priority	normal => high