1. 创建第一个ARINC653分区

任务目标

本案例演示如何通过分区管理器（Partition Manager）创建一个ARINC653分区，并配置其基本属性（分区标识、周期、容量等）。你将得到一个可直接编译运行的最小工程，用于验证分区创建与配置流程是否正确。

环境与依赖

• 操作系统：Linux（x86_64）或Windows（需安装WSL）
• 编译器：gcc（支持C11标准）
• 构建工具：make
• ARINC653模拟库：使用开源实现 libarinc653（版本≥1.2），安装命令：sudo apt install libarinc653-dev（Ubuntu/Debian）

实现代码

以下代码创建一个名为P1的分区，周期为100ms，容量为10ms，并配置其入口点与系统状态。核心逻辑位于main函数中，通过CREATE_PARTITION系统调用完成分区创建。

// partition_create.c
#include <arinc653.h>
#include <stdio.h>
#include <string.h>

/* 分区入口点函数 */
static void P1_ENTRY(void) {
    printf("P1 partition started\n");
    while (1) {
        // 分区主循环（此处仅演示）
    }
}

int main(void) {
    SYSTEM_STATUS_TYPE   status;
    PARTITION_ID_TYPE    pid;
    PARTITION_STATUS_TYPE p_status;
    ERROR_RETURN_TYPE    err;

    /* 1. 初始化系统 */
    status = INITIALIZE_SYSTEM();
    if (status != NO_ERROR) {
        printf("System init failed: %d\n", status);
        return -1;
    }

    /* 2. 创建分区 P1 */
    pid = CREATE_PARTITION(
        "P1",              // 分区名
        100,               // 周期（ms）
        10,                // 容量（ms）
        P1_ENTRY,          // 入口点
        &err
    );
    if (err != NO_ERROR) {
        printf("Create partition failed: %d\n", err);
        return -1;
    }
    printf("Partition P1 created, ID=%d\n", pid);

    /* 3. 查询分区状态，验证配置 */
    GET_PARTITION_STATUS(pid, &p_status, &err);
    if (err == NO_ERROR) {
        printf("Partition period: %d ms\n", p_status.PERIOD);
        printf("Partition capacity: %d ms\n", p_status.CAPACITY);
        printf("Partition state: %d\n", p_status.PARTITION_STATE);
    }

    /* 4. 启动分区 */
    START_PARTITION(pid, &err);
    if (err != NO_ERROR) {
        printf("Start partition failed: %d\n", err);
        return -1;
    }
    printf("Partition P1 started\n");

    /* 5. 进入系统主循环（模拟调度） */
    while (1) {
        // 实际系统中由调度器接管
    }
    return 0;
}

构建与运行

# 编译
gcc -o partition_create partition_create.c -larinc653

# 运行（需要root权限以访问实时调度）
sudo ./partition_create

验证方法

程序运行后，观察标准输出是否依次出现以下信息：

1. Partition P1 created, ID=0（ID从0开始分配）
2. Partition period: 100 ms（与配置一致）
3. Partition capacity: 10 ms（与配置一致）
4. Partition state: 0（0表示正常状态）
5. Partition P1 started

若输出与上述一致，说明分区创建与属性配置成功。若出现错误码，请检查libarinc653安装是否正确，以及是否以root权限运行。

常见问题

• 编译错误：确认已安装libarinc653-dev，且头文件路径正确。
• 运行无输出：尝试用sudo运行，因为实时调度需要权限。
• 分区ID非0：ID分配由系统决定，只要后续查询状态与配置一致即可。