Toward a Fully Decentralized Algorithm for Multiple Bag-of-tasks Application Scheduling on Grids

Texte intégral

(1)Toward a Fully Decentralized Algorithm for Multiple Bag-of-tasks Application Scheduling on Grids Rémi Bertin, Arnaud Legrand, Corinne Touati. To cite this version: Rémi Bertin, Arnaud Legrand, Corinne Touati. Toward a Fully Decentralized Algorithm for Multiple Bag-of-tasks Application Scheduling on Grids. [Research Report] INRIA. 2008, pp.27. �inria00279993v2�. HAL Id: inria-00279993 https://hal.inria.fr/inria-00279993v2 Submitted on 19 May 2008. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Toward a Fully Decentralized Algorithm for Multiple Bag-of-tasks Application Scheduling on Grids Rémi Bertin — Arnaud Legrand — Corinne Touati. N° 6537 April 2008. ISSN 0249-6399. apport de recherche. ISRN INRIA/RR--6537--FR+ENG. Thème NUM.

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

(12)

(13)

(14)

(15) !"# $ %&&' %( )

(16). *

(17) + ,

(18) -$$ $. $) - -

(19)

(20) ) / , $ $ /)0-0

(21) 1

(22) $

(23) ) 2 3

(24) $)0

(25)

(26) - $ ,1 $ 0 ) ,13

(27) ) - -

(28) $)

(29) $$,

(30) - , 2 - -

(31)

(32) 2

(33) / $

(34) $ 4, $3 * 0 +

(35) $) $

(36) $$ -

(37) $2 )

(38) 1

(39) /5 - ,1 $1

(40) ,$ $

(41) /

(42) $

(43) 3 2

(44)

(45) /$ 6 )3 7 $ +

(46) $ 5 2

(47) $)

(48)

(49)

(50) 6 2

(51)

(52)

(53) 3

(54)

(55) $)

(56)

(57) 2 / -$

(58) -

(59) / $ 5

(60) , $

(61)

(62) $ $ 0 ) /$3 8 2

(63) 6 ) $ $

(64)

(65) -

(66) $

(67) $ 3.

(68) $)+

(69) / )+ $)) . . Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38334 Montbonnot Saint Ismier (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52.

(70)

(71)

(72)

(73)

(74)

(75) !

(76)

(77)

(78) "

(79)

(80) #

(81)

(82)

(83) 9

(84) $+

(85)

(86)

(87) $) $

(88) /. ) /$ $

(89)

(90)

(91)

(92) : )$$ $

(93)

(94) 0 $

(95) ; <

(96) =3 $)

(97) :

(98) 2> >

(99)

(100) $ ) $ 0

(101) $

(102)

(103) > 3 $

(104)

(105)

(106)

(107)

(108) $) +

(109) 4>/$ > :

(110) $ 3 9 $

(111) + $) : $

(112)

(113) -

(114) $0 $

(115) ?

(116)

(117) ? $: 3 @2

(118)

(119) ) $ 0

(120)

(121) /$ 63

(122)

(123)

(124) $

(125)

(126) $ 6

(127)

(128) /$

(129) 3 $

(130)

(131)

(132) A $$

(133) 5

(134) 2 $ /0 $ $

(135)

(136) ) $ 03

(137)

(138)

(139) 6 ? $: $:$

(140) $$ :

(141) $

(142) $3

(143) B + $$

(144) /+

(145) $)).

(146)

(147)

(148) . ". $ % *

(149) $+ ,

(150) /$ - $

(151) $) $ $ $0

(152) )

(153) ,1 -

(154)

(155)

(156) )3 8 $ $ $0

(157) $ )

(158) $ -

(159) + 6

(160) )$$ CDE3 F+ - -

(161) $ / 3 B + $. $$

(162)

(163) )$$ /

(164) $)

(165)

(166)

(167) +

(168) -$$ 1,$) -

(169)

(170) 3

(171)

(172) ,

(173) $

(174) 1 -$$ $.

(175) $

(176) 3 ,1

(177) $

(178) $ $

(179)

(180) C%E , $. $.

(181) $

(182)

(183) $ .+

(184) -

(185)

(186)

(187)

(188) 3 F,2+ $

