At 03:13 PM 3/23/00 +0100, you wrote:
>Mark Gibson wrote:
>>
>> Use the menu option:
>>
>> JDEbug -> Processes -> Remove Dead Processes
>>
>Thanks!
>
>Why are the buffers numbered? Why are they not just reused?
(1) You can debug multiple processes concurrently in a single session. Each
session needs its own set of buffers.
(2) You can debug the same process multiple times successively in the same
debugger session. You may want to compare the output of the current run
with that of previous runs.
(3) The JDE can never be quite certain when a process has died as messages
are received asynchronously from the debugger. A message relating to a dead
process can arrive after the process has died. Thus, it is necessary to
keep a dead process's buffers around for a while after it has died.
When I began to implement the debugger last summer, I thought about
providing an option to delete a dead processes buffers automatically.
However, I could not at the time decide what was the best way for such an
option to deal with the problem of postmortem messages, especially as I was
not too clear myself what were the circumstances in which such messages
could arrive. My plan all along has been to revisit this issue after users
had had some significant experience with JDEbug so I could get their input.
- Paul
------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
JDE website: http:/sunsite.auc.dk/jde/
JDE mailing list archive:
http://www.mail-archive.com/[email protected]/maillist.html
Please use JDE->Help->Submit Problem Report when reporting a bug or seeking
help. This will insure that you include all information that may be
required to solve your problem.
