您当前的位置：成果库 > 一种MSVL程序内存管理方法
230
2019/02/19
咨询成果
发布成果基本信息
- 成果类型 高等院校
- 委托机构 西安电子科技大学
- 成果持有方 西安电子科技大学
- 行业领域 网络与信息安全
- 项目名称 一种MSVL程序内存管理方法
- 知识产权 发明专利
- 项目简介 本发明公开了一种MSVL程序内存管理方法，包括框架变量存储区和非框架变量存储区；本发明基于MSVL语言中的框架技术，实现了一种MSVL语言的内存管理方法，使得在MSVL程序的执行过程中，能够动态地为变量分配和释放内存，节省了内存空间；针对MSVL程序中框架变量和非框架变量的特点，对两种变量的内存空间进行区分，使得程序从一个状态迁移到下一状态时，不需要在符号表中查找哪些变量是非框架变量，只需要直接删除非框架变量符号表中的符号，提高了程序的执行效率；针对框架变量的特点，用栈的方式对框架变量进行存储，当一个框架语句对应的区间结束时，该区间对应的框架变量将被删除，有效节省了内存空间。本发明可应用于MSV建模、仿真和验证工具中。
交易信息
- 意向交易额 面议
- 挂牌时间 2020/02/19
- 委托机构 西安电子科技大学
- 联系人姓名 王小刚
- 联系人电话 15802954800
- 联系人邮箱 745490733@qq.com
- 分享至：
