VxWorks下多任务程序设计.pdfVIP

摘 要 通过一个经典的多任务同步哲学家进餐问题。介绍了Vxworks下的多任务程序 设计和任务间通信机制，并给出了运行的结果。 关键词Vxworks，多任务，任务间通信 一个经典的多任务同步问题。有5个哲学家，它们共用一 每个任务的源代码相同。在初始化的时候，每个哲学家被 张圆桌，食物摆在桌子中间，桌子上总共有5把叉子，每个哲 学家的左边和右边各有一把叉子。吃饭时，哲学家需要同时取 为了防止死锁，哲学家拿叉子的时候，并不一定总是先拿左手 用其左边和右边最靠近自己的叉子，所以哲学家必须和他左边 的叉子，采用随机函数决定先拿哪只叉子。 和右边的哲学家共享叉子。要求，假定哲学家每次吃饭的时间 哲学家在拿第一个叉子的时候，由于没有取得其他的竞争 长度为单位1，吃完一次后则放下两把叉子。如果等待lo个 资源，所有可以停等在信号量上。但是一旦取得第一个叉子， 单位时间长度之后，哲学家仍没有得到叉子吃饭，则被饿死。 那么，在拿第二个叉子的时候，如果发现第二个叉子已经被别 设计一种方法使得任何一个哲学家都不被饿死。 人占用，那么立即释放第一个叉子。 需要考虑的问题：死锁。当每个哲学家同时拿到左手的叉 子时，同时，每个人又在等待右手的叉子。7然而，没有哲学家 录各个哲学家的吃饭情况。每个哲学家一旦同时取得左右2个 会放下手中的叉子，所以永远没有人能够开始吃饭。这种情况 就会产生死锁并导致永远循环等待。 则把对应哲学家的等待时间置0；而每个单位时问一到， 一、需求分析 家等待的时间加1。只要有一个哲学家的等待时间超过10，那 哲学家的晚餐问题的需求如下：每个哲学家自创建起以 么，该哲学家就被饿死，整个游戏结束。 50％的机率随机决定左手拿叉子还是右手拿叉子，一直等待到 三、任务划分 拿到叉子为止。 每个哲学家一只手拿到叉子后，另一只手拿叉子，拿不到 为了实现上述思想，整个代码分以下几个任务 放弃已经拿到的叉子，重新开始以50％的机率随机决定左手 (1)启动任务。 拿叉子还是右手拿叉子。 (2)哲学家任务。 每个哲学家两只手都拿到叉子后吃饭，延时一个时间单位 (3)计时任务。 5秒，放下手里的两把叉子。 除此之外，定义了一些全局变量，来记录一些全局的信 记录每个哲学家的等待时间，吃到饭哲学家的计数器归 息。 零，重新计时，如果哲学家等待10个单位50秒后，哲学家 被饿死，游戏结束。 以信号量数组的长度是5。 二、设计方案 (3)每个哲学家等待时间的计数器：int 使用5个任务实现5个哲学家。5个二进制信号量当作5 【5]。 inttotal一 个叉子。哲学家拿叉子的动作可以抽象为task取得信号量的动 (4)记录整个游戏时问长度的计数器：uns培ned 作。 Tjme 2006．9 万方数据 (5)消息队列类型的变量msgQueID。 If(NULL==semFork【il) ( 定义了一个消息结构体stMsg，见下表。 pr|n_t_