> I am just curious why ocamldebug cannot work in the native Win32
> Ocaml. Having searched the mailing list archives, I found the following
> Xavier Leroy's article
> 
> http://caml.inria.fr/archives/199903/msg00014.html
> 
> where he explains that two main problems are (1) absense of checkpointing
> facilities and (2) absense of unix sockets equivalent.
> 
> Ocaml debugger normally implements checkpoins via fork() syscall, which is
> not available under Win32. But why simply not to use
> ReadProcessMemory()/WriteProcessMemory() Win32 API functions to
> save/restore the process memory image?

You need a bit more than this: file and socket handles also need some
checkpointing (of the kind that fork() does on file descriptors in the
Unix world).

> I think it should be relatively
> easy (BTW Cygwin uses these functions in its fork() implementation).

Yes, and I've looked at the fork() implementation in Cygwin.  It's a
remarkable engineering feat, but not something that I'd call
"relatively easy" :-)

> As for Unix sockets, Win32 has almost the same thing: named pipes.

Agreed, this isn't a show-stopper.

> So maybe is time to bring ocamldebug to Win32? :-)

As soon as someone writes a decent process checkpointing library for
Win32 :-)

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners