是对底层硬件运行过程的形式化。线程间通过共享内存进行通信