(189)

(190)

(191) $ - >0 -

(192)

(193) + ,

(194) 1, 1

(195) ) -

(196)

(197) C"E3 * + $.

(198) $

(199)

(200)

(201)

(202)

(203) -$ 2

(204) / 2 - 3 *

(205) + $)

(206)

(207) $$,

(208) / , $

(209)

(210) - $$

(211) + 0 $ α0- + , α /) A ) / , - -

(212)

(213) 3 7$$ + $)

(214) 2) )

(215) 3 8 )

(216)

(217) $

(218)

(219) 4, $ 0 ,1

(220) + , /

(221) $

(222) G $1 $) C(E3 + $1

(223) 2 $ /

(224) 2$/$ H)$$

(225) 2

(226) . - ) 1

(227) I+ ,$

(228)

(229) 0

(230) / $$

(231) )

(232)

(233)

(234) . )2 $ - 3 * ) )+ ,2+ , -$$ $.

(235) $

(236) + / $$,)

(237) $) / > $$$ -

(238)

(239) 3 *

(240) + ,

(241) , $ $$ -

(242)

(243) $)

(244) $- / -$$ $.3 / -

(245)

(246) -$J . . 8 $) 2$ > - $ 0 ) 0 ,1 C!E 1

(247) A

(248) - ) ) H3)3+

(249) - $

(250) - ;$

(251)

(252) $=

(253)

(254) /$

(255) > IK 8

(256) $. 2

(257) -

(258) $) K 8 >$ 2) 6$

(259)

(260) / 5

(261) , $

(262) 0

(263) $ $ 0 ) /$ ) $ $

(264)

(265) -

(266) $

(267) 0 $ 3. .

(268)

(269) . (.

(270) -

(271)

(272) ).

(273) -$$,

(274) 3 8

(275) / % $ - $ $ ,

(276)

(277) $3 8 $

(278) -$$

(279)

(280) - . /$ /

(281) $23 + ,

(282) $ ,1 . "

(283) A$$ 4, $ /$ $ 0 ,13 8

(284) , $)

(285)

(286) / 8)+ $

(287) , , C!E

(288) > $ -

(289) 3 5

(290) - $)

(291) -,1 )$) (3 * $+

(292) $)

(293)

(294)

(295) /$ $

(296) $

(297)

(298) 3. !

(299) 2

(300) - $ 2$ )

(301) $

(302) - -

(303) $) 3 8

(304) $ $

(305)

(306) - /2 $)

(307) , 2 - 2

(308)

(309)

(310) /$ 6 3 7 $ +

(311) $

(312) $)

(313)

(314) 2

(315)

(316) 2

(317) 5 23 8 A$$ $

(318) $ ,

(319) 2 1

(320) . 3. &

(321)

(322) 8

(323) )

(324)

(325) $

(326)

(327)

(328) C E C!E3

(329) . ) $ -,1

(330)

(331) / + 33+ 0 ,) )0,) ) G = (N, E, W, B)+

(332) $$

(333) 7) D3 Pn ∈ N

(334)

(335) )

(336) $2 Wn 4 )0

(337)

(338) 3 ) ei,j : (Pi → Pj )

(339) $/$ / 2$ Bi,j ,

(340)

(341) /, / , Pi Pj 3 8

(342)

(343) $0

(344) 0 $+ 1

(345) X/Bi,j

(346)

(347)

(348)

(349) )

(350) . X - Pi Pj 3 8

(351)

(352) $$ Wi

(353) 2 $ /

(354) 3 Wi = 0

(355) Pi

(356) ) , /

(357) $$ -,

(358)

(359)

(360) 3 $$ + ,

(361)

(362) $$ Bi,j

(363) 2 $ /

(364) H $ 0 -

(365) $1 / , Pi Pj I3 -

(366)

(367)

(368)

(369) ! - / ) ))

(370) 3 *

(371) $+

(372)

(373)

(374) $

(375) $ 2 - $$

(376) )/

(377) + -

(378) H I 0 +

(379) $$

(380) )/

(381) / ,$

(382) )

(383)

(384)

(385) H33+ /,

(386)

(387) )

(388) /

(389) I3 .

(390)

(391)

