西部产学研在线服务平台
| 关注我们
扫描二维码
口袋专利

专利在线查询

描二维码
西部产学研在线

官方公众号

|关于我们
平台简介 帮助中心
|网站导航
| 咨询热线：029-88202821
您当前的位置：科技专利 > 一种MSVL程序内存管理方法

一种MSVL程序内存管理方法

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