[ Obsolete | Reference Manual | Alphabetic Index ]
Pass the suspension list SuspList to the waking scheduler.
- Suspension list or difference list or variable
This built-in predicate is obsolete!
Suspensions in ECLiPSe are executed in two stages: first the suspension
is processed by the waking scheduler which puts it into a global
priority list where it waits until the wake/0 predicate is called by a
predicate which is running with lower priority than the priority of the
suspension. The predicate schedule_woken/1 is the interface to the
waking scheduler. It accepts a list or a difference list of
suspensions. Executed suspensions are ignored, sleeping suspensions are
inserted into the corresponding priority list.
Modes and Determinism
- schedule_woken(++) is det
- (5) type error
- SuspList is not a list nor a difference list nor free.
[eclipse 1]: make_suspension(writeln(hello), 1, S),
S = 'SUSP-_329-dead'
[eclipse 2]: make_suspension(writeln(hello), 12, S),
S = 'SUSP-_329-sched'
schedule_suspensions / 2, insert_suspension / 3, insert_suspension / 4, is_suspension / 1, suspension_to_goal / 3, wake / 0