(392) . !. Wj Bi→j Wi. Pm(2) Pm(1). 7) DJ ) $/$ , H I ) H I ,)

(393) 3 , $ $

(394) , 5

(395)

(396) 3 $ ) + $

(397)

(398) $J $

(399)

(400) - ) 0 )+ -$$ 0 2$+ $ 0 $3

(401) -,1 $

(402)

(403)

(404) / $ 0 >

(405) C#E ,

(406) $

(407) A /, /3

(408) >

(409)

(410) $

(411)

(412) $) $ ) )3 F,2+

(413) A

(414)

(415)

(416) 0 )+ , ,$$ $ $

(417) $ $

(418) + 2 $1

(419)

(420) 1 3 .

(421) . 8

(422) K $

(423) + Ak + 1 k K 3 $ )

(424) -

(425) Pm(k) $$ $

(426) $$

(427)

(428) - $ Ak 3 $

(429)

(430) -

(431) - + $0

(432) .

(433) 1

(434) 3 8 1 - Ak

(435) /) -

(436) 1

(437) + ,

(438) 1

(439) A$

(440)

(441)

(442)

(443) )3

(444) 1 - $ Ak

(445) $$

(446) 1 - " k3 8

(447)

(448) >

(449)

(450) $

(451) -

(452) 1

(453)

(454) / - 4 )0

(455) + , $ wk / - H 4 )

(456) I

(457)

(458)

(459) 1 - k3 $$ + bk

(460)

(461) . H /

(462) I - H A$

(463)

(464) I

(465) 1 - k3 8

(466)

(467) $

(468) ,

(469) -

(470)

(471) + 33+ - / ,1

(472) )$)/$3 8 $

(473)

(474)

(475) $ Ak

(476) $ $ -

(477) 3

(478)

(479)

(480)

(481)

(482) /$

(483)

(484) 1 - $ $

(485)

(486) / )

(487) 2

(488) C'E3 - - $ k ,

(489)

(490) Pn + $$

(491) ,$$

(492)

(493) )$ - Pm(k) Pn / (Pm(k) ; Pn )3 * .

(494)

(495)

(496) >

(497)

(498) - $ k

(499)

(500) n H3)3+ -

(501) 2

(502)

(503) I+ (Pm(k) ; Pn )

(504) 3 .

(505) $

(506) $

(507) $ -

(508) 1

(509) + $

(510) $ >.)

(511) 2) / -

(512) 1

(513)

(514) 0 H I3 8 / -

(515) 1

(516)

(517) 2 $)+ .)

(518) 0

(519) ) /$

(520) 2

(521) $$ $

(522) $

(523) - 1

(524) CLE3 *

(525) ) , $

(526) 2 $) / -

(527) 1

(528) + ,

(529) $

(530) .

(531) 0

(532) ) - $ 3 8 - C E - $

(533)

(534) 0

(535)

(536) $)3 *

(537) $+ , / n,k 2) / -

(538) 1

(539) - k > / Pn 3 *

(540) /

(541) , C E -

(542) /$

(543) 0

(544)

(545) H33+ -

(546) /$ n,k :

(547) I $ /

(548) 2 6

(549)

(550) $

(551) 3

(552) ,

(553) $+ , $ -

(554) )

(555)

(556) -$$ $. , 3 . . ) - $ k

(557)

(558) / k = n∈N n,k 3 Uk (k ) / $

(559)

(560) $ k3 8 >.) k∈K Uk 3 *

(561) /

(562) , 5 2$

(563) - Uk $

(564) 5 1 - -

(565)

(566) CD&E3 $$ + Uk (k ) = log(k ) H $ -

(567)

(568) I Uk (k ) = αk /(1 − α) Hα0 -

(569)

(570) I3 *

(571) $ , -

(572) $ -

(573)

(574) / $) ,

(575) /

(576) ) -,$ α0-

(577)

(578) 3 . 8 A)

(579)

(580) J. (n,k )1kK,1nN. ∀(Pi → Pj ),. . k. log(k ). 0. n,k. HDI. n,k wk Wn. H%I. k = ∀n,. . >.

(581). n. k. . . k. n (Pi →Pj )∈(Pm(k) ;Pn ). n,k bk Bi,j. H"I. .

