Subject: Refiner

Keywords: ::loop
          ::usage
          ::Auto
          ::interrupt

Title: interrupting refiner

--------------------------------------------------

Sometimes it is necessary to interrupt refiner. This needs to be done
with care since if you interrupt it during IO it will loose it's connection
to the library and become unusable.  refinement can get hung up for 
different reasons, so it's not always problem with runaway refinement.

After refinement finishes it prints:

2015_04_06-AM-11_16_32 REFINEMENT COMPLETE.

RuleCount 11634.

So if you see message like that at end of output then do not interrupt.

The refiner is pretty verbose, if it's doing refining there should be 
some sort of message printed every second or so. Common messages are 
ephemeral GC info, eg "635M, GC DONE" and rule counts, eg "RuleCount 10000".

If you see RuleCount message then it's likely safe to interrupt.

Interrupt by enter (c-c)(c-c) in *inferior-lisp* buffer. 




--------------------------------------------------

Authors: RICH:t



Home