A new type of high performance array processor system is presented in this paper.Unlike the conventional host-peripheral array processor systems,this system is designed with a functionally distributed approach.The design philosophy is described first.Then the hardware organizations of two concrete systems,namely:150-AP and GF-10/12,including the communication between processors are shown.Some attractive system performances for users programs are also given.

A new parallel processing system has been proposed.It is designed to perform parallel vector operations at maximum efficiency.In addition,it can also handle communicating vector operations,and hence exploit irregular parallelism present in many apparently sequential algorithms.The novel features of this architecture offer a new kind of multi-processor facility which combines some of the advantages of an array processor with those of a vector processor. The system is therefore suitable for a wide range of al…

Program transformation is a promising area of software methodology.The Folding/Unfolding method proposed by Burstall/Darlington is a simple and powerful transformation method for applicative programs.The only operations used are folding and unfolding of function definitions and substitution using laws.The major drawback of this method is that only partial correctness of functions is preserved and termination may be lost. That is if function f_1 is transformed to f_n,the computation of f_n on an object x wil…

This paper will introduce the function systems approach to study the mathematical properties of Backus functional programming language FP.Here,a function system is defined as a set of functions o FP.In the paper,we define the notions of complete,orthogonal and orthonormal systems,and prove their principal properties.These properties are used in the discussion of the completeness of FP program algebra and properties of the expansion of program in orthogonal systems.

Interrupt strategy of an operating system can help computer to tackle with urgent or important events,and to run programs in a reasonable fashion in order to achieve a satisfactory performance.But a sophisticated strategy will cause an amount of system costs.In this paper we introduce the concept of “layered interrupt priorities”which will care both the system costs and the response capability.This strategy can be applied in timesharing systems,realtime systems,or multiprocessor systems.At the end of the pa…

This paper describes the Computer Aided Design System of Microprogrammed Digital Systems (CADSMDS).CADSMDS consists of three subsystems:Register Transfer Level Description Language (RTLDL),General Micro Code Generation System(GMCGS)and General Microprogram Simulation System(GMSS).This system could be used for the generation of microcode,specification and design of hardware system,and simulation and verification of microarchitecture and micro code.It is an automatic development and design tool for microprogr…

Access control is one of the serious problems in modern information systems.In this paper we suggest a key-lock strategy to represent the privilege relationship involving linear transformations and nonlinear constraints.The implementation shows that this strategy has got the properties of security,and information hidden,and satisfies the least privilege principle, This distributed management of sensitive data adapts the distributed systems well.