The present invention relates to processors and methods for processing signals that can be implemented using said processors.
In cell-phone systems of the second generation (for example GSM) or of a more advanced type (GPRS, EDGE, UMTS), the most widely used architecture consists of a system made up of two processors. The first processor, which is specialized in handling the part with the largest computational burden, typically consists of a Digital Signal Processor or DSP. The other processor, with tasks of control, synchronization and execution of high-level applications, is typically configured as a CPU.
An example of architecture of this sort is illustrated in
Designated by CMC are the interface modules, referred to as Core Memory Controllers, which enable two sub-systems coming under the two processors DSP and CPU 1 to interface with one another by means of a main bus B with the main system memory MEM and with the various peripheral units P1, P2, P3, P4, . . . associated to the system.
The specific application in the telephony sector is, on the other hand, referred to herein purely in order to provide an example and consequently does not imply, even indirectly, any limitation of the altogether general character of the invention described in what follows. The said invention may, in fact, be applied in all those fields in which it may be useful or advantageous to employ a microprocessor.
With reference to the diagram of
The number of bits on which the CPU 1 operates is related to the width of the data on which the machine is operating. The instructions are generated and executed in turn, in a specific order defined by compiling.
The other processor, designated by DSP, is typically a superscalar microprocessor or 128-bit pipelined VLIW (acronym for Very Long Instruction Word) microprocessor.
“Pipelined superscalar” means that its internal architecture is made up of different logic stages, some of the which are able to execute instructions in parallel, for example in the execution step. Typically, the parallelism is of four instructions each (equal to 128 bit) whilst the data are expressed in 32 bits.
The processor is said to be superscalar if the instructions are reordered dynamically in the execution step in order to supply the execution stages which can potentially work in parallel, also altering the order generated statically by compiling of the source code, if the instructions do not present any mutual dependence. The main disadvantage of this approach lies in the complexity of the resulting machine, in which the logic of scheduling of the instructions may prove one of the most important parts in terms of number of gates.
The term VLIW processor is used if the instructions are re-ordered statically in the compiling step and executed in the pre-set order, which is not modifiable in the execution step. The advantage of the said approach is that it eliminates all the logic of management of the scheduling since this task is performed during compiling.
The main disadvantage lies in the fact that the compiled code is strictly dependent upon the implementation of the machine on which it is executed. For example, given the same instruction-set architecture (ISA), a machine with N execution units cannot execute a compiled code for a machine with K execution units if K is not equal to N. From this it follows that there is no “binary compatibility” between different generations of processors with the same ISA.
It is to be recalled that by “binary compatibility” is meant the property existing between a group of processors each of which is able to execute one and the same binary machine-code datum.
Likewise, it is not possible to create multiprocessor systems (each with a different number of execution units), which can change processes in the course of execution.
In the diagram of
A system based upon the architecture represented in
By way of reference, a processor such as the CPU 1 usually possesses 16 Kbytes of data cache and 16 Kbytes of instruction cache, whereas the DSP usually possesses 32 Kbytes of data cache and 32 Kbytes of instruction cache.
The flowchart of
The process schematically represented in
It may be readily appreciated that the set of instructions is in biunique correspondence with a given microprocessing CPU architecture.
The flowchart of
Both in
It will be appreciated that the main difference between the diagram of
Assuming that the two sets of instructions designed to be executed by the processors CPU 1 and DSP are different from one another (as is commonly the case with the architecture of wireless processors) it is understandable that instructions (and hence tasks to be executed), which can be executed the processor CPU 1 cannot be executed by the DSP, and vice versa.
For the above to be possible, it is necessary to compile each process for each processor, thus increasing the memory of the program. Whenever a process is to be executed by a specific processor, it is then necessary to load and execute the code of the particular task that has been compiled for that processor. There is moreover encountered the problem linked to the fact of having to correlate the different points of partial execution of the programs when they are to be shifted from one processor to another (i.e, re-map the program counters correctly) and of having to convert all the processing data from the representation system of one processor to the representation system of another (for example, the contents of the state and general-purpose registers).
The above problems are difficult to solve, so that in general a process is compiled and executed on a single processor.
With reference to
In general, two types of processes are distinguished, namely:
those corresponding to the operating system and to applications that use calls to functions of the operating system, and those regarding the processing of multimedia (audio/video/graphic) contents.
Specifically, in the diagram of
Starting from the diagram of
Setting equal to one hundred the total time of execution of the processes, it is noted that the first processes typically last 10% of the time, whilst the second occupy a much greater part, corresponding to 90%.
Again, the first processes contain instructions generated by the compiler of the processor CPU 1 and hence can be executed by the latter, but not by the DSP. For the latter processes the situation is exactly complementary, in the sense that they contain instructions generated by the compiler of the DSP and can hence be executed by the said processor, but not by the other processor CPU 1.
It is moreover to be noted that the processor CPU 1 is characterized by a compiling flow of its own, which is independent of and distinct from that of the DSP.
Given the modest workload, it may be appreciated that the processor CPU 1 could even be turned off when not in use, so enabling a considerable energy saving.
The above hypothetical solution (switching-off of the processor CPU 1 when it is not being used) comes up, however, against the fact that the corresponding switching-off or powering-down procedures introduce additional processing latencies and these are added to the value of 10% mentioned previously. The aforesaid procedures envisage in fact:
switching off the processor CPU 1, except for the respective register file by gating the clock signal which supplies all the internal registers;
switching off the processor CPU completely, except that power supply is maintained for the cache memories; and
switching off the CPU as a whole, including the data and instructions caches.
However, given that the state of the individual processor must be restored when the latter is turning back on following upon one of the operations referred to previously, the latencies introduced vary from tens of microseconds to tens or hundreds of milliseconds. The above latencies prove particularly costly, both from the energy standpoint and from the computational standpoint.
Finally, the DSP is forced to work at approximately 90% of its computational capacity. This implies an evident asymmetry in the workload of the processor CPU as compared to the workload of the DSP, an asymmetry which is revealed also in the power-management algorithms, which are distinct for the two processors.
The purpose of the present invention is to provide a solution capable of overcoming the drawbacks outlined previously.
According to the present invention, the said purpose is achieved thanks to a process having the characteristics referred to specifically in the claims that follow. The invention also regards the corresponding processor system, in particular multiprocessor system.
The present invention appears therefore both as a variant and as a possible integration with respect to the solution described in the European patent application No. 01830814.8.
Basically, the solution according to the invention enables instantiation of a new class of processors with instruction length selectable by the processor itself. The above is obtained by creating an architecture which can be defined, using a terminology introduced in the present description, as “Selectable-Instruction-Length Computer” (SILC), where the instruction-level parallelism (ILP) is statically extracted from the compiler.
The foregoing is, however, obtained in such a form as not to jeopardize binary compatibility between different SILC processors having the same instruction set architecture (ISA) but different parallelism of execution.
In addition, the code may be executed in an optimal number of cycles with respect to the maximum parallelism allowed by the processor.
The solution according to the invention thus enables, in principle, the following requirements to be met:
assurance of binary compatibility between two or more SILC processors having the same instruction set but different execution parallelism, this being obtained without using purposely dedicated complex hardware, as instead is the case in superscalar processors; and
execution of programs indistinctly on two or more SILC processors constituting the system in dynamically variable working conditions, the said processors being characterized in that they present the same instruction set architecture (ISA), but a different maximum parallelism of instructions executable in a given cycle.
More specifically, the solution according to the invention affords the possibility of executing code compiled using a compiler which presents intrinsic parallelism at the level of code instructions, preserving the possibility of executing said code on machines that implement the same instruction set architecture (ISA), but with a different number of execution units. In this way, it is possible to have a different specification of the maximum number of instructions that can be performed in a single cycle.
The above result may be obtained with a processor operating according to the invention, consequently with a selectively determinable length of instructions, in conditions in which the compiler reveals the maximum parallelism at the instruction level inherent in the code and inserts into the compiled code signs or symbols (tokens) for identifying instructions which must be executed before others, as well as instructions which can be executed before others.
The decoding unit of the SILC processor selects, on the basis of the aforesaid symbols and of the maximum parallelism of the processor instance, how many instructions can be issued per cycle.
In this way, it is possible to achieve the following:
binary compatibility between different generations of processors that share the same instruction-set architecture (ISA) but with different implementations, with different numbers of execution units;
optimal performance for each processor with a different number of execution units: a processor with a higher execution parallelism will require fewer cycles to execute the same code, as compared to another processor with the same ISA but fewer execution units;
minimization of the hardware complexity by transferring the function of extraction of the parallelism at the moment of compiling; and
availability of a multiprocessor system based upon an array of SILC processors which have the same ISA value but which implement different levels of parallelism, this being achieved with the added possibility of re-allocating dynamically the processes from one processor to another in order to minimize the global clock frequency of the system.
The invention will now be described, purely by way of non-limiting example, with reference to the attached drawings, in which:
A processor according to the invention (hereinafter referred to by the acronym SILC) can be used to particular advantage in the context of a multiprocessor structure of the type represented in
Basically, a processor according to the invention presents the characteristic that, like a VLIW processor, it exploits the compiler to extract the parallelism at the instruction level and to reduce in this way the constructional complexity of the hardware.
Unlike what occurs in a normal VLIW processor, in the processor according to the invention the compiled code is not executable only on a processor with a given parallelism, as presupposed by the compiler, but can be executed by different SILC processors characterized by one and the same ISA but with different levels of parallelism. The foregoing is obtained, at the same time achieving levels of performance that increase as the maximum number of instructions that a processor executes in a single cycle increases.
A VLIW compiler must in fact know exactly how many execution units the processor for which it is compiling the code has and which ones these are. The aim of this is to generate the number of instructions that the processor must perform at each cycle. If, for instance, a processor with parallelism 4 is specified, the compiler tries to get up to four instructions per cycle to be executed. If the code is executed on a processor with parallelism 8, four units remain unused. Instead, such a code cannot be executed on a processor with just two execution units.
A superscalar processor uses, instead, dedicated hardware resources (which may be very costly) in order to understand how many instructions it can execute.
Consequently, the solution according to the invention maintains the flexibility of a superscalar processor, whilst eliminating the additional hardware complexity.
The compilation-execution flow of a SILC processor envisages the steps described in what follows.
In the first place, the compiler receives as input a program written, for example, in C code or in any other high-level language or even in assembler language.
Subsequently, the compiler translates the said program into native instructions of the processor. While carrying out the translation, the compiler extracts also the maximum parallelism, at the level of assembler instructions, intrinsic in the code (or, alternatively, up to any set maximum of instructions per cycle), or else indicates which instructions can be executed in parallel without this causing a variation in the behavior of the program due to any dependency of data upon one instruction or another.
Each set of instructions that can be executed in parallel is defined as a “bundle”.
In so doing, the compiler does not assume anything specific as regards the number of execution units that the processor on which the code is being executed has available. The compiler extracts all the possible parallelism inherent in the code, or else up to a given number of instructions per cycle that may be deemed reasonable according to the options that may be entered at input to the compiler.
In each bundle, it is in general possible to distinguish two categories of instructions. The first of said categories comprises the instructions that must necessarily be executed before the ones belonging to the next bundle owing to the fact that the latter receive, at input, data processed by the former. This first type of instructions may be defined as “must” instructions. The other category of instructions consists of instructions that can be executed both before the next bundle and in parallel with the next bundle, in so far as they do not have any specific dependency upon the instructions present in the next bundle. This second type of instructions may be defined as “can” instructions.
In each bundle, there may be present a set (including the null or empty set, i.e., with zero instructions) of each of the two categories.
For instance, the diagram of
As is represented more clearly in
Consequently, the assembler instructions can be labeled as “must” instructions or “can” instructions according to the category in which the respective instruction is found. As has already been said, each bundle can contain any number (including zero) of instructions forming each set.
As a consequence of the partition described above, it is possible to define a sequence of sub-sets or sub-bundles of the “must” type or of the “can” type (each containing zero or more instructions) designed to alternate in the execution of the program, as is represented in
At this point, any SILC processor that executes instructions from the set of instructions used by the compiler can execute the compiled code and can select automatically each time, through the indications of “must”/“can” sub-bundles given by the compiler, the length of instructions to be executed cycle by cycle, or else the number of assembler instructions to be executed in each cycle.
The processor selects the said length starting from a given set of rules, such as typically:
the processor always tries to load the maximum number of instructions that it can execute;
the processor can execute all the instructions loaded if and only if there are not present any “must” instructions belonging to different bundles (situations of conflict or “must-must hazard” situations). In the above case, it can execute only the instructions up to the first one corresponding to the second sub-bundle of a “must” type, excluding the latter. Instead, it will have to delay execution of the “must” instructions of the second bundle at the next cycle.
The diagrams of
In particular,
In particular, proceeding from the top, it is noted that the first three examples lead to configurations for which it is possible to proceed immediately with the execution.
Instead, the fourth combination represented, in which a sub-bundle 0M is present, a sub-bundle 0C and a sub-bundle 1M cannot immediately receive granting of execution, in so far as a phenomenon of conflict or must-must hazard occurs.
In the above case, a splitting operation is performed by allocating the set sub-bundle 0M, sub-bundle OCX and the set sub-bundle 1MX on two different cycles, it being possible to add, during execution of the second cycle, other instructions of a “must” type or a “can” type of the same bundle 1.
The operation illustrated envisages an execution in seven cycles.
In the above case, the overall execution of the code envisages four cycles. During the first two cycles, it is not possible to execute more instructions than the ones represented, since execution in parallel of “must” instructions belonging to different bundles is forbidden, as it constitutes a must-must conflict event.
It may, therefore, be noted that the same code, compiled without referring to any particular parallelism of execution, can be executed on machines with different parallelisms, obtaining levels of performance which, obviously, scale with the number of execution units in parallel. Of course, the increase in the number of execution units available reduces the number of cycles necessary for execution.
The information regarding the different types of sub-bundles of a “must” type or “can” type can be encoded according to different criteria.
Some possible criteria are listed below by way of example.
As illustrated in
In the case where the number of instructions belonging to a “can” sub-bundle is zero, it becomes necessary to add a fictitious “can” instruction of a no-operation (nop) type in order to indicate the passage from one “must” bundle to another. The same occurs in the opposite case of two “can” bundles with interposition of a “must” bundle made up of zero instructions (even though this case, in actual fact, appears unlikely to occur). As an alternative, it is possible to assign the meaning of “last instruction of a “must” sub-bundle” and the meaning “last instruction of a “can” sub-bundle” to two distinct bits. This solution is illustrated schematically in
In this way, an extra bit is used, but the need for introducing redundant instructions of a no-operation (nop) type in the case of presence of a zero-instruction sub-bundle is eliminated.
The solution according to the invention means that, for supporting execution of processors in a context such as the one illustrated previously with reference to
It is, then, convenient to define a new system architecture of the type illustrated in
In particular, the places occupied in
The architecture of
In particular, with reference to
In addition, consider, in the same said first step of compiling, using the SILC compiler, the source code of a process named MmTask 2.1 for a multimedia audio/video/graphic application. The said code is, in general, characterized by a high intrinsic ILP and, as above, can be nominally executed by both of the processors. It is, however, evident that, if it is executed on a processor with high maximum parallelism, the execution time is reduced as compared to the situation that arises if a low-parallelism processor is used. This task is, therefore, executed more efficiently on the processor SILC 2.
The instructions that make up the tasks of
An important advantage of the solution according the invention is the binary compatibility between the two processors, where the said compatibility is understood as the capacity for executing indistinctly the processes on the processors involved with different maximum parallelism of execution using the same compiled code, without useless duplications. The above capacity moreover enables dynamic distribution of the computational load on the two processors, so as to equalize the operating frequency of the processors with respect to the maximum, thus obtaining a saving in terms of dissipated power, which, as is well known, is linearly dependent upon the operating frequency of the processor.
In order to clarify better how it is possible to shift execution of a process from one SILC processor to another, consider the existence of a table stored in the system memory MEM.
With reference to
a list of processes (Process) that are being executed or are suspended on any single processor;
the progressive number (Num) thereof on the basis of the order of activation;
the percentage of maximum power (CPU load) of the processor that is used by said process;
the execution time (Exec.time);
the amount of memory (Memory) of the system used by the process to be able to execute the function for which it is responsible;
the processor on which the process currently resides (Current execution); and
the address of the portion of memory in which the data and the instructions are stored, i.e., the operating context (Context memory address).
The above table is accessible by a process referred to as control process, which is executed for a pre-set time on one of the processors. The said process has the possibility of consulting and updating the table in order to equalize the workload of the respective processor with respect to the workload of the other processor or processors present in the system.
The solution according to the invention may, in fact, be extended to an arbitrary number of SILC processors which make up a system and each of which may have any maximum parallelism of execution whatsoever, where said length may vary from one processor to another.
The above table likewise contains the co-ordinates necessary for a processor to be able to take possession of and execute one of the processes mentioned.
Of course, without prejudice to the principle of the invention, the details of implementation and the embodiments may be amply varied with respect to what is described and illustrated herein, without thereby departing from the scope of the present invention, as defined in the annexed claims.
All of the above U.S. patents, U.S. patent application publications, U.S. patent applications, foreign patents, foreign patent applications and non-patent publications referred to in this specification and/or listed in the Application Data Sheet, are incorporated herein by reference, in their entirety.
From the foregoing it will be appreciated that, although specific embodiments of the invention have been described herein for purposes of illustration, various modifications may be made without deviating from the spirit and scope of the invention. Accordingly, the invention is not limited except as by the appended claims.
Number | Date | Country | Kind |
---|---|---|---|
02425437 | Jul 2002 | EP | regional |
Number | Name | Date | Kind |
---|---|---|---|
5031096 | Jen et al. | Jul 1991 | A |
5129077 | Hillis | Jul 1992 | A |
5634135 | Hollander | May 1997 | A |
5787302 | Hampapuram et al. | Jul 1998 | A |
5951674 | Moreno | Sep 1999 | A |
6044450 | Tsushima et al. | Mar 2000 | A |
6272481 | Lawrence et al. | Aug 2001 | B1 |
6298370 | Tang et al. | Oct 2001 | B1 |
6367067 | Odani et al. | Apr 2002 | B1 |
6615339 | Ito et al. | Sep 2003 | B1 |
6651082 | Kawase et al. | Nov 2003 | B1 |
6792560 | Francis et al. | Sep 2004 | B2 |
6799266 | Stotzer et al. | Sep 2004 | B1 |
6892293 | Sachs et al. | May 2005 | B2 |
6950926 | Menezes | Sep 2005 | B1 |
6988183 | Wong | Jan 2006 | B1 |
7062634 | Southwell et al. | Jun 2006 | B1 |
20030200421 | Crook et al. | Oct 2003 | A1 |
20040039900 | Heishi et al. | Feb 2004 | A1 |
20040054882 | Borneo et al. | Mar 2004 | A1 |
Number | Date | Country |
---|---|---|
0 768 602 | Apr 1997 | EP |
0 924 603 | Jun 1999 | EP |
1 102 166 | May 2001 | EP |
1 152 329 | Nov 2001 | EP |
1 324 191 | Jul 2003 | EP |
2332075 | Sep 1999 | GB |
WO 0033186 | Jun 2000 | WO |
WO 0153933 | Jul 2001 | WO |
Number | Date | Country | |
---|---|---|---|
20040059894 A1 | Mar 2004 | US |