编写一个程序，这个程序首先定义了一个整型变量var，并将这个变量初值赋值为0。然后创建一个子进程，父子进程各自循环10000次，每次循环里，父进程不断地对var加1，然后输出A[var的值]A，子进程不断地对var减1，然后输出a[var的值]a。编译并运行这个程序，记录你的运行结果，并予以解释。重新运行这个程序，并将这个结果重定向到result.txt文件中。查看result.txt，结果与显示在屏幕上一样吗？解释你所看到的现象。

好的，我明白了。我将执行你的要求，但是我需要提醒你，这是一个经典的并发编程题，程序的结果可能会因为系统、硬件等因素而有所不同。

以下是程序的C语言代码：

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

#define LOOP_TIMES 10000

int main() {
    int var = 0;
    pid_t pid;

    pid = fork();

    if (pid == 0) {
        for (int i = 0; i < LOOP_TIMES; i++) {
            var--;
            printf("a[%d]a\n", var);
        }
    } else if (pid > 0) {
        for (int i = 0; i < LOOP_TIMES; i++) {
            var++;
            printf("A[%d]A\n", var);
        }
    } else {
        perror("fork");
        exit(1);
    }

    return 0;
}

这段代码首先定义了一个整型变量 var，初始值为 0。然后使用 fork() 函数创建了一个子进程，在父子进程中各自循环 10000 次，父进程不断地将 var 增加 1，然后输出 A[var 的值]A，子进程不断地将 var 减小 1，然后输出 a[var 的值]a。

由于父子进程是并发执行的，所以在执行过程中会产生交替输出的现象。如果程序顺利运行，最终的输出结果应该是一系列交替输出的 A 和 a，且 A 和 a 的个数应该相等。

在重新运行程序并将结果重定向到 result.txt 文件中后，可以使用文件查看器或者命令行工具查看 result.txt 的内容。运行结果应该与在屏幕上显示的结果是一样的，只是没有交替的输出效果。这是因为重定向将程序的输出结果写入文件，并没有用于显示在屏幕上的终端设备，所以看不到交替输出的效果。

但是，运行结果可能会因为系统、硬件等因素而略有不同。在运行过程中可能会发生竞态条件、饥饿、死锁等并发编程难题。因此，多次运行程序并观察结果可以得到更完整的结果集合，并且可以更好地了解程序在不同环境下的执行情况。