2.4 进程内部的顺序行为描述

2.4.2 顺序赋值语句

　2. 变量赋值语句
　变量赋值的含义是：用计算赋值符号右边的表达式所得新值取代变量原来的值。变量赋值的语法形式为：
　　变量名 := 表达式；
　变量在进程或子程序中加以声明。如果变量是在某进程中声明的，则在每次进程激活时，该变量都将保持挂起时的原值而不会被重新初始化。如果变量是在某个子程序中声明的，则每当调用该子程序时，这个变量都会被重新初始化。这是因为：无论进程处于活跃状态还是被挂起的状态，它总是在执行着，只不过在挂起时所有状态都保持不变，因而信号、变量等的值也都保持不变；而子程序则只有在它被调用时才被运行，调用结束后子程序的执行也结束，其所有状态都被清除，不再保存。如果在子程序中有一个等待语句，则在调用该子程序的进程被挂起的过程中仍然处于活跃状态的变量将保持其原来的值，直到该进程被重新激活并且子程序调用结束时为止。