操作系统 哲学家进餐问题

2024-01-20 12:58

本文主要是介绍操作系统 哲学家进餐问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

#include <windows.h> 
#include <process.h> 
#include <time.h> 
#include <stdlib.h> 
#include <stdio.h> 
#include <iostream> 
using namespace std; //命名空间std内定义的所有标识符都有效 
const unsigned int PHILOSOPHER_NUM=5; //哲学家数目 
const char THINKING=1; /*标记当前哲学家的状态,1表示等待,2表示得到饥饿,3表示正在吃饭*/ 
const char HUNGRY=2; 
const char DINING=3; 
HANDLE hPhilosopher[5]; //定义数组存放哲学家 
/*HANDLE(句柄)是windows操作系统中的一个概念。指的是一个核心对象在某一个进程中的唯一索引*/ 
HANDLE semaphore[PHILOSOPHER_NUM]; // semaphore 用来表示筷子是否可用 
HANDLE mutex; // Mutex用来控制安全输出 
DWORD WINAPI philosopherProc( LPVOID lpParameter) //返回 DWORD(32位数据)的 API 函数philosopherProc 
{ 
int myid; 
char idStr[128]; 
char stateStr[128]; 
char mystate; 
int ret; 
unsigned int leftFork; //左筷子 
unsigned int rightFork; //右筷子 
myid = int(lpParameter); 
itoa(myid, idStr, 10); 
WaitForSingleObject(mutex, INFINITE); 
cout << "philosopher " << myid << " begin......" << endl; 
ReleaseMutex(mutex); 
mystate = THINKING; //初始状态为THINKING 
leftFork = (myid) % PHILOSOPHER_NUM; 
rightFork = (myid + 1) % PHILOSOPHER_NUM; 
while (true) 
{ 
switch(mystate) 
{ 
case THINKING: 
mystate = HUNGRY; // 改变状态 
strcpy(stateStr, "HUNGRY"); 
break; 
case HUNGRY: 
strcpy(stateStr, "HUNGRY"); 
ret = WaitForSingleObject(semaphore[leftFork], 0); // 先检查左筷子是否可用 
if (ret == WAIT_OBJECT_0) //表示等待的对象(比如线程、互斥体)已的正常执行完成或完成释放。{ 
ret = WaitForSingleObject(semaphore[rightFork], 0); //左筷子可用就拿起,再检查右筷子是否可用 
if (ret == WAIT_OBJECT_0) 
{ 
mystate = DINING; // 右筷子可用,就改变自己的状态 
strcpy(stateStr, "DINING"); 
} 
else 
{ 
ReleaseSemaphore(semaphore[leftFork], 1, NULL); // 如果右筷子不可用,就把左筷子放下 
} 
} 
break; 
case DINING: 
// 吃完后把两支筷子都放下 
ReleaseSemaphore(semaphore[leftFork], 1, NULL); 
ReleaseSemaphore(semaphore[rightFork], 1, NULL); 
mystate = THINKING; // 改变自己的状态 
strcpy(stateStr, "THINKING"); 
break; 
} 
// 输出状态 
WaitForSingleObject(mutex, INFINITE); 
cout << "philosopher " << myid << " is : " << stateStr << endl; 
ReleaseMutex(mutex); 
// sleep a random time : between 1 - 5 s 
int sleepTime; 
sleepTime = 1 + (int)(5.0*rand()/(RAND_MAX+1.0)); 
Sleep(sleepTime*10); 
} 
} 
int main() 
{ 
int i; 
srand(time(0)); 
mutex = CreateMutex(NULL, false, NULL); 
for (i=0; i<PHILOSOPHER_NUM; i++) 
{ 
semaphore[i] = CreateSemaphore(NULL, 1, 1, NULL); 
hPhilosopher[i]=CreateThread(NULL,0,philosopherProc,LPVOID(i), CREATE_SUSPENDED,0); 
} 
for (i=0; i<PHILOSOPHER_NUM; i++) 
ResumeThread(hPhilosopher[i]); 
Sleep(2000); 
return 0; 
} 

