() , ( ) . , . , , , . (. 2.57, 2.58).
. 2.57.
. 2.58.
. , , , , N, . , 1 , : N,N + 1, N + 2 . ., , . N , , , 0. 1.
, . . , . .
:
, . , . .
:
, : .
: . 1,2,4 8, . , , Intel.
|
|
, .
() . , . (). , . () , . 2.59. || .
. 2.59.
:
, ,
, , . . , , , . , .
.
. , . .
RISC-. , .
. , . , GCC Spice DEC VAX (. 2.60) 80×86 (. 2.61).
, VAX , . 2%.
. 2.60. GCC Spice (DEC VAX)
. 2.61. GCC Spice (Intel 80x86)
GCC Spice 80x86 .
|
|
, - . . .
.
() , , . . 90%.
, , , . [120] , GCC, Spice, ; . 2.62. , , .
, 8 , 128 . 3-7 .
2.63
. 2.62.
. 2.63. GCC, Spice
, 75% . 90% .
, . , , .
. , . . - , . CISC , . , .
() . (q1, , qn). , , . ( ). .
: . . .
|
|
. , .
, , .
, , . (), , , , .
() () . , .
l ; () ;λi, τi () i -ro ; qi i -o ; i nqi i -o .
[16] ,
, . (2.14)
(2.14) :
, (2.15)
(2.15) λi, τi . (λ, τ), (2.15)
, (I = 1, 2, , l), (2.16)
S . s-
(i = 1, , l). (2.17)
(2.18)
λi (i = 1, , l) , : λi = λj, ((i,j = 1, 2, , l)).
(2.15) [28]:
, (2.19)
(2.19) :
, (2.20)
, F1, . , F2, F 3, , F, . F 1, , F , Fi Fi+1 : ƒg Fi Fi+1 ƒh Fi+1. F 1, , F .
|
|
I F 1, , F . 2.64. Ft (I = 1, , ). Fi+1 , Fi, i+1 , Fi+1, , Fi, F 1, , F C1 > C2 > > C p
. 2.64.
. 2.64 . , Fi+1 , F 1, , F i+1. > , Fu Fp 1 < 2 <... < . = + . , F . Fm F1 Fp . , , 1 ( F1) ( Fp).
, F 1, , F :
;
;
( ).
CISC. RISC-, , .
. , , . , . :
, .
. - , , , SPEC.
. . Wang, Hewlett-Packard, Tektronix, IBM.
. . 2.65.
. 2.65.
. (, , . .). .
. , .
.
. / . , , .
, .
. , ( = ), ( = ).
-, , [17], F F . F= {ƒ1, ƒ2,..., ƒn } -, , k . , . F= {ƒ1, ƒ2,..., ƒm } F, , <. F , F .
|
|
F F. F. ( , ), .
τiT T (2.20). τi, ,
(2.18)
S .
(T , ). F F ( ), . F . , F , F D F, F, F ( F = F- F).
F Cƒi ƒi F(i=1, 2, , m) (Fƒi)(i=1, 2, , m). Cƒi(i=1, 2, , m) . F - = , F ( Cƒi), ( D). F - = ( - ) , ( D). F , Cƒi .
, .
: Fn, = .
F 1, , F, , [22], . , ƒi, , Fi = {ƒi}. . ( ) , , F 1, , F.
F 1 ng, .
(2.21)
, , Fi, τi . Fi, i = τiNi, F 1, , F T 1, , T, T 1 <... < . , Fn { F 1, , F }, Tn T. , Fn, (T - Tn) .
1. ?
2. .
3. ?
4. , CISC- RISC-.