[ Advanced Control and Suspensions | Reference Manual | Alphabetic Index ]

# unschedule_suspension(+Susp)

Undo the scheduling of a suspension, preventing the delayed goal from actually being executed

Susp
  A suspension

## Description

Suspensions in ECLiPSe go through several stages: They are created, attached to variables or symbolic triggers, later scheduled for execution, and finally executed. This predicate affects suspensions that are in the scheduled state, and causes them to pass into the executed state without actually being executed.

Normally, scheduling a suspension leads to the execution of its associated goal, which in turn leads to the suspension passing either into the dead state (normal goals), or back into the suspended state (demons).

Under special circumstances, it may be known that exection of a scheduled goal would not have any further effect, and in that case unschedule_suspension/1 can be used to pretend that the execution has already happened.

One example is a propagator for a global constraint, which touches the variables it delays on, and thus wakes itself. This self-waking is redundant if it is known that the propagation algorithm computes all consequences (i.e. a fixpoint) internally. Self-waking can the be prevented by calling unschedule_suspension/1 just before the propagator terminates.

Another example is a binary constraint, implemented via two uni-directional propagators: the propagator for one direction may redundantly wake the reverse propagator. This can be prevented by unscheduling the respective reverse propagator (whose suspension can be passed as an argument). Of course the programmer has to be careful only to cancel truly redundant execution.

This predicate is mainly useful in connection with demons: these go back to suspended state if they were currently scheduled. Non-demons get killed if they were currently scheduled. Suspensions that are not currently scheduled (supendede or already dead) are unaffected.

### Modes and Determinism

- unschedule_suspension(+) is det

### Exceptions

(4) instantiation fault
  Susp is not instatiated.
(5) type error
  Susp is not a suspension.

## Examples

    :- demon prop/3.
    prop(X, Y, RevSusp) :-
    	writeln(prop(X,Y)),
    	unschedule_suspension(RevSusp).

    % Despite waking both goals, only the first one is executed:
    ?- suspend(prop(X,Y,SB),0,X->inst,SF),
       suspend(prop(Y,X,SF),0,Y->inst,SB),
       [X,Y] = [1,2].

    prop(1, 2)	% only forward demon wakes

        X = 1
        Y = 2
        Delayed goals:
    	    prop(1, 2, 'SUSP-_752-susp')
    	    prop(2, 1, 'SUSP-_734-susp')
        Yes (0.00s cpu)

    ?- suspend(prop(X,Y,SB),0,X->inst,SF),
       suspend(prop(Y,X,SF),0,Y->inst,SB),
       [Y,X] = [2,1].

    prop(2, 1)	% only backward demon wakes

        X = 1
        Y = 2
        Delayed goals:
    	    prop(1, 2, 'SUSP-_752-susp')
    	    prop(2, 1, 'SUSP-_734-susp')
        Yes (0.00s cpu)

## See Also

demon / 1, make_suspension / 3, schedule_suspensions / 2, kill_suspension / 1, get_suspension_data / 3