The Hardware realization of the language Refal in the Keldysh Institute for Applied Mathematics
Abstract:
The Described history of the making the symbol processor ES-2702, oriented on decision of the problems, requiring processing the greater volumes of information, presented in symbol form. The Processor ES-2702 was designed on the base of the serial processor ES-2635 by microprogramming. As input language of the processor ES-2702 is used language Refal-2. The Architecture of the processor ES-2702 and management facility, including microprogramme operating system, virtual processor monitor and etc are described. They Are Considered particularities to realization of the processor ES-2702, including realization of the 'virtual processor' mode, which is based on dynamic rebooting the control memories of computer ES-1035, executing role both central ES-machines, and processor ES-2702. The big operative memory, presence of virtual memory, high efficiency, possibility of the reconstruction after malfunctions - all this allowed to solve on processor ES-2702 problems, which did not yield to the decision on the other system.