An Iterative Integer Linear Programming Method for Bounding Program Performance on Embedded Systems
21
0
0
全文
(2) .
(3)
(4)
(5) ! " # $%%" &' " # (%)" &'
(6) * +,,-$.)(/0-.
(7) * +,,-(/(.1)/.%2$)-. !34* +,,-$.)/$-0( !34* +,,-(/(.1-1%1 5 66 6# 56 6# 7 $" /%%/.
(8)
(9)
(10)
(11)
(12)
(13)
(14)
(15)
(16)
(17)
(18) .
(19)
(20)
(21)
(22)
(23)
(24)
(25)
(26)
(27)
(28)
(29)
(30)
(31)
(32)
(33)
(34)
(35)
(36)
(37)
(38)
(39)
(40)
(41)
(42)
(43)
(44)
(45)
(46)
(47)
(48)
(49)
(50)
(51)
(52)
(53)
(54)
(55)
(56)
(57)
(58)
(59)
(60)
(61)
(62)
(63)
(64)
(65)
(66)
(67)
(68) .
(69)
(70)
(71)
(72)
(73) .
(74)
(75) !" #
(76)
(77)
(78)
(79)
(80)
(81)
(82)
(83)
(84)
(85)
(86)
(87)
(88)
(89)
(90)
(91) . .
(92)
(93)
(94) .
(95) .
(96) . .
(97) !""!.
(98) . . # $ % % &. ' . % ( )'* % &. % $ $ . + )' % ,-
(99) ./0
(100) 1/-.2&
(101) $ $ 3 4. ,-!2
(102). . )
(103). ,--2
(104) . $ 4. ,-"2&. ,12 5 $ % )' % . % $ . % & ' 5 % % % % & ' $ % % % % )' % &. . ' 4. . ,62 + %
(105) . ' . . ,-.2 $ & 7 $
(106) $ . % 8
(107) 9 & ' )' % % . % 9 &. %
(108) .
(109) & ( * & % % &. ' . % & ' . % % % & : %
(110) + $
(111) % % 9. -.
(112) & 5 % ; % $ % . % 9 & $ % 9 & &. ) . ' % % &. ' .
(113)
(114)
(115) % % )' % 8& ' + % )'
(116) &. )' . )' % $ & ' % )' % &
(117) <=> & ' % % & . &. ! &. < % % . ? $ %. % & @
(118). .. 0&. = $ &.
(119) . ' 5 4. . ,12 )' %. % 5& ' 5 %
(120) % # % &. . ' . . % . # % % & ' . % % % & 4 .
(121). . . . %. % & ' )' % . !.
(122) $ % % . . . . (-*. . % . A&. ' $ % . % &
(123) $ % % % %
(124) $
(125) )' & ' % 5 &. 4. . ,62 . $ + % $ & ' 5 . . &. . . # % & #
(126) 5 & .
(127). . %. . . . . . . . . .
(128) 5 % & 4. . . . % .
(129) $& ' . %.
(130). B - . . # . . B. . C. . . &&
(131). @
(132) % % % . . . . . . ( C. *. (!*. . ' $
(133) $
(134) 5 % % . A . . A& . ' $ % % (!* % . % )' % 8&. ..
(135) CPU Instruction Pipeline. Main Memory. Instruction Cache. DMA Controller. I/O Device. I/O Bus @ -D ' . . . % . ! % (!* . )' % % . &. % 9. . %
(136) . @ -& &. . ' 3E . ' 3E &. % . & ' & #
(137) 3E
(138)
(139) % &
(140) $ & % . . $
(141). & .
(142) . $ $
(143) $& $ ,=2&. . $
(144) . & $ @ ! . . $ . & ' % < & % . . @ (. . *
(145) (. . ) (. : (. * & ' . *
(146) * &. : . $
(147) % . <.
(148) MOVE.L. D1,D0. MOVE.L. D2,-(A7). IF. NOP ADD.L. D0,D4. ID. LSL.L. #2,D4. EX. ADD.L. D4,D6. WB. 1. 2. 3. 4. 5. 6. E. E. E. E. E. E. E. E. E. E. E. E. E. E. E. E. B. (a) an 1-block. 7. 8. 9. 10. E. E. B. (b) its cache-hit reservation table. IF. 1. 2. 3. 4. 5. 6. 7. 8. B. B. B. B. E. E. E. E. E. E. E. E. E. E. E. E. E. E. E. ID EX WB. B. 9. 10. 11. 12. 13. E. E. B. (c) its cache-miss reservation table @ !D . D. . . (* . $ . . ( * & : . $&
(149) )
(150) $& $ : % :
(151) ) % )& ' $ @ ! $ : % # . . % & ) % # ). % % & : % . . %
(152) )& @
(153) )F ) . : :& ' % . . . % *&. + % . 5 . . . (&&
(154) . % $ %. % 3E % 5 % % &. % $ % . . A ( * $ . $ % ( *&. ?.
(155) tail. IF. 1. 2. 3. 4. 5. 6. 7. 8. B. B. B. B. E. E. E. E. E. E. E. E. E. E. E. E. E. E. E. ID EX WB. 9. B. 10. 11. 12. 13. IF ID E. 1. 2. 3. 4. 5. E. E. E. E. E. E. E. B. B. E. E. E. EX. E. E. WB. B. B. 6. 7. 8. E. E. B. (b) a successor when it causes a cache hit. (a) an l-block tail 1. 2. IF. E. ID EX. 3. 4. 5. 6. E. E. E. E. E. E. E. B. B. E. E. E. E. E. E. E. WB. 7. B. 8. 9. E. E. B. (c) the pipelined execution of the successor @ .D ' % . . @ . $ % $ % &. . . ' % . % -- -.& % . A. @ !
(156) @ . . A. $ . $ A. $ . $ @ .&. % $ % =
(157) 1
(158) 6&.
(159) . ' % . $ % 3E % 5 % 3E % 5 %
(160) %
(161) 3E 5 % (&&
(162) % . *&. . %
(163) 6. . 4 '. % . . . . . . . % &
(164) . @ . -". '.
(165). . '. &. 0. % 0. '
(166).
(167) m*DT. ……... 1. B1. B2. B4. B3. E5. E6. b. m. B8. E7. B9. E10. E11. E12. E13. R a successor is ready to start @ <D ' % # % . . . : % :&
(168) )& ' 3E :& ' 8 3E % . . @ !
(169) % . . . # % : )
(170). : : : ) ) ) : : )
(171) ) ) ) . :. @ < % # % & 7 3E . G) ,-<2 & ' Æ & '
(172) # &. . 3E :. . ' % % 3E ). % :. . . :.
(173) &. & ' % . %
(174) % (:'*& ' % 3E )& ' 3E # . :. % ). & : %
(175) 3E . & ' # % %&. % #
(176) &. % . :'
(177) 3E % &. =.
(178) tail. IF. 1. 2. 3. 4. 5. 6. 7. 8. B. B. B. B. E. E. E. E. E. E. E. E. E. E. E. E. E. E. E. ID EX. R. WB. B. 9. 10. 11. 12. 13. IF. 1. 2. 3. 4. 5. E. E. E. E. E. E. E. B. B. E. E. E. ID E. EX. E. E. WB. B. (a) an 1-block. B. 6. 7. 8. E. E. B. (b) a successor when it causes a cache hit tail. 1. 2. IF. E. ID EX. 3. 4. 5. 6. E. E. E. E. E. E. E. B. B. E. E. E. E. E. E. Rs. E. WB. 7. B. 8. 9. E. E. B. (c) the pipelined execution of the successor @ ?D ' % % % . 4. :. % % % $ :. &. 4. ). % & :. .
(179). . & % % % . % '& 4 ' . . . %
(180) )
(181) )
(182) ) & . . B. . '. :' '.
(183) % . . '. B. . . # . . (.*. # . ' C ! :' '. . '. . ' . (.*. % & ' % $ % # . % $ ,?2& @ ? % . 1. . @ ! + .
(184) A. C. B. D. @ 0D . % & $ % @ <
(185) % . . @ ?
(186) 5. & @. ? $ % & ' %
(187) % . A. $ A . $ . $ @ ?& ' 5 % % $ ) :& ' % 5 % ) % :&. ' .
(188). % ). % . %
(189) . . %
(190) % % . . 5 % & % . % % % . 3E % 5 %
(191) @ <& . . . &. . . . 5 % )#& (.* ' . ' C :' C. ' % 5 % )&
(192) % %
(193) )#& (.* % . . ( C -".
(194) ( C 6. ' *. ' *. &. @
(195)
(196) . % ( C 0. &. 6. ' *
(197). % .
(198) ! " #$$ % . . . . % * ) )*&. . (&&
(199) . . . (&&
(200) .
(201) % % . 5 8 )&. . ' # . % & 4 . @ 0 & ) . . . %. . .
(202).
(203). ; &. )&. .
(204) &. . . :. %.
(205)
(206).
(207). %. %. .
(208)
(209). . . &. $ . % @ 0
(210) % ; . % $ % % $ &. . &. ' . . 5 % $
(211) $ &. $ & ' 5 % % . . &. &. . % . & @
(212) % % &. .
(213) . @ = . . & ' # . % 8 . &. . ' . $ % . . % % + % $ % . . %. . 4 5 B ( *&. . . ) . . & ' . &. $. &. . . . . ) . &. 8& @ . % % . -". . &. . . ' .
(214) . %
(215) .
(216) 5. . &. % % &. -. . B ( * ( *& &. % !. . .. . / # . <. / . ?. @ . . . &. . . (
(217) *
(218). %. . .
(219) H. &. % . 0. / . =. / % $ &. 1. / % &. 6. / % . % . -". &. % . @ =D ' . A. . &. &. . % + % . . . % . &. . ' 5 . 8&.
(220). . .
(221) . . &. . . ( ! <*
(222) . . 8 % .
(223) &. (&&
(224) $*
(225) %. . ' %. . (. % .
(226) *. . . .
(227) . &. & %. %. ( *&. . ' . . # . . . % . % . & ' $ . H. %. . . .
(228) . $ 8&. B ( *
(229) % . % . . ( ? 6*&. 5. % % . --.
(230) . .
(231)
(232). . . % (
(233) 5. !. . B ( *&. &. $ $*. &
(234) A . / . .. 3 . % D.
(235). <. (* $ %. ?. (* % . 0. (* % ( % * . . H
(236) . =. (* . 1. (* (* . 6. % H. $ H. . H. H. (% * $ % . . -". E . % . --. E . . &. @ 1D ' . ( * % . *&
(237). &. &. .
(238). . # .
(239). ( . % %. $ . . # %
(240) . % % # % & @
(241) %.
(242). % &. ' % % % ( -"*&. ' . $ % % % % )' % &. ' .
(243) . 5 % . $ $& %.
(244). .
(245).
(246). 5. %.
(247). % . . D. . $ $
(248) &. ) . ( - !*&. -!.
(249) % %.
(250)
(251). $ % .
(252). $ %. . . . ( . 6*& . < % & .
(253) % $ % .
(254) A. $ . $ & )#& (.*. % 3E % $ & ' $ %.
(255) A. . &. % 5 . &
(256) . . .
(257) . . . % %. $ . % % &. $ %.
(258). . . & @ .
(259). . . % . % ( -"*& @
(260) % . %.
(261). .
(262) A. . . . . ( --*&. &'( $
(263) )). $ + % )' % &. . $ % % )' % $ & % 5 ; % & &. . . @ 6 ; % &. ' - . & @
(264) 01"." 01"." . & 5 % % % & 01"." . -..
(265) compiler. source program. assembly program. simulator. execution trace. static analysis. dynamic analysis. @ 6D ' ; % . I .
(266) !. % % ?" & % % ?" & % % -"-" & . . . &. ' -D ' % . % % $& ' $ D. . . &. .
(267) )' )' % &
(268) )' )' % % & % % . &. ' . . -?
(269) """ % CC
(270) % % . 4. . ,62&.
(271). . 01"." &. $ . # . $ ,-
(272) ./0
(273) 1/-.2
(274) $ . % 8 & ' $ % % % )' & ' 01"." !?0 8 -0 -0 & &. % % . % 01"." ,!2& ' %# % !". . 78
(275) % '. ?" &. "
(276) . % . & 7
(277) ' -"" & @
(278) :' ? &. -<.
(279) I .
(280) !. J % . > % . --
(281) =-.. ">. !-
(282) ..?. ">. <"
(283) =16. -">. -"
(284) ?6!. !">. ' !D ' % % . "#$#$ % &% K$
(285) 5 )' & $ . &. . )' % . $ . &. . . . . . )' % &
(286) % % % &. $ . &. )' %. % % & ' )' % &. . . %. % . . +$ % . . &. % % .
(287) &&
(288). . B. -""> . "#$#! % &% ' . $ % A &. 5 . % $ . &. . % 5 % % % %& . . .
(289). $&. . . . . . % & ' &.
(290) )' . -?.
(291) . &.
(292) $ %. . %
(293) %
(294) )' . 4. . &. )' % % . & +$ % % %
(295) &&
(296). . B. -""> .
(297) $ % )' . . . % . % &. ! % ' ! % % &. ' $ % % . # %
(298) % D. . & %
(299)
(300) 3E % -" &
(301) . %
(302) 3E $ $ $ % & K
(303) $
(304) . $ & @
(305) .
(306) . . .
(307) &. . + # & . % ' % & . %. . &.
(308). !. ! $. . ' !
(309) . . 5 % &. .
(310) . 5 . ? )' % . & )' % & ' . % & . -0. . 8 %
(311) .
(312) < I .
(313) !. 1 . . . . -&"?. -&1<. <.>. -&"=. -&1<. <!>. -&".. -&0<. .=>. -&"!. -&=-. <">. . I .
(314) !. -0 I .
(315) !. . . . -&"0. -&11. <<>. -&"=. -&1?. <!>. -&".. -&16. <0>. -&"!. -&=-. <">. .! . . . . -&"0. -&11. <<>. -&"=. -&1?. <!>. -&".. -&6<. <=>. -&"!. -&1-. <<>. I .
(316) !. . . . -&"0. -&11. <<>. -&"=. -&1?. <!>. -&".. -&6<. <=>. -&"!. -&6!. <=>. ' .D ' . 5 % <
(317) 1
(318) -0
(319) .! -0 & 8 . &. ! . $ $ %. < $ $ %. . . .
(320). % &. $
(321) % . . 5 & #
(322) 5
(323) $. %. & ' < % % <
(324) 1
(325) -0
(326) .! . & . $ . % & < $ 8 % & ' 8 % % 3E % & : %
(327) 8 & ? 0 $ $ %. %. . . .
(328). $
(329) % 8 . &. = $ $. % & . . % . % & 1 $ $. %. . 5 &. )' . . . . % . % &
(330). ' %. . - % . . % . % & . . $ . -=. !. & .
(331) < I .
(332) !. . . . . "&!?. -&"?. -&=6. <->. "&?<. > % . . . . . 8 . ">. "&61. ">. -&"". "&!.. -&"=. -&1!. <->. "&<6. -">. "&1". "&.6. -&".. -&0<. .=>. -&"". !">. "&1". "&.". -&"!. -&=-. <">. -&"". . . . . 1 I .
(333) !. > % . . . . . 8 . ">. -&"". "&-=. -&"0. -&1=. <.>. "&?!. ">. -&"". "&!-. -&"=. -&1<. <!>. "&<1. -">. "&66. "&-.. -&".. -&16. <0>. -&"". !">. "&1". "&.". -&"!. -&=-. <">. -&"". . . . . -0 I .
(334) !. > % . . . . . 8 . ">. -&"". "&-=. -&"0. -&1=. <.>. "&?!. ">. -&"". "&!-. -&"=. -&1<. <!>. "&<1. -">. -&"". "&-". -&".. -&6<. <=>. -&"". !">. "&6". "&!". -&"!. -&1!. <<>. -&"". . . . . .! I .
(335) !. > % . . . . . 8 . ">. -&"". "&-=. -&"0. -&1=. <.>. "&?!. ">. -&"". "&!-. -&"=. -&1<. <!>. "&<1. -">. -&"". "&--. -&".. -&6.. <=>. -&"". !">. -&"". "&"1. -&"!. -&6!. <=>. -&"". ' <D ' . -1.
(336) %
(337) % )' % &. . . @ % . % # . )' . . . !.
(338) . %
(339) &&
(340). . B -& ' %.
(341) %
(342) )' % &. *.
(343) $). $ . % % % % 9 & %
(344) &. ' . % )' % &. 5 . $
(345) $ . )' % &.
(346) + ) ,-2 & & 3& % & ,!2.
(347). !"""&. !"! # "$
(348) % &' &. ,.2 & @
(349) @&
(350) L& & & .
(351).
(352) -61=&. # $ . ()*+, - . + / / . . -66=&. ,<2 & 7
(353) L&
(354) @&
(355) &
(356) & 7 & : % &. (###
(357). <1(-*D?./="
(358) M -666&. ,?2 'N 7 M & & 4& 3 % % & ."(--*
(359) I $ -66?&. -6. ()*+, ,
(360).
(361) ,02 'N 7
(362) M & & 4
(363) $ 7&. % + % . % &. * 01 .
(364). ,=2 3& & O & ,12 N'. * &. $ 4 . &. & .
(365). ,-"2. 3% % % . * "$ 2(### . $ 4 . &. * #
(366) . O 3
(367) -666&. . 4
(368) M 7 7
(369) M O
(370) # % &.
(371). 7 3 &
(372) -61-&. <?0/?0-
(373) M -66?&. ,62 N'. 3&. . !=?/!1?
(374) -660&. . 4 & . * 04 . ..</.<?
(375) -661&. ,--2 @
(376) $
(377) 7 & 3 $ & . ()*+, - . + / / .
(378). M. -66<& ,-!2 N 3 & $ &. & ) . . (###
(379). <1/?=
(380) -66-&. ,-.2 7 ' @&. 43 % . & .
(381) ,-<2. -<</-?.
(382) -661&. 5#
(383) 6 &.
(384) -61?&. !". * 04 .
(385)
相關文件
GMRES: Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems..
GCG method is developed to minimize the residual of the linear equation under some special functional.. Therefore, the minimality property does not hold... , k) in order to construct
For an important class of matrices the more qualitative assertions of Theorems 13 and 14 can be considerably sharpened. This is the class of consistly
For the proposed algorithm, we establish a global convergence estimate in terms of the objective value, and moreover present a dual application to the standard SCLP, which leads to
where L is lower triangular and U is upper triangular, then the operation counts can be reduced to O(2n 2 )!.. The results are shown in the following table... 113) in
In the following we prove some important inequalities of vector norms and matrix norms... We define backward and forward errors in
Since the subsequent steps of Gaussian elimination mimic the first, except for being applied to submatrices of smaller size, it suffices to conclude that Gaussian elimination
Since the subsequent steps of Gaussian elimination mimic the first, except for being applied to submatrices of smaller size, it suffices to conclude that Gaussian elimination
