Method for concurrent logic program

Boots – shoes – and leggings

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

364200, G06F 906

Patent

active

047759348

ABSTRACT:
A suspension list is maintained for each variable on which one or more processes has been suspended because the variable is uninstantiated. The suspension list for each variable is a circular list of suspension records, each record in the list being associated indirectly with one process that is suspended because that variable is uninstantiated. Each record comprises a first pointer to a memory address or register (called a "hanger") at which is stored the address of the process record for the suspended process and a second pointer that points to the memory address of the next record in the suspension list. Since. the same process can be suspended on different variables, it can happen that records in more than one suspension list point to the same hanger at which is stored the address of the process record for that process. If a variable is subsequently instantiated, each record in the suspension list associated with that variable is used to identify one of the processes that has been suspended on that variable. Accordingly each such process can then be enqueued in the process queue. At the same time, as each process is identified by the record in the suspension list, the address of the process record that is stored in the hanger is reset, illustratively, to zero. As a result, if at a later time another variable is instantiated and the suspension list for that variable also contains a record that points to the same hanger, the hanger will be found to point to its reset value rather than the address of the process record. Consequently, the process will not be identified a second time and will not be enqueued again in the process queue.

REFERENCES:
patent: 4318182 (1982-03-01), Bachman et al.
patent: 4374409 (1983-02-01), Bienvenu et al.
patent: 4410940 (1983-10-01), Carlson et al.
patent: 4455602 (1984-06-01), Baxter, III et al.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Method for concurrent logic program does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for concurrent logic program, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for concurrent logic program will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-2159125

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.