摘要 |
PURPOSE:To attain efficient communication between processes due to the exclusive use of a storage medium by using only a part of area of a fixed length smaller sufficiently for the expression of each common share variable between predicate word calls so as to decrease the number of times of a large gabbage collection. CONSTITUTION:In a predicate logic type language permitting parallel execution of plural predicates, a linear list being a processing object is constituted by using a linear list storage means 11 with a fixed cell number provided to each linear list to store the element of the linear list and having a 1-bit of tag bit to each cell and a management storage means 12 to apply storage management of the storage means and to register the reference mode of the referencing personnel itself. When an operation object in the linear list storage means is disabled of realization, the management storage means of a linear list storage means is referenced to try the recovery to the realization enable state.
|