Dance/multitude concurrent computation
US5867649A · kind A · utility
Assignee
Inventor
Key dates
| Filing date | Jan 23, 1996 |
| Grant date | Feb 2, 1999 |
| Priority date | — |
| Expiry date | Jan 23, 2016 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/314
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
This invention computes by constructing a lattice of states. Every lattice of states corresponding to correct execution satisfies the temporal logic formula comprising a Definitive Axiomatic Notation for Concurrent Execution (DANCE) program. This invention integrates into a state-lattice computational model: a polymorphic, strong type system; visibility-limiting domains; first-order assertions; and logic for proving a program correctness. This invention includes special hardware means for elimination of cache coherency among other things, necessary to construct state-lattices concurrently. The model of computation for the DANCE language consisting of four, interrelated, logical systems describing state-lattices, types, domains, and assertions. A fifth logical system interrelates the other four systems allowing proofs of program correctness. The method of the present invention teaches programs as temporal formulas satisfied by lattices of states corresponding to correct execution. State-lattices that are short and bushy allow application of many processors simultaneously thus reducing execution time.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.