Application Mapping Concepts
Application Mapping Concepts
• ﻋﻤﻮﻣﺎً ﺗﺤﺖ ﺗﺎﺛﻴﺮ ﻳﻚ Eventو در زﻣﺎن ﻏﻴﺮ ﻗﺎﺑﻞ ﭘﻴﺶ ﺑﻴﻨﻲ ﺷﺮوع
ﻣﻲ ﺷﻮد.
• ﺑﺮ اﺳﺎس ﺣﺎﻟﺖ ﺟﺎري ﺳﻴﺴﺘﻢ و ورودي ﻫﺎ ،ﻳﻚ ﺧﺮوﺟﻲ ﻳﻜﺘﺎ و ﻳﻚ
ﺣﺎﻟﺖ ﺑﻌﺪي ﻣﺸﺨﺺ ﻗﺎﺑﻞ ﭘﻴﺶ ﺑﻴﻨﻲ ﺑﺎﺷﺪ.
• ﺑﻪ ﻋﻠﺖ واﺑﺴﺘﮕﻲ زﻣﺎن اﺟﺮا ﺑﻪ آﻣﺎده ﺑﻮدن ﺷﺮاﻳﻂ از ﺟﻤﻠﻪ ورودي ﻫﺎ،
ﭘﺲ زﻣﺎن اﺟﺮا ﻧﻴﺰ ﺑﻪ ﺻﻮرت ﺑﺎزه ] [ei-, ei+در ﻧﻈﺮ ﮔﺮﻓﺘﻪ ﻣﻲ ﺷﻮد.
• j :Tjاﻣﻴﻦ Taskﺳﻴﺴﺘﻢ
,
• H = 60
• Jkﺑﻪ Jiواﺑﺴﺘﮕﻲ ﺗﻘﺪﻣﻲ دارد اﮔﺮ Jkدر اﺟﺮا ﺗﻨﻬﺎ ﺑﻌﺪ از Jiﺑﺘﻮاﻧﺪ
ﻗﺮار ﺑﮕﻴﺮد:
Ji < Jk
• Jiﻣﻘﺪم ﺑﻼﻓﺼﻞ Jkاﺳﺖ اﮔﺮ و ﺗﻨﻬﺎ اﮔﺮ ﻫﻴﭻ Jjرا ﻧﺘﻮان ﭘﻴﺪا ﻛﺮد ﻛﻪ Ji < Jj < Jk
• ﺑﻴﻦ Jiو Jkﻳﻚ ﻳﺎل ﺟﻬﺖ دار وﺟﻮد دارد ﭼﻨﺎن ﭼﻪ Jiﻣﻘﺪم ﺑﺮ Jkﺑﺎﺷﺪ.
Ji Jk
• واﺑﺴﺘﮕﻲ داده اي :دو Jobاز ﻳﻚ ﻳﺎ ﭼﻨﺪ ﻣﺘﻐﻴﺮ ﻣﺸﺘﺮك اﺳﺘﻔﺎده ﻛﻨﻨﺪ.
• واﺑﺴﺘﮕﻲ زﻣﺎﻧﻲ :ﻓﺎﺻﻠﻪ زﻣﺎﻧﻲ ﺑﻴﻦ ﺷﺮوع اﺟﺮاي Jobدوم از اﻧﺘﻬﺎي Jobاول
ﻣﺤﺪود ﺷﺪه ﺑﺎﺷﺪ ﻛﻪ ﺑﻪ اﻳﻦ ﺣﺪ ﻓﺎﺻﻠﻪ زﻣﺎﻧﻲ ﮔﻔﺘﻪ ﻣﻲ ﺷﻮد.
J1
J2 J4
J3
J1
J3
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 21
ﭘﺎراﻣﺘﺮﻫﺎي زﻣﺎﻧﻲ ﺑﺮ اﺳﺎس ﺗﻘﺪم
Eff. R. T. Eff. D. L.
(2,10] (1,12] (4,9] (0,20] J1 2 8
J1 J3 J4 J6 J2 0 7
J3 2 8
J4 4 9
J5 2 8
J2 J5 J7
J6 4 20
(0,7] (1,8] (6,21]
J7 6 21
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 23
ﭘﺎراﻣﺘﺮﻫﺎي ﻋﻤﻠﻜﺮدي
Preemptivity •
Criticality •
Laxity •
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 24
Premptivity
• در زﻣﺎن ﺗﻐﻴﻴﺮ Jobﺑﺎﻳﺪ ﺷﺮاﻳﻂ ﺟﺎري ﺳﻴﺴﺘﻢ ﺑﺮاي ﺑﺮﮔﺸﺖ ذﺧﻴﺮه ﺷﻮﻧﺪ.
• در ﻳﻚ ﺳﻴﺴﺘﻢ ﭼﻨﺪ ﭘﺮدازﻧﺪه اي اﮔﺮ ﺑﺘﻮان ﻳﻚ Jobرا روي ﻳﻚ ﭘﺮدازﻧﺪه ﺷﺮوع و ﺑﺮ
روي دﻳﮕﺮي اداﻣﻪ داد ﺳﻴﺴﺘﻢ ﻣﻬﺎﺟﺮت ﭘﺬﻳﺮ ﻧﺎﻣﻴﺪه ﻣﻲ ﺷﻮد.
• ﺣﺎﻟﺖ ﭘﺎﻳﻪ
• Jobاﺧﺘﻴﺎري
• Jobاﺟﺒﺎري
• اﻧﻮاع اوﻟﻮﻳﺖ:
• :Backgroundدرﺑﺮﮔﻴﺮﻧﺪه Taskﻫﺎي ﻏﻴﺮ ﻣﻬﻢ ﻛﻪ ﺗﻨﻬﺎ وﻗﺘﻲ ﭘﺮدازﻧﺪه آزاد ﺑﺎﺷﺪ اﺟﺮا ﻣﻲ ﺷﻮﻧﺪ.
• ﻣﺤﺎﺳﺒﻪ ﺑﺮ اﺳﺎس:
• ﺑﺮاي ﭘﺮدازﻧﺪه ﻳﻚ ﺳﺮﻋﺖ در ﻧﻈﺮ ﮔﺮﻓﺘﻪ ﻣﻲ ﺷﻮد اﻣﺎ ﺑﺮاي ﻣﻨﺒﻊ ﻧﻪ.
• ﻣﻨﺒﻊ داراي nواﺣﺪ اﺳﺖ اﮔﺮ ﺑﺘﻮاﻧﺪ ﺑﻪ ﺻﻮرت ﻫﻤﺰﻣﺎن ﺗﻮﺳﻂ n
ﻋﺪد Jobاﺳﺘﻔﺎده ﺷﻮد.
Task Graph
Processors Resources
Resource Graph
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 33
اﻧﻮاع ﺳﻴﺴﺘﻢ
• ﺗﻚ ﭘﺮدازﻧﺪه
• ﭼﻨﺪ ﭘﺮدازﻧﺪه
Multiprocessor •
Interconnection Network
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 34
اﻧﻮاع ﺳﻴﺴﺘﻢ
• ﺗﻚ ﭘﺮدازﻧﺪه
• ﭼﻨﺪ ﭘﺮدازﻧﺪه
Multiprocessor •
Multicomputer •
Interconnection Network
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 35
ﭘﺎراﻣﺘﺮﻫﺎي ﻣﻨﺒﻊ
• اﻧﻮاع ﻳﺎل:
• اﮔﺮ ﭘﺮدازﻧﺪه Piدر ﺑﺎزه زﻣﺎﻧﻲ ] (t0, t1ﺑﻪ ﻳﻚ Jobﻣﺎﻧﻨﺪ Jjﺗﺨﺼﻴﺺ داده
ﺷﻮد آن ﮔﺎه ﻣﻲ ﮔﻮﻳﻴﻢ Jjروي Piدر ] (t0, t1زﻣﺎن ﺑﻨﺪي ﺷﺪه اﺳﺖ.
• :Makespanزﻣﺎن ﺑﻨﺪي ﺑﺮاي Jobﻫﺎ اﺳﺖ ﻛﻪ در آن زود ﺗﺮﻳﻦ زﻣﺎﻧﻲ ﻛﻪ ﻫﻤﻪ Jobﻫﺎ
اﺟﺮا ﺷﺪه ﺑﺎﺷﻨﺪ ﺣﺎﺻﻞ ﻣﻲ ﺷﻮد.
S1 S2
J1 J2 J2 J3 J1 J3 J2 J2
𝐽1: 1 2 1 𝐽1: 1 2 1
Latency 𝐽2: 3 4 1 Latency 𝐽2: 4 4 0
𝐽3: 4 5 1 𝐽3: 2 5 3
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 43
اﻧﻮاع زﻣﺎن ﺑﻨﺪي
• اﺳﺘﺎﺗﻴﻚ
• :Dispatcherﺑﺮ اﺳﺎس ﺟﺪوﻟﻲ ﻛﻪ در زﻣﺎن ﻃﺮاﺣﻲ ﻣﻘﺪاردﻫﻲ ﺷﺪه اﺳﺖ در زﻣﺎن ﻫﺎي ﻣﺸﺨﺺ وﻇﻴﻔﻪ
ﺗﻌﻴﻴﻦ ﺷﺪه را ﺑﺮ روي ﭘﺮدازﻧﺪه اﺟﺮا ﻣﻲ ﻛﻨﺪ.
• دﻳﻨﺎﻣﻴﻚ
• :Schedulerدر ﻫﺮ ﻟﺤﻈﻪ ﺑﻪ ﺻﻮرت ﺑﺮﺧﻂ وﻇﺎﻳﻒ را ﺑﺮ اﺳﺎس اوﻟﻮﻳﺘﺸﺎن زﻣﺎن ﺑﻨﺪي ﻣﻲ ﻧﻤﺎﻳﺪ.
• ارزش ﻳﻚ Jobﺑﺮاﺑﺮ اﺳﺖ ﺑﺎ زﻣﺎن اﺟﺮاي آن اﮔﺮ در ﻣﺤﺪوده زﻣﺎﻧﻲ ﻣﺠﺎز اﻧﺠﺎم ﺷﻮد و در ﻏﻴﺮ اﻳﻦ
ﺻﻮرت ﺻﻔﺮ ﺧﻮاﻫﺪ ﺑﻮد.
• ﻧﺴﺒﺖ رﻗﺎﺑﺘﻲ ﻳﻚ اﻟﮕﻮرﻳﺘﻢ Onlineﺑﺮاﺑﺮ Cاﺳﺖ اﮔﺮ ارزش Jobﻫﺎي زﻣﺎن ﺑﻨﺪي ﺷﺪه Cﺑﺮاﺑﺮ زﻣﺎن
ﺑﻨﺪي Offlineآن ﻫﺎ ﺑﺎﺷﺪ.
• ﻗﻀﻴﻪ :در ﺷﺮاﻳﻄﻲ ﻛﻪ ﺳﻴﺴﺘﻢ Overloadاﺳﺖ ﻧﺴﺒﺖ رﻗﺎﺑﺘﻲ ﺑﻬﺘﺮﻳﻦ اﻟﮕﻮرﻳﺘﻢ زﻣﺎن ﺑﻨﺪي Online
ﺣﺪاﻛﺜﺮ 0.25ﺧﻮاﻫﺪ ﺑﻮد.
• زﻣﺎن ﺑﻨﺪي :Maximalﺑﺮاي ﺗﻤﺎم Jobﻫﺎ ﺣﺪاﻛﺜﺮ زﻣﺎن اﺟﺮا را در ﻧﻈﺮ ﺑﮕﻴﺮﻳﻢ ).(ei+
• زﻣﺎن ﺑﻨﺪي :Minimalﺑﺮاي ﺗﻤﺎم Jobﻫﺎ ﺣﺪاﻗﻞ زﻣﺎن اﺟﺮا را در ﻧﻈﺮ ﺑﮕﻴﺮﻳﻢ ).(ei-
• زﻣﺎن ﺑﻨﺪي :Actualﺑﺮاي ﺗﻤﺎم Jobﻫﺎ زﻣﺎن واﻗﻌﻲ اﺟﺮا را در ﻧﻈﺮ ﺑﮕﻴﺮﻳﻢ ).(ei
• ﺳﻴﺴﺘﻢ ﻗﺎﺑﻞ ﭘﻴﺶ ﺑﻴﻨﻲ اﺳﺖ اﮔﺮ و ﺗﻨﻬﺎ اﮔﺮ ﺑﺮاي ﻫﺮ Jobداﺷﺘﻪ ﺑﺎﺷﻴﻢ:
s i- ≤ s i ≤ s i+
fi - ≤ fi ≤ fi +
زﻣﺎن ﺷﺮوع اﺟﺮا زﻣﺎن ﭘﺎﻳﺎن اﺟﺮا
زﻣﺎن ﺑﻨﺪي Maximal si+ fi+
زﻣﺎن ﺑﻨﺪي Minimal si- fi-
زﻣﺎن ﺑﻨﺪي Actual si fi
• زﻣﺎﻧﻲ ﻛﻪ ﺳﻴﺴﺘﻢ ﺑﻴﻜﺎر اﺳﺖ )از دﻳﺪ Jobﻫﺎي ﻣﺘﻨﺎوب( ﺑﻪ ﺻﻒ ﻛﺎرﻫﺎي ﻏﻴﺮﻣﺘﻨﺎوب ﺳﺮوﻳﺲ
داده ﻣﻲ ﺷﻮد.
Round Robbin •
Greedy Scheduling •
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 48
اﻟﮕﻮرﻳﺘﻢ EDF
]3(0,6 ]2(5,8
J1 J2
J3
]2(2,7
J1 J1 J1 J3 J3 J2 J2
]3(0,6 ]2(5,8
J1 J2
J3
]2(2,7
e r d
J1 1 0 1
J2 1 0 2
J3 5 0 5
P1
J1 J3 J3 J3 J3 J3
Missed Deadline
P2
J2
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 54
اﻟﮕﻮرﻳﺘﻢ LST
e r d
J1 1 0 1
J2 1 0 2
J3 5 0 5
P1
J1 J2
P2
J3 J3 J3 J3 J3
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 56
EDF ﭼﺎﻟﺶ دﻳﮕﺮ
r d e
J1 0 10 5
J2 0 10 [2, 6]
J3 4 15 8
J4 0 20 10
e2 = 6
P1
J1 J1 J1 J1 J1 J3 J3 J3 J3 J3 J3 J3 J3
P2
J2 J2 J2 J2 J2 J2 J4 J4 J4 J4 J4 J4 J4 J4 J4 J4
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 57
EDF ﭼﺎﻟﺶ دﻳﮕﺮ
r d e
J1 0 10 5
J2 0 10 [2, 6]
J3 4 15 8
J4 0 20 10
e2 = 3
رﻓﺘﺎر ﻏﻴﺮﻋﺎدي
P1
J1 J1 J1 J1 J1
Missed Deadline
P2
J2 J2 J2 J4 J3 J3 J3 J3 J3 J3 J3 J3 J3 J4 J4 J4 J4 J4 J4 J4 J4 J4
اﻣﻴﺮ ﺧﻮرﺳﻨﺪي 58