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

@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;
    }
}

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

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .