Microprogrammed digital data processing system employing multi-phase subroutine control for concurrently executing tasks4430707Abstract A digital data processor operates at a microinstruction level in a multiprocessing and multiprogramming environment. The processor includes multi-phase subroutine control apparatus which provides for multiple levels of subroutine entry for a plurality of concurrently executing tasks, while also permitting the tasks to share the same subroutines. Tasks and subroutine control operations are staged to employ common hardware in a manner which provides the effect of a plurality of separate processors operating concurrently on different tasks in a multi-phased manner. Claims What is claimed is: Description CROSS-REFERENCE TO RELATED PATENT APPLICATIONS
______________________________________
Tasks Operators
______________________________________
T1 VALC A
T2 VALC B
T3 ADD: (A + B) = S1
T4 ONE
T5 VALC C
T6 ADD: (1 + C) = S2
T7 SUBTRACT: (S1 - S2)
______________________________________
It will also be assumed for this example that no other tasks are active, that the top-of-stack list is empty, and that the free register list comprises eight registers R0, R1, R2, R3, R4, R5, R6 and R7 which are not currently assigned. The initial state of the processing Element PE for this example is thus: Task mix: No Active tasks Top-of-stack list: No registers assigned (empty) Free register list: R0, R1, R2, R3, R4, R5, R6, R7 Assume now that task T1 (VALC A) is initiated. Task T1 requires no input from any of the top-of-stack registers, but requires one top-of-stack register for output A of task T1. Accordingly, the Task Controller TC assigns register R0 for output A. The state of the Processing Element PE thus becomes: Task mix: T1 T1 input(s) : None; T1 output(s) : R0 Top-of-stack list: R0 Free register list: R1, R2, R3, R4, R5, R6, R7 The next task T2 (VALC B) likewise requires no top-of-stack register for input, but requires one top-of-stack register for output B of task T2. Accordingly, the Task Controller TC assigns register R1 for output B. The state of the Processing Element PE thus becomes: Task mix: T1 and T2 T1 input(s) : None: T1 output(s): R0 T2 input(s) : None; T2 output(s): R1 Top-of-stack list: R0, R1 Free register list: R2, R3, R4, R5, R6, R7 The next task T3 (ADD: S1=A+B) requires as inputs the A output of task T1 (in register R0) and the B output of task T2 (in register R1). Task T3 also requires one top-of-stack register for the output S1=A+B of task T3 for which the Task Controller TC assigns register R2. The state of PE now becomes: Task mix: T1, T2 and T3 T1 input(s): None; T1 output(s): R0 T2 input(s): None; T2 output(s): R1 T3 input(s): R0, R1 T3 output(s): R2 Top-of-stack list: R2 Free register list: R3, R4, R5, R6, R7 The next task T4 (ONE) requires no top-of-stack register for input, and one top-of-stack register for the "1" output of task T4 for which the Task Controller TC assigns register R3. The state of PE now becomes: Task mix: T1, T2, T3 and T4 T input(s): None; T1 output(s): R0 T2 input(s): None; T2 output(s): R1 T3 input(s): R0, R1 T3 output(s): R2 T4 input(s): None; T4 output(s): R3 Top-of-stack list: R2, R3 Free register list: R4, R5, R6, R7 The next task T5 (VALC C) requires no top-of-stack register for input, but requires one top-of-stack register for output C of task T5 for which the Task Controller TC assigns the register R4. The state of PE thus becomes: Task mix: T1, T2, T3, T4 and T5 T1 input(s): None; T1 output(s): R0 T1 input(s): None; T2 output(s): R1 T3 input(s): R0, R1 T3 output(s): R2 T4 input(s): None; T4 output(s): R3 T5 input(s): None; T5 output(s): R4 Top-of-stack list: R2, R3, R4 Free register list: R5, R6, R7 The next task T6 (ADD: S2=1+C) requires as inputs the "1" output of task T4 (in register R3) and the C output of task T5 (in register R4). Task T6 also requires one top-of-stack register for the output S2=(1+C) of task T6 for which the Task Controller TC assigns register R4. The state of PE becomes: Task mix: T1, T2, T3, T4, T5 and T6 T1 input(s): None; T1 output(s): R0 T2 input(s): None; T2 output(s): R1 T3 input(s): R0, R1 T3 output(s): R2 T4 input(s): None; T4 output(s): R3 T5 input(s): None; T5 output(s): R4 T6 input(s): R3, R4 T6 output(s): R5 Top-of-stack list: R3, R5 Free register list: R6, R7 The final task T7 (SUBTRACT: S3=S1-S2) for this examples requires as inputs the S1=(A+B) output of task T3 (in register R3) and the S2=(1+C) output of task T6 in register R5. Task T7 also requires a top-of-stack register for output S3=S1-S2 of task T7 which constitutes the result of this subtraction and for which the Task Controller TC assigns register R6. The final state of PE for this example thus becomes: Task mix: T1, T2, T3, T4, T5, T6 and T7 T1 input(s): None; T1 output(s): R0 T2 input(s): None; T2 output(s): R1 T3 input(s): R0, R1 T3 output(s): R2 T4 input(s): None; T4 output(s): R3 T5 input(s): None; T5 output(s): R4 T6 input(s): R3, R4 T6 output(s): R5 T7 input(s): R2, R5 T7 output(s): R6 Top-of-stack list: R6 Free register list: R7 As an aid in understanding the above example, reference is directed to FIG. 5 which summarizes the above-described activity involved in the performance of the exemplary calculation (A+B)-(1+C). Note that tasks T1, T2, T4 and T5 have no mutual dependencies and, thus, their performance may be overlapped. The performance of tasks T3 and T6 may also be overlapped, while the performance of task T7 must wait for its inputs until they have been produced by tasks T3 and T6. Termination of tasks As each task is completed, the Task Controller TC records this occurrence by marking the task as having achieved end of task EOT. When the Oldest Active Task (OAT) has reached (EOT) and its change queue entries have all been completed, it may be "terminated". To terminate a task, TC marks it as not active and advances the Oldest Active Task designation (OAT) to its successor. This termination of the oldest active task frees the Program Controller PC to insert another task if it was Waiting because of a full mix of tasks. Register space allocated for "temporaries" is returned to the free list when a task reaches (EOT). However, register space for "inputs" is not returned to the free list until the task is actually terminated (this restriction improves the capability of restartng tasks in case of transient error conditions). Register space allocated for "outputs" is not returned directly to the free list. Output registers are added to the top-of-stack image and are used as inputs by subsequent tasks. Multiple tasks per instruction Typically, some of the high level instructions can be conveniently split into multiple tasks to be performed on the low-level processor. In this way, additional concurrency may be provided, and the overall performance of the system thereby improved. Synchronization of changes to state Aside from changes to the top of the stack, most other effects that an operator can cause are changes to state such as to main memory. These state changes are synchronized by means of two change queues, the Memory Change Queue and the Address and State Unit Change Queue. These change queues (which will be described in more detail hereinafter) impose three kinds of order on the otherwise unordered execution of tasks. First, consider the case of two tasks, T1 and T3 where T1 logically precedes T3. If T1 were to abort (for example, T1 may be an Add operator and may detect an exponent overflow condition), then any state changes attempted by T3 must not be allowed to occur. Second, consider the case in which T1 and T3 both are to write in the same location in memory, but neither task aborts. In this case, the final result (after the execution of T3) must be that the value written by T3 should be in that memory location. Third, consider tasks T1, T2, T3, and T4 (in that logical order). As before, assume that T1 and T3 both write to the same memory location. Also assume that T2 and T4 both read from that same location. In such a case, T2 must get the value written by T1, and T4 must get the value written by T3, regardless of the actual order of execution of the tasks. In all three of the above cases, the required synchronization is accomplished by the use of change queues. Each of these change queues typically provides storage for a small number of "entries" arranged in a first-in-first-out queue. Each entry keeps information on a single state change. The entries are inserted into the queues by tasks in order to effect changes to the state of the system; the entries are removed by the hardware as the changes are actually made. A change is actually made to the state only when the task which originated the change has become the Oldest Active Task (OAT). In order to guarantee that the changes to state are made in the same order as the logical task sequence, entries are placed into a change queue one task at a time, which is enforced by providing a "lock" on each queue. The Program Controller PC assigns the necessary locks to each task upon initiation. The locks are released by the task when it has inserted all of its entries into the queues. The Program Controller PC must, of course, wait until the previous task has released a lock before assigning it to another task. Each entry to the change queue typically includes (1) a new value for some piece of state, (2) an address of that piece of state, and (3) validity bits for each of these components. The entries in the queue may be incomplete, as indicated by their validity bits. The task which inserts the entry into the queue may supply the address and the value separately, in either order. When a task attempts to read a portion of the state, the appropriate change queue is checked by the hardware, in the following manner: 1. If the change queue is locked by a preceding task, then the reading task is put into a Waiting state until it is unlocked. If it is locked by the reading task or by a succeeding task, then the reading task may continue with the next step; 2. If the change queue contains any entries belonging to preceding tasks which have invalid addresses, then the reading task is put into a Waiting state until they are made valid. Entries belonging to the reading task or its succeeding tasks are ignored; 3. If the change queue contains any entries belonging to preceding tasks which have valid addresses which match the address the reading task is trying to read, then the most recently entered entry which meets this condition is checked further. If this entry has a valid value component, then this value is returned to the reading task as the desired value. If this entry has an invalid value component, then the reading task is put into a Waiting state until it is made valid; 4. If none of the above conditions holds, then the task reads the state directly. Discontinuation of tasks and "backing-up" Under normal circumstances, the Program Controller PC and the Task Controller TC will attempt to keep as many tasks in the task "mix" as resources allow. Because error conditions typically occur only infrequently on a dynamic basis, PC and TC assume that error conditions will not occur and continue to initiate tasks. It is possible, therefore, that tasks may need to be discontinued if a logically preceding task detects an error condition after the initiation of its successor tasks. Because changes to state are controlled by the change queues such that only the changes initiated by the Oldest Active Task (OAT) are ever actually made to state, it is relatively easy to discontinue unwanted tasks. All that is required is to remove them from the mix, delete their entries from the change queues (if any), and "back up" the register assignments to the point at which the error was detected. Task Execution As was pointed out previously, the preferred embodiment of the invention being described herein employs a multiple stage pipelined architecture whereby multiple tasks can be concurrently executed in a manner which permits advantage to be taken of both multiprogramming and multiprocessing techniques at a microinstruction level. A preferred manner for achieving these features will now be presented. The manner in which subroutines are handled will not be considered at this point, but will be considered later on in connection with FIGS. 18-21. In the preferred embodiment of the invention, the implementation of the Processor Element PE in FIG. 3 is, for example, chosen to be such that a maximum of sixteen tasks may be active at one time. A preferred manner in which the Task Controller TC assigns resources for each activated task has already been described in connection with the exemplary calculation (A+B)-(1+C) summarized in FIG. 5. It has also been described in connection with FIG. 4 how the activated tasks are managed with respect to the one of four possible states--Ready, Waiting, Executing and End of Task (EOT)--in which each activated task may reside. It will now be described how the preferred embodiment of the Processor Element PE provides for the concurrent execution of multiple activated tasks in a manner so as to achieve the advantages of both multiprogramming and multiprocessing at a microinstruction level. A first step in this regard is to provide for the performance of each task as a result of the sequential execution of a particular one or more task microinstructions accessed from the Stored Logic Controller SLC. For example, a task T.sub.1 may be performed by executing three task microinstructions designated as T.sub.1 m.sub.1, T.sub.1 m.sub.2 and T.sub.1 m.sub.3. As will be evident from the previous description with regard to task management (e.g., see FIG. 4), task microinstructions may be executed in any order regardless of the particular task to which each corresponds. Thus, a single processor can provide multiprogramming on a microinstruction level, since, while one task is Waiting for a condition which will permit its first or next task microinstruction to be made Ready for execution by the Task Controller TC, the processor is able to go ahead and execute other task microinstructions which are Ready. For example, assume that the three tasks T.sub.1, T.sub.2 and T.sub.3 are active wherein: T.sub.1 is a two-microinstruction task T.sub.1 m.sub.1, T.sub.1 m.sub.2 requiring a wait between T.sub.1 m.sub.1 and T.sub.1 m.sub.2 ; T.sub.2 is a three-microinstruction task T.sub.2 m.sub.1, T.sub.2 m.sub.2, T.sub.2 m.sub.3 requiring a wait between T.sub.2 m.sub.1 and T.sub.2 m.sub.2 ; and T.sub.3 is a one-microinstruction task T.sub.3 m which requires completion of task T.sub.1 before it can be made Ready. A single processor is then able to provide execution in a multiprogramming manner by, for example, providing for executing these task microinstructions in the following sequence: T.sub.1 m.sub.1, T.sub.2 m.sub.1, T.sub.1 m.sub.2, T.sub.3 m.sub.1, T.sub.2 m.sub.2, T.sub.2 m.sub.3, as illustrated in FIG. 6. Preferably (and as indicated by the "Executing" circle in FIG. 4), when a particular task microinstruction is being executed, it is normally preferable to permit this task to continue and execute its next microinstruction, if Ready, even though other tasks may also have Ready microinstructions. Having described how the preferred embodiment provides for the execution of task microinstructions using a single processor in a manner so as to take advantage of multiprogramming, it will next be described how multiprocessing is additionally provided in a particularly advantageous manner in accordance with the invention. Basically, this additional multiprocessing capability is achieved in the preferred embodiment by the employment of a three-stage pipeline architecture which is implemented so as to in effect provide three separate processors operating 120.degree. out of phase and sharing the same physical hardware. In order to take advantage of this 3-processor implementation the preferred embodiment not only provides for multiprogramming (as described above) by permitting task microinstructions from different tasks to be executed in intermixed fashion, but also, the preferred embodiment advantageously provides for multiprocessing by permitting a Ready task microinstruction to be selected for execution by any one of the three processors. The preferred embodiment achieves this combined multiprogramming and multiprocessing of task microinstructions by providing an implementation having the following characteristics (1) and (2) set forth below: (1) Provision is made for implementing SLC, DP and ASU in FIG. 3 so that the execution of each task microinstruction is performed in three stages requiring three consecutive clock periods: Typical 3-stage operation of a task microinstruction is such that, during the first stage, a Read operation is performed to prepare for execution of a particular selected task microinstruction which includes reading out from storage the appropriate operand data to be used during microinstruction execution and also reading out the condition select data for use in determining the next microinstruction address. In addition, during this Read stage, appropriate fields of the microinstruction are used to derive control signals for use in controlling data path functions during the next following Compute stage. In this next following Compute stage, a Compute operation is performed during which the selected microinstruction is executed and the selected conditions are used to produce next microinstruction data. In the next following Write stage, which is the last stage in the execution of a task microinstruction, a Write operation is performed during which the results of microinstruction execution are written into storage. (2) In addition to the characteristics set forth in (1) above, the preferred embodiment also provides for the concurrent performance during each clock period of a Read operation for a first task microinstruction, a Compute operation for a second task microinstruction, and a Write operation for a third task microinstruction, whereby to achieve the effect of three different task microinstructions being concurrently performed by three different processors operating 120.degree. out of phase with one another, as illustrated in FIG. 7 for task microinstructions T.sub.x m.sub.1, T.sub.y m.sub.1 and T.sub.z m.sub.1. The three-stage Read, Compute and Write operations respectively occurring for each task microinstruction in three consecutive clock periods (as described in (1) above) are respectively indicated in FIG. 7 by the letters R, C and W. The multiprogramming capability illustrated in FIG. 6 for a single processor is utilized in the preferred embodiment in conjunction with the 3-processor multiprocessing capability illustrated in FIG. 7 so as to permit task microinstructions to be performed in a particularly expeditious manner which takes advantage of both capabilities. As an example, FIG. 8 illustrates the performance of the three calculations (A+B)+(C+D)=H; (A+B)-E=I; and (C+D)-E=J using ten tasks T.sub.A through T.sub.J characterized as follows:
______________________________________
Tasks Operators
______________________________________
T.sub.A = T.sub.A m.sub.1 w T.sub.A m.sub.2
VALC A
T.sub.B = T.sub.B m.sub.1 w T.sub.B m.sub.2
VALC B
T.sub.C = T.sub.C m.sub.1 w T.sub.C m.sub.2
VALC C
T.sub.D = T.sub.D m.sub.1 w T.sub.D m.sub.2
VALC D
T.sub.E = T.sub.E m.sub.1 w T.sub.E m.sub.2
VALC E
T.sub.F = T.sub.F m
ADD (A + B) = F
T.sub.G = T.sub.G m
ADD (C + D) = G
T.sub.H = T.sub.H m
SUBTRACT F - G = H
T.sub.I = T.sub.I m
SUBTRACT F - E = I
T.sub.J = T.sub.J m
SUBTRACT G - E = J
______________________________________
It is assumed for the above example that the "operand fetch" tasks T.sub.A -T.sub.E each require two task microinstructions with at least a three clock wait period (indicated by "w" above) therebetween. It is also assumed that each of the "ADD" and "SUBTRACT" tasks T.sub.F -T.sub.J require only one clock period (indicated above and in FIG. 8 by "m" having no subscript). Also note in FIG. 8 that a "No-Op" microinstruction is indicated when no task microinstruction is performed. DETAILED DESCRIPTION The construction and arrangement of the preferred embodiment of the present invention will now be considered in more detail with reference to particular preferred implementations. Program Controller PC (FIGS. 3 and 9) As described previously in connection with FIG. 3, the Program Controller PC accesses program code words from the Memory System MS (FIG. 2), parses them into operators, and then decodes each operator to determine one or more tasks to be performed along with the resource requirements for each task. This decoded information, including a unique microinstruction starting address for the Stored Logic Controller SLC, is passed to the Task Controller TC so that a task may be assigned and initiated to perform each operator. At the same time, operator parameters, if any, are passed directly to the Main Data Path DP. Since the Task Controller TC manages the actual execution of tasks and coordinates multiple tasks, PC is free to scan ahead in the code stream, thereby minimizing the effect of its operations on processor performance. In a preferred implementation, the Program Controller PC provides the following major functions: 1. Program word buffering. 2. Program word indexing. 3. Maintaining back-up for program indexing. 4. Operator decoding and parameter handling (Operator Decoder OD). 5. Program Controller and Task Controller HOLD/GO control. 6. Pseudo-opcode generating. 7. Initiating routines to handle external interrupt and alarm error conditions. The manner in which the above functions are provided in a preferred implementation of PC will now be described with particular reference to FIG. 9. Program Word Buffering The Program Controller PC provides two program buffer registers P and Q for program word handling. Associated with each is a "register occupied flag", PROF and QROF, respectively. The P and Q registers can be indexed and the appropriate operator and parameter syllables selected. The "next" program word is pre-fetched into Q concurrently with decoding from P. Program Word Indexing PC has a Program Word Index Register PWI and a Program Syllable Index Register PSI which together function as a program counter. PSI, for example, may select using a Syllable Selector SS one of six opcode syllables from a program word in P for decoding by an Operator Decoder OD. When a word boundary is crossed, the "next" program word in O is transferred to P, PWI is incremented, and a "Fetch" request is sent to the Address and State Unit ASU (FIG. 3). The output of PSI is also provided to ASU to calculate a memory address and initiate a memory read. When the new program word is loaded into Q, QROF is set by the memory. PWI and PSI can be loaded with different values (for program branching, etc.) from the Main Data Path DP (FIG. 3). Program Index Backup File (PIBF) Because of the multi-tasking capability provided in accordance with the invention, the performance of the tasks corresponding to one or more operators may sometimes have to be discontinued after they have been initiated. PC is thus provided with the capability of backing-up in the program stream, i.e., to return PWI/PSI to a previous value and to initiate a Fetch if PWI no longer points to the current program word. To effect this, PC provides a Program Index Backup File PIBF (FIG. 9) which records the values of PWI and PSI for all tasks. Upon receiving a back-up indication from TC, PC enters a HOLD state while reading PIBF to obtain the values of PWI and PSI which pointed to the syllable corresponding to the task causing the back-up. The PWI and PSI registers are then loaded with these values. An executing task has the capability of reading PIBF to obtain the values of PWI and PSI which existed at the time of its initiation. Operator Decoding and Parameter Selection The opcode syllable indexed by PSI is decoded by the Operator Decoder OD (FIG. 9) which typically yields operator characteristics such as: 1. The number by which PSI must be incremented to point to the next opcode syllable. 2. The number of succeeding syllables which are to be used as operator parameters. 3. Whether or not the operator is one of certain specil operators which require special handling. 4. Whether or not PC should HOLD after initiating a task for the operator. 5. Whether or not the operator can be entered in Restart mode (thereby providing a pseudo-opcode for that purpose). 6. Task setup information and resource requirements. Parameters Parameters are selected from the output of the Syllable Selector SS in FIG. 9. After appropriate formatting by a Parameter Handler PH, the parameters are transferred to the Main Data Path DP (FIG. 3). Restart Mode A "Restart" flag in the Program Controller PC can be set from the Stored Logic Controller SLC (FIG. 3). It remains set until the next occurrence of a legitimate operator in which case it is reset and that operator is initiated in "Restart Mode" (accomplished by temporarily entering HOLD state and substituting a psuedo-opcode for the original opcode.) Task Setup Information The following information is typically provided to initiate a task for an operator and is passed to the Task Controller TC (FIG. 3) via the Task Setup Register (FIG. 9) TSR to which the output of the Operator Decoder OD is applied. 1. The number of inputs to be consumed from the stack controlled by the Task Controller TC. 2. The number of output and temporary registers to be assigned. 3. Initial WAIT condition--whether or not the task should wait for the topmost stack register to become valid before being made ready for execution. 4. Alternate WAIT condition--whether or not the task should wait on the "earliest of two registers" (the two topmost stack registers) to become valid. 5. Whether or not the task should be given priority in being selected for execution. 6. Whether or not the stack should be adjusted so that only the task's inputs are in the top-of-stack. 7. Whether or not the task changes "state". 8. Whether or not the task belongs to a set representing a multi-task operator. 9. Whether or not the task represents a pseudo-operator. 10. Initial Task Microinstruction Address ITCA for SLC (FIG. 3). 11. ASU Change Queue ACQ lock request. 12. Memory Change Queue MCQ lock request. HOLD/GO Control As described previously, the Program Controller PC and Task Controller TC (FIG. 3) work in tandem to generate a continuous stream of tasks to be performed. As also described previously, PC determines the characteristics of a task and loads this information into the Task Setup Register TSR (FIG. 9). Further responsibility is then assumed by TC, including the assignment of an actual task number and initiation of the task. A number of conditions can prevent immediate initiation of a task using the information in TSR. Consequently, PC has the capability of placing itself and TC in a HOLD state. These conditions are: 1. Waiting for a program word fetch. 2. HOLD signal from SLC or Operator Decoder OD. 3. PC detects an external interrupt or alarm error and must insert a pseudo-op to handle it. Other conditions, originating in TC, may also prevent immediate initiation of a task. These conditions are: 4. The number of output and temporary registers required for the next task (as specified by TSR) is greater than the number of registers available. (HOLD condition will persist until a currently active task releases some of its registers). 5. The number of outputs which the next task will place on the stack, after allowing for the inputs used by the task, is greater than the number of unoccupied positions in the Top of Stack List. (HOLD whole PC inserts a "push task.") 6. The number of inputs required by the next task is greater than the number of entries in the Top of Stack List. (HOLD while the PC inserts a "pop task.") 7. The next task requires that only its inputs be in the Top-of-Stack. (HOLD while PC inserts a "push" or "pop task.") 8. TC has reached its limit for concurrent tasks. (HOLD until a task terminates.) 9. An ACQ lock request occurs and the ASU Change Queue is locked. 10. An MCQ lock request occurs and the Memory Change Queue is locked. Pseudo-Opcode Generation Pseudo-ops may be inserted into the code stream by a Pseudo-Opcode Generator POG (FIG. 9) or independently by an SLC microinstruction. PC will use pseudo-ops to perform control functions such as stack push/pop and interrupt handling. Pseudo-ops may also be used for functions such as handling operator-dependent interrupts and generating other than the first task of multi-task operators. The pseudo-opcode is either generated internally by POG based on the specific function to be performed or obtained from DP upon receipt of an appropriate SLC microinstruction. When a pseudo-op is to be inserted, the HOLD state is first invoked. This prevents a task from being initiated using the setup information currently in TSR. Selection (for operator decoding) of the opcode syllable indexed by PSI is over-ridden by selection of the pseudo-syllable. New setup information is loaded into TSR, HOLD is removed and a task is initiated. The pseudo-op does not increment PSI so TSR is again loaded with setup information for the operator which was preempted by the pseudo-op. If no further HOLD condition exists, task initiation then proceeds in the usual manner. For certain sequences of operators, the insertion of a pseudo-op is not permitted. For example, insertion of a pseudo-op is not permitted when PC has been placed in a HOLD state by SLC or by the HOLD output of the Operator Decoder OD. This insures the correctness of the PWI/PSI values which are associated with the pseudo-op by preventing insertion in such situations as (1) while PWI/PSI are being changed--due to a branching operator, or (2) between the separate tasks of a multi-task operator. (Operators which cause unconditional branching invoke the HOLD state at initiation time via TSR, as does the first task of a multi-task set; conditional branching operators may invoke a HOLD state using an SLC microinstruction). Task Controller (TC) (FIGS. 3 and 10) The Task Controller TC assigns a task in response to the task data or pseudo-operator supplied by the Program Controller PC. It manages the utilization of processor resources in such a way as to achieve a high level of concurrency of operator execution, while maintaining sequential order where required. The Task Controller TC coordinates the execution of numerous tasks in various stages of completion so that no task is unnecessarily delayed when resources are available for its independent operations. The major functions of the Task Controller TC are set forth below: 1. Register allocation 2. Top-of-Stack control 3. Task initiation 4. Task termination 5. HDP task initiation and termination 6. Discontinuing successor tasks (back-up) 7. Task Wait conditions and Ready task selection 8. Microinstruction address selection The manner in which the above functions are provided in a preferred implementation of TC will now be described with particular reference to FIG. 10. Register Allocation As generally described previously, the Main Data Path DP (FIG. 3) of the Processing Element PE contains pairs of working registers which may be allocated to tasks according to their needs, the number of input, output, and temporary registers required by a task being specified by the Program Controller PC via the Task Setup Register TSR (FIG. 9). The Task Controller TC maintains a register allocation list in a Register Allocation File RALF (FIG. 10) which dynamically tracks the register use status (registers assigned vs. free registers available). More specifically, TC first determines if there are enough free registers available to meet the needs of the next task. If so, TC then performs the following functions: 1. Assigns the required number of registers for outputs and temporaries while selecting the proper number of inputs from the Top-Of-Stack, the specific assignments then being written into the Register Map RMAP of DP (FIG. 14); 2. Records the register use status as it existed prior to initiation of the task by writing the register allocation list into the Register Allocation File RALF (for "back-up" purposes); and 3. Updates the register allocation list to provide current status to a subsequent task. If, on the other hand, there are not enough free registers, TC is then placed in a HOLD state until enough registers become available, while PC is also signalled to HOLD. The registers assigned to a task by TC are de-allocated (by updating the register allocation list) at two different times. Temporary registers are released when the task reaches the "EOT" condition and inputs are released when the task is terminated. Output registers, however, are passed to a successor task at its inputs (by adding them to the Top-Of-Stack) and reassigned to that task via RMAP of DP (FIG. 14). Top-Of-Stack Control The Top-Of-Stack TOS is formed by a dynamically-allocated group of registers in RALF of the Main Data Path DP (FIG. 14) which is a logical extension of the in-memory stack of the process currently being executed. Registers designated as being in the Top-Of-Stack will previously have been assigned by the register allocation mechanism. The Top-Of-Stack TOS may typically comprise seven registers. TC updates TOS each time a new task is initiated based on the number of inputs and outputs which are specified by PC via the Task Setup Register TSR (FIG. 10). A task's inputs are obtained from TOS and its outputs placed in TOS ("push" and "pop" tasks are unlike other tasks in that they access the bottom-most entry in the top-of-stack). TC includes a Top-Of-Stack Control TOSC (FIG. 10) which dynamically tracks the Top-Of-Stack status by maintaining a TOS list and a TOS number. The TOS list is a list of the registers currently in TOS, while the TOS number indicates the number of registers currently in TOS. TC uses the TOS list and TOS number to determine if all the inputs for the next task are in TOS. If so, these input registers are provided to RMAP (FIG. 14) in DP for assignment. If all inputs are not in TOS, TC is placed in a HOLD state and PC is signalled that a "pop task" must be inserted before the corresponding task can be initiated. If a task will leave more outputs on the stack than it will consume inputs, TC determines if the Top-Of-Stack limit will be exceeded. If so, TC is placed in a HOLD state and PC is signalled that a "push task" must be inserted. For back-up purposes, TC also functions to maintain a record of the status of TOS as it existed prior to initiation of the task by writing the TOS list and TOS number into a TOS file contained in TOSC (FIG. 10), while also updating the TOS list and TOS number to provide current status to a subsequent task. When a push or pop task is inserted, PC and TC are released from HOLD state. Since HOLD prevents PSI (FIG. 9) from being incremented, a second attempt is made to initiate a task for the operator. It is again subject to the previously described conditions and additional push or pop tasks may be inserted. (Note that each push task removes one register from the top-of-stack and each pop task adds one register). Task Initiation When an operator's characteristics are specified by the Task Setup Register TSR of PC (FIG. 9), the "next" task, as it has been previously referred to, is really only a potential next task. It is only when it has been determined that the necessary resources are available and that no HOLD condition exists does the potential next task become the actual next task and is referred to thereafter as the "initiated task". Sometimes a potential next task turns out not to be the next task at all, as in the case where a HOLD is imposed and tasks are inserted to perform pseudo-ops. When a task is initiated, it is assigned a task number. The limit on the number of concurrent tasks may, for example, be 16. Task numbers are typically assigned to "ordinary tasks" on a "round-robin" basis. All such tasks (excluding HDP and null) are subject to order-of-precedence. This order is insured by also maintaining a record of the "Oldest Active Task" OAT. The successor/predecessor relationship between any two tasks can, for example, be determined by comparing their task numbers A and B with OAT as follows: A is a strict predecessor of B if and only if [A<B AND (OAT<=A OR OAT>B)] OR [A<B AND (OAT<=A AND OAT>B)] The Task Controller TC in FIG. 10 also includes an Initiation Task Register ITR which contains the number of the task which was initiated on the previous clock. ITR operates to address a Next Address Register File NARF for writing in the initial task microinstruction address for the task just initiated. ITR also addresses the Register Map RMAP in DP (FIG. 14) for recording register assignments, and also addresses a Special Purpose Register File SPRF in DP for recording parameters (extracted from the code stream ) which are to be associated with the task just initiated. The Task Controller TC in FIG. 10 additionally maintains a Valid Task File VALT which keeps track of which tasks have been initiated and are in some stage of completion. When the task limit has been reached, a HOLD condition will exist in TC and be signalled to PC, preventing further initiation of tasks until a task terminates. At initiation time, TC may also record certain special characteristics of each task obtained from PC which become pertinent, for example, when tasks are being discontinued. Such characteristics may, for example, indicate whether or not the task changes "state" information, and whether or not the task is a member of a set representing a multi-task operator. Task Termination A task is terminated by marking it "not valid" in the Valid Task File VALT (FIG. 10). Before a task can be terminated it must satisfy the following conditions: 1. The task must have reached End-Of-Task (EOT) and signalled that condition by an SLC microinstruction. 2. The task must be the Oldest Active Task (OAT), to insure the sequential order of the program segment being performed. 3. The task must have no entries in the Change Queue of ASU (FIGS. 3 and 15) and MS (FIGS. 2 and 17) for which a write has not been initiated. When the above three conditions are satisfied, the task is marked "not valid", input registers are returned to the pool of free registers, the loop timer is reset, and the immediate successor of (OAT) becomes the new (OAT). HDP Task Initiation and Termination When an HDP task from HDP (FIG. 2) is inserted into the mix by PC, it is initiated in the usual way by TC with the exception that it is always assigned a predetermined task number. If the HDP task is already valid, no action will occur. The HDP task will remain valid until it is terminated by TC. Termination is not subject to the same conditions as for ordinary tasks with respect to (OAT) and the change queues. Reaching (EOT) is all that is required. Discontinuing Successor Tasks ("Back-up") At some point in the performance of a particular task, a situation may occur which renders the results of successor tasks incorrect or unnecessary (e.g., operator-dependent interrupts or assumed branch paths not taken). When this happens, a task will communicate its intention to discontinue successor tasks by requesting a DS lock provided in TC. If the DS clock is already locked, the task will be "put to sleep" until the lock is free. The task which has the lock (DS lock owner) will cause TC to perform the following actions by the command DS successors: 1. Go into HOLD state and signal PC to HOLD also; put all tasks to sleep (HDP task excluded). 2. Discontinue all successors of the DS lock owner (by marking them "not valid" in the Valid Task File VALT (FIG. 10) and signalling other controllers to do likewise. 3. Reset (EOT) flags of all discontinued tasks. 4. Back-up the Register Allocation List RALL (FIG. 10) to indicate the register use status just before the DS lock owner was initiated. 5. Back-up the TOS list and the TOS number maintained by TOSL (FIG. 10) to indicate the Top-Of-Stack status just before the DS lock owner was initiated. 6. Signal PC to back-up PWI and PSI by loading from PIBF (FIG. 9). 7. Make the "next task" to be initated the immediate successor of the DS lock owner (i.e., set the Next Address Register File NARF (FIG. 7) to the appropriate successor task number). 8. Free the DS lock and wake up tasks. The actions which result from DS lock and DS successors (and all other SLC microinstructions as well) are inhibited if a present cycle abort is indicated. Tasks may also be discontinued by TC as a result of an error. In this circumstance, TC will use the DS lock to prevent conflict. If the DS lock is already locked, TC will wait until the lock is free. Task Wait Conditions and Ready Task Selection Once a task has been initiated, it is made Ready for performance unconditionally, if no initial Wait condition is specified, or conditionally, if an "initial Wait condition" or "alternate Wait condition" is invoked via the Task Setup Register TSR (FIG. 9). The initial Wait condition is the validity of the task's input register which is topmost on the stack. The alternate Wait condition is that of waiting on the "earliest of two" input registers (the two topmost on the stack) to become valid. If the register specified by the initial or alternate Wait condition is valid at initiation time, or if no initial Wait condition was specified, the task is Ready and may be selected for execution. The "validity" of each register is indicated by a stack item available flag which is located in TC. After a task has been selected for performance, it may at any time be put into the Wait state ("put to sleep") either explicitly by a microinstruction or implicity by hardware conditions which exist at the time a microinstruction is executed. Typical explicit Wait conditions are: 1. Memory-complete--Each task has its own MAC (Memory Action Complete flag) which is set when a memory operation has been successfully completed. 2. Myself-equal-OAT--Wait until task is the Oldest Active Task OAT. 3. HDP-complete--Wait until HDP (FIG. 2) has completed an independent operation in progress. (This Wait condition applies to HDP task only). Typical inplicit Wait conditions are: 1. ACQ-change--Wait until the ASU Change Queue ASU-CQ (FIG. 15) has changed states. (This Wait condition is invoked dynamically if a task attempts to get a slot in ASU-CQ and a slot is not available. 2. MCQ-slot-available--Wait until slot is available in the Memory Change Queue MCQ (FIG. 17). 3. DS lock-free--Wait until the DS lock (provided by TC) is not locked. Special Wait condition If a task has not been put to sleep, it remains Ready and may be selected for performance. A task will receive priority over other Ready tasks if priority was specified via the Task Setup Register TSR (FIG. 9). From the set of all Ready tasks of equal priority, one task microinstruction is selected for execution during each clock period that the processor is not halted. Since execution of a task microinstruction requires multiple clock cycles (see FIG. 7), TC marks the selected task as "in execution" to prevent selecting it again on the next clock cycle. Whenever there are no Ready tasks and the processor is not halted, the null task microinstruction is selected and is equivalent to a No-Op. Microinstruction Address Selection When a task microinstruction is selected, a microinstruction address is read out of the Next Address Register File NARF (FIG. 10) and sent to the Stored Logic Controller SLC (FIG. 3). For the first microinstruction of a task, this address will be the initial task microinstruction address recorded at initiation time. During the Write clock period (see FIG. 9) of each task microinstruction, a next selected address is determined by SLC and sent back to TC to replace the previous address in NARF (FIG. 10). NARF is best thought of as a file of microinstruction address registers, one per task, which is used in implementing multiprogramming in accordance with the invention. In addition to storing the next selected microinstruction address in NARF for an executing task, TC also places it in an Address Recycle Register ARR (FIG. 10). This register is used for optimization purposes and allows for overriding the Ready task selection operations performed by a Ready Task Selector RTS (FIG. 10) to give an executing task top priority to continue to the next task microinstruction as long as it does not encounter a Wait condition. After examining Wait conditions during each clock cycle, TC selects the next microinstruction address either from ARR for the current task (if Ready), or from NARF for a Ready microinstruction of a different task. When no task is currently being performed and no other task microinstructions are in the Ready state, the null task is selected, as previously mentioned. The null task addresses the slot in NARF which is loaded with the microinstruction address provided at system initialization time. This address corresponds to a microinstruction which performs a No-Op function with respect to the code stream being processed by PC. However, if desired the null task could be used to perform some system control or monitoring function. The Stored Logic Controller SLC (FIGS. 3 and 11-15) The Stored Logic Controller SLC is that part of the Processing Element PE (FIG. 3) which contains the task microinstructions and the control circuitry which uses these microinstructions to control the performance of the other parts of the processor as required for performing each task. SLC typically comprises a Microinstruction Memory MM (FIG. 11), a Microinstruction Register MR for receiving microinstructions read out from MM, a Sequence Control Memory SCM (FIGS. 11 and 13), an Auxiliary Control Memory ACM, a Next Address Selector NAS, and a Subroutine Control Circuit SCC. The Microinstruction Memory MM may, for example, be a random access memory containing stored microinstructions. The Sequence Control Memory SCM is a logical extension of MM and contains branching information respectively corresponding to microinstructions stored in MM. (For example, see the aforementioned U.S. Pat. No. 4,155,120). The Auxiliary Control Memory ACM typically contains mask and rotate values for the Main Data Path DP (FIG. 14). These values may be selected statically, by addresses from MM, or dynamically, by addresses obtained from DP. The Next Address Selector NAS operates to determine the next microinstruction address in response to sampling selected conditions indicative of the state of the rest of the processor. Both conditional and unconditional dynamic and static branching are typically performed. The Subroutine Control Circuitry SCC provides multilevel subroutine control for each of a plurality of concurrently executing tasks in a manner which permits efficient sharing of microinstruction subroutines. In the preferred embodiment, the Subroutine Control Circuitry SCC provides as many as 15 levels of subroutine entry for each of a plurality of 16 activated tasks. The various components of SLC will now be considered in further detail except for the Subroutine Control Circuitry SCC which will be described in considerable detail at the end of this specification with reference to FIGS. 18-21. Microinstruction Memory (FIG. 11) During the Write operation performed during the terminal portion of each clock cycle, Microinstruction Memory MM (in response to a microinstruction address provided by TC) reads out a selected task microinstruction into the Microinstruction Register MR for use in the next clock cycle. A microinstruction typically comprises a series of control fields which provide control signals to various portions of the processor during task execution. Auxiliary Control Memory ACM (FIGS. 11 and 12) As illustrated in FIG. 12, the Auxiliary Control Memory ACM typically comprises various control devices and associated registers. During the Read operation portion of each clock cycle, these control devices receive patterns (from MR and other registers) for use in controlling various functions of the Main Data Path DP (FIGS. 3 and 14) during the next following Compute operation portion of the clock cycle. These control devices are addressed during the Read operation by multiplexing fields from the Microinstruction Register MR (FIG. 11) (static) and also by fields from Special Purpose Registers SPR (dynamic) contained in the Main Data Path DP (FIG. 14). G and H Rotate and Mask Stores GHS (FIG. 12) The G and H Rotate Stores GHS of ACS supply rotate values and mask patterns for DP (FIG. 14) and are addressed by either a field from MR (FIG. 11) (static), or by a field from the DP's SPR (dynamic). N Bus Mask Store NMS (FIG. 12) The N Bus Mask Store NMS contains patterns to control masking into the Data Register File DRF in DP (FIG. 14). The N Bus Mask Store NMS is addressed (via an N Mask Address Register NMAR) by a field from MR (static) or directly by a field from the DP's SPR (dynamic). SPR Mode Control Store MCS (FIG. 12) The SPR Mode Control Store MCS is addressed by a field in MR and contains the patterns to control SPR mode operations in DP (FIG. 14) and also the selection of data to be applied thereto. Sequence Control Memory SCM (FIGS. 11 and 13) The Sequence Control Memory SCM contains sequencing information for use in determining which microinstruction in the Microinstruction Memory MM (FIG. 11) will be executed next. More detailed information with regard to such means is disclosed in the aforementioned U.S. Pat. No. 4,155,120. SCM is addressed by an address field contained in a microinstruction residing in the Microinstruction Register MR (FIG. 11). The addressed information from SCM is read into a Sequence Control Register SCR. This information from SCM typically comprises an Alternate Address field ALTA, a Branch Address Index field BAI, and a Condition Select field CS which, as indicated in FIG. 13, are read into respective registers ALTA, BAI and CS. Next Address Selector NAS (FIG. 11) The Next Address Selector NAS is used in determining the next microinstruction address. During the Compute operation of each clock cycle, NAS uses the Condition Select field in CS (FIG. 13) to select four possible branch conditions from the many possible branch conditions applied to NAS from other parts of the Processing Element. The actual values of these four selected branch conditions are concatenated together to form a four-bit value which is used to select one of 16 subfields from the Branch Address Index field in BAI (FIG. 13). Each subfield contains a branch address index and a present cycle abort indication. The branch address index of the selected subfield is in turn used to select one of eight next microinstruction addresses, four of which are provided by ALTA (FIG. 13). NAS applies the selected next microinstruction address to the Next Address Register File NARF in TC (FIG. 10). Then, during the next following Write operation in the current clock cycle, this selected next address determined during the Compute portion of the clock cycle is used to address the Microinstruction Memory MM (FIG. 11) so as to read out into MR the selected microinstruction to be used in the next cycle. Present Cycle Abort The Stored Logic Controller SLC (FIG. 10) contains a feature to prevent the execution of a microinstruction if the conditions of the hardware are not as were expected. For example, when attempting to add two single precision operands, if one turns out to be double precision, SLC will indicate a Present Cycle Abort and select one of the alternate addresses provided by ALTA (FIG. 13) rather than continue in the expected sequence. This action is referred to as static Present Cycle Abort and is determined by the microinstruction. Other conditions can also cause a microinstruction to abort for example, when execution of an add microinstruction occurs and one of the registers expected to contain an operand is not valid. In this case the present address will be used as the next MM address and thus allow the microinstruction to be re-executed. This is referred to as dynamic Present Cycle Abort. If static and dynamic Present Cycle Abort occur simultaneously, the static abort will take precedence. The Main Data Path DP (FIGS. 3 and 14) The purpose of the main Data Path DP is to store the primary data items for all of the tasks in the mix and to perform the logical and arithmetic operations on these data items during the Compute operation portion of each clock cycle in response to the applicable microinstruction fields. DP typically comprises a Data Register File DRF for storing data (including top-of-stack data), a Utility Register File URF for storing input/output data, a Register Mapper RMAP for converting task-relative addresses for DRF into absolute addresses according to register assignments made by the Task Controller TC (FIG. 10), an Arithmetic Logic Unit ALU for performing arithmetic and logical operations on applied data, and Special Purpose Registers SPR for auxiliary counting and data-manipulation functions. During a clock cycle typical operation of DP is as follows: During the initial Read operation portion of the clock cycle, two words in DRF (selected by appropriate microinstruction fields in MR (FIG. 11)) are accessed, appropriately aligned and masked, and then applied to ALU. During the next following Compute operation portion of the cycle, ALU performs arithmetic and/or logical operations on the applied words as determined by control signals from ACM (FIGS. 11 and 12) of SLC and also from SPR. During the terminating Write operation portion of the clock cycle, the results provided by ALU are written back, via the N-bus, into DRF and/or applied to other units, such as MS, HDP, or HCP (FIG. 2). Data Register File DRF (FIG. 14) DRF may typically be a random access memory having an Address input, two read ports (G-Bus and H-Bus), one write port for N-Bus input data, and also an input for Memory data, each addressed independently via a microinstruction from SLC. To facilitate the manipulation of partial fields within a word of data, rotation and masking facilities are provided for the G-Bus and H-Bus outputs of DRF, and write-control masking is provided for the Write port of DRF. In addition, the Write port of DRF typically includes an associated write-control mask facility which allows only selected bits of an ALU result word to be written, all other bits of the addressed word in DRF remaining unchanged. Register Mapper RMAP (FIG. 14) The Register Mapper RMAP is used to convert the logical register addresses used by a microinstruction to the physical register addresses that have been assigned to a task. The register assignments for a task being initiated are generated by the Task Controller TC (FIG. 10) and written into a task number associated location in RMAP. When a Task is selected by the Task Controller TC, its task number is used to index into RMAP to obtain the addresses of its physical registers in DRF. Utility Register File URF (FIG. 14) The Utility Register File URF is used to hold data from HDP (FIG. 2) and other non-task-dependent data. Typically, three write ports are provided into URF, one for N-Bus data, one for HDP data, and one for HCP data. SLC, via the N-Bus, supplies a URF address, which is used for both reading and writing. Arithmetic Logic Unit ALU (FIG. 14) The Arithmetic Logic Unit ALU performs arithmetic and/or logical operations on the data appearing on its G-Bus and H-Bus inputs during the Compute operation portion of a clock cycle and applies the result to the N-Bus. Special Purpose Registers SPR (FIG. 14) The Special Purpose Registers SPR in DP are used (among other purposes) for storing those data items on which dynamic fields are dependent. Under control of SLC, selected portions of SPR can be used to control rotation and/or masking (including write-control masking) independently for the three ports of DRF. Data items are loaded into SPR from ALU, and the data in SPR may be used as one of the ALU inputs. In addition, SPR may provide various counting and shifting operations which can be applied to it concurrently with other operations of DP. This allows temporary data values such as loop counters to be stored in SPR, with loop control functions (such as decrementing and testing for zero) performed concurrently with the loop body. The operations applied to the contents of SPR during each clock cycle are determined by the applicable microinstruction. SPR may also be used for a variety of other functions. For example, it may supply new microinstruction addresses to PC (FIG. 9) when high-level branching operations occur, and it may also supply a value to SLC (FIG. 11) which can be used for low-level dynamic branching. The Special Purpose Registers SPR may typically comprise three separate register files, one for use in each of the three Read, Compute and Write operations (stages 1, 2, and 3, respectively) occurring during a clock cycle. The Stage 1 SPR Register File may contain, for example, 16 register locations, each register being keyed to a task number. The Program Controller PC (FIG. 9), when decoding an OP, will also decode the parameters from the program word. These parameters are written into the Stage 1 SPR Register File by TC (FIG. 10) when the task is initiated. Data may also be written into the Stage 1 SPR Register File from the SPR files of other stages. When a Ready Task is selected from the Task Controller TC (FIG. 10), its task number is used to index into the Stage 1 SPR Register File in order to read its parameters or data (if any). During Stage 1 (Read operation), SPR data is routed to the Address and State Unit ASU (FIGS. 3 and 15) for register addressing, to SLC (FIG. 11) for dynamic addressing for the G/H Rotate and Mask stores of ACM, and also for dynamic branching. During Stage 2 (Computer operation), SPR data is applied as input to ALU of DP (FIG. 14) and to SLC (FIG. 11) for dynamic N-mask addressing. The Stage 3 SPR has internal rotate, count, and shift capabilities. These are used to process the data kept in SPR. This processing is controlled by SLC. Stage 3 SPR data is routed during a Write operation (Stage 3) to PC (FIG. 9) for use as pseudo-OPs and for setting PWI and PSI, and is also routed to the Stage 1 SPR. Also available from the Stage 3 SPR are certain late conditions which are generated after the SPR Stage 3 operation has been completed, and are routed to SLC for use as branch conditions in the next cycle. Address and State Unit ASU (FIG. 15) A primary purpose of the Address and State Unit ASU is to calculate and check addresses and to store these addresses along with other state values of the high-level architecture in an ASU register file ASU-RF. The storing into ASU-RF is controlled through an ASU Change Queue ASU-CQ to insure proper updating and sequencing. ASU also includes an ASU Arithmetic Logic Unit ASU-ALU for performing address calculations, a Limit Checker LC for making address calculation limit checks, and an Address Decoupler AD for performing decoupling functions. Typical types of address computations performed by ASU are as follows: 1. Address computations from "address couples". 2. Address computations of the form "base+offset", where the base address is a piece of state stored in ASU and the offset is either a small literal value or a value provided by DP (FIG. 14). 3. Address computations of the form "base+offset", where the base address and offset are provided by DP. 4. Address computations of the form "base+offset" for PC (FIG. 9), where the base address is a piece of state stored in ASU and the offset is provided by the PC. Address Decoupler AD (FIG. 15) The Address Decoupler AD uses SPR data from the Main Data Path DP (FIG. 14) to perform computations on address couples for providing an index value to the ASU Arithmetic Logic Unit ASU-ALU. ASU Register File ASU-RF and ASU Change Queue ASU-CQ (FIG. 15) The ASU Register File ASU-RF is used to hold various states and/or registers. All changes to ASU-RF are queued through the ASU Change Queue ASU-CQ. Any time a task wishes to access data in ASU-RF the state of ASU-CQ is checked. When a task reads ASU-RF, the contents of ASU-CQ are checked to find any new entries for that address that may have been written by a predecessor task. When a task wishes to update the contents of ASU-RF, the write is first queued through ASU-CQ. The address used for designating the write location is the same address as would be used in reading. In the present implementation, reads from one location and writes into another location in ASU-RF cannot be done within the same clock cycle. An address select field from SLC (FIG. 11) designates if the results of the address decouple are being used, if the ASU may be used for PC fetch, and also designates the address source for reading and updating ASU-RF. The ASU Change Queue ASU-CQ may typically comprise a "Lock" and, for example, two slots. Each slot typically contains fields for the task number, the address of the location in ASU-RF, a base value, and a limit value. The Lock indicates the task number that has the Lock set. When the Lock is not set, this value is typically zero. ASU Change Queue ASU-CQ (FIG. 15)-Typical Read Operation (FIG. 16) If a task does a read, CONDITIONS within ASU-CQ are checked in the logical order set forth below causing the ACTION listed with each condition to occur. Refer also to the typical read flow for ASU-CQ illustrated in FIG. 16. CONDITION: Predecessor task has Lock. ACTION: Read Task put to sleep waiting on "change to ASU". SLC will generate a Present Cycle Abort (PCA). CONDITION: Predecessor task has invalid address in address field of slot. ACTION: Read task put to sleep waiting on "change to ASU". SLC will generate a Present Cycle Abort (PCA). CONDITION: Predecessor task has the same address as that being read by present task, but data is invalid. ACTION: Read task put to sleep waiting on "change to ASU". SLC will generate a Present Cycle Abort (PCA). CONDITION: Predecessor task has same address and valid data. ACTION: Contents read from ASU Change Queue. CONDITION: All predecessor tasks have different addresses. ACTION: Contents read from ASU Register File. Note with respect to FIG. 16 and the above listing that, when both slots contain valid data for the requested address, then the latest copy is given the read task. Also note that, when a task becomes active after having been put to sleep, then the FIG. 16 flow is again checked. ASU Change Queue ASU-CQ (FIG. 15)-Typical Unload Operation Once a Task has reached Oldest Active Task (OAT) and the contents of the slot are marked valid (address and data), then that slot may be written into ASU-RF. When the slot contents have been successfully written into ASU-RF, the slot is made available--that is, the task number is set to zero and the validity bits for the address and data are reset. The Task Controller TC (FIG. 10) monitors the condition "OAT not in ASU-CQ". This is one of the conditions used by TC for termination of the task. ASU Change Queue ASU-CQ (FIG. 15)-Typical Write Operation If a task is to write new values into ASU-RF then, at the initiation of that task by PC (FIG. 9), the ASU Lock is set with that task number. A task must have the Lock in order to acquire an ASU Change Queue slot. If the Lock is already set by a preceding task, then PC is stopped until the Lock is unlocked. The Lock can then be set for this next task and PC started. When a task requests a slot, ASU will verify that a slot is available. If a slot is not available, that task is put to sleep waiting on a "change to ASU". When the slot is acquired, the task number is written into the slot. The address and data components may be supplied independently or together, at any time. The value component is obtained from ASU-ALU and LC. Writing into the ASU Change Queue is performed during the Write operation of each clock cycle (Stage 3). If a Present Cycle Abort (PCA) condition occurs, the writing is inhibited. A "Change to ASU" is caused by unloading of a slot, making the address and data in ASU-CQ valid, and unlocking of the ASU-CQ. ASU Arithmetic Logic Unit ASU-ALU (FIG. 15) ASU-ALU performs simple arithmetic and logical operations on two operands applied thereto. These two operands, designated the "base" and the "index", are usually, but not always, memory addresses. The base input can come from ASU-RF or from ASU-CQ, and also from DRF of DP (FIG. 14). The index input can come from AD, DRF of DP, or from PC (FIG. 9). The output of ASU-ALU is provided to the Limit Checker LC, to the Memory System MS (FIG. 2) (as a memory address), and to DP (to be written into SPR or DRF). The output of ASU-ALU can also be written into the base portion of a word in ASU-RF via ASU-CQ. Limit Checker LC (FIG. 15) The Limit Checker LC performs address comparison, provides branch conditions to SLC (FIG. 11) based on this comparison, and can optionally cancel a memory request based on the comparison. One of the two inputs to the Limit Checker LC is from ASU-ALU. The other input comes from the limit portion of the word which supplied the base input to ASU-ALU. Memory System MS (FIGS. 2 and 17) With reference to FIG. 17, the Memory System MS (illustrated in block form in FIG. 2) may typically comprise the following: a plurality of Memory Modules MM: a Memory Exchange MEX serving as an expansion module to interface to MM and GM; and a Memory Control MC (including a Cache Memory CHM and a Memory Change Queue MCQ) serving as an interface to MM and the Global Memory GM (FIG. 1) from the Processing Element PE (FIG. 3). The Cache Memory CHM is typically a very high-speed memory which contains redundant copies of recently accessed blocks of words in MM. Memory read requests are satisfied by reading words from CHM if the appropriate block is present therein, thus avoiding the greater time required for an MM access. However, if the appropriate block is not present in CHM, it is fetched from MM and replaces some other block in CHM. Memory write operations are always written to MM and are also written to CHM if the appropriate block is present. Thus, CHM data is always identical to MM data, and no updating of MM is necessary when a CHM block is replaced. The Memory Change Queue MCQ is used to queue changes to MM in a basically similar manner to that described previously for ASU-CQ (FIG. 15). The Memory Change Queue MCQ is used for accessing operations with respect to both MM and the Global Memory GM. A task (other than the HDP task) makes a request for a memory write operation by entering a complete entry into the Memory Change Queue MCQ. As described previously with regard to the ASU-CQ, a requesting task is required to own the change queue lock in order to gain entry to MCQ, this lock being acquired for the requesting task by the Program Controller PC (FIG. 9) before task initiation. The information for entry to MCQ may be supplied at the same time that the entry is placed in MCQ, or may be supplied at a later time. After entry has been completed, MS will initiate operation for a requesting task when the task has reached the top of MCQ and has become the Oldest Active Task (OAT). A task makes a read memory request by supplying the memory address obtained from the output of the ASU Arithmetic and Logic Unit ASU-ALU (FIG. 15) along with the converted address obtained from the Register Mapper RMAP of DP (FIG. 14). The task may then continue processing if it has something else to do while the addressed data is being accessed from memory. If not, the task is put into a Waiting state. Each requesting task also involves a Memory Action Complete (MAC) condition. This condition is cleared at the beginning of every memory request by that task and is set by the memory subsystem when the request has been satisfied. This signals the Task Controller TC (FIG. 10) to return the task to Ready status if it has been in a Waiting State because of this condition. Description of a Preferred Embodiment of the Subroutine Control Circuitry SCC (FIGS. 11 and 18-21) It will be remembered from the foregoing description that, during a Compute operation, a particular task microinstruction is executed and also next microinstruction data is produced by the Next Address Selector NAS in FIG. 11. The Subroutine Control Circuitry SCC is concerned with the situation where this next microinstruction data indicates that the next task microinstruction to be executed for this task is the first task microinstruction of a subroutine. When such is the case, the Next Address Selector NAS not only provides the address of the first microinstruction of the subroutine, but also provides a subroutine entry signal E along with a signed offset value F. This signed offset value F has a value such that the return microinstruction address for the subroutine is obtainable by adding this signed offset value F to the address of the present microinstruction PA. During the Compute stage of the last microinstruction of a subroutine, the system provides a return signal R requesting that the appropriate return address be provided for use as the next microinstruction address. FIG. 18 illustrates a preferred implementation of the Subroutine Control Circuitry SCC. Before describing this implementation in detail, a functional description of its overall operation will first be presented in order to permit the detailed description to be more easily understood. The entry signal E provided when a subroutine is to be entered causes the subroutine control circuitry of FIG. 18 to add the signed offset value F to the present microinstruction address PA to form the return address RA. This calculated return address RA is then stored in a stack corresponding to the task which produced the entry signal E (there being one such stack for each task), and the stack level pointer is incremented by one and saved in a respective register. Typically, each stack may accommodate, for example, fifteen levels of subroutine entry so that as many as fifteen return addresses can be stored in the corresponding stack for each task. Provision is also made for the most recent return address in each stack to be separately stored in a corresponding fast access register so that it can be rapidly provided to the Next Address Selector NAS (FIG. 11) for use as the next microinstruction address for the task when a subroutine return is encountered. It will be understood that a subroutine return is initiated when NAS provides a return signal R during a Compute stage of task execution. This return signal causes the separately stored most recent return address for the task to be sent to NAS and to be replaced in this separate storage by the next most recent return address for that task. Also, the corresponding stack pointer for the task is decremented by one to reflect that this most recent return address has been sent to NAS. The above summarized subroutine control operations of the preferred implementation illustrated in FIG. 18 are performed in three stages which operate in synchronism with the previously described three-stage Read, Compute and Write operations of the system so as to be able to take advantage of, as well as contribute to, the multiprogramming and multiprocessing capabilities of the system as illustrated in FIGS. 6-8. More specifically, the preferred Subroutine Control Circuitry SCC illustrated in FIG. 18 is constructed and arranged in a manner so as to in effect provide three separate subroutine control circuits operating 120.degree. out of phase with one another with each circuit providing subroutine control for a different task. Reference is now directed to the example of FIGS. 19 and 20. FIG. 19 illustrates a task T which, for example, includes four subroutine calls SUB-1, SUB-2, SUB-3 and SUB-4. FIG. 20 illustrates the contents of the return address stack 20 and fast access register 22 for task T at particular time periods t.sub.0 -t.sub.8 during performance of the task. As indicated in FIG. 19, task T comprises a main portion and three subroutine calls SUB-1, SUB-2, SUB-3 and SUB-4. At the beginning of task T (time t.sub.0), the stack 20 and the fast access return address register 22 are empty, and the stack pointer P points to level 0. When SUB-1 is encountered at time t.sub.1, the corresponding return address RTN-1 for SUB-1 is calculated and stored in the stack 20 and also in the fast access register 22 (FIG. 20). The stack pointer P is decremented by 1 to point to level 1 so as to indicate that level 1 is the next available stack location. As illustrated in FIG. 19, during the performance of SUB-1, SUB-2 is encountered at time t.sub.2. As indicated for t.sub.2 in FIG. 20. the return address RTN-2 for SUB-2 is calculated and stored at level 2 in stack 20 and the pointer P is incremented by 1 to point to level 2. RTN-2 also replaces RTN-1 in the fast access register 22, since RTN-2 is now the most recent return address. During the performance of SUB-2, a third subroutine SUB-3 is encountered at time t.sub.3 which now causes a third return address RTN-3 to be calculated and placed in level 2 of stack 20 and also in the fast access register 22, as shown for t.sub.3 in FIG. 20. Also, the pointer P is incrmented by 1 to now point to level 3. When SUB-3 is completed at time t.sub.4 (FIG. 19), the corresponding return address RTN-3 is rapidly accessed from the fast access register 22 and is replaced by the next most recent return address RTN-2 from the stack 20, as indicated for time t.sub.4 in FIG. 20. Also note for t.sub.4 in FIG. 20 that, since a return is performed, pointer P is decremented by one to point to level 2. It will be understood that the return address RTN-3 may still reside in level 2, but this is of no significance since it will be written over if level 2 receives another return address. Accordingly, for clarity, level 2 is shown empty for t.sub.4 in FIG. 20. This convention is used throughout FIG. 20. As illustrated in FIG. 19, after completion of SUB-3 at t.sub.4, SUB-2 continues and is completed at t.sub.5. The corresponding return address RTN-2 in the fast access register 22 is thus accessed and replaced by the next most recent address RTN-1, and the pointer P is decremented by 1 to point to level 1, as indicated at t.sub.5 in FIG. 20. At time t.sub.6, SUB-4 is encountered (FIG. 19) which, as shown for t.sub.6 in FIG. 20. causes the corresponding calculated return address RTN-4 to be placed in stack 20 at level 1 and also to be placed in the fast access register 22; the pointer P is incremented to point to level 2. When SUB-4 is completed at t.sub.7 (FIG. 19), the return address RTN-4 is accessed from the fast access register 22 and is replaced by the next most recent return address RTN-1, as shown for t.sub.7 in FIG. 20, while the pointer P is decremented by 1 to point to level 1. As shown in FIG. 19, SUB-1 then continues and is completed at t.sub.8, at which time RTN-1 is accessed from the fast access register 22 and processing returns to the main portion of task T. Accordingly, as illustrated for t.sub.8 in FIG. 20, stack 20 and the fast access register 22 are now empty and the pointer P is pointing to level 0. As pointed out earlier herein, the subroutine control operations provided by the preferred implementation illustrated in FIG. 18 are staged in a manner so as to in effect provide three separate subroutine control circuits operating 120.degree. out of phase with one another with each circuit providing subroutine control for a different task. Accordingly, it is to be understood that, in the preferred implementation of FIG. 18, the operations for the illustrative task T described above in conjunction with FIGS. 19 and 20 may be performed concurrently, but 120.degree. out of phase with one another, for up to three different tasks. This is accomplished by providing three successive stages S-1, S-2 and S-3 (one clock per stage) for the performance of the subroutine control operations required in response to a subroutine entry or in response to a subroutine return for a particular task. In addition, provision is made to perform all three stages S-1, S-2 and S-3 during a single clock period in a manner so that, during each clock period, each of stages S-1, S-2 and S-3 performs its respective subroutine operations for a different task. It is also to be noted that these subroutine control stages S-1, S-2 and S-3 perform their respective operations in synchronism with the Compute, Write and Read stages, respectively, of the system. Such operation is illustrated in FIG. 21 which is a generally similar type of illustration as FIG. 7 with the additional showing of the corresponding subroutine control stages S-1, S-2 and S-3 occurring during particular illustrative examples of subroutine entry and return for each task. More specifically, FIG. 21, similar to FIG. 7, illustrates the concurrent performance of tasks T.sub.x, T.sub.y and T.sub.z by processors #1, #2 and #3, respectively, operating 120.degree. out of phase with one another. For the purposes of the preferred embodiment of the present invention being described herein, it is assumed as an example that the first illustrated task microinstructions T.sub.x m, T.sub.y m, and T.sub.z m, of tasks T.sub.x, T.sub.y and T.sub.z, respectively, in FIG. 21, each cause the Next Address Selector NAS (FIG. 11) to provide a subroutine entry signal during its Compute (C) operation indicating that the next task microinstruction for the respective task (T.sub.x s.sub.1, T.sub.y s.sub.1 or T.sub.z s.sub.1) is to be the first microinstruction of a particular subroutine. Accordingly, during the Compute stage (C) of each of microinstructions T.sub.x m.sub.1, T.sub.y m.sub.1 and T.sub.z m.sub.1, subroutine operations comprised of stages S-1, S-2 and S-3 are initiated for each task in response to a subroutine entry signal E provided by NAS (FIG. 11) during the corresponding Compute operation. As a result, the corresponding return address for each task is calculated and stored in its respective stack 20 and fast access register 22 and the respective stack level pointer P is incremented as previously described in connection with FIGS. 19 and 20 (note, for example, time period t.sub.1). Then, during the last task microinstruction of each subroutine (as indicated in FIG. 21 by task microinstructions T.sub.x s.sub.n, T.sub.y s.sub.n and T.sub.z s.sub.n), subroutine operations comprised of stages S-1, S-2 and S-3 are again initiated in response to a subroutine return signal R provided by NAS during the corresponding Compute operation, causing the corresponding return address in the respective fast access register 22 to be transmitted to NAS for use as the next microinstruction address for its respective task, while also causing the corresponding stack level pointer P to be decremented and the next most recent return address (if present) to be stored in the fast access register 22 (note, for example, time period t.sub.4 in FIGS. 19 and 20). It is, of course, to be understood that the subroutine entry and return operations shown for exemplary purposes in FIG. 21 may occur independently for each processor and need not occur at the particular times indicated. The particular times illustrated in FIG. 21 are instructive, however, in demonstrating how subroutine control operations may typically be performed concurrently for up to three concurrently executing tasks in the preferred implementation being described herein, and also in synchronism with corresponding Compute, Write and Read operations of the system. In the light of the above general and functional descriptions, the preferred Subroutine Control Circuitry SCC illustrated in FIG. 18 will now be considered in detail by describing the structure and operations provided for each of stages S-1, S-2 and S-3. In this regard, it should be remembered that, in the preferred implementation, each stage is performed during one clock period, and that during a single clock period, each stage is capable of performing its operations for a different task. For example, note clock period 4 in FIG. 21 during which an S-1 operation is performed for task T.sub.x, an S-2 operation is performed for task T.sub.y, and an S-3 operation is performed for task T.sub.z. Stage S-1 As illustrated in FIG. 18, state S-1 includes an S-1 register 30, a multiplexer 32, and logic 34. The S-1 register 30 serves to store the various subroutine signals provided during the compute operation of a task microinstruction when either a subroutine entry or subroutine return situation is indicated. If a subroutine entry is indicated, the subroutine signals designate the following: a task number T.sub.1 (which is also applied to stage S-3), a present address PA.sub.1, a signed offset value F.sub.1, the next available stack level indicated by pointer P.sub.1 (which is provided by stage S-3 in response to T.sub.1), and a subroutine entry signal E1. If a subroutine return is indicated, the subroutine signals provided designate just the task number T.sub.1, the next availabel stack level indicated by pointer P.sub.1. (provided by stage S-3), and a subroutine return R.sub.1. As will be considered later during the description of stage S-3, the task number T.sub.1 applied to stage S-3 causes the most recent return address for the task to be applied to the input of the multiplexer 32; the return signal R.sub.1 applied to the multiplexer 32 during S-1 of a subroutine return then causes this return address to be transmitted to NAS (FIG. 11) for use as the next microinstruction address for this task. Stage S-1 also includes logic 34 to which E.sub.1, R.sub.1 and P.sub.1 are applied. When E.sub.1 is present, logic 34 determines if the respective stack level pointer P.sub.1 is at its highest level; if so, an overflow signal OV is produced indicating that the respective stack for task T.sub.1 is full and cannot accept another return address. When R.sub.1 is present, logic 34 determines if the respective stack level pointer P.sub.1 is at its lowest level; if so, a signal OE is produced indicating that the respective stack for T.sub.1 is empty. The system may then take appropriate action in response to an OV or EO signal. Stage S-2 Stage S-2 includes an S-2 register 40, an adder 42, an incrementer/decrementer 44 and a multiplexer 44. It will be noted in FIG. 18 that the subscripts of the signals provided to stage S-2 are changed from "2" to "1". This is done to indicate that these signals which were applied to stage S-1 during the previous clock period are now being applied to stage S-2 in the next clock period. These "2" subscripts also serve to distinguish these signals applied to S-2 from the new set of subscript "1" signals which are concurrently applied during the same clock period to stage S-1 for a different task, as previously explained in connection with FIG. 21 (see, for example, clock period 3 in FIG. 21). A similar convention is used in connection with signals applied to S-3. During stage S-2 of a subroutine entry, the return address RA.sub.2 for the respective task is calculated by the adder 42 by adding the present address PA.sub.2 to the offset value F.sub.2. This calculated return address RA.sub.2 is then stored in the S-2 register 40 along with the respective task number T.sub.2 and the entry signal E.sub.2. In addition, the entry signal E.sub.2 produced for subroutine entry causes the incrementer/decrementer 44 to increment the pointer P.sub.2 by one and also causes the multiplexer 46 to output the unchanged P.sub.2 value, these values of P.sub.2 and P.sub.2 +1 also being stored in the S-2 register 40. During stage S-2 of a subroutine return, only P.sub.2, R.sub.2 and T.sub.2 are present. Operation during S-2 is then such that R.sub.2 causes the incrementer/decrementer 44 to decrement P.sub.2 by one and to also cause the multiplexer 46 to pass the resulting P.sub.2 -1 value for storage in respective locations in the S-2 register 40 along with R.sub.3 and T.sub.2. Stage S-3 As illustrated in FIG. 18, stage S-3 includes a return address stack storage 50, a fast access register file 52, a stack pointer register file 54, an OR gate 56 and a multiplexer 58. The return address stack storage 50 comprises a random access memory which provides storage for a plurality of stacks, one for each task. A single one of these stacks is illustrated by the stack 20 in FIG. 20. The fast access register file 52 provides rapidly accessible storage for a plurality of fast access registers, a single one of these registers being illustrated by the register 22 in FIG. 20. The stack pointer register file 54 provides storage for a plurality of stack level pointer registers, also one for each task. The return address stack storage 50 is capable of being enabled during each clock period either for writing (for a subroutine entry) or for reading (for a subroutine return). Accordingly, E.sub.3 serves as a write enable for storage 50 and R.sub.3 serves as a read enable. The fast access register file 52 and the stack pointer register file 54 are capable of providing both writing and reading from different registers during each clock period. This capability is provided for files 52 and 54 in order to permit all three of the subroutine stages S-1, S-2, and S-3 to be performed during each clock period for different tasks as illustrated, for example, in FIG. 21. Reading is always provided during a clock period, while writing is enabled by either E.sub.3 or R.sub.3. This is implemented in FIG. 18 by applying the E.sub.3 +R.sub.3 output of OR gate 56 to the write enable inputs of files 52 and 54. T.sub.3 serves as a stack selector for the return address stack storage 50, and as a write register selector for both the fast access register file 52 and the stack pointer register file 54. T.sub.1 serves as a read select register for both files 52 and 54. The level pointer for the return address stack storage is P.sub.3 for a subroutine entry or P.sub.3 -1 for a subroutine return. During stage S-3 of a subroutine entry, E.sub.3 provides a write enable for the return address storage 50 so as to cause the return address RA.sub.3 (calculated during S-2) to be written into the particular stack selected by task T.sub.3 at the level pointed to by pointer P.sub.3. This return address is also written, via multiplexer 58, into the particular fast access register in file 52 selected by T.sub.3 (see, for example, FIG. 20, time t.sub.1). The operation of the multiplexer 58 is such that, during a subroutine entry (when R.sub.3 is absent), the multiplexer 58 passes RA.sub.3 rather than the output of the return address stack storage 50. Also during S-3 of a subroutine entry, the incremented level pointer P.sub.3 +1 is written into the particular stack pointer register in file 54 selected by T.sub.3. During stage S-3 of a subroutine return, operations differ from those performed for a subroutine entry primarily in that there is no return address to be written in the return address stack storage 50. Instead, the storage 50 is enabled for reading by R.sub.3. In such a case, T.sub.3 still selects the stack in storage 50 and the register in file 52 which are to be accessed, but the stack level pointer will now have a value of P.sub.3 -1 (as a result of being decremented by one during S-2) so as to read out the next most recent return address for task T.sub.3 which passes, via the multiplexer 58, to the fast access register file 52 for writing in the corresponding fast access register of T.sub.3 (see FIG. 20, e.g., time t.sub.2). Also during stage S-3 of a subroutine return, the decremented level pointer P.sub.3 -1 is written into the stack pointer register of file 54 selected by T.sub.3 in order to adjust the level pointer value to account for the reading out from storage 50 of the next most recent return address. It will be understood that, concurrently with the writing during stage S-3 of a return address in the particular fast access register of file 52 selected by T.sub.3, the task number T.sub.1 applied to stage S-1 during the same clock period is also applied to file 52 of stage S-3 to select a corresponding fast access register for reading out the most recent return address for T.sub.1. As explained previously in connection with stage S-1, this accessed return address is applied to the multiplexer 32 of stage S-1 for transmission to the system in the event that a aubroutine return is indicated for stage S-1. It will also be understood that, concurrently with the writing during stage S-3 of a level pointer value in the particular register in the stack pointer register file 54 selected by T.sub.3, the task number T.sub.1 applied to stage S-1 during the same clock period is also applied to file 54 of stage S-3 to select a corresponding stack pointer register for reading out the current value of the level pointer for task T.sub.1 for use as the P.sub.1 value for the concurrently performed stage S-1 operations. Although the description of the invention provided herein has been primarily directed to particular illustrative embodiments in order to clearly demonstrate the basic principles of the invention and the manner in which it may be readily practiced so as to take advantage of the stated features and advantages, it is to be understood that many modifications and variations in structure, arrangement, components, operation and use are possible within the contemplated scope of the invention without departing from the spirit of the invention. The appended claims are accordingly intended to cover and embrace all such possible modifications and variations within the true spirit and scope of the invention.
|
Same subclass | ||||||||||
