一种MSVL程序内存管理方法

摘要

本发明公开了一种MSVL程序内存管理方法，包括框架变量存储区和非框架变量存储区；本发明基于MSVL语言中的框架技术，实现了一种MSVL语言的内存管理方法，使得在MSVL程序的执行过程中，能够动态地为变量分配和释放内存，节省了内存空间；针对MSVL程序中框架变量和非框架变量的特点，对两种变量的内存空间进行区分，使得程序从一个状态迁移到下一状态时，不需要在符号表中查找哪些变量是非框架变量，只需要直接删除非框架变量符号表中的符号，提高了程序的执行效率；针对框架变量的特点，用栈的方式对框架变量进行存储，当一个框架语句对应的区间结束时，该区间对应的框架变量将被删除，有效节省了内存空间。本发明可应用于MSV建模、仿真和验证工具中。

主权项

一种MSVL程序内存管理方法，其特征在于，该MSVL程序内存管理方法包括框架变量存储区和非框架变量存储区，框架变量存储区用于存储框架变量，非框架变量存储区用于存储非框架变量；该MSVL程序内存管理方法能对不同生命周期的框架变量进行分开存储，在一个状态结束后删除该状态的非框架变量，并且删除时不用进行查找操作；在一个框架语句对应的区间结束时删除该区间对应的框架变量，并且删除时不用进行查找操作。