[c-linux]Problema sui semafori

[andrea]

Dovevo fare un semplicissimo programma in cui un processo padre doveva creare un semaforo e per 10 volte oggi 3 secondi doveva incrementarlo di 1, mentre il figlio doveva decrementare di uno il semaforo, e dirmi se l'operazione era andata a buon fine o meno.

Quindi mi aspetterei un output del tipo:

Incrementato semaforo
Figlio decrementa il semaforo
Figlio non puo' decrementare
Incrementato semaforo

Io ho provato a scrivere questo:

#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <signal.h>

#define KEY (1000)

int main (void) {

int id,n=0;
pid_t pid;
union semun {
int val;
struct semid_ds *buf;
ushort * array;
} argument;

argument.val = 0;

id = semget(KEY, 1, 0666 | IPC_CREAT);

if(id < 0) {
fprintf(stderr, "Non ottengo il semaforo.\n");
exit(0);
}

if( semctl(id, 0, SETVAL, argument) < 0) {
fprintf( stderr, "Non setto il semaforo.\n");
}
else {
fprintf(stderr, "Semaforo %d inizializzato.\n", KEY);
}

pid = fork();
if ( pid < 0) {
printf ("Errore figlio non creato \n");
exit (-1);
}
if ( pid == 0) { /* Child */
printf ("Figlio %d creato con successo \n" ,getpid() );
int idsem; /* Identificatore del semaforo */
struct sembuf operations[1];
int retval; /* Valore di ritorno di semop() */

operations[0].sem_num = 0;
operations[0].sem_op = -1;
operations[0].sem_flg = 0;

idsem = semget(1000, 1, 0666);
if(id < 0) { /* Se il semaforo non esiste */
fprintf(stderr, "Non trovo il semaforo, esco.\n");
exit(0);
}

while(1) {

retval = semop(id, operations, 1);

if(retval == 0) {
printf("Processo figlio con id %d ha consumato una risorsa\n", getpid());
}
else {
printf("Processo figlio con id %d non ha ottenuto una risorsa\n", getpid());
}
sleep(1);
}
exit (0);
}
else {
struct sembuf operations[1];
int retval; /* Valore di ritorno di semop() */
operations[0].sem_num = 0;
operations[0].sem_op = 1;
operations[0].sem_flg = 0;

while(n != 10) {
sleep(3);
retval = semop(id, operations, 1);

if(retval == 0) {
printf("E' stato incrementato il semaforo.\n");
}
else {
printf("Non si e' riuscito ad incrementare il semaforo.\n");
perror("REASON");
}
n++;
}
kill(pid,SIGKILL);
}

return 0;
}


Il problema è che l'output e' di questo tipo:

E' stato incrementato il semaforo.
Processo figlio con id 2613 ha consumato una risorsa
E' stato incrementato il semaforo.
Processo figlio con id 2613 ha consumato una risorsa

E cosi via, secondo voi dove e' il problema?Puo' darsi che sia un "problema" di scheduler?

Grazie

[andrea]

nessuno qualche ideina?

[ilsensine]

Il comportamento è in linea con il codice che hai scritto.
Un decremento tramite semop blocca se il semaforo non è >0. Se vuoi un comportamento non bloccante, metti IPC_NOWAIT nel sem_flg del child.

[andrea]

E il bello che c'era anche scritto sul man, che pirla che sono :D
Ti ringrazio.