论文部分内容阅读
子程序的综合方法包括内联扩展、单独的控制单元和数据通道部分和子例程，这些方法都是针对在源描述中只包括单独一个进程时的情况。在多进程的情况下会出现一些问题。给出必须采用子程序内联扩展方法的原则，提出并且实现了将子程序转换成临界资源的方法。同时还解决了包含多个return语句的函数的内联扩展实现方法如何在保持语义的同时进行优化的问题。