1、哲学家问题ucosii大连理工大学实验报告学院(系): 软件学院 专业: 软件工程(日语强化) 班级:实验3:uCOS-II哲学家就餐问题1、实验目的和要求Uc/Os哲学家问题(信号量哲学家就餐)目的:用ucos-ii解决哲学家就餐问题要求:试利用uc/os提供的任务和信号量机制,设计一个简单的应用程序,实现哲学家就餐问题的解决。2、实验原理和内容内容:实现每个哲学家获得自己身边的两支筷子(即每个任务同时获得两个相邻的信号量)原理:操作系统任务调度的机制,操作系统任务间通讯的机制,uC/OS-II操作系统下多任务应用程序的编写。3、主要仪器设备装有Win7或WinXP的PC机S3c2440的实
2、验板4、实验步骤与操作方法#include config.h/=#include app_cfg.h#include Printf.h/=OS_STK MainTaskStkMainTaskStkLengh;OS_STK Task0Stk Task0StkLengh; / Define the Task0 stack OS_STK Task1Stk Task1StkLengh; / Define the Task1 stack OS_STK Task2Stk Task1StkLengh;OS_STK Task3Stk Task1StkLengh;OS_STK Task4Stk Task1Stk
3、Lengh;/OS_STK Task2Stk Task2StkLengh; / Define the Task1 stack INT8U time = 0;OS_EVENT *Sem1;OS_EVENT *Sem2;OS_EVENT *Sem3;OS_EVENT *Sem4;OS_EVENT *Sem5;INT8U count = 0; /货物数量/OS_EVENT *Sem2 = OSSemCreate(1); /空闲位置INT8U *err;int Main(int argc, char *argv) /初始化目标板 TargetInit(); /初始化uC/OS OSInit (); /
4、初始化系统时基 OSTimeSet(0); Sem1 = OSSemCreate(1); Sem2 = OSSemCreate(1); Sem3 = OSSemCreate(1); Sem4 = OSSemCreate(1); Sem5 = OSSemCreate(1); /创建系统初始任务 OSTaskCreate (MainTask,(void *)0, &MainTaskStkMainTaskStkLengh - 1, 0); OSStart ();void MainTask(void *pdata) /Main Task create taks0 and task1 #if OS_CR
5、ITICAL_METHOD = 3 /* Allocate storage for CPU status register */ OS_CPU_SR cpu_sr; #endif OS_ENTER_CRITICAL(); Timer0Init();/initial timer0 for ucos time tick ISRInit(); /initial interrupt prio or enable or disable /GUI_Init(); OS_EXIT_CRITICAL(); OSPrintfInit();/use task to print massage to Uart OS
6、StatInit(); OSTaskCreate (Task0,(void *)0, &Task0StkTask0StkLengh - 1, 2); OSTaskCreate (Task1,(void *)0, &Task1StkTask1StkLengh - 1, 3); OSTaskCreate (Task2,(void *)0, &Task2StkTask1StkLengh - 1, 4); OSTaskCreate (Task3,(void *)0, &Task3StkTask1StkLengh - 1, 5); OSTaskCreate (Task4,(void *)0, &Task
7、4StkTask1StkLengh - 1, 6); /OSTaskCreate (Task2,(void *)0, &Task2StkTask2StkLengh - 1, 4); OSTaskDel(OS_PRIO_SELF);void Task0 (void *pdata)/Init lwip and create task2 #if OS_CRITICAL_METHOD = 3 /* Allocate storage for CPU status register */ OS_CPU_SR cpu_sr; #endifOSPrintf(aaTask0 Calledn);while(1)O
8、SSchedLock();count+;if(count != 5) OSSemPend(Sem1,50000,err); OSSemPend(Sem5,50000,err); OSPrintf(哲学家使用筷子1和5nn); OSTimeDlyHMSM(0, 0, 1, 0); OSSemPost(Sem1); OSSemPost(Sem5);count-;OSSchedUnlock();OSTimeDlyHMSM(0, 0, 3, 0); void Task1 (void *pdata)/Init lwip and create task2 #if OS_CRITICAL_METHOD =
9、3 /* Allocate storage for CPU status register */ OS_CPU_SR cpu_sr; #endif/OSPrintf(aaTask0 Calledn);while(1)OSSchedLock();count+;if(count != 5) OSSemPend(Sem2,50000,err); OSSemPend(Sem1,50000,err); OSPrintf(哲学家使用筷子2和1nn); OSTimeDlyHMSM(0, 0, 1, 0); OSSemPost(Sem2); OSSemPost(Sem1);count-;OSSchedUnlo
10、ck();OSTimeDlyHMSM(0, 0, 2, 0); void Task2 (void *pdata)/Init lwip and create task2 #if OS_CRITICAL_METHOD = 3 /* Allocate storage for CPU status register */ OS_CPU_SR cpu_sr; #endif/OSPrintf(aaTask0 Calledn);while(1)OSSchedLock();count+;if(count != 5) OSSemPend(Sem3,50000,err); OSSemPend(Sem2,50000
11、,err); OSPrintf(哲学家使用筷子3和2nn); OSTimeDlyHMSM(0, 0, 1, 0); OSSemPost(Sem2); OSSemPost(Sem3);count-;OSSchedUnlock();OSTimeDlyHMSM(0, 0, 1, 0); / Task2void Task3 (void *pdata)/Init lwip and create task2 #if OS_CRITICAL_METHOD = 3 /* Allocate storage for CPU status register */ OS_CPU_SR cpu_sr; #endif/O
12、SPrintf(aaTask0 Calledn);while(1)OSSchedLock();count+;if(count != 5) OSSemPend(Sem4,50000,err); OSSemPend(Sem3,50000,err); OSPrintf(哲学家使用筷子4和3nn); OSTimeDlyHMSM(0, 0, 2, 0); OSSemPost(Sem3); OSSemPost(Sem4);count-;OSSchedUnlock();OSTimeDlyHMSM(0, 0, 2, 0); void Task4 (void *pdata)/Init lwip and crea
13、te task2 #if OS_CRITICAL_METHOD = 3 /* Allocate storage for CPU status register */ OS_CPU_SR cpu_sr; #endif/OSPrintf(aaTask0 Calledn);while(1)OSSchedLock();count+;if(count != 5) OSSemPend(Sem5,50000,err); OSSemPend(Sem4,50000,err); OSPrintf(哲学家使用筷子5和4nn); OSTimeDlyHMSM(0, 0, 2, 0); OSSemPost(Sem4); OSSemPost(Sem5);count-;OSSchedUnlock();OSTimeDlyHMSM(0, 0, 2, 0); 实验结果展示:6、实验结果与分析实验结果如上,与预期结果吻合。7、讨论、建议、质疑
copyright@ 2008-2022 冰豆网网站版权所有
经营许可证编号:鄂ICP备2022015515号-1