internal/kernel/kernel.tex

188 up list operations by having only to deal with TLIST and TNIL tags.
274 pair of pwords on the global stack, representing the list head\index{head}  and tail\index{tail}.
444         descriptors, implemented as a list threaded into the global stack.
460 \item[LD] top of the list of all suspended goals. This is a conceptual stack,
461         threaded into the global stack (i.e.\ it is a linked list of frames
463 \item[MU] list of meta-unifications. A volatile register that passes a list
468 \item[SV] list of suspending variables. A volatile register that passes
469         a list from a C-builtin to the emulator code that created a
515 \item[ALLREFS] points to a list of eclipse_ref_ data structures, i.e.\
577 hold a list of attributed variable that were unified. If so, this will
636 get_list(a(A),ref(L))           & special case for list   \\
638 in_get_list(a(A),ref(L))        & special case for list in input mode             \\
640 out_get_list(a(A))              &  special case for list in output mode           \\
677 preceding get/write/read_structure/list instruction has constructed the
725 read_list(ref(L))               & unify first list subterm at a nesting level \\
726 read_list(t(X),ref(L))          & unify list subterm after simple subterm \\
727 read_next_list(x(X),ref(L))     & unify list subterm after compound subterm \\
728 read_last_list(ref(L))          & unify list subterm which is last in term \\
745 write_list                      & write reference to new list cell, and continue there \\
814 put_list(a(A))                  & push list skeleton, pointed to by a(A) and S          \\
860 push_list                       & create new list frame, write pointer to S++ \\
890 puts_list               & create new list frame, push pointer onto local stack, set S \\
891 puts_structure(D)       & create new list frame, push pointer onto local stack, set S \\
958 (a simpler form of switch_on_type for the common case of list
1950 with the LD abstract machine register. This list is used to implement the
1961 waking list.
1969 it may be removed from the LD list.
1973 \index{suspension list}
1985 suspensions at the head of the list are removed when new suspensions are
2005         scheduled goal gets inserted into the list according to its
2007         Once a suspension is scheduled into a list, its