Transcript

1

2

3

4

5

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 Interrupt-Driven I/O Gli Interrupts sono segnali hardware: - generati da device periferici es. fine di un operazione di I/O -oppure generati dalla CPU, a fronte di eccezioni i es. divisione per zero, stack overflow, indirizzamenti invalidi (indirizzi inesistenti o protetti), tentativo di eseguire istruzioni privilegiate in user mode, caduta di tensione, ecc. Una interruzione fa sì che il controllo venga trasferito al kernel, che ha il compito di identificare l interrupt, di trattarlo, e quindi di restituire il controllo al processo interrotto (o a un altro più prioritario), con la massima efficienza possibile. 18

52

53

54

55

56 System call () System call (Trap-I)

57

58

59

60

61

62

63

64

65

66

67

68

69 Interrupts: come funzionano Interrupt Processo (user mode) Interrupt entry point Kernel (kernel mode) interrupt vector Interrupt handlers switcher 19

70

71

72

73

74

75

76

77

78

79

80

81

82 System call: come funzionano push a push b syscall (a, b, c) push c push syscall# SVC Supervisor call: set kernel mode, save PC e salta a un indirizzo fisso del kernel 17

83 System call: come funzionano Processo (user mode) Kernel (kernel mode) dispatch vector syscall (params) syscall routine bodies switcher altro processo 16

84

85

86 Overview Res sidente Switcher System calls Interrupt Handlers I/O drivers nte No on reside Processi utente Daemon Processo 1 Processo 2 Processo n Memoria centrale 2

87 2

88

89 Interfaccia Utente: shell

90 Interfaccia di Sistema: sc

91

92

93

94 istemi perativi

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133 e

134

135

136

137

138

139

140

141

142

143 a

144

145

146

147

148

149

150

151

152

153

154

155

156 o

157

158

159

160

161

162

163

164

165

166

167

168

169

170

171

172

173

174

175

176

177 Schedulazione Unix Moderno (1) (4.4BSD, SVR4 e successivi) Applicazione del principio di separazione tra il meccanismo e le politiche. Meccanismo: livelli di priorità (numero maggiore = priorità maggiore); - ogni livello è gestito separatamente, i.e. eventi con politiche differenti; Politiche: - classi di scheduling, per ognuna delle quali si può definire una politica diversa; - intervallo delle priorità che definisce la classe; -algoritmo per il calcolo l delle priorità; ità - assegnazione di quanti di tempo diversi ai vari livelli; - migrazione dei processi da un livello ad un altro; Limitazione dei tempi di latenza per il supporto real-time: - inserimento di punti di prelazionabilità del kernel con check del flag kprunrun, settato dalle routine di gestione eventi. 39

178 Schedulazione Unix Moderno (2) (4.4BSD, SVR4 e successivi) Assegnazione di default: 3 classi: -Real time: possono prelazionare il kernel, hanno priorità e quanto di tempo fisso ed ogni coda è gestita round-robin. -Kernel: prioritari su processi time shared, hanno priorità ed ogni coda è gestita FCFS; -Time shared: per i processi normali, ogni coda è gestita roundrobin, con quanto minore per priorità maggiore; la priorità è variabile secondo una tabella fissa, e, se un processo termina il suo quanto, scende di priorità. 40