编写一个多线程程序：要求主线程创建3个子线程， 3个子线程在执行时都修改一个它们的共享变量，观察共享变量的值，看看可以得出什么结论。

好的，我可以给您提供一个Python语言的多线程程序，满足您的要求，请参考如下代码：

import threading

# 定义全局变量
shared_variable = 0

# 定义线程任务函数
def thread_task():
    global shared_variable
    for i in range(100000):
        shared_variable += 1

# 创建3个子线程
threads = []
for i in range(3):
    t = threading.Thread(target=thread_task)
    threads.append(t)

# 启动3个子线程
for t in threads:
    t.start()

# 等待3个子线程执行完毕
for t in threads:
    t.join()

# 输出共享变量的值
print("共享变量的值为：", shared_variable)

在这个程序中，我们定义了一个全局变量`shared_variable`，然后创建了3个子线程，并在每个子线程中循环100000次，每次循环都将`shared_variable`加1。最后主线程等待3个子线程执行完毕，然后输出`shared_variable`的值。

由于3个子线程都在修改`shared_variable`，因此我们可以通过观察`shared_variable`的值来得出以下结论：

- 多线程并发执行时，如果多个线程同时对一个共享变量进行修改，会产生竞争条件。
- 如果没有采取任何措施来避免竞争条件，最终的结果可能会出现错误，因为多个线程可能会同时读取或修改同一个变量，导致数据不一致。

在上面的程序中，由于没有采取任何措施来避免竞争条件，因此最终输出的`shared_variable`的值可能会不同，每次运行结果也可能不同。