Xen下运行arinc653调度算法

最新推荐文章于 2024-05-10 08:11:22 发布

shenyu123

最新推荐文章于 2024-05-10 08:11:22 发布

阅读量1.3k

点赞数 1

分类专栏：学习经验

本文链接：https://blog.csdn.net/shenyu123/article/details/16799667

版权

在Xen虚拟化环境中，成功运行ARINC653调度算法的关键点包括：确保运行在单核环境，可以利用BIOS设置实现；默认仅支持Domain0，但可通过xenctrl编程接口扩展到DomainU。详细步骤和示例代码可供参考。

摘要由CSDN通过智能技术生成

因课题需要，经过一段时间的研究，终于把Xen下自带的arinc653算法跑起来了，总结了几点要素如下：

1. 必须是单核，现在找单核的机器不现实，可以在计算机启动时，按Del键进入BIOS设置，可以只运行一个CPU。

2. 默认的arinc653算法只支持一个Domain0，想将DomainU加入到调度队列中必须使用xenctrl编程接口来动态配置。可以参考：http://wiki.xen.org/wiki/ARINC653_Scheduler

3. 编译时命令：gcc test.c -lxenctrl -o test

下面加上我写的一个可以运行的例子以备忘：

#include <string.h>
#include <xenctrl.h>
#define NUM_MINOR_FRAMES 4
typedef int64_t s_time_t;
#define MILLISECS(_ms)          (((s_time_t)(_ms)) * 1000000UL )
#define DOMN_RUNTIME MILLISECS(10)


//UUID
//"00000000-0000-0000-0000-000000000000"
//"0e03b3f4-35f8-f4ab-9159-69d5ce0158d4"
//"afdcba83-69ba-b342-ba51-d6fbb9c62b52"
//"0a02d612-15d7-6e61-235e-fa049e66f441"

//下面的16进制数其实就是上面相应的UUID两个两个一组
char dom_uuid[4][16] = {
  {0},{0x0e,0x03,0xb3,