Работа с семафорами

@sky_diver89 · Регистрация: 04.11.2014

Студворк — интернет-сервис помощи студентам

Здравствуйте, я написал код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
#include <sys/sem.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <sys/time.h>
#include <fcntl.h>
#include <stdio.h>
#include <signal.h>
#include <stdlib.h>
#include <string.h>
 
#define LEN 30
char str[LEN];
int flag = 1, semaforID;
FILE *f;
pid_t xx, dd1, dd2;
union semun {
    int val;
    struct semid_ds *buf;
    unsigned short *array;
} sem_arg;
void Proc0(void);
void Proc1(void);
void Proc2(void);
struct sembuf sem_stop = {1,-1,IPC_NOWAIT};
struct sembuf sem_go1[2] = {0,-1,IPC_NOWAIT,1,1,IPC_NOWAIT};
struct sembuf sem_go2[2] = {0,1,IPC_NOWAIT,1,-1,IPC_NOWAIT};
struct sembuf sem_wait[2] = {0,0,0,1,0,0};
struct sembuf sem_read = {2,0,0};
struct sembuf sem_lock = {2,1,IPC_NOWAIT};
struct sembuf sem_unlock = {2,-1,IPC_NOWAIT};
struct timeval tm;
 
static void handler(int signo) {
    if(signo == SIGUSR1)
        puts("Принят SIGUSR1 от завершившегося дочернего процесса.");
    else if(signo == SIGUSR2) flag = 0;
}
 
int main(int argc, char *argv[]) {
    key_t key;
    
    if(signal(SIGUSR1,handler) == SIG_ERR) {
        perror("Невозможно обработать SIGUSR1.");
        exit(EXIT_FAILURE);
    }
    if(signal(SIGUSR2,handler) == SIG_ERR) {
        perror("Невозможно обработать SIGUSR2.");
        exit(EXIT_FAILURE);
    }
    if((f = fopen("kr2.txt","w+t")) == NULL) {
        printf("Невозможно создать файл.");
        exit(EXIT_FAILURE);
    }
    if((key = ftok("kr2.txt",1)) < 0) {
        perror("Невозможно сгенерировать ключ key.");
        exit(EXIT_FAILURE);
    }
    if((semaforID = semget(key,4,0666|IPC_CREAT)) < 0) {
        perror("Невозможно создать семафор.");
        exit(EXIT_FAILURE);
    }
    sem_arg.val = 0;
    if(semctl(semaforID,0,SETVAL,sem_arg) == -1) {
        perror("Ошибка инициализации семафора 1.");
        exit(EXIT_FAILURE);
    }
    sem_arg.val = 1;
    if(semctl(semaforID,1,SETVAL,sem_arg) == -1) {
        perror("Ошибка инициализации семафора 2.");
        exit(EXIT_FAILURE);
    }
    /*sem_arg.val = 0;
    if(semctl(semaforID,2,SETVAL,sem_arg) == -1) {
        perror("Ошибка инициализации семафора 3.");
        exit(EXIT_FAILURE);
    }*/
    sem_arg.val = 0;
    if(semctl(semaforID,3,SETVAL,sem_arg) == -1) {
        perror("Ошибка инициализации семафора 4.");
        exit(EXIT_FAILURE);
    }
    if(xx = fork()) {
        dd1 = xx;
        if(xx = fork()) {
            dd2 = xx;
            Proc0();
        }
        else Proc2();
    }
    else Proc1();
    fclose(f);
    return(0);
}
 
void Proc0() {
    printf("parent #%d",getpid());
    while(getpgid(dd1) != getpgid(dd2));
    kill(-dd1,SIGUSR2);
}
 
void Proc1() {
    int i = 0, n;
    setpgid(getpid(),getpid());
    while(flag);
    printf("proc1 = %d",getpid());
    if((semop(semaforID,&sem_read,1)==0)&&(semop(semaforID,&sem_wait[0],1)==0)) {
        while(i < 1100) {
            i = semctl(semaforID,3,GETVAL);
            if(i == 1100) break;
            for(n = 0; n < 3; n++) {
                gettimeofday(&tm,NULL);
                sprintf(str,"%4d #%d :%d\n",i+n+1,getpid(),tm.tv_usec);
                fputs(str,f);
                strcpy(str,"");
            }
            i+=n;
            i++;
            sem_arg.val = i;
            semctl(semaforID,3,SETVAL,sem_arg);
            semop(semaforID,sem_go2,2);
        }
    }
}
 
void Proc2() {
    int i = 0, n;
    while(getpgid(dd2) != dd1)
    setpgid(dd2,dd1);
    while(flag);
    printf("proc2 = %d",getpid());
    if((semop(semaforID,&sem_read,1)==0)&&(semop(semaforID,&sem_wait[1],1)==0)) {
        while(i < 1100) {
            i = semctl(semaforID,3,GETVAL);
            if(i == 1100) break;
            for(n = 0; n < 3; n++) {
                gettimeofday(&tm,NULL);
                sprintf(str,"%4d #%d :%d\n",i+n+1,getpid(),tm.tv_usec);
                fputs(str,f);
                strcpy(str,"");
            }
            i+=n;
            i++;
            sem_arg.val = i;
            semctl(semaforID,3,SETVAL,sem_arg);
            semop(semaforID,sem_go1,2);
        }
    }
}

