实验三 同步问题
16281141
1. 实验目的
系统调用的进一步理解。
进程上下文切换。
同步的方法。
2 实验题目
1)通过fork的方式,产生4个进程P1,P2,P3,P4,每个进程打印输出自己的名字,例如P1输出“I am the process P1”。要求P1最先执行,P2、P3互斥执行,P4最后执行。通过多次测试验证实现是否正确。
在主函数中,使用5个信号量控制整个进程,其中2个信号量在1执行完之后被同时设置为1从而实现P1在P2和P3之前,1个信号量被用作P2和P3的互斥,另外2个信号量分别在P2和P3执行完之后被设置为1,从而实现P4在所有进程之后。实验结果与源代码如下。可以看出原来不同步的顺序为2143,经过同步的进程为1234或1324
实现代码:
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <sys/ipc.h>
#include <sys/types.h>
#include <sys/sem.h>
union semun
{
int val;
struct semid_ds *buf;
unsigned short *arry;
};
void set_value_of_sem(int sem_id, int sem_num, int val) {
union semun sem_union;
sem_union.val = val;
if (semctl(sem_id, sem_num, SETVAL, sem_union) == -1)
{
printf("%d %s\n", sem_id, “error - set value of semaphore”);
exit(1);
}
}
void set_values_of_sem(int sem_id, unsigned short *arry) {
union semun sem_union;
sem_union.arry = arry;
if (semctl(sem_id, sizeof(arry) - 1, SETALL, sem_union) == -1)
{
printf("%d %s\n", sem_id, “error - set values of semaphore”);
exit(1);
}
}
void delete_sem(int sem_id) {
union semun sem_union;
if (semctl(sem_id, 0, IPC_RMID, sem_union) == -1)
{
printf("%s\n", “error - delete semaphore”);
exit(1);
}
}
void signal(int sem_id, int sem_num) {
struct sembuf sem_buff;
sem_buff.sem_num = sem_num;
sem_buff.sem_op = 1;
sem_buff.sem_flg = 0;
if (semop(sem_id, &sem_buff, 1) == -1)
{
printf("%d %s\n", sem_id, "error - signal");
exit(1);
}
}
void wait(int sem_id, int sem_num) {
struct sembuf sem_buff;
sem_buff.sem_num = sem_num;
sem_buff.sem_op = -1;
sem_buff.sem_flg = 0;
if (semop(sem_id, &sem_buff, 1) == -1)
{
printf("%d %s\n", sem_id, "error - wait");
exit(1);
}
}
int main(int argc, char const *argv[])
{
pid_t pid1, pid2, pid3;
int sem_id1, sem_id2, sem_id3;
sem_id1 = semget(1000, 2, 0666 | IPC_CREAT);
sem_id2 = semget(1001, 1, 0666 | IPC_CREAT);
sem_id3 = semget(1002, 2, 0666 | IPC_CREAT);
// printf("%d %d %d\n", sem_id1, sem_id2, sem_id3);
unsigned short init_arry[2] = {0, 0};
set_values_of_sem(sem_id1, init_arry);
set_value_of_sem(sem_id2, 0, 1);
set_values_of_sem(sem_id3, init_arry);
while ((pid1 = fork()) == -1);
if (pid1 > 0)
{
while ((pid2 = fork()) == -1);
if (pid2 > 0)
{
wait(sem_id1, 0);
wait(sem_id2, 0);
//printf("p2 pid: %d ppid: %d\n", getpid(), getppid() );
printf("I am the process P4\n");
signal(sem_id2, 0);
signal(sem_id3, 0);
exit(0);
}
else
{
wait(sem_id3, 0);
wait(sem_id3, 1);
printf("p4 pid: %d ppid: %d\n", getpid(), getppid() );
printf("I am the process P1\n");
delete_sem(sem_id1);
delete_sem(sem_id2);
delete_sem(sem_id3);
exit(0);
}
}
if (pid1 == 0)
{
while ((pid3 = fork()) == -1);
if (pid3 > 0)
{
//printf("p1 pid: %d ppid: %d\n", getpid(), getppid() );
printf("I am the process P3\n");
unsigned short arry[2] = {1, 1};
set_values_of_sem(sem_id1, arry);
exit(0);
}
else
{
wait(sem_id1, 1);
wait(sem_id2, 0);
//printf("p3 pid: %d ppid: %d\n", getpid(), getppid() );
printf("I am the process P2\n");
signal(sem_id2, 0);
signal(sem_id3, 1);
exit(0);
}
}
return 0;
}
set_value_of_sem对单信号量赋值,set_values_of_sem可以同时对多个信号量赋值,signal和wait函数与信号量同步函数含义一致。
** 2)火车票余票数ticketCount 初始值为1000,有一个售票线程,一个退票线程,各循环执行多次。添加同步机制,使得结果始终正确。要求多次测试添加同步机制前后的实验效果。