(582)

(583)

(584) . #. A

(585)

(586) HDI

(587) $

(588) -

(589)

(590) /

(591) $ - 2 -

(592) 3

(593) H%I

(594) $

(595)

(596) 0 -

(597)

(598) n / >3 $$ +

(599) H"I

(600)

(601) ,1 - $1 (Pi → Pj ) / >3

(602) -,1

(603) 2 )$

(604)

(605) $

(606)

(607)

(608) $$ $

(609) ) -

(610) $ $$

(611)

(612)

(613) 2$/$ $$ $

(614) H

(615)

(616)

(617)

(618) $

(619)

(620) $ / 2

(621)

(622) I3. ' (

(623)

(624) ) ! " #

(625) $" %. $$ ,1) 2

(626) + $ 4, $ / ,

(627) s Us (s )

(628)

(629). max. k = ∀(Pi → Pj ),. k. . H(I. n,k. n. . H!I. n,k Bi,j. n . (Pi →Pj )∈n. A

(630)

(631) H(I

(632)

(633) - $ 0

(634)

(635) +

(636)

(637)

(638)

(639) 0

(640) , 1

(641) -$$,

(642) , 3

(643)

(644) H!I

(645)

(646)

(647)

(648) 3 k

(649) nk

(650)

(651) /$

(652) 3 $$ + ,

(653)

(654) Us

(655) +

(656) )

(657) $ 2 $0 -

(658) 3 8)+ $

(659) , , C!E

(660) A$$

(661)

(662)

(663) /$ , $

(664) 4,

(665)

(666) > 0

(667) J ∀s, ∃ms, Ms , mk k Mk 3

(668) 1 -

(669)

(670)

(671) $$ $2 >

(672) + -

(673) 1 - $ + , $

(674)

(675) $A 2

(676)

(677) -

(678) $)

(679)

(680) / C!E3. /$ /

(681) $2

(682) ) )) 3 )) $ 0 $ μ

(683) -

(684) H!I3 ))

(685) / , J L(, μ) =. k∈K. . Uk. n k n=1. ⎛. n,k. +. (Pi →Pj ). ⎞. ⎜ μi,j ⎜ − B i,j ⎝. . k n . (Pi →Pj )∈n. ⎟ n,k ⎟ ⎠..

(686)

(687) . '.

(688)

(689)

(690) 2> Us

(691) $ 23 F+ )$ /$

(692) 2$

(693) $2J HI. max min L(, μ). 0 μ0.

(694) ) $ :

(695)

(696) + , 1, + , 2 n,k . ∂∂L F - (n, k)+ , 2. n,k. Uk (k ) =. . (Pi → Pj ) ∈ n. μi,j. - $ - n,k > 03. = 03. H#I. .

(697) )$$ $$

(698) , -

(699) (Pi → Pj )

(700) (P →P )∈ n μi,j /

(701)

(702) - 4, k

(703) n3

(704) pnk3 )

(705) ,

(706)

(707) )$$ / $ ) )

(708) $2 /$ H I3 H#I

(709) ,

(710) + + $$

(711) 2 $

(712) pk

(713) μi,j. i. ∗k =. n. j. ∗n,k = U −1 (min pnk ). n. /$

(714)

(715) $

(716) >

(717)

(718) - )$/$ ) $ + / )

(719)

(720) $

(721) - H33+ 2$

(722) - n,k I3 $$ + min -

(723) , 5 /$ ) $) /

(724)

(725)

(726) $$ >/ 2) /$

(727) 3

(728)

(729) - )$ . /$

(730) " 2> - k ;2/$

(731) += / ,

(732) n,k + ,

(733) $ 2>3 * C!E+ , $ 2 $)

(734)

(735) 3 8 /4

(736)

(737) ) -

(738)

(739) 3 k. . - A

(740) $)

(741) - / 2 -

(742)

(743) 1

(744) $ 2 - n,k 3

(745) $ 2 A / 2J max. 0,e 0. . K Uk=1. n k . n=1. . n,k. −. 1 k. n. 2. (n,k −

(746) n,k )2 ,. ,

(747) n,k

(748) ) 2/$3

(749)

(750) 2 $) 13 *+ +

