Method for concurrent logic program
US4775934A · kind A · utility
Assignee
Inventors
Key dates
| Filing date | Jun 17, 1986 |
| Grant date | Oct 4, 1988 |
| Priority date | — |
| Expiry date | Jun 17, 2006 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/4496
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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 o…
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.