Thispaper describes a High-speed Prolog Machine (HIM) architecture and its hardware structure, which are developed as a product of Fifth Generation Computer System (FGCS} project in Japan. HIM realizes high performance and provides a practical programming environment. A major HIM feature is a large memory capacity and specialized hardware for unification and stack operations.HIM has a compiler-oriented architecture with high-level stack-control instructions. Furthermore, the HIM architecture provides side-effect operations, nonlocal-exit control and multiprocess support primitives, which are effective to develop system programs. The performance is estimated at 280 KLIPS (Kilo Logical Inferences Per Second) in executing a deterministic "concatenate" Prolog program. The HIM processor is implemented with high-speed CCML {Current Mode Logic) chips and with I00 nanosecond machine cycle.

No abstract

A newly designed parallel algorithm for solving LU factorization of huge dense matrices was developed for parallel vector supercomputers with a hierarchy of memory layers (i.e., local memories, shared memory, semiconductor extended storage and magnetic disk) . The algorithm is based on Gaussian elimination and optimizes data transfers among memory layers by recursively using a block partitioning method. Using four memory layers, an LU factorization for a 32,768 x 32,768 dense matrix was calculated in 10 hours and 40 minutes on the HPP-LHS supercomputer system developed under the MITI (the Ministry of International Trade and Industry) Supercomputer Project.Required memory capacity for the gigantic matrix is 8 GB, and the whole matrix data area was allocated to magnetic disk for this calculation. The execution speed with 4 processors was 2.8 times faster than that with 1 processor, even using a magnetic disk, and the algorithm was proved to be effective.

No abstract