2024-03-09 18:22:32 +01:00
|
|
|
#include "../includes/sched.h"
|
2024-03-09 18:47:40 +01:00
|
|
|
|
2024-04-18 17:41:41 +02:00
|
|
|
#include <errno.h>
|
2024-04-21 18:52:22 +02:00
|
|
|
#include <pthread.h>
|
2024-03-15 12:43:44 +01:00
|
|
|
#include <stdio.h>
|
2024-04-19 16:06:56 +02:00
|
|
|
#include <stdlib.h>
|
2024-04-21 15:00:45 +02:00
|
|
|
#include <string.h>
|
2024-03-15 12:43:44 +01:00
|
|
|
|
2024-04-19 16:06:56 +02:00
|
|
|
struct task_info {
|
|
|
|
void *closure;
|
|
|
|
taskfunc f;
|
|
|
|
};
|
2024-04-18 17:41:41 +02:00
|
|
|
|
2024-04-19 16:06:56 +02:00
|
|
|
struct scheduler {
|
2024-04-24 17:21:38 +02:00
|
|
|
/* Premier élément du deque (dernier ajouter) */
|
2024-04-23 12:47:35 +02:00
|
|
|
int *bottom;
|
2024-04-19 15:33:03 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
/* Variable de conditions pour reveillé les threads au besoin */
|
|
|
|
pthread_cond_t cond;
|
|
|
|
|
2024-04-21 15:02:31 +02:00
|
|
|
/* Mutex qui protège les piles */
|
2024-04-22 02:09:51 +02:00
|
|
|
pthread_mutex_t mutex;
|
2024-04-19 15:33:03 +02:00
|
|
|
|
2024-04-19 16:24:54 +02:00
|
|
|
/* Nombre de threads instanciés */
|
|
|
|
int nthreads;
|
|
|
|
|
2024-04-23 12:47:35 +02:00
|
|
|
/* Compteur des threads dormants */
|
|
|
|
int nthsleep;
|
|
|
|
|
|
|
|
/* Taille des piles */
|
|
|
|
int qlen;
|
|
|
|
|
2024-04-21 15:02:31 +02:00
|
|
|
/* Piles de tâches */
|
2024-04-21 15:00:45 +02:00
|
|
|
struct task_info **tasks;
|
2024-04-19 15:33:03 +02:00
|
|
|
|
2024-04-21 16:36:35 +02:00
|
|
|
/* Liste des threads */
|
|
|
|
pthread_t *threads;
|
|
|
|
|
2024-04-24 17:21:38 +02:00
|
|
|
/* Dernier élément du deque (premier ajouter) */
|
2024-04-22 02:09:51 +02:00
|
|
|
int *top;
|
2024-04-19 16:06:56 +02:00
|
|
|
};
|
2024-04-19 15:33:03 +02:00
|
|
|
|
2024-04-19 16:06:56 +02:00
|
|
|
/* Lance une tâche de la pile */
|
2024-04-19 16:27:58 +02:00
|
|
|
void *sched_worker(void *);
|
2024-04-19 15:33:03 +02:00
|
|
|
|
2024-04-21 14:27:32 +02:00
|
|
|
/* Nettoie les opérations effectuées par l'initialisation de l'ordonnanceur */
|
2024-04-23 12:47:35 +02:00
|
|
|
int sched_init_cleanup(struct scheduler, int);
|
2024-04-21 14:27:32 +02:00
|
|
|
|
2024-04-21 16:39:00 +02:00
|
|
|
/* Récupère l'index du thread courant */
|
2024-04-21 16:51:26 +02:00
|
|
|
int current_thread(struct scheduler *);
|
2024-04-21 16:39:00 +02:00
|
|
|
|
2024-04-19 15:33:03 +02:00
|
|
|
int
|
|
|
|
sched_init(int nthreads, int qlen, taskfunc f, void *closure)
|
|
|
|
{
|
2024-04-23 12:47:35 +02:00
|
|
|
static struct scheduler sched;
|
|
|
|
|
2024-04-24 17:21:38 +02:00
|
|
|
sched.bottom = NULL;
|
2024-04-21 14:27:32 +02:00
|
|
|
sched.tasks = NULL;
|
2024-04-21 16:36:35 +02:00
|
|
|
sched.threads = NULL;
|
2024-04-21 15:00:45 +02:00
|
|
|
sched.top = NULL;
|
2024-04-21 14:27:32 +02:00
|
|
|
|
2024-04-19 16:06:56 +02:00
|
|
|
if(qlen <= 0) {
|
|
|
|
fprintf(stderr, "qlen must be greater than 0\n");
|
|
|
|
return -1;
|
2024-04-18 17:41:41 +02:00
|
|
|
}
|
2024-04-22 02:09:51 +02:00
|
|
|
sched.qlen = qlen + 1; // circular buffer
|
2024-04-18 17:41:41 +02:00
|
|
|
|
2024-04-19 16:06:56 +02:00
|
|
|
if(nthreads < 0) {
|
|
|
|
fprintf(stderr, "nthreads must be greater than 0\n");
|
|
|
|
return -1;
|
|
|
|
} else if(nthreads == 0) {
|
|
|
|
nthreads = sched_default_threads();
|
|
|
|
}
|
2024-04-22 02:35:14 +02:00
|
|
|
sched.nthreads = 0;
|
2024-04-18 17:41:41 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
sched.nthsleep = 0;
|
2024-04-21 20:15:02 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
// Initialisation du mutex
|
|
|
|
if(pthread_mutex_init(&sched.mutex, NULL) != 0) {
|
|
|
|
fprintf(stderr, "Can't init mutex\n");
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-21 14:42:36 +02:00
|
|
|
}
|
2024-04-22 02:09:51 +02:00
|
|
|
|
|
|
|
// Initialisation variable de condition
|
|
|
|
if(pthread_cond_init(&sched.cond, NULL) != 0) {
|
|
|
|
fprintf(stderr, "Can't init varcond\n");
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-19 13:48:50 +02:00
|
|
|
}
|
2024-04-18 17:41:41 +02:00
|
|
|
|
2024-04-21 14:55:36 +02:00
|
|
|
// Initialisation du curseur suivant l'état de la pile de chaque processus
|
2024-04-22 02:35:14 +02:00
|
|
|
if(!(sched.bottom = malloc(nthreads * sizeof(int)))) {
|
2024-04-22 02:09:51 +02:00
|
|
|
perror("Cursor bottom stack");
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-21 14:55:36 +02:00
|
|
|
}
|
2024-04-24 17:21:38 +02:00
|
|
|
if(!(sched.top = malloc(nthreads * sizeof(int)))) {
|
|
|
|
perror("Cursor top stack");
|
|
|
|
return sched_init_cleanup(sched, -1);
|
|
|
|
}
|
2024-04-22 02:35:14 +02:00
|
|
|
for(int i = 0; i < nthreads; ++i) {
|
2024-04-22 02:09:51 +02:00
|
|
|
sched.bottom[i] = 0;
|
2024-04-24 17:21:38 +02:00
|
|
|
sched.top[i] = 0;
|
2024-04-21 14:55:36 +02:00
|
|
|
}
|
2024-04-21 14:42:36 +02:00
|
|
|
|
2024-04-21 15:00:45 +02:00
|
|
|
// Allocation mémoire pour la pile de chaque processus
|
2024-04-22 02:35:14 +02:00
|
|
|
if(!(sched.tasks = malloc(nthreads * sizeof(struct task_info *)))) {
|
2024-04-24 17:16:34 +02:00
|
|
|
perror("Deque list");
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-19 16:06:56 +02:00
|
|
|
}
|
2024-04-22 02:35:14 +02:00
|
|
|
for(int i = 0; i < nthreads; ++i) {
|
2024-04-21 15:00:45 +02:00
|
|
|
if(!(sched.tasks[i] = malloc(qlen * sizeof(struct task_info)))) {
|
2024-04-24 17:16:34 +02:00
|
|
|
fprintf(stderr, "Deque for thread %d: %s\n", i, strerror(errno));
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-21 15:00:45 +02:00
|
|
|
}
|
|
|
|
}
|
2024-04-19 16:06:56 +02:00
|
|
|
|
2024-04-22 02:35:14 +02:00
|
|
|
// Initialise l'aléatoire
|
|
|
|
srand(time(NULL));
|
|
|
|
|
2024-04-21 19:29:21 +02:00
|
|
|
// Créer les threads
|
2024-04-22 02:35:14 +02:00
|
|
|
if(!(sched.threads = malloc(nthreads * sizeof(pthread_t)))) {
|
2024-04-21 16:36:35 +02:00
|
|
|
perror("Threads");
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-21 16:36:35 +02:00
|
|
|
}
|
2024-04-22 02:09:51 +02:00
|
|
|
|
|
|
|
// Ajoute la tâche initiale
|
|
|
|
if(sched_spawn(f, closure, &sched) < 0) {
|
|
|
|
fprintf(stderr, "Can't create the initial task\n");
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-22 02:09:51 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// Démarre les threads
|
2024-04-19 15:33:03 +02:00
|
|
|
for(int i = 0; i < nthreads; ++i) {
|
2024-04-21 16:36:35 +02:00
|
|
|
if(pthread_create(&sched.threads[i], NULL, sched_worker, &sched) != 0) {
|
2024-04-19 21:59:09 +02:00
|
|
|
fprintf(stderr, "Can't create the thread %d\n", i);
|
2024-04-19 16:06:56 +02:00
|
|
|
|
|
|
|
if(i > 0) {
|
|
|
|
fprintf(stderr, ", cancelling already created threads...\n");
|
|
|
|
for(int j = 0; j < i; ++j) {
|
2024-04-21 16:36:35 +02:00
|
|
|
if(pthread_cancel(sched.threads[j]) != 0) {
|
2024-04-19 16:06:56 +02:00
|
|
|
fprintf(stderr, "Can't cancel the thread %d\n", j);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
fprintf(stderr, "\n");
|
|
|
|
}
|
|
|
|
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-19 15:33:03 +02:00
|
|
|
}
|
2024-04-23 10:55:03 +02:00
|
|
|
|
|
|
|
pthread_mutex_lock(&sched.mutex);
|
2024-04-22 02:35:14 +02:00
|
|
|
sched.nthreads++;
|
2024-04-23 10:55:03 +02:00
|
|
|
pthread_mutex_unlock(&sched.mutex);
|
2024-04-18 17:41:41 +02:00
|
|
|
}
|
|
|
|
|
2024-04-19 15:33:03 +02:00
|
|
|
for(int i = 0; i < nthreads; ++i) {
|
2024-04-21 16:36:35 +02:00
|
|
|
if((pthread_join(sched.threads[i], NULL) != 0)) {
|
2024-04-19 15:33:03 +02:00
|
|
|
fprintf(stderr, "Can't wait the thread %d\n", i);
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, -1);
|
2024-04-19 15:33:03 +02:00
|
|
|
}
|
2024-04-18 17:41:41 +02:00
|
|
|
}
|
|
|
|
|
2024-04-23 12:47:35 +02:00
|
|
|
return sched_init_cleanup(sched, 1);
|
2024-04-21 14:27:32 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2024-04-23 12:47:35 +02:00
|
|
|
sched_init_cleanup(struct scheduler s, int ret_code)
|
2024-04-21 14:27:32 +02:00
|
|
|
{
|
2024-04-23 12:47:35 +02:00
|
|
|
pthread_mutex_destroy(&s.mutex);
|
2024-04-21 14:42:36 +02:00
|
|
|
|
2024-04-23 12:47:35 +02:00
|
|
|
pthread_cond_destroy(&s.cond);
|
2024-04-21 14:42:36 +02:00
|
|
|
|
2024-04-23 12:47:35 +02:00
|
|
|
if(s.tasks) {
|
|
|
|
for(int i = 0; i < s.nthreads; ++i) {
|
|
|
|
if(s.tasks[i]) {
|
|
|
|
free(s.tasks[i]);
|
|
|
|
s.tasks[i] = NULL;
|
2024-04-21 15:00:45 +02:00
|
|
|
}
|
|
|
|
}
|
2024-04-21 14:27:32 +02:00
|
|
|
|
2024-04-23 12:47:35 +02:00
|
|
|
free(s.tasks);
|
|
|
|
s.tasks = NULL;
|
2024-04-21 14:27:32 +02:00
|
|
|
}
|
2024-04-19 21:16:04 +02:00
|
|
|
|
2024-04-23 12:47:35 +02:00
|
|
|
if(s.threads) {
|
|
|
|
free(s.threads);
|
|
|
|
s.threads = NULL;
|
2024-04-21 16:36:35 +02:00
|
|
|
}
|
|
|
|
|
2024-04-23 12:47:35 +02:00
|
|
|
if(s.bottom) {
|
|
|
|
free(s.bottom);
|
|
|
|
s.bottom = NULL;
|
2024-04-21 16:51:26 +02:00
|
|
|
}
|
|
|
|
|
2024-04-24 17:21:38 +02:00
|
|
|
if(s.top) {
|
|
|
|
free(s.top);
|
|
|
|
s.top = NULL;
|
|
|
|
}
|
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
return ret_code;
|
2024-04-21 16:39:00 +02:00
|
|
|
}
|
2024-04-21 15:38:06 +02:00
|
|
|
|
2024-04-21 16:39:00 +02:00
|
|
|
int
|
2024-04-21 16:51:26 +02:00
|
|
|
current_thread(struct scheduler *s)
|
2024-04-21 16:39:00 +02:00
|
|
|
{
|
2024-04-21 16:51:26 +02:00
|
|
|
pthread_t current = pthread_self();
|
2024-04-23 10:55:03 +02:00
|
|
|
|
|
|
|
pthread_mutex_lock(&s->mutex);
|
2024-04-23 11:05:57 +02:00
|
|
|
for(int i = 0; i < s->nthreads; ++i) {
|
2024-04-21 16:51:26 +02:00
|
|
|
if(pthread_equal(s->threads[i], current)) {
|
2024-04-23 10:55:03 +02:00
|
|
|
pthread_mutex_unlock(&s->mutex);
|
2024-04-21 16:51:26 +02:00
|
|
|
return i;
|
|
|
|
}
|
|
|
|
}
|
2024-04-23 10:55:03 +02:00
|
|
|
pthread_mutex_unlock(&s->mutex);
|
2024-04-21 16:51:26 +02:00
|
|
|
|
|
|
|
return -1;
|
2024-04-21 15:38:06 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2024-04-22 02:09:51 +02:00
|
|
|
sched_spawn(taskfunc f, void *closure, struct scheduler *s)
|
2024-04-21 15:38:06 +02:00
|
|
|
{
|
2024-04-22 02:09:51 +02:00
|
|
|
int th;
|
|
|
|
if((th = current_thread(s)) < 0) {
|
|
|
|
th = 0;
|
|
|
|
}
|
2024-04-18 17:41:41 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
pthread_mutex_lock(&s->mutex);
|
|
|
|
|
2024-04-24 17:21:38 +02:00
|
|
|
int next = (s->bottom[th] + 1) % s->qlen;
|
|
|
|
if(next == s->top[th]) {
|
2024-04-22 02:09:51 +02:00
|
|
|
pthread_mutex_unlock(&s->mutex);
|
2024-04-19 15:33:03 +02:00
|
|
|
fprintf(stderr, "Stack is full\n");
|
2024-04-22 02:09:51 +02:00
|
|
|
errno = EAGAIN;
|
2024-04-19 15:33:03 +02:00
|
|
|
return -1;
|
|
|
|
}
|
2024-04-18 17:41:41 +02:00
|
|
|
|
2024-04-24 17:21:38 +02:00
|
|
|
s->tasks[th][s->bottom[th]] = (struct task_info){closure, f};
|
|
|
|
s->bottom[th] = next;
|
2024-04-18 22:38:01 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
pthread_mutex_unlock(&s->mutex);
|
2024-04-18 17:41:41 +02:00
|
|
|
|
2024-04-19 15:33:03 +02:00
|
|
|
return 0;
|
2024-03-09 18:47:40 +01:00
|
|
|
}
|
2024-04-19 16:06:56 +02:00
|
|
|
|
|
|
|
void *
|
2024-04-19 16:27:58 +02:00
|
|
|
sched_worker(void *arg)
|
2024-04-19 16:06:56 +02:00
|
|
|
{
|
|
|
|
struct scheduler *s = (struct scheduler *)arg;
|
|
|
|
|
2024-04-21 16:51:26 +02:00
|
|
|
// Récupère le processus courant (index tableau)
|
2024-04-21 18:04:41 +02:00
|
|
|
int curr_th;
|
2024-04-22 02:35:14 +02:00
|
|
|
while((curr_th = current_thread(s)) < 0);
|
2024-04-21 16:51:26 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
struct task_info task;
|
|
|
|
int found;
|
2024-04-19 16:06:56 +02:00
|
|
|
while(1) {
|
2024-04-22 02:09:51 +02:00
|
|
|
found = 0;
|
|
|
|
pthread_mutex_lock(&s->mutex);
|
2024-04-21 18:04:41 +02:00
|
|
|
|
2024-04-24 17:21:38 +02:00
|
|
|
if(s->top[curr_th] != s->bottom[curr_th]) {
|
2024-04-22 02:09:51 +02:00
|
|
|
found = 1;
|
2024-04-24 17:21:38 +02:00
|
|
|
s->bottom[curr_th] = (s->bottom[curr_th] - 1 + s->qlen) % s->qlen;
|
|
|
|
task = s->tasks[curr_th][s->bottom[curr_th]];
|
2024-04-22 02:09:51 +02:00
|
|
|
}
|
2024-04-21 18:04:41 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
if(!found) {
|
|
|
|
// Vol car aucune tâche trouvée
|
|
|
|
for(int i = 0, k = rand() % (s->nthreads + 1), target;
|
|
|
|
i < s->nthreads; ++i) {
|
2024-04-22 02:11:35 +02:00
|
|
|
target = (i + k) % s->nthreads;
|
2024-04-22 02:09:51 +02:00
|
|
|
|
2024-04-24 17:21:38 +02:00
|
|
|
if(s->top[target] != s->bottom[target]) {
|
2024-04-22 02:09:51 +02:00
|
|
|
// Tâche trouvée
|
|
|
|
found = 1;
|
2024-04-24 17:21:38 +02:00
|
|
|
s->bottom[target] =
|
|
|
|
(s->bottom[target] - 1 + s->qlen) % s->qlen;
|
|
|
|
task = s->tasks[target][s->bottom[target]];
|
2024-04-22 02:09:51 +02:00
|
|
|
break;
|
2024-04-21 18:04:41 +02:00
|
|
|
}
|
2024-04-21 19:51:50 +02:00
|
|
|
}
|
2024-04-21 18:04:41 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
// Aucune tâche à faire
|
|
|
|
if(!found) {
|
|
|
|
s->nthsleep++;
|
|
|
|
// Ne partir que si tout le monde dort
|
|
|
|
if(s->nthsleep >= s->nthreads) {
|
|
|
|
pthread_cond_broadcast(&s->cond);
|
|
|
|
pthread_mutex_unlock(&s->mutex);
|
2024-04-21 18:04:41 +02:00
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
pthread_cond_wait(&s->cond, &s->mutex);
|
|
|
|
s->nthsleep--;
|
|
|
|
pthread_mutex_unlock(&s->mutex);
|
2024-04-21 15:38:06 +02:00
|
|
|
continue;
|
|
|
|
}
|
2024-04-19 16:06:56 +02:00
|
|
|
}
|
|
|
|
|
2024-04-22 02:09:51 +02:00
|
|
|
pthread_cond_broadcast(&s->cond);
|
|
|
|
pthread_mutex_unlock(&s->mutex);
|
2024-04-19 16:06:56 +02:00
|
|
|
|
|
|
|
// Exécute la tâche
|
2024-04-22 02:09:51 +02:00
|
|
|
task.f(task.closure, s);
|
2024-04-19 16:06:56 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|