>>296
PHPのソースはcoreで中間コードに変換されてexecuterに渡されて実行される
a.phpから既にb.phpの処理へ移行しているならa.php、b.php共に中間コード化されているから
元のソースが書き換わっても問題ない
外部ソースの中間コード化はincludeやrequireで読んだ時点で行われることに注意

と言うわけで問題ないことが保障される