这篇关于操作系统 哲学家进餐问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/626080

相关文章

解决pandas无法读取csv文件数据的问题

《解决pandas无法读取csv文件数据的问题》本文讲述作者用Pandas读取CSV文件时因参数设置不当导致数据错位,通过调整delimiter和on_bad_lines参数最终解决问题,并强调正确参... 目录一、前言二、问题复现1. 问题2. 通过 on_bad_lines=‘warn’ 跳过异常数据3

解决RocketMQ的幂等性问题

《解决RocketMQ的幂等性问题》重复消费因调用链路长、消息发送超时或消费者故障导致,通过生产者消息查询、Redis缓存及消费者唯一主键可以确保幂等性,避免重复处理,本文主要介绍了解决RocketM... 目录造成重复消费的原因解决方法生产者端消费者端代码实现造成重复消费的原因当系统的调用链路比较长的时

深度解析Nginx日志分析与499状态码问题解决

《深度解析Nginx日志分析与499状态码问题解决》在Web服务器运维和性能优化过程中,Nginx日志是排查问题的重要依据,本文将围绕Nginx日志分析、499状态码的成因、排查方法及解决方案展开讨论... 目录前言1. Nginx日志基础1.1 Nginx日志存放位置1.2 Nginx日志格式2. 499

kkFileView启动报错:报错2003端口占用的问题及解决

《kkFileView启动报错:报错2003端口占用的问题及解决》kkFileView启动报错因office组件2003端口未关闭,解决:查杀占用端口的进程,终止Java进程,使用shutdown.s... 目录原因解决总结kkFileViewjavascript启动报错启动office组件失败,请检查of

SpringBoot 异常处理/自定义格式校验的问题实例详解

《SpringBoot异常处理/自定义格式校验的问题实例详解》文章探讨SpringBoot中自定义注解校验问题,区分参数级与类级约束触发的异常类型,建议通过@RestControllerAdvice... 目录1. 问题简要描述2. 异常触发1) 参数级别约束2) 类级别约束3. 异常处理1) 字段级别约束

Python错误AttributeError: 'NoneType' object has no attribute问题的彻底解决方法

《Python错误AttributeError:NoneTypeobjecthasnoattribute问题的彻底解决方法》在Python项目开发和调试过程中,经常会碰到这样一个异常信息... 目录问题背景与概述错误解读:AttributeError: 'NoneType' object has no at

Spring的RedisTemplate的json反序列泛型丢失问题解决

《Spring的RedisTemplate的json反序列泛型丢失问题解决》本文主要介绍了SpringRedisTemplate中使用JSON序列化时泛型信息丢失的问题及其提出三种解决方案,可以根据性... 目录背景解决方案方案一方案二方案三总结背景在使用RedisTemplate操作redis时我们针对

Kotlin Map映射转换问题小结

《KotlinMap映射转换问题小结》文章介绍了Kotlin集合转换的多种方法,包括map(一对一转换)、mapIndexed(带索引)、mapNotNull(过滤null)、mapKeys/map... 目录Kotlin 集合转换:map、mapIndexed、mapNotNull、mapKeys、map

nginx中端口无权限的问题解决

《nginx中端口无权限的问题解决》当Nginx日志报错bind()to80failed(13:Permissiondenied)时,这通常是由于权限不足导致Nginx无法绑定到80端口,下面就来... 目录一、问题原因分析二、解决方案1. 以 root 权限运行 Nginx(不推荐)2. 为 Nginx

解决1093 - You can‘t specify target table报错问题及原因分析

《解决1093-Youcan‘tspecifytargettable报错问题及原因分析》MySQL1093错误因UPDATE/DELETE语句的FROM子句直接引用目标表或嵌套子查询导致,... 目录报js错原因分析具体原因解决办法方法一:使用临时表方法二:使用JOIN方法三:使用EXISTS示例总结报错原