(751) n,k = n,k

(752) $ -

(753) . /$ H

(754) / -

(755)

(756) I

(757) .

(758)

(759)

(760) . L.

(761)

(762) )$ 3 M +

(763) . /$

(764)

(765) $ 2 $$ 2/$

(766)

(767) n,k n,k $

(768)

(769) $ )

(770) 2)3

(771) / ) , A>

(772)

(773) . γ / - $ H

(774) I $ HμI 2/$

(775) $

(776) $) D -

(777)

(778) $) % - $1

(779) 3 . . . . k. . 2

(780) pnk 3. n ∈ 1 . . . nk

(781) n,k (t + 1) ← (1 − γ)

(782) n,k (t) + γn,k (t) n,k (t + 1) ←[(1 − γ)n,k (t) + γ

(783) n,k (t) + γ(Uk (k (t)) − pnk (t))]+ k k (t + 1) ← nn=1 n,k (t + 1). . n,k (t + 1) $$ $1

(784) n3. $) DJ 7$, $ $) -

(785) k (Pi → Pj ) 2 n,k - $$ n - k+

(786) )))

(787)

(788) i,j : μi,j (t + 1) ← [μi,j (t) + γ(i,j (t) − Bi,j )]+. μi,j (t + 1) $$

(789)

(790) k

(791) ) (Pi → Pj )3. . . (Pi → Pj ) ∈ n . $) %J 7$, $ $) - $1 (Pi → Pj ).

(792)

(793) $) C!E

(794) /

(795)

(796) /0) + )$ . /$3

(797) $)

(798)

(799) $ #$ /$

(800) $ 4, k - k % + )2 k +

(801) ,

(802) $ 6 / , 5

(803) 3 4, $

(804) k

(805) ∗k = U −1 (p∗k )+, p∗k (t) = min pnk (t) n. ) $) ,1

(806)

(807) -$$,

(808) J .

(809)

(810) . D& D3

(811) $$

(812) J. ∀n, n,k (t + 1) = [n,k (t) − γ(pnk (t) − p∗k (t))]+ .. H'I. %3 +

(813) 1

(814) j

(815)

(816) ⎡ ⎤+ j,k (t + 1) = ⎣k (t + 1) −. . n,k (t + 1)⎦. HLI. n=j.

(817) + - +

(818) - $$

(819)

(820)

(821) )$$

(822) H- H'II3

(823)

(824)

(825) $/+ $

(826) -

(827)

(828)

(829) 3 $$ + + ,

(830)

(831) 2$

(832) - $

(833) + -

(834)

(835)

(836) n n,k

(837) $ k 3 , ) - $) /) 2

(838) $ $) D+ $

(839) )2 3

(840) ,$ - C!E - -$$

