Skip to content
Extraits de code Groupes Projets
run.c 8,95 ko
Newer Older
  • Learn to ignore specific revisions
  • Laurent Paucot's avatar
    Laurent Paucot a validé
    #include "run.h"
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    void put_in_buffer_1(char *c, struct buffer_rc *ptr){ //ajouter un element dans le buffer 1
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr->tab[ptr->head] = malloc(sizeof(char)*(strlen(c) + 1)); // on stoxke de espace
    
        if(ptr->tab[ptr->head] ==NULL){return;}
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        strcpy(ptr->tab[ptr->head],c); //copie
    
    
        ptr->len++;
        ptr->head = (ptr->head + 1)%ptr->size; //chaque fois qu'un élément est ajouté,
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        //on augmente le pointeur de 1 mais l'espace du buffer est de size donc faire un modulo
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    char *get_from_buffer_1(struct buffer_rc *ptr){ // chercher dans le buffer 1
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        char *result;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        result = ptr->tab[ptr->tail]; // donne un valeur a result
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr->tab[ptr->tail] = NULL;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr->len--; //diminue l'espace occupé dans le buffer
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr->tail = (ptr->tail + 1)%ptr->size;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return result;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    }
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    void put_in_buffer_2(struct queue *ptr, struct buffer_cw *buf){ //ajouter un element dans le buffer 2
        buf->tab[buf->head] = ptr;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        buf->len++; //augmente l'espace occupé dans le buffer
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        buf->head = (buf->head + 1)%buf->size;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    queue_t *get_from_buffer_2(struct buffer_cw *buf){ // trouver un element
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        struct queue *result;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        result = buf->tab[buf->tail]; //donne une valeur a result
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        buf->tab[buf->tail] = NULL;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        buf->len--; //diminue l'espace occupé par le buffer
        buf->tail = (buf->tail + 1)%buf->size;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return result;
    }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    int is_div(unsigned long long number, unsigned long long i) { // Vérifie si i est un diviseur de number.
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return (number % i == 0) ; // renvoie 0 si le nombre n'est pas divisible par i et 1 si il est divisible
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    int is_prime(unsigned long long number) { // Vérifie si number est un nombre premier. Return 1 si il est premier, 0 sinon
    
    Corentin Zgajewski Delforge's avatar
    Corentin Zgajewski Delforge a validé
        if (number != 2) {
            if (number  % 2 == 0) {
                return 0 ;
            }
        }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        for (unsigned long long i = 3 ; i*i <= number; i = i + 2) { //regarde les differents nombres pouvant etre diviser number
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            if (is_div(number,i) != 0) { // si i peut diviser number
                return 0 ; //renvoi 0 => FAUX
            }
        }
        return 1 ; //sinon => VRAI
    }
    
    
    void enqueue(queue_t* q, unsigned long long val){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        struct node *ptr;
        ptr = malloc(sizeof(node_t));
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        if (ptr == NULL){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            //free(ptr);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            return;}
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr->value = val;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
        if (q->size == 0)
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        {
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            q->tail = ptr;
            ptr->next = ptr;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        else{
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            ptr->next = q->tail->next;
            q->tail->next = ptr;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        }
        q->size++;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    }
    
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    queue_t* prime_divs(unsigned long long number){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        queue_t *ptr;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr = malloc(sizeof(queue_t));
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        if (ptr == NULL){
            free(ptr);
            return NULL;}
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr->size = 0;
        ptr->final = 0;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        for (unsigned long long i = 2; i <= number/2; i++){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            if (is_div(number, i) && is_prime(i) == 1){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                enqueue(ptr,i);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        enqueue(ptr,number);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
        return ptr;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    }
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    void *writing(void *param){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
        struct buffer_cw *param1 = (struct buffer_cw *) param;
    
        int stop = 0;
    
    
        while(param1->stop == 0){
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            sem_wait(&full2);
            pthread_mutex_lock(&mutex2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            queue_t *pr_divs = get_from_buffer_2(param);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            pthread_mutex_unlock(&mutex2);
    
            sem_post(&empty2);
    
    
            if (pr_divs->final == 1)
    
                if (stop == N-1){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                    free(pr_divs);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                    free(param1->tab);
    
                    return NULL;
                }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                free(pr_divs);
    
                stop++;
            }
            else{
    
                FILE *file2 = param1->file2;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                node_t *current;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                current = pr_divs->tail;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                current = current->next;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                fprintf(file2,"%llu",current->value);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                node_t *toFree = current;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                current = current->next;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
                for (int i = 1; i < pr_divs->size; i++)
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                    free(toFree);
                    toFree = current;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                    fprintf(file2," %llu",current->value);
    
                    current = current->next;
                }
                fputc('\n',file2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                free(pr_divs->tail);
                free(pr_divs);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return NULL;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    }
    
    void *calculating(void *param){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
        struct buffer_rccw *param1 = (struct buffer_rccw *) param;
    
        struct buffer_rc *buffer_1 = param1->struct1;
        struct buffer_cw *buffer_2 = param1->struct2;
    
        unsigned long long number;
    
    
        while(buffer_1->stop == 0){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            sem_wait(&full1);
            pthread_mutex_lock(&mutex1);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            char *chaine = get_from_buffer_1(buffer_1);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            pthread_mutex_unlock(&mutex1);
    
            sem_post(&empty1);
    
            if (strcmp("stop",chaine) == 0)
    
                struct queue *final;
                final = malloc(sizeof(queue_t));
                if (final == NULL){return NULL;}
    
                final->final = 1;
    
                sem_wait(&empty2);
                pthread_mutex_lock(&mutex2);
    
                put_in_buffer_2(final,buffer_2);
    
                pthread_mutex_unlock(&mutex2);
                sem_post(&full2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
                free(chaine);
    
                return NULL;
            }
    
            number = strtoll(chaine,NULL,0);
            if (number != 0 || strcmp("0\n",chaine) == 0)
            {
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            struct queue *pr_divs;
    
            pr_divs = prime_divs(number);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            sem_wait(&empty2);
            pthread_mutex_lock(&mutex2);
    
            put_in_buffer_2(pr_divs,buffer_2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            pthread_mutex_unlock(&mutex2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            sem_post(&full2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            free(chaine);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return NULL;
    }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    void *reading (void *param){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        struct buffer_rc *param1= (struct buffer_rc *) param;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        char chaine[30];
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        FILE *input;
        input = param1->file1;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        while (fgets(chaine,30,input) != NULL){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            sem_wait(&empty1);
            pthread_mutex_lock(&mutex1);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            put_in_buffer_1(chaine,param1);            //put each line in the buffer #1
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            pthread_mutex_unlock(&mutex1);
            sem_post(&full1);
        }
    
    
        for (int i = 0; i < N; i++)
        {
            sem_wait(&empty1);
            pthread_mutex_lock(&mutex1);
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            put_in_buffer_1("stop\0",param1);            //put each stop line in the buffer #1
    
            pthread_mutex_unlock(&mutex1);
            sem_post(&full1);
        }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return NULL;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    void sem_1_initializer(struct buffer_rc *buf){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        pthread_mutex_init(&mutex1,NULL);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        sem_init(&empty1,0,buf->size);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        sem_init(&full1,0,0);
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    }
    
    void sem_2_initializer (struct buffer_cw *buf){
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        pthread_mutex_init(&mutex2,NULL);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        sem_init(&empty2,0,buf->size);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        sem_init(&full2,0,0);
    
    }
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    struct buffer_rc * buff_init_1(FILE *file1){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
        struct buffer_rc *ptr1;
        ptr1 = malloc(sizeof(struct buffer_rc));
        if (ptr1 == NULL){
            free(ptr1);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            return NULL;}
    
        ptr1->tab = malloc(2*N*sizeof(char*));
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr1->size = 2*N;
        ptr1->len = 0;
        ptr1->head = 0;
        ptr1->tail = 0;
        ptr1->stop = 0;
        ptr1->file1 = file1;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return ptr1;
    }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    struct buffer_cw * buff_init_2(FILE *file2){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        struct buffer_cw *ptr2;
        ptr2 = malloc(sizeof(struct buffer_cw));
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        if (ptr2 == NULL){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
            return NULL;}
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr2->tab = malloc(2*N*sizeof(struct queue*));
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr2->size = 2*N;
        ptr2->len = 0;
        ptr2->head = 0;
        ptr2->tail = 0;
        ptr2->stop = 0;
        ptr2->file2 = file2;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return ptr2;
    }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    struct buffer_rccw *buff_init_12(struct buffer_rc *ptr1,struct buffer_cw *ptr2){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        struct buffer_rccw *ptr3;
        ptr3 = malloc(sizeof(struct buffer_rccw));
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        if (ptr3 == NULL){return NULL;}
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        ptr3->struct1 = ptr1;
        ptr3->struct2 = ptr2;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return ptr3;
    }
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    void thread_create_join(struct buffer_rc *ptr1,struct buffer_cw *ptr2,struct buffer_rccw *ptr3){
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        pthread_t reader;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        pthread_t calculators[N];
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        pthread_t writer;
    
        int err;
        err=pthread_create(&reader,NULL,&reading,ptr1);
        if(err != 0){return;}
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        for (int i = 0; i < N; i++)
    
            err=pthread_create(&calculators[i],NULL,&calculating,ptr3);
            if(err != 0){return;}
    
        err = pthread_create(&writer,NULL,&writing,ptr2);
        if(err != 0){return;}
    
        err = pthread_join(reader,NULL);
        if(err != 0){return;}
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        for (int i = 0; i < N; i++)
    
            err = pthread_join(calculators[i],NULL);
            if(err != 0){return;}
    
        err = pthread_join(writer,NULL);
        if(err != 0){return;}
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    void mut_sem_destroy(void){
        pthread_mutex_destroy(&mutex1);
        pthread_mutex_destroy(&mutex2);
        sem_destroy(&full1);
        sem_destroy(&full2);
        sem_destroy(&empty1);
        sem_destroy(&empty2);
    }
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    int run (char *input,char *output, int n_threads){
    
        N = n_threads;
    
        printf("Lancement du programme avec %d threads \n",N);
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        FILE *file1;
        FILE *file2;
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
        file1 = fopen(input,"r");
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        if (file1 == NULL){
            printf("Sorry, file %s doesn't exist ): \n",input);
            return -1;}
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
        file2 = fopen(output,"w+");
        if (file2 == NULL){
            fclose(file1);
            return -1;
        }
    
        struct buffer_rc *ptr1 = buff_init_1(file1);
        struct buffer_cw *ptr2 = buff_init_2(file2);
        struct buffer_rccw *ptr3 = buff_init_12(ptr1,ptr2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
    
        sem_1_initializer(ptr1);
        sem_2_initializer(ptr2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        thread_create_join(ptr1,ptr2,ptr3);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        mut_sem_destroy();
    
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        fclose(file1);
        fclose(file2);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        free(ptr1->tab);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        free(ptr1);
        free(ptr2);
        free(ptr3);
    
    Laurent Paucot's avatar
    Laurent Paucot a validé
        return EXIT_SUCCESS;