...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Acta Informatica >Type-based hot swapping of running modules
【24h】

Type-based hot swapping of running modules

机译：基于类型的热插拔模块

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

While dynamic linking has become an integral part of the run-time execution of modern programming languages, there is increasing recognition of the need for support for hot swapping of running modules, particularly in long-lived server applications. The interesting challenge for such a facility is to allow the new module to change the types exported by the original module, while preserving type safety. This paper describes a type-based approach to hot swapping running modules. The approach is based on a reflective mechanism for dynamically adding type sharing constraints to the type system, realized by programmer-defined version adapters in the run-time.
机译：尽管动态链接已成为现代编程语言运行时执行的重要组成部分，但人们日益认识到需要支持对正在运行的模块进行热交换，特别是在长期使用的服务器应用程序中。对于这样的设施，有趣的挑战是允许新模块更改原始模块导出的类型，同时保持类型安全。本文介绍了一种基于类型的热交换运行模块的方法。该方法基于一种反射机制，该机制用于在运行时由程序员定义的版本适配器实现的向类型系统动态添加类型共享约束。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号