(841) 3 . &''' .

(842) /

(843) ) -,$ + $ /)0-0

(844) 1 $

(845) $) )+

(846)

(847) / %3!

(848) 2

(849) $ $ 4, $ /$ $ 0 )3 7

(850)

(851) + ,

(852)

(853) , > 3 5

(854) / , , -,1

(855) 2$ > )

(856) 3. . N

(857) )$$ )0$2$ -

(858)

(859) ,

(860)

(861)

(862)

(863)

(864) 3

(865)

(866) )$$

(867) )$ , ) - $ 3

(868)

(869) $ $

(870) / )

(871) 2

(872) H$I -

(873)

(874) A

(875) $2+ $ 0 )3. ! " . 5 $

(876) $

(877) H%I

(878) 3

(879) ,

(880)

(881) - $$ ) /$3 * $

(882) )) $ $ λ

(883) $ μ3 $

(884) + >

(885) .

(886)

(887)

(888) . DD.

(889) $ >$

(890) Hmk Mk

(891) 2$ I

(892) C!E3

(893) 5

(894) $ $

(895) $ A

(896) - $)

(897) 3. #" $) -

(898)

(899)

(900)

(901) 2 5 + ,

(902) 0)$)/$ 2) 3 * )

(903) +

(904) 0

(905) $2

(906) $)

(907)

(908) 4, $ /$+ $

(909) $)

(910)

(911) 3 4, $ /$+

(912)

(913) ) / - ;

(914) =

(915) $$ / - ;

(916)

(917) 3=

(918) 2

(919) 2) 3. $ % &

(920) /

(921) 5 $

(922)

(923)

(924) 3 8$ ,1) > +

(925)

(926)

(927)

(928)

(929)

(930) + )

(931) + , ,$ $1 0

(932) H/ ,

(933) -

(934)

(935) $2I

(936)

(937) +

(938)

(939) 2 2$)

(940) 3 F ,$

(941)

(942) $)

(943) $

(944) $- / $.3. * +

(945) % +

(946)

(947) ))

(948) ,

(949) -$$,J L(,

(950) , λ, μ) =. . Uk. k∈K. +. (Pi →Pj ). . i,k. +. . i. λi. Wi −. i. ⎛. ⎜ μi,j ⎜ ⎝Bi,j − k. . i,k wk. k. −. 1 k∈K. ⎞. n (Pi →Pj )∈(Pm(k) ;Pn ). i. 2. ⎟ n,k bk ⎟ ⎠.. 7

(951) 1 -

(952) $ + , A

(953) -$$,) 2/$

(954) η σJ ⎧ ⎪ ηkn ⎪ ⎪ ⎪ ⎨. =. σkn = ⎪ ⎪ ⎪ ⎪ ⎩. . . μi,j ,. (Pi →Pj )∈(Pm(k) ;Pn ). . n (Pi →Pj )∈(Pm(k) ;Pn ). n,k .. (i,k −

(955) i,k )2.

(956)

(957) . D%.

(958) + ηkn

(959) ))) /

(960) - Pm(k) Pn σkn

(961) $ -

(962) 1

(963) / $ k

(964) - Pm(k) Pn $$

(965)

(966)

(967) 3

(968) 2/$

(969) / ,

(970) $ ) $) J ⎧ j ⎨ ηk = ηki + μi,j i ⎩ σk = i,k bk +. j (Pi →Pj ). σkj. .

(971) ) A>0

(972) . γ

(973) ) H, γ 2$

(974) 2/$I+ , 2

(975) $ -$$,)

(976) - λ+ μ+

(977) J pik (t + 1) ← bk ηki (t) + wk λi (t)

(978) i,k (t + 1) ← (1 − γe)

(979) i,k (t) + γei,k (t) i,k (t + 1) ← [(1 − γ )i,k (t) + γ

(980) i,k (t) + γ (Uk (k (t)) − pik (t))]+ m(k). k (t + 1) ← σk . (t + 1) . λi (t + 1) ← λi (t) + γλ μi,j (t + 1) ← μi,j (t) + γμ. . + wk i,k − Wi. k. . . + bk σki − Bi,j. HD&I HDDI HD%I HD"I HD(I HD!I. k. 8

(981)

(982) i

(983)

(984)

(985) - $ k ,

(986)

(987)

(988) /$ - k,i+ k,i + ηk,i σk,i3 $1

(989)

(990)

(991) /$ -

(992) , μi,j

(993)

(994)

(995) /$ -

(996) , λi 3 *

(997)

(998)

(999) -

(1000)

(1001) $$

(1002) / $$ - $$ 2/$

(1003) 3 -+

(1004) -

(1005)

(1006) $

(1007) $) " (3 . ( ' '. , $)

(1008)

(1009) ) -$$,)

(1010) 3 7

(1011) +

(1012) -$$

(1013) 0 /

(1014) 2)

(1015) 2 2 - γλ+γμ +γ+ γe H*+

(1016)

(1017) )) . -

(1018) $ 2> 0 . - 3I + $

(1019) 2

(1020) $

(1021)

(1022) $$

(1023)

(1024)

(1025) ,

(1026)

(1027)

(1028) 3

(1029) + / $

(1030) +

(1031) $)

(1032) $

(1033)

(1034) $

(1035) Wi - Bi,j 2

(1036) 2$ - , $

(1037) 3 .

(1038)

(1039)

(1040)

(1041) . . k. . i. D". . N $$ λi N 2 - - μi 2 ηki 3. ηki + μi $$

(1042)

(1043) 3 2 σkj - $$

(1044)

(1045) 3 . σki ← k,i + j σkj. σki - 3 2 k -, $$

(1046)