Difference between revisions of "Esercizio 1, prova pratica 29.05.2013"

From Sistemi Operativi
Jump to navigation Jump to search
Line 65: Line 65:
 
}
 
}
 
</source>
 
</source>
 +
 +
==Soluzione di Maldus==
 +
<source lang="c">
 +
#include <stdio.h>
 +
#include <sys/eventfd.h>
 +
#include <inttypes.h>
 +
#include <sys/types.h>
 +
#include <signal.h>
 +
#include <semaphore.h>
 +
 +
int main(){
 +
sem_t empty , full ;
 +
pid_t son ;
 +
int ed , status, i;
 +
uint64_t x = 1;
 +
ed = eventfd(0,0) ;
 +
sem_init( &full , 1 , 0) ;
 +
sem_init( &empty , 1 , 1 ) ;
 +
switch( son = fork() ){
 +
case 0:
 +
while( x){
 +
scanf("%" PRIu64 , &x) ;
 +
sem_wait(&empty) ;
 +
write(ed , &x , 8 ) ;
 +
sem_post(&full) ;
 +
}
 +
kill(son ,SIGTERM);
 +
return 0 ;
 +
default:
 +
while( 1 ){
 +
sem_wait(&full);
 +
read( ed , &x , 8) ;
 +
for( i = x ; i > 0 ; i--) printf( "x\n" ) ;
 +
sem_post(&empty) ;
 +
}
 +
return 1;
 +
}
 +
}
 +
</source>
 +
Siccome la write su di un event descriptor somma il valore dal buffer, se questa viene effettuata prima della lettura (che lo riporta a 0) il risultato ottenuto non è quello richiesto. Benchè sia altamente improbabile che una situazione del genere si verifichi in questo programma, ho cercato di evitarla usando i semafori (si tratta di un problema produttore/consumatore), senza successo: non riesco a capire perchè, ma sembra che le sem_post non incrementino il valore del semaforo.
 +
Togliendo sem_wait e sem_post il programma funziona correttamente.

Revision as of 23:31, 23 March 2015

Scrivere un programma testeventfd che faccia uso della system call eventfd.
In particolare il programma deve eseguire una fork, quando l'utente digita un numero letto dal processo padre, il processo
figlio deve stampare un numero uguale di x.

Soluzione di Pierg

#include <sys/eventfd.h>
#include <unistd.h>
#include <stdlib.h>
#include <stdio.h>
#include <stdint.h> 

int main (int argc, char *argv[]) {
	
	int efd, i; 
	long long unsigned int val;
    	ssize_t s;
	
	/* Check for eventfd error */
	efd = eventfd(0, 0);
	if (efd == -1) {
		perror("Eventfd Error"); 
	}

	/* Use fork to move eventfd form parent to child */
	switch (fork()) {
		
		case 0:
			/* Read parent event */
			s = read(efd, &val, sizeof(long long unsigned int));

            		if (s != sizeof(long long unsigned int)) {
                		perror("Read Error");
				exit(EXIT_FAILURE);
        		}

			/* For is used to print the 'x' of the argument passed by terminal */
			for (i = (int)val; i > 0; i--) {
				printf ("x\n");
			}

			exit(EXIT_SUCCESS);
		
		/* Check for error */
		case -1:
			perror("Fork Error"); 
			exit(EXIT_FAILURE);

		default:
			/* Wait for number */
			printf ("Inserisci un intero diverso da 0: \n");
			scanf ("%llu", &val);

			/* Write parent event */
           		s = write(efd, &val, sizeof(long long unsigned int));

            		if (s != sizeof(long long unsigned int)) {
                		perror("Write Error");
				exit(EXIT_FAILURE);
        		}
	
			exit(EXIT_SUCCESS);
	}
}

Soluzione di Maldus

#include <stdio.h>
#include <sys/eventfd.h>
#include <inttypes.h>
#include <sys/types.h>
#include <signal.h>
#include <semaphore.h>

int main(){
	sem_t empty , full ;
	pid_t son ;
	int ed , status, i;
	uint64_t x = 1;
	ed = eventfd(0,0) ;
	sem_init( &full , 1 , 0) ;
	sem_init( &empty , 1 , 1 ) ;
	switch( son = fork() ){
		case 0:
			while( x){
				scanf("%" PRIu64 , &x) ;
				sem_wait(&empty) ;
				write(ed , &x , 8 ) ;
				sem_post(&full) ;
			}
			kill(son ,SIGTERM);
			return 0 ;
		default:
			while( 1 ){
				sem_wait(&full);
				read( ed , &x , 8) ;
				for( i = x ; i > 0 ; i--) printf( "x\n" ) ;
				sem_post(&empty) ;
			}
			return 1;
	}
}

Siccome la write su di un event descriptor somma il valore dal buffer, se questa viene effettuata prima della lettura (che lo riporta a 0) il risultato ottenuto non è quello richiesto. Benchè sia altamente improbabile che una situazione del genere si verifichi in questo programma, ho cercato di evitarla usando i semafori (si tratta di un problema produttore/consumatore), senza successo: non riesco a capire perchè, ma sembra che le sem_post non incrementino il valore del semaforo. Togliendo sem_wait e sem_post il programma funziona correttamente.