Subject: Refiner

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

Title: interrupting a refiner

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


Sometimes it is necessary to interrupt a refiner.  A refinement can get hung up for 
different reasons, so it's not always a problem with a runaway refinement, ie it's
worth waiting it out for a while if you're uncertain if the refiner is looping.

After a refinement finishes it prints:

2015_04_06-AM-11_16_32 REFINEMENT COMPLETE.

RuleCount 11634.

So if you see a message like that at end of output then you do not need to 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 a RuleCount message that exceeds what you expect it's may be good
to interrupt. 

If the toploop is running, then "a." will interrupt.
If the toploop is not running the (fooar) at lisp prompt will interrupt. 
⋅


⋅
--------------------------------------------------

Authors: RICH:t

⋅

Home