Discussion :

[sperca]

Bonjour,

Je suis entrain d'écrire un mini ordonnanceur, rien de de bien extraordinaire, c'est simplement histoire d'apprendre à manipuler setjmp et longjmp.

Le but est d'enregistrer l'état mémoire avant qu'une quelconque fonction contrôlée par l'ordonnanceur ne soit lancée. Puis de charger le bon contexte pour chaque fonction à chaque fois.

Pour simuler le tic d'horloge, j'utilise le signal SIGALRM avec la fonction ualarm qui me permet de spécifier un intervalle.

Pour sauvegarder le contexte, j'utilise setjmp pour les registres et je fais un memcpy (en utilisant une variable globale qui mémorise mon sommet de pile). Cette procédure est encapsulée dans mysetjmp.

Cela fait plusieurs jours que j'essaye de comprendre pourquoi ça ne fonctionne pas...

Voici le code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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
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
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
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
#include <stdio.h>
#include <string.h>
 
#include <setjmp.h>
#include <signal.h>
#include <unistd.h>
 
#include <sys/time.h>
 
#define STACK_SIZE 1024
 
#define TPROC 1024
#define NPROC 1024
 
#define SNONE 0
#define SRUN 1
#define SSLEEP 2
 
typedef struct 
{
  jmp_buf buffer;
  char stack[STACK_SIZE];
  int stack_size;
  int flag;
} TProc;
 
static sigset_t set;
 
struct sigaction handler;
 
static char* top_stack;
 
static int elu;
 
static TProc processus[NPROC];
 
#define init_scheduler()			\
  char top;					\
  int i;					\
  do						\
    {						\
      top_stack = &top;				\
      elu = 0;					\
      for (i = 0; i < NPROC; i++)		\
	{					\
	  processus[i].flag = SNONE;		\
	}					\
    } while (0)
 
int
mysetjmp (int index)
{
  int old = index;
 
  if (old >= NPROC)
    {
      return -1;
    }
 
  if (setjmp (processus[old].buffer) == 0)
    {
      processus[old].stack_size = top_stack - (char*) &old;
      memcpy (processus[old].stack, &old, processus[old].stack_size);
    }
  else
    {
      char* start = top_stack - processus[elu].stack_size;
      memcpy (start, processus[elu].stack, processus[elu].stack_size);
      return 1;
    }
 
  return 0;
}
 
void
mylongjmp (int index)
{
  if (index >= NPROC)
    {
      return ;
    }
 
  elu = index;
  longjmp (processus[elu].buffer, 1);
}
 
static int
search_free_space (void)
{
  int i;
 
  for (i = 0; i < NPROC; i++)
    {
      if (processus[i].flag == SNONE)
	{
	  return i;
	}
    }
 
  return -1;
}
 
void
new_proc (void (*f)(void))
{
  int new = search_free_space ();
 
  if (new == -1)
    {
      return ;
    }
 
  processus[new].flag = SRUN;
  if (mysetjmp (new) != 0)
    {
      f ();
    } 
}
 
int
election (void)
{
  int i = elu;
 
  i = (i + 1) % NPROC;
  while (processus[i].flag != SRUN)
    {
      i = (i + 1) % NPROC;
    }
 
  return i;
}
 
void
commut (int u)
{
    int next;
 
    sigprocmask (SIG_BLOCK, &set, NULL);
 
    next = election ();
 
    if (mysetjmp (elu) == 0)
    {
	mylongjmp (next);
    }
 
    sigprocmask (SIG_UNBLOCK, &set, NULL);
}
 
void
start_sched (void)
{
    sigemptyset (&set);
    sigaddset (&set, SIGALRM);
 
    sigemptyset (&(handler.sa_mask));
    handler.sa_handler = commut;
    handler.sa_flags |= SA_RESTART;
    sigaction (SIGALRM, &handler, NULL);
 
    ualarm (250000, 1000000);
 
    commut (0);
}
 
void
f (void)
{
  int n = 0;
 
  while (1)
    {
      printf ("Execute f : %d\n", n++);
    }
}
 
void
g (void)
{
  int m = 0;
 
  while (1)
    {
      printf ("Execute g : %d\n", m++);
    }
}
 
int
main (void)
{
  init_scheduler ();
 
  new_proc (f);
  new_proc (g);
 
  start_sched ();
 
  return 0;
}

Merci à vous.

--
sperca

[sperca]

Visiblement pas mal de personnes sont passées sur ce sujet sans trouver de réponse mais ce n'est plus très important car j'ai fini par trouver d'où vient l'erreur.

Pour commencer j'ai appris qu'avec la manipulation de signaux et de setjmp, longjump mieux valait utiliser sigsetjmp et siglongjmp. Elles permettent de tenir compte des masques de signaux.

La première grosse erreur était la négligence de la taille de la pile... J'avais mis 1024 or en regardant de plus près elle est supérieure. Ce débordement non signalé provoquait un changement de flag ce qui faisait boucler indéfiniment la fonction d'élection. En rajoutant un 0 tout va bien pour ce petit exemple.

La seconde et c'est l'erreur la plus importante, c'est la fonction de démarrage. En effet l'amorçage doit être fait en invoquant siglongjmp sur le premier processus elu car on a déjà sauvegardé le contexte dans new_proc.

Et voilà ça commute !

Merci à tous pour le soutien :-p

À bientôt !