0

これは本当に私を悩ませています、私は本当にこのコードに間違いを見ることができません..cout<<"Process: "<<i+1<<", K.O. num: "<<k<<" ("<<m<<"/5)"<<endl;他のプロセスに切り替えるよりも、1つのプロセスで5回実行し、それら2つを常に切り替える必要があります。このコードはほとんどランダムに実行され、1 つのプロセスがその業務を終了することはありません。

また、SIGINT を使用すると、共有メモリ セグメントが削除されません。

#include <signal.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/shm.h>
#include <stdlib.h>
#include <unistd.h>
#include <iostream>
using namespace std;

int Id; /* Segment Id */
int *TURN;
int *FLAG_I;
int *FLAG_J;

void get_out_of_critical(int i)
{
   if(i==0){
      *TURN=1;i=1;
      *FLAG_I=0;
   }
   else{
      *TURN=0;i=0;
      *FLAG_J=0;
   }

}

void get_in_critical(int i)
{
   if(i==0){
      *FLAG_I=1;
      while(*FLAG_J!=0){
           if(*TURN==1){
            *FLAG_I = 0;
            while(*TURN==1){}
         *FLAG_I=1;
         }
      }
   }
   else{
   *FLAG_J=1;
   while (*FLAG_I!=0){
         if(*TURN==0){
            *FLAG_J = 0;
            while(*TURN==0){}
         *FLAG_J=1;
         }
      }
   }

}

void process(int i)
{
   for(int k=1;k<=5;k++){
       get_in_critical(i);
       for(int m=1;m<=5;m++){
           cout<<"Process: "<<i+1<<", K.O. num: "<<k<<" ("<<m<<"/5)"<<endl;
                   //sleep(1);
      }
      get_out_of_critical(i);
   }
}


void del(int sig)
{
   /* free shared memory */
   (void) shmdt((char *) TURN);
   (void) shmdt((char *) FLAG_I);
   (void) shmdt((char *) FLAG_J);
   (void) shmctl(Id, IPC_RMID, NULL);
   exit(0);
}

int main()
{
   cout<<endl;
   /* allocating shared memory */
   Id = shmget(IPC_PRIVATE, sizeof(int)*100, 0600);

   if (Id == -1)
      exit(1);

   TURN = (int *) shmat(Id, NULL, 0);
   *TURN = 0;
   FLAG_I = (int*) shmat(Id, NULL, 0);
   FLAG_J = (int*) shmat(Id, NULL, 0);
   *FLAG_I = 0;
   *FLAG_J = 0;
   sigset(SIGINT, del);// in case of signal interrupt, delete shared memory

   /* starting paralel processes */
   if (fork() == 0) {
      process(0);
      exit(0);
   }
   if (fork() == 0) {
      process(1);
      exit(0);
   }
   wait();
   wait();
   del(0);

   return 0;
}
4

1 に答える 1

3

Dekker's Algorithmに関するウィキペディアの記事では、コードの何が問題なのかを説明しています。

[..] ただし、C/C++ の「volatile」属性は、コンパイラが適切な順序でコードを生成することのみを保証することに注意してください。そのコードの順序どおりの実行を保証するために必要なメモリバリアは含まれていません。C++11 アトミック変数を使用して、適切な順序要件を保証できます [..]

TURNしたがって、これを機能させるには、アトミック変数FLAG_Iとアトミック操作を使用する必要がありますFLAG_J。以下も参照してください。

于 2013-04-19T18:15:42.303 に答える