US 7143401 B2
A single-chip multiprocessor system and operation method of this system based on a static macro-scheduling of parallel streams for multiprocessor parallel execution. The single-chip multiprocessor system has buses for direct exchange between the processor register files and access to their store addresses and data. Each explicit parallelism architecture processor of this system has an interprocessor interface providing the synchronization signals exchange, data exchange at the register file level and access to store addresses and data of other processors. The single-chip multiprocessor system uses ILP to increase the performance. Synchronization of the streams parallel execution is ensured using special operations setting a sequence of streams and stream fragments execution prescribed by the program algorithm.
1. A method of static clock cycle scheduling of parallel execution of a program on a single chip multiprocessor including K explicit parallelism architecture processors each of which may decode no more than N operations each clock cycle, the single chip multiprocessor further including memory access means, first means of synchronization signal exchange between the processors, second means of register file and control registers data exchange between the K processors and third means providing for coherent state of internal processor caches, the method comprising:
compiling a source program with a clock cycle scheduling of the program execution so that a compiled source program is a set of consecutive super wide instructions each of which contains no more than M=KN operations;
partitioning the compiled source program into no more than K parallel streams for a parallel execution on K processors of the single chip multiprocessor by means of partitioning of each super wide instruction into no more than K wide instructions, wherein each wide instruction contains no more than N operations and the partitioning of each super wide instruction minimizes data and control dependencies between specified K parallel streams;
defining a sequence of execution of any two parallel streams in synchronization points using additional synchronization operations that are included with wide instructions of specified streams, the additional synchronization operations including “to permit execution of another parallel stream” (“permit”), “to wait execution of another parallel stream” (“wait”) and “to wait execution of another parallel stream then to permit this another parallel stream” (“wait and permit”) and “to be indifferent to another parallel stream” (“indifferent”), wherein:
each “permit” operation of one stream has a proper “wait” operation in another stream of pair of streams and vice versa;
“permit” operation allows a proper “wait” operation completion in the another stream by “permit” signal transmitted to another processor through the first means;
an execution of a current “permit” operation is locked by a lock signal received through the first means from a processor executing another stream when another processor does not complete proper “wait” operation for previous “permit” operation of its processor;
an execution of “wait” operation is locked in its corresponding processor when a processor executing another stream does not complete the proper “permit” operation;
“wait and permit” operation consists of two operations “wait” and “permit” carried out consistently; and
“indifferent” operation defines an indifferent relation of its processor to the state of processor which executes another stream in a given synchronization point;
transferring data from register files and control registers between any of two processors of the single chip multiprocessor through the second means using an entrance FIFO buffer in each processor, wherein additional data exchange operations are included with wide instructions of specified streams, wherein:
“transmit” operation reads a register file from its corresponding processor and then transmits data from the register file through the second means into a FIFO buffer of another processor;
“receive” operation reads data received at an entrance FIFO buffer of its corresponding processor and then writes the data to a register of a register file or a control register of its corresponding processor;
“transmit” operation execution is locked by lock signal transmitted through the second means from another processor if the entrance FIFO buffer of the another processor has a full state; and
“receive” operation execution is locked if the entrance FIFO buffer of its corresponding processor has an empty state;
providing a coherent state of all internal processor caches of the single chip multiprocessor by transmitting address and data of all store operations through the third means from all processors to all processors for a correction of the cache contents;
mutually controlling the parallel execution of the streams from the streams themselves by transmitting of branch target addresses between all processors of single chip multiprocessor through specified second means; and
executing in parallel specified streams on the multiple processors with synchronization, data and control information exchange.
2. The method of
“permit” operation completion increments the reverse event counter of a processor executing another stream by “permit” signal sent through the first means;
“permit” operation completes if a current contents of the reverse event counter of a processor executing another stream is less than its highest possible value;
“permit” operation execution is locked by lock signal received through the specified first means from a processor executing another stream if a current contents of the reverse event counter of another processor is equal to its highest possible value;
“wait” operation completion decrements given reverse event counter of its corresponding processor;
“wait” operation completes if a current contents of given reverse event counter of its corresponding processor is bigger than zero; and
“wait” operation execution is locked if a current contents of given reverse event counter of its corresponding processor is equal to zero.
3. The method of
4. The method of
5. The method of
6. The method of
This application claims priority from Provisional Application No. 60/183,176, filed Feb. 17, 2000, the disclosure of which is incorporated herein by reference.
1. Field of the Invention
The present invention relates to shared memory multiprocessors, and more specifically, to a single chip macro-schedule multiprocessor architecture, providing program controlled cooperation of the processors with explicit use of instruction level parallelism.
2. Description of the Prior Art
Today's fast growth of transistor-per-chip number raises the question of how to gain a respectively higher performance. One alternative is to build larger on-chip memories, but this approach can be efficient only to a certain point, after which adding more cache provides a minor performance improvement. Thus, a preferred alternative at this point is to exploit more parallelism. There are generally two approaches: instruction-level parallelism (ILP) and thread-level parallelism (TLP).
Use of instruction-level parallelism (ILP) involves parallel execution of the instruction groups, which helps the performance growth. There are dynamic (superscalar) and static (Very Long Instruction Word—VLIW and Explicit Parallel Instruction Computing—EPIC) approaches to ILP use. With the dynamic approach, parallel instruction groups are hardware generated at the program run, and with the static approach—at the program compilation. An example of the dynamic approach is provided with the microprocessor Pentium IV of Intel (see “Pentium 4 (Partially) Previewed”, Peter N. Glaskowsky, Microprocessor Report, Aug. 28, 2001). An example of the static approach is provided with the microprocessor Itanium of Intel (See “Merced Shows Innovative Design”, Linley Gwennap, Microprocessor Report, volume 13, number 13, Oct. 6, 1999)
In the dynamic approach, there is a big dynamic hardware window for viewing the executed instructions (in the Pentium IV the window views over 100 instructions) where all possible operation collisions are resolved. In the case of the static approach, the compiler forms instruction groups for their parallel execution and schedules their optimal execution with regard to each instruction execution time and possible inter-instruction collisions. In this case, the instruction groups include only independent instructions. This approach simplifies the processor hardware. The size of a parallel execution instruction group for modern superscalar architecture microprocessors generally reaches 4–6 instructions, with future increase up to 8 instructions (see microprocessor Power 4 IBM, “IBM's Power 4. Unveiling Continues”, Microprocessor Report Nov. 20, 20003). For static architecture microprocessors it generally reaches from 6–12 instructions (see IA-64, Itanium, McKinley) to over 20 instructions (see Keith Diefendorff, “The Russians Are Coming”, Microprocessor Report, pp. 1, 6–11, vol. 13, number 2, Feb. 15, 1999).
Further increase of the parallel execution instruction group size leads to physically large monolithic cores and complex control mechanisms, which are limiting factors for increases in the clock frequency. The number of access ports to register files and internal caches is growing. The hardware for resolving interinstruction dependencies in superscalar microprocessors is becoming complicated. The probability of unaccounted collisions in a static architecture microprocessor during compilation is growing, which results in violations of the schedule made at compile time causing additional delays at the program run. Moreover, design and verification become too complicated and time consuming.
Thread level parallelism (TLP) is a perspective method of further performance increases for dynamic and static architectures. Use of thread level parallelism (TLP) involves parallel execution of many program threads in a multiprocessor environment. Threads are weakly coupled or just independent fragments of one program allowing their parallel execution on different processors with small overheads for control and synchronization, which are performed by the operation system and by means of semaphores. However, not all applications can be parallelized in such a way. A major difficulty posed by parallelization of the integer applications, which have data dependencies and short parallel branches, because synchronization using semaphores is very costly for them.
Static architectures have a potential for performance growth in a multi processor system due to a more aggressive use of ILP and application of the static scheduling method to a parallel execution on many processors. The examples of ILP use can be really independent in-program computations (separate expressions, procedures, loop iterations, etc.), as well as compiler optimizations aimed at speeding-up the computations due to parallel execution of possible alternatives (the so called speculative and predicative computations). This may allow to increase utilization of ILP in the programs by up to 63%. (See Gary Tyson et al., “Quantifying Instruction Level Parallelism Limits on an EPIC Architecture”, ISPASS-2000, Austin, Tex., 2000.)
The compiler for static macro-schedule architecture performs a global scheduling of the program execution taking into account the available data and control dependences. In this case the number of instructions in a group intended for parallel execution (super-wide instruction) is equal to the total number of instructions in all instruction groups (wide instruction) in all processors of the multiprocessor system. That is, the compiler makes a schedule for a synchronous execution of the super-wide instructions in all processors of the system. A sequence of wide instructions to be executed in one processor forms a wide instruction stream or simply a stream. Thus, the schedule for the whole program execution is divided into a multitude of streams in compliance with the available number of processors.
While making a schedule for parallel operation of all processors in a multiprocessor system, the compiler forms streams for each processor to minimize data and control dependencies between different streams. This shortens the delays caused by a necessity to access the context of another stream executed in another processor. The streams can be executed independently of each other until an explicitly specified synchronization instruction appears in the instruction sequence. During the program run the static schedule can be violated, which is caused by collisions arising in different processors, which cannot be accounted at the compilation stage. Examples of such collisions may be a cache miss, data-dependent divide and multiply operations, etc. For this reason it is necessary to have synchronization means, i.e., maintenance of the specified sequence of executing separate fragments in different streams with the aim to properly resolve the data and control dependencies. The efficiency of the macro-schedule multiprocessor system depends largely on the efficiency of the interstream context access and synchronization means implementation.
A single-chip multiprocessor is generally most suited for static macro-schedule execution. A single-processor chip has a limited number of external connections caused by the constrained package abilities. A single processor chip typically has only system interface for access to main memory, other processors and I/O. Unlike this, the single-chip multiprocessor besides the system interface may include very fast and wide interprocessor connections data exchange, internal caches coherence support and synchronization of the streams executed in parallel.
A single-chip multiprocessor may have a virtual processor numbering, which allows for simultaneously performing independent programs providing sufficient processor resources. Further performance increases may be attained in a multi-ship system comprising single-chip multiprocessors, in which interchip access and synchronization may be handled in a traditional way using a semaphore method, etc.
Static macro-schedule architecture efficiently uses TLP, since in this case the threads may be considered as streams with weak data and control dependences.
ExpLicit Basic Resource Utilization Scheduling (ELBRUS) microprocessor architecture (see Keith Diefendorff, “The Russians Are Coming”, Microprocessor Report, pp. 1, 6–11, vol. 13, number 2, Feb. 15, 1999) is mostly suited for the single-chip multiprocessor using static macro-schedule, because ELBRUS architecture is oriented to the execution of the static clock cycle-precise scheduled program with explicit parallelism.
An ELBRUS microprocessor wide instruction may contain over 20 operations (simple instructions of the type: load, store, add, multiply, shift, logic and others). An ELBRUS microprocessor has additionally speculative and predicative mode operations, which increases its potentialities to efficiently use ILP. A scoreboarding feature allows automatic correction of the static schedule, when dynamic collisions arise during the program run.
An object of the present invention is therefore a method of synchronization and control of parallel execution of streams of a macro-scheduled program without addressing the operation system, based on the static macro-scheduling of the program. Another object of the present invention is to provide a single-chip multiprocessor with interprocessor connections for fast registers' data exchange, acceleration of cache coherency support and synchronization of parallel streams execution. A further object of the present invention is an ExpLicit Basic Resource Utilization Scheduling (ELBRUS) microprocessor with means for interprocessor synchronization and interprocessor exchange of data and addresses through abovementioned interprocessor connections.
In accordance with the present invention, a single chip multiprocessor system with explicit parallelism architecture processors and an operation method of this system is based on the static macro-scheduling of the program for the multiprocessor parallel execution to help ensure a high level use of ILP.
The compiler for such a system performs static clock cycle-precise scheduling of executing the program by super-wide instructions and then divides this schedule into a few separate streams for parallel execution on a multiprocessor. Streaming is performed to minimize the interstream dependencies. In this way, the effect of a super-wide instruction issue in the on-chip multiprocessor system is attained.
Fast synchronization of the parallel program streams is performed, if necessary, in compliance with the program algorithm using special synchronization operations maintaining the sequence of execution for separate fragments of different streams.
The single chip multiprocessor system can be tightly-coupled and include high performance buses for data exchange between the processors at the register file level, buses for supporting processor cache memories coherence and communication links for transmitting control signals ensuring the required synchronization (execution sequence of critical parts of different streams) in the multiprocessor system or weakly-coupled, when the data exchange between the program streams is executed using the memory access operations.
The explicit parallelism architecture processor comprises synchronization means, means for data exchange at the register file level and data cache level for close processors interaction.
The described above static macro-scheduling method of the program compilation and on-chip multiprocessor system have a number of advantages. The static macro-scheduling method of the program compilation makes a most aggressive use of ILP due to a super-wide instruction schedule. On-chip multiprocessor system due to asynchronous execution of parallel streams substantially reduces the effect of collisions dynamically arising in the processor hardware during the program run.
The single chip multiprocessor system substantially increases the performance due to parallel and macro-scheduled execution of a multitude of program streams, high performance and efficiently synchronized data exchange between the processors.
Each processor in a single chip multiprocessor system may have a more simple structure and limited parallel execution abilities, which promotes to the clock frequency increase, reduces time for parallel processing, reduces time for the processor design and verification.
The compiler makes a schedule of executing four wide instructions, which will take four cycles from n to n+3 (
Examples presented in
In accordance with an embodiment, synchronization is implemented using a special operations, which along with other operations are a part of wide instructions, and which are located in the synchronization points of the streams. The synchronization operation with the help of a set of bit pairs “wait” and “permit” specifies in a synchronization point the relationship between the given stream and each other stream. Presented below are possible states of bits relationship:
Code 00 has no synchronization influence. Code 01 permits for another stream to pass its synchronization point. Code 10 prescribes waiting for another stream passing of its synchronization point. Code 11 determines the relation to two synchronization points of another stream: waiting for another stream passing of its first synchronization point and then permitting for another stream to pass its second synchronization point.
A reverse counter may be used to count “permit” and “wait” events. This allows for set up of the relation of the execution sequence to the groups of events in the synchronized streams. The signal “permit” from another stream increments the counter, and the execution of the synchronization operation containing the “wait” bit in its own stream decrements the counter. Overflow of the counter locks the stream, which has an intention to transmit the “permit” signals, in the point of execution of its synchronization operation. Zero state of the reverse counter locks the stream, which is waiting for the “permit” signals as shown in
A method of synchronization of the streams' parallel execution in accordance with this embodiment is intended to ensure the order of data accesses in compliance with the program algorithm during the program streams' parallel execution.
The contents of each processor register file may be transmitted through the external interface in the register files of all other processors. This is the fastest way to transfer the computation results from stream to stream.
Store addresses and store data of each processor are accessible to all other processors through the external interface. This method speeds up the traditional mechanism of the internal cache coherence support in a multiprocessor system.
An alternative embodiment provides data exchange only through the memory access operations.
Each processor may transmit target addresses for streams branching to all other processors through the external interface. This method provides a means of direct control of the streams' parallel execution directly from the executed program without addressing the operation system.
An alternative embodiment, the description of which follows hereafter, provides the target address exchange only through the memory access operations.
The Processors 710 are preferably ELBRUS processors, which internal structure will be further described below. (ELBRUS architecture is well suited for use in a Single-chip Multiprocessor System, but other embodiments can use other types of processors). In accordance with the present invention, an Interprocessor Exchange Subsystem is preferably included in the processor structure, and the Instruction Set is preferably extended to explicitly support static macro-scheduling on the basis of fast interprocessor synchronization and data and address exchange.
Shared Cache Unit 790 preferably includes a four-way set associative cache memory, address and data buffers and appropriate control and switching hardware. The cache memory has an interleaved multi-bank structure and can execute up to four read or write operations per cycle. The control hardware provides data and address switching between cache banks and four processors and non-blocking execution of read and write operations. In case of a cache miss or non-cached request (such as a request to I/O area), the cache control hardware requests the System Interface Unit 792 for main memory or I/O access. Besides that, the responsibility of the cache control hardware is a cache coherency support between the Shared Cache Unit 790 and internal caches of the Processors 710.
It will be apparent to those skilled in the art that large multiprocessor systems may include tens or hundreds of processors. To design such a system, a few Single-chip Multiprocessor Systems 700 may be connected by means of some bus or switch in the same way as single processors in the majority of today's multiprocessor systems.
System Interface Unit 792 provides read/write accesses to main memory and system I/O as well as transactions necessary to interact with other Single-chip Multiprocessor Systems 700 (for example, for cache coherency support). System Interface Unit 792 may have substantially different structures depending on the purpose and specific implementation of the Single-chip Multiprocessor System 700. For example, Single-chip Multiprocessor System 700 may or may not include I/O controllers 796, memory controllers 798, and so on. Interface of the chip may consist of one system interface or separate interfaces for the main memory, I/O and other Single-chip Multiprocessor Systems 700.
The set of Processors 700 include hardware for fast interprocessor exchange of addresses, data and synchronization signals, and have an Instruction Set extended for explicit support of static macro-scheduling based on the fast interprocessor synchronization and data exchange, and connected through the Interprocessor Connect 780. The Interprocessor Connect 780 consists of three main parts: a Synchronization Exchange Interconnect 781, Register Exchange Interconnect 782 and Cache Exchange Interconnect 783.
Synchronization Exchange Interconnect 781 provides the exchange of synchronization signals between Processors 710, which allows closely synchronized execution of instructions on different Processors 710 of the Single-chip Multiprocessor System 700. This, in its turn, ensures the efficient use of parallel execution in a number of processors in those cases when the source code contains fine grain parallelism, which is not advantageous to exploit in existing multiprocessor systems because of the big overheads for the processors interaction. The main signals of the Synchronization Exchange Interconnect 781 are “permit” signals, which processors exchange over full-cross interconnection, i.e., in a four-processor system each processor transmits and receives three “permit” signals. Additionally, the interface includes “permit counter overflow” signals prohibiting “permit” signals issue—the principles of signal generation and interaction will be described below.
As previously mentioned, the provided system allows the same arrangement of a multiprocessor system operation as that of a super-wide instruction issue processor and utilizes program parallelism of any kind possible for a given program with the utmost efficiency. To do this, besides the fast synchronization signals exchange, each processor needs an extremely fast access to the data generated by other processors. The highest performance may be attained if a shared register file and shared data cache are available for all processors. However, it is obvious that such solutions are acceptable only for small, for example two-processor systems, consisting of processors with the issue width no more than 2–4. Otherwise register files and cache memories with a very big number of ports have to be built, which results in an unreasonable growth of hardware volume and, what is more important, in the inevitable decrease of the processor clock frequency. Actually, such an approach implies building of a wide instruction issue processor with internal clustered structure instead of the multiprocessor system. The examples of such solutions can be MAJC  or the below described Processor 710, where the cluster structure is used to attain the utmost parallelism in one processor, and its further extension may be implemented only by building some single-chip multiprocessor system in accordance with the present invention. In order to allow the data of one processor to be quickly accessible by other processors the Register Exchange Interconnect 782 is used. Due to the interconnected scheduling of instruction execution in all processors and interprocessor synchronization mechanism, the compiler “knows” when and what data of one processor will be required by another processor and arranges the exchange of the data between the processor registers using the described below exchange instructions through the Register Exchange Interconnect 782. In this embodiment, Register Exchange Interconnect 782 is a full-cross system of interconnects, i.e., each processor has three input and three output ports of data. Besides the data themselves, each port includes data transfer strobes and signals prohibiting the transfer because of the unexpected overflow of the input data buffers.
Today's computer systems generally include a memory model. A memory model is a set of requirements to the order of execution of memory access operations (loads and stores). For example, the main memory model for Intel compatible computers is a “Processor Store Ordering” model, and for the SPARC architecture based computers—a “Total Store Ordering” model. Both models require that in the execution of the store operations by one processor, the store data become visible for other processors in the same order the store operations are located in the executed program. Such a requirement makes programming for a shared data multiprocessor operation easier, but decreases the system performance because a store operation execution must be delayed till the previous store operation is completed. The store operation is considered completed when the store data become visible to all processors in a multiprocessor system. In case of a cache miss of the store operation, or in case of a cache hit but data in the cache is marked as “shared”, an external request is generated to other processors to invalidate or update this data copies in cache memories of all processors in a multiprocessor system, i.e. to bring caches to a coherent state. Only after execution of this external request may the store operation be considered completed. These situations and the cache coherence support are generally well known and with some small modifications are used in a majority of today's multiprocessor systems. An important factor is that in a number of cases the store operation completion may be substantially delayed, which, in its turn, may result in delaying the execution of the following operations.
To solve this problem in Interprocessor Connect 780 a Cache Exchange Interconnect 783 is included. In this embodiment the Cache Exchange Interconnect 783 is a full cross connection through which all Processors 710 are interconnected by address and data buses. This allows each processor to get an access to the store addresses and data of all other Processors 710 and thus, significantly speed up the process of cache coherence support.
Those skilled in the art will realize that the Single-chip Multiprocessor System, retaining the essential features of the present invention, may have different implementations. Thus, for example, the system may consist of a different number of processors. Further, the processors themselves may have different internal structures and architectures. Additionally; instead of the Shared Cache Unit 790 the processors may have internal L2 caches, etc. Also possible are different implementations of the Interprocessor Connect 780: different sets of signals may be used for the Synchronization Exchange Interconnect 781; for the Register Exchange Interconnect 782 and Cache Exchange Interconnect 781, bus-based or switch-based connection structures may be used instead of full-cross connections. Data connections may have different width and throughput. Moreover, the Synchronization Exchange Interconnect 781 is mandatory for this embodiment, while Cache Exchange Interconnect 783 is optional—its absence will not allow the compiler to utilize some optimizations and filly use the advantages of the present invention, but its essential features will be retained.
Data Cache 742 buffers data and Instruction Cache 732 buffers instructions. Instruction Cache 732 is 64 KB 4-way set-associative and contains wide instructions in a packed form, which is the same way the wide instructions are stored in memory. Data Cache 742 is 64 KB 4-way set-associative and can execute up to four loads or two stores per cycle by means of its multi-ported structure (two ports for loads and stores and two read-only ports). On a physical level, Data Cache 742 is implemented as two 2-port cache memories, 64 KB each. In this embodiment the read operations are executed locally inside each cluster and write operations enter data into the cache of both clusters concurrently. Other embodiments can have other sizes and/or configurations of caches 732, 742.
Memory Management Unit (MMU) 712 performs address translations from a virtual address to a physical address by means of a four-port translate look-aside Buffer (TLB) with 256 entries, and hardware search in the page table in case of a TLB miss. The MMU 112 also contains a disambiguation memory for checking rearrangement correctness of load and store operations, performed by an optimizing compiler. Also Memory Management Unit 712 provides read and write accesses to the outside of the processor (Shared Cache 790, main memory, I/O) in case of a miss in Data Cache 742 or Instruction Cache 732, or if a load/store request is marked as “write-through” or “non-cacheable”.
Array Prefetch Unit (APU) 720 is used to prefetch array elements for loops from the main memory or Shared Cache 790. The APU 720 includes a four-channel first-in first-out (FIFO) data buffer and address generation hardware, which makes prefetch load requests to Memory Management Unit 712. The preloaded data are stored in a FIFO buffer and later are transferred to Register Files 738 under the control of special “move” instructions explicitly assigned by the compiler.
Control Unit 724 generates wide instructions in an unpacked form, transforms indirect based operand addresses of a wide instruction to absolute addresses in Register File 738, checks the conditions of the wide instruction, and allocates the wide instruction to the Arithmetic Logical Channels 752. The Control Unit 724 also checks the instruction issue conditions, such as exception conditions and interlock conditions between Arithmetic Logic Channels 752, and availability of operands in Register File 738.
The Predicate File 728 stores predicate values generated by the integer and floating-point compare operations. Predicate values are used to control the conditional execution of operations and to move branch conditions to the end of software loops. Included in Predicate File 728 are thirty-two predicate registers, each two bits wide. One bit in each predicate register holds the predicate value and the other bit holds an inverse of the predicate value.
The general-purpose Register File 738 is implemented as two files 738-1 and 738-2, one for each processing Cluster 716. Register Files 738-1 and 738-2 contain the same data (just like Data Cache 742). Each Register File 738-1 and 738-2 consists of two hundred and fifty-six registers and each register is sixty-four bits wide. Register File 738 is used for both floating point and integer operations. Each copy of the Register File 738 has ten physical read and ten physical write ports for a total of twenty logical read and ten logical write ports. Data is written to both Register Files 738 to ensure coherency. Register File 738 has a pipelined design and uses the same data lines for read and write with a half clock shift. Less than two clock cycles are assigned in the processor pipeline to access the data in Register File 738. The large size of the Register File 738 in this embodiment allows for keeping an increased number of intermediate results and local variables from the running code and, correspondingly, substantially decrease the number of memory accesses.
Procedure calls and program boundaries require considerable time to save and restore a large number of registers. For this reason, Processor 710 supports a variable size register window mechanism with a current procedure register base that points to the beginning of the current procedure area in the Register File 738 or Predicate File 728. A real physical register address is calculated by adding an increment value from the register address in the instruction to the value of the procedure base. On a procedure call or program boundary, the window is advanced by add to the procedure register base.
There are six Arithmetic Logic Channels 752 in Processor 710—three Arithmetic Logic Channels 752 in each Processing Cluster 716. Arithmetic Logic Channels 752 work in parallel and have nearly the same sets of arithmetic and logic operations. Table I shows, what operations may be executed by different Arithmetic Logic Channels 752. All Arithmetic Logic Channels 752 receive operands from Register File 738 and Bypass Busses 748. Bypass Busses 748 relieve bus conflicts when delivering the operators for some operations.
Interprocessor Exchange Subsystem 800 is intended for the arrangement of close processors interaction while implementing Single-chip Multiprocessor System 700. This subsystem preferably comprises four parts: a Synchronization Exchange Unit, Register Exchange Unit, Cache Exchange Unit and Configuration Unit. The structure and operation of these units are considered below. Other embodiments can exclude each of these parts. For example another embodiment of Interprocessor Exchange Subsystem 800 may comprise only a Synchronization Exchange Unit and a Register Exchange Unit.
In accordance with the present invention, two types of syllables are preferably added to the wide instruction format, an MP Synchronization Syllable 936, containing the control information for the Synchronization Exchange Unit and an MP Register Exchange Syllable 950, containing the control information for the Register Exchange Unit.
It should be noted that, basically, the exchanges are performed between the register files of the processors. However, it is possible to read and write other processor registers, in particular, registers of a Control Unit 724. This allows preparation of the control information for branch instructions in one processor with further execution of the branch instructions in other processors, thus, making possible significant additional optimization of the parallel program execution on several processors.
Configuration Unit 802 is a set of registers, where, under the operation system control, the configuration information is written. This information states which Processors 710 are included in a particular working configuration and what virtual numbers are assigned for them. This information is used for converting processor numbers 954 and 960 from an MP Register Exchange Syllable 950 and processor numbers referenced by position in fields “Wait” 940 and “Permit” 942 of an MP Synchronization Syllable 936 into physical numbers of the ports through which the Processor 710 is connected to an Interprocessor Connect 780. Configuration Unit 802 delivers to the Cache Exchange Unit 808 a three-bit mask showing to which ports of the Processor 710 are connected Processors 710 from the same working configuration.
Thus, the numbers in the MP Synchronization Syllable 936 and MP Register Exchange Syllable 950 are assigned statically during the program compilation and are some virtual numbers, while each Processor 710 in the multiprocessor system has its own physical number. Besides, with a “full cross” connection system each Processor 710 is characterized for other processors by the numbers of the ports through which it is connected with them. For example, in a four-processor system the processors have physical numbers 0, 1, 2 and 3 and thus, each of them has ports numbered 0, 1, 2 for connection with other processors. In this case a processor with the physical number 3 will be connected to other processors through their ports number 2, and a processor with the physical number 1 will be connected to the port 0 of the processor with the physical number 0 and to the port 1 of the processors with the physical numbers 2 and 3. In the process of the multiprocessor system operation, the Operating System assigns some Processors 710 for execution of a task, forming a working configuration. For example, for parallel execution in two processors, Processors 710 with the physical numbers 1 and 3 can be assigned. The Processor 710 with the physical number 3 is connected to the port number 2 of the Processor 710 with the physical number 1. In the MP Register Exchange syllables 950 of the program running on the Processor 710 with the physical number 1, the Processor 710 with the physical number 3 will be represented by a virtual number 1, which is to be converted into the number of the port 2 for the data transfer from the registers of the Processor 710 with the physical number 1 into the Processor 710 with the physical number 3. For the Processor 710 with the physical number 3, the virtual number 0 from the MP Register Exchange syllables 950 of the program executed by this processor must be converted into the number of the port 1 through which it is connected with the processor with the physical number 1.
Thus, it becomes possible for a flexible assignment of the idle processors for the execution of a program, where the numbers of the processors for data and synchronization signals exchange are assigned statically. Other embodiments may use only physical processor numbering. Such embodiments do not comprise Configuration Unit 802.
During the execution by a Processor 710 of a wide instruction 900 containing <<1>> in any field 942 of a MP Synchronization Syllable 936, a Control Unit 724 generates a signal 837, coming to a Renumbering Switch 825. Renumbering Switch 825 switches the signals 837 to the outputs of 835 under the control of a Configuration Unit 802. Outputs 835 are connected with the inputs 831 of Synchronization Exchange Units 804 of other Processors 710 through a Synchronization Exchange Interconnect 781.
During the execution by Processor 710 of the wide instruction 900, containing <<1>> in any field 940 of the MP Synchronization Syllable 936, Control Unit 724 generates a signal 833, coming to a Renumbering Switch 824. Renumbering Switch 824 switches signals 833 into signals 839 under the control of the Configuration Unit 802. If any signal 839 is equal to <<1>>, and the contents of a corresponding Permission Counter 822 is equal to <<0>>, a signal Lock 834 is generated which stops the instruction execution by Processor 710. Signal Lock 834 will be equal to <<1>> until a signal 831 permitting continuation of the program execution is delivered to the Permission Counter 822.
Permission Counters 822 are reverse counters, one for each of the three ports. Permission Counter 822 executes +1 when the signal 831 is delivered and −1, when the signal 832 is delivered. In case the counter is jeopardized with overflow, an output 830 is set to <<1>>, which prohibits another Processor 710 from setting to <<1>> an output 835 connected with an input 831 of this counter. Through Synchronization Exchange Interconnect 781 outputs 830 are connected with inputs 836 of Synchronization Exchange Units 804 of other Processors 710. Inputs 836 are issued to Renumbering Switch 826, which, under the control of Configuration Unit 802, switches them into signals 838. Signals 838 are delivered to Control Unit 724 and prohibit execution of the wide instructions 900, with <<1>>
When a Processor 710 executes a wide instruction 900, containing 1>>in any field 960 of an MP Register Exchange Syllable 950, a Control Unit 724 transmits the contents of the fields 960 to the inputs 862 of the Register Exchange Unit 806. Simultaneously Control Unit 724 controls the data reading from the register, which number is contained in a field 962 of the MP Register Exchange Syllable 950. These data issue to an input 864 of Register Exchange Unit 806 through a Bypass Bus 748. A field 964 of MP Register Exchange Syllable 950 specifies the data format. The maximum format is preferably 8 bytes. Transmit Control Switch 852 under the control from a Configuration Unit 802 converts signals 862 to output data strobes 865 and signals controlling latching from the input 864 to output registers 854. Output registers 854 and data outputs 866 are preferably 8 bytes wide. Through a Register Exchange Interconnect 782 data outputs 866 are connected with data inputs 868 of input buffers 858 of other Processors 710, and strobes 865 with inputs 867. The input buffers 858 are preferably FIFO buffers, preferably 16 cells deep. Each cell is preferably 8 bytes wide, which corresponds to the maximum format of the transmitted data. When input 867 receives <<1>>, data from a corresponding input 868 are located in the first vacant cell of a buffer 858.
When Processor 710 executes the wide instruction 900 containing 1>>in a field 952 of MP Register Exchange Syllable 950, Control Unit 724 transmits the contents of the fields 952
The outputs 890 through a Cache Exchange Interconnect 783 are connected with inputs 892 of Cache Exchange Units 808 of other Processors 710. Addresses, formats and data from the inputs 892 are stored in the store buffer 884. Store buffer 884 is preferably a full-associative memory with 6 write ports and 4 read ports. The buffer comprises 64 cells, each of them consisting of an address, format and data fields. The Processor 710 in each cycle can execute up to 4 memory access operations. Memory access addresses and formats are transferred from a Memory Management Unit 712 to inputs 893 of the store buffer 884. Store buffer 884 checks all its cells for the accessed data. In case of any cell hit, the data from the data field of this cell is issued to an output 894 for transfer to Memory Management Unit 712.
Concurrently with writing in store buffer 884, the addresses from the inputs 892 are supplied to the input of a store queue 886. Store queue 886 is preferably a FIFO buffer consisting of 64 cells, each of them containing the store address and a number of the cell in store buffer 884, which contains the same address and corresponding store data. From the FIFO buffer output through an output 898, the store address is supplied to Memory Management Unit 712 for checking in a Data Cache 742 and an Instruction Cache 732. In case of a cache hit, invalidate or update of a corresponding cache line may be executed. After this, the cell of store buffer 884 is made free, and to this end the number of this cell is transferred from Memory Management Unit 712 to store buffer 884 through a bus 899.
To execute the cache line update, the information is read from the store buffer 884. For this purpose, buses 893 and 894 are used, which are not engaged in this cycle for the store buffer 884 checking.
If the store buffer 884 is jeopardized with overflow, outputs 895 are generated under the control of the configuration mask 889 from the Configuration Unit 802. Through Cache Exchange Interconnect 783, the outputs 895 are connected with inputs 896 of Cache Exchange Units 808 of other Processors 710. If any input 896 is equal to “1”, a locking signal 897 is issued to Memory Management Unit 712. This signal locks the completion of the store operations in case of cache miss or in case the data in the Data Cache 742 are marked as “shared”.
For those skilled in the art, it will be apparent that different implementations of Cache Exchange Unit 808 are possible. For example, different depth and optimizations of internal structure of the store buffer and the store queue may be chosen. Different implementations of interaction with Memory Management Unit 712 and Data Cache 742 are possible. In another example, data exchange may be excluded and thus, only address exchange hardware and store buffer with address cells may be used. In this embodiment, cache invalidate only (not cache update) is used to maintain cache coherency and memory access operations, which hit the store buffer, may be delayed until the execution of cache invalidate.
Although the invention has been described with reference to specific exemplary embodiments, it will be appreciated that it is intended to cover modifications and equivalents within the scope of the appended claims.