c - C 中的共享内存问题

Question

我对 C 中的共享内存有疑问。

我想我分配了这个共享内存变量，但我无法删除它，所以我无法在不重新启动计算机的情况下启动我的程序，因为我遇到了问题:这个共享内存已经存在。

此外，我不确定我的信号量是否正在使用。

我必须使用一个共享变量，一个 2 processus 应该递增它。

void prendre(int semid, int no){
    struct sembuf op[1];
    int er; 
    op[0].sem_num=no;
    op[0].sem_op=-1;
    op[0].sem_flg=0;
    er=semop(semid,op,1);
    if(er==-1) { perror("erreur semop prendre \n"); exit(1);}
}

void rendre(int semid, int no){
    struct sembuf op[1];
    int er; 
    op[0].sem_num=no;
    op[0].sem_op=1;
    op[0].sem_flg=0; 
    er=semop(semid,op,1);
    if(er==-1) { perror("erreur semop prendre \n"); exit(1);}
}

void init_semaphore(int semid){
    int er;
    union semun{
        int val;
        struct semid_ds *buf;
        ushort *array;
    }arg;
    arg.val=1;
    er = semctl(semid,0,SETVAL,arg);
    if(er == -1) {perror("erreur semctl\n");exit(1);}
}

void *runDuprocessus(int *pid, int *mem){
    int k=0;
    for (k=0;k<1e6;k++){
        *mem += 1;
    }
    printf("globale processus %d = %d\n",*pid, *mem);
    exit(1);
}

int creationSegment(int size, char *name, int cle){
    int shmid ; // l'identificateur de la memoire partagee 
    key_t clef ; // la clef associee au segment

    clef = ftok(name,(key_t) cle) ;
    shmid = shmget( clef, size, IPC_CREAT|IPC_EXCL|SHM_R|SHM_W ) ;
    if ( shmid== -1 ) {
        perror("Echec creation segment mémoire partagée!\n") ;
        exit(1) ;
    }
  return shmid ;
}

int main(void){
    int destru;
    pid_t pid; 
    int semid=0;
    int *mem;
    int shmid; // identifiant du segment de la mémoire partagé
    int flag = 0; // flag du segment 
    char *name = (char*) malloc(25*sizeof(char));
    int size = sizeof(int);
    key_t cle;
    int tmp=0;

// Création du segment de mémoire partagé
name = "creationSegmentParatage.c";
shmid = creationSegment(size,name,2);

// Création du sémaphore
cle = ftok("proccessus.c",0);
if(cle==(key_t) -1) {perror("erreur ftok\n");exit(1);}

semid=semget(cle,1,IPC_CREAT|0666);
if(semid == -1) {perror("erreur semget\n");exit(1);}

init_semaphore(semid); //Initialisation du semaphore
// Création du fork
pid = fork();
if(pid < 0){
    printf("Erreur fork creation !\n");
    exit(0);
}else if(pid == 0){
    //printf("Processus fils : \n");
    mem =shmat(shmid,0,flag);//Attachement segment mémoire
    if(mem == (int*)-1){
        perror("Probleme attachement segment mémoire\n");
        exit(1);
    }
    prendre(semid,0); //Prise semaphore
    runDuprocessus(&pid,mem);
    tmp = shmdt(mem);
    if(tmp ==-1){ //Détachement du segment mémoire
        perror("detachement impossible\n") ;
        exit(1) ;
    }   
    rendre(semid,0); //Libération semaphore
}
else {
    //printf("Processus père : \n");
    mem = shmat(shmid,0,flag); //Rattachement segment mémoire
    if(mem == (int*)-1){
        perror("Probleme attachement segment mémoire\n");
        exit(1);
    }
    prendre(semid,0);
    runDuprocessus(&pid,mem);
    tmp = shmdt(mem);
    if(tmp ==-1){ //Détachement du segment mémoire
        perror("detachement impossible\n") ;
        exit(1) ;
    }   
    rendre(semid,0);
}
wait(NULL); //Attente du fils
//Destruction du segment mémoire
destru = shmctl(shmid,IPC_RMID,NULL);
if (destru == -1){
    perror("Erreur lors de la destruction") ;
    exit(1) ;
}
//Destruction du semaphore
//sem_destroy(semid);
return 0;
}

感谢您以后的帮助!

Answer 1

I think I allocate this shared memory variable but i can not delete it and so i can't launch my programm without restarting my computer because i got the issue : this shared memory already exists.

你像这样获得共享内存段......

shmid = shmget( clef, size, IPC_CREAT|IPC_EXCL|SHM_R|SHM_W ) ;

国旗组合IPC_CREAT|IPC_EXCL坚持要重新创建共享内存段。如果指定键的段已经存在，则调用将失败并出现错误，这正是您所观察到的。共享内存段一直存在，直到它们被显式删除，并且您的程序可以通过多种方式退出而不删除该段。

主要有两个选项:

1. 如果程序可以接受在上一次运行期间创建的共享内存段 -- 或另一个同时发生的段 -- 那么您可以删除 IPC_EXCL来自 shmget() 的标志打电话。

2. 如果您确实需要确保为每次运行创建新的分段，则必须确保在不再需要时删除该分段。特别是，如果在程序退出时对段的需求结束，那么您应该确保一旦创建了段，程序就不会退出——至少不会正常退出——除非再次删除该段。

   <

还要注意，如果程序的每次运行都需要自己的共享内存段，那么您必须为不同的运行使用不同的键，或者接受一次只能运行一个程序实例，并且如果它异常退出然后你可能需要手动清理 - 使用 ipcrm ，例如。

如果您有关于信号量使用的具体问题，那么最好将这些问题作为一个单独的问题提出。