С первым дочерним процессом у меня связывается семафор с номером 0, которому устанавливается значение 0, со вторым дочерним процессом связывается семафор 1, которому устанавливается значение 1. В результате чего при выполнении кода дочерние процессы void Proc1() и void Proc2() не выводят по 3 строки, как и было задумано. Знает ли кто-нибудь в чем проблема? Скорее всего в управлении semop(semaforID,sem_go2,2) и semop(semaforID,sem_go1,2). Спасибо.

@sky_diver89 · 01.12.2015, 12:46 **[ТС]**

Я изменил немного код, как посоветовал преподаватель. Теперь основная проблема заключается в том, что в файл выводится 2200 строк, а должно выводится 1100, я думаю, что не работает счетчик, реализованный с помощью указателя.
Код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
#include <sys/sem.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <sys/time.h>
#include <fcntl.h>
#include <stdio.h>
#include <signal.h>
#include <stdlib.h>
#include <string.h>
#include <sys/shm.h>
 
#define LEN 30
char str[LEN];
int flag = 1, semaforID, segmentID, *pointer;
FILE *f;
pid_t dd1, dd2;
union semun {
    int val;
    struct semid_ds *buf;
    unsigned short *array;
} sem_arg;
void Proc0(void);
void Proc1(void);
void Proc2(void);
struct sembuf sem_unset = {0,-1,SEM_UNDO};
struct sembuf sem_set = {0,1,SEM_UNDO};
struct timeval tm;
struct shmid_ds ds;
 
static void handler(int signo) {
    if(signo == SIGUSR1)
        puts("Принят SIGUSR1 от завершившегося дочернего процесса.");
    else if(signo == SIGUSR2) flag = 0;
}
 
int main(int argc, char *argv[]) {
    key_t key;
    
    if(signal(SIGUSR1,handler) == SIG_ERR) {
        perror("Невозможно обработать SIGUSR1.");
        exit(EXIT_FAILURE);
    }
    if(signal(SIGUSR2,handler) == SIG_ERR) {
        perror("Невозможно обработать SIGUSR2.");
        exit(EXIT_FAILURE);
    }
    if((f = fopen("kr2.txt","w+t")) == NULL) {
        printf("Невозможно создать файл.");
        exit(EXIT_FAILURE);
    }
    if((segmentID = shmget(IPC_PRIVATE,sizeof(int),0666|IPC_CREAT|IPC|EXCL)) == -1) {
        perror("Невозможно выделить сегмент в памяти.");
        exit(EXIT_FAILURE);
    }
    if((key = ftok("kr2.txt",1)) < 0) {
        perror("Невозможно сгенерировать ключ key.");
        exit(EXIT_FAILURE);
    }
    if((semaforID = semget(key,1,0666|IPC_CREAT)) < 0) {
        perror("Невозможно создать семафор.");
        exit(EXIT_FAILURE);
    }
    sem_arg.val = 1;
    if(semctl(semaforID,0,SETVAL,sem_arg) == -1) {
        perror("Ошибка инициализации семафора 1.");
        exit(EXIT_FAILURE);
    }
    pointer = (int*) shmat(segmentID,NULL,0);
    shmctl(segmentID,IPC_STAT,&ds);
    *pointer = 1;
    /*strcpy(str,"String\n");
    fputs(str,f);
    strcpy(str,"");
    strcpy(str,"Str\n");
    fputs(str,f);
    strcpy(str,"");
    fseek(f,0,SEEK_SET);
    fgets(str,20,f);
    printf(str);
    strcpy(str,"");
    fgets(str,20,f);
    printf(str);*/
    
    if(dd1 = fork()) {
        if(dd2 = fork())
            Proc0();
        else Proc2();
    }
    else Proc1();
    fclose(f);
    return(0);
}
 
void Proc0() {
    printf("parent #%d",getpid());
    while(getpgid(dd1) != getpgid(dd2));
    kill(-dd1,SIGUSR2);
}
 
void Proc1() {
    int n, k;
    setpgid(getpid(),getpid());
    while(flag);
    printf("proc1 = %d",getpid());
    while(1) {
        semop(semaforID,&sem_unset,1);
        k = *pointer;
        for(n = 0; n < 3; n++) {
            if(k >= 1100) break;
            gettimeofday(&tm,NULL);
            sprintf(str,"%4d #%d :%d\n",k,getpid(),(int) tm.tv_usec);
            fputs(str,f);
            strcpy(str,"");
            k++;
        }
        *pointer = k;
        semop(semaforID,&sem_set,1);
        if(k >= 1100) break;
    }
}
 
void Proc2() {
    int n, k;
    while(getpgid(dd2) != dd1)
    setpgid(dd2,dd1);
    while(flag);
    printf("proc2 = %d",getpid());
    while(1) {
        semop(semaforID,&sem_unset,1);
        k = *pointer;
        for(n = 0; n < 3; n++) {
            if(k >= 1100) break;
            gettimeofday(&tm,NULL);
            sprintf(str,"%4d #%d :%d\n",k,getpid(),(int) tm.tv_usec);
            fputs(str,f);
            strcpy(str,"");
            k++;
        }
        *pointer = k;
        semop(semaforID,&sem_set,1);
        if(k >= 1100) break;
    }
}

Подскажите в чем проблема?

Новые блоги и статьи Все статьи Все блоги /
Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .
Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .