Question

我正在为uni工作，我在共享内存中定义全局变量Bank时遇到问题，因此我的进程有一个共享地址。我们正在探索竞争条件，我应该让两个进程调用MakeTransactions（）然后使用信号量来消除竞争条件。目前，我一直遇到关于共享内存的不同类型（int vs struct）的错误。有人可以解释一下最好的方法是什么？任何的意见都将会有帮助。谢谢！

    #include <unistd.h> 
    #include <stdio.h> 
    #include <stdlib.h>  
    #include <sys/mman.h>
    #include <sys/types.h>
    #include <sys/wait.h>

    struct Bank {
        int balance[2];
    };

    struct Bank = *bank;

    // routine for thread execution
    void* MakeTransactions() { 
        int i, j, tmp1, tmp2, rint;
        double dummy;

        for (i=0; i < 100; i++) {  
            rint = (rand()%30)-15; 
            if (((tmp1=bank->balance[0])+rint) >=0 &&
                    ((tmp2=bank->balance[1])-rint)>=0) { 
                bank->balance[0] = tmp1 + rint; 
                for (j=0; j < rint*100; j++) {
                    dummy=2.345*8.765/1.234; // spend time on purpose
                }
                bank->balance[1] = tmp2 - rint; 
            }  
        } 
        return NULL; 
    } 

    int main(int argc, char **argv) { 

        int i;
        void* voidptr = NULL;

            bank = mmap(NULL, sizeof(struct Bank), PROT_READ | PROT_WRITE, MAP_SHARED | MAP_ANONYMOUS, -1, 0);
            //check if bank is not NULL
            bank->balance[0] = 100;
            bank->balance[1] = 100;

        pid_t pid;
        srand(getpid()); 

        printf("\nInit balances A:%d + B:%d ==> %d!", 
                bank->balance[0],bank->balance[1],bank->balance[0]+bank->balance[1]); 

        pid=fork();
        if (pid < 0) {
            fprintf(stderr, "Fork failed");
            return 1;
        }
        if (pid == 0) {
            printf("\nChild computing ...");
            MakeTransactions();
            printf("\nChild process complete");
            printf("\nLet's check the balances A:%d + B:%d ==> %d ?= 200",
            bank->balance[0],bank->balance[1],bank->balance[0]+bank->balance[1]);
            return 0;
        }
        else {
            printf("\nParent computing...\n");
            MakeTransactions();
            wait(NULL);
            printf("\nParent process complete\n");
            printf("Let's check the balances A:%d + B:%d ==> %d ?= 200\n\n",
                    bank->balance[0],bank->balance[1],bank->balance[0]+bank->balance[1]);
            return 0;
        }
        return 0; 
    }

Answer 1

我首先会对您的代码进行一些重构，因此很明显为什么评论中的mmap无法正常工作。

使您的结构声明不是匿名的：

struct Bank {
   int balance[2];
};

你的全球：struct Bank bank = {{100,100}};。现在，这个bank变量在堆栈上，这将更难切换到mmap。介绍间接：

struct Bank bankGlobal = {{100, 100}};
struct Bank *bank = &bankGlobal;
...
bank->balance[0] = tmp1 + rint;

现在，bank是指向struct Bank的指针，目前指向bankGlobal。您需要将所有bank.更改为bank->。使用此代码，您可以切换到mmap解决方案。

首先，您无法在全局空间中使用mmap初始化银行变量。它必须在功能上。其次，当你应该定位整个结构大小时，你试图获得指向Bank（sizeof *Bank）的指针的大小。

所以，改变一下：

-struct Bank bankGlobal = {{100, 100}};
-struct Bank *bank = &bankGlobal;
+struct Bank *bank;

并在主要功能中：

bank = mmap(NULL, sizeof(struct Bank), PROT_READ | PROT_WRITE, MAP_SHARED | MAP_ANONYMOUS, -1, 0);
//check if bank is not NULL
bank->balance[0] = 100;
bank->balance[1] = 100;

当你完成时，不要忘记发布电子邮件。

关于比赛，您可以将POSIX semaphore放入此Bank结构中，并使用sem_wait和sem_post保护此交易。

c中的共享内存变量

1 个答案: