切换导航
英语
挪威
英语
英语
挪威
管理
切换导航
查看项目
主页
matematisk-naturvitenskapelige fakultet侦探
信息研究所
信息研究所
查看项目
主页
matematisk-naturvitenskapelige fakultet侦探
信息研究所
信息研究所
查看项目
浏览器已禁用JavaScript。
没有它,此网站的某些功能可能无法运行。
虚拟时间环境:云计算中资源管理的微积分
Johanna Beate Stumpf
博士论文
查看/
正常开放
PhD-Stumpf-2018.pdf(1.246Mb)
年份
2018
永久链接
http://urn.nb.no/
URN:NBN:no-67697
元数据
显示元数据
出现在以下集合中
信息研究所
[5164]
摘要
云计算是一种分布式计算模式,用户通过在公共数据中心存储数据和执行进程来共享资源。
此范例成功的一个关键因素是虚拟化技术,它将执行环境的资源表示为软件层,即所谓的虚拟机。
虚拟化允许共享现有的硬件和软件资源,通过隔离共享相同资源的不同用户来提高安全性,并能够根据用户的需求动态分配资源。
资源共享创造了业务驱动因素,使云计算成为部署软件的一种具有经济吸引力的模型。
本文介绍了虚拟定时环境的演算,这是一个用于执行显式资源供应的分层位置的形式模型。
此演算基于众所周知的移动环境演算,并受云计算应用程序中使用嵌套虚拟化的推动。
从过程计算的角度对云计算的研究提供了该主题的正式规范,这对于开发用于分析和优化的可执行模型是必要的。
本文的主要贡献是对虚拟时间环境微积分的定义,以及对其本质特征的推理。
为了实现静态分析,我们使用类型系统增强了微积分。
此外,我们定义了一个模态逻辑和一个相应的模型检查器,我们将其部署在虚拟时间环境的资源意识定义中,从而实现流程的动态自我管理。
最后,我们将虚拟定时环境作为一个框架,用于利用原型实现分析云计算中的虚拟化。
所有概念都通过示例进行了说明。
论文列表
论文1(第6章):虚拟时间环境:嵌套虚拟化的演算。
艾纳·布罗赫·约翰森、马丁·斯特芬纳·布罗希·约翰森和约翰娜·比特·斯顿夫。
《程序设计中的逻辑和代数方法杂志》,第94卷,第109-127页,2018年。
DOI:10.1016/j.jlamp.2017.100.1。
这篇文章包含在论文中。
也可在
https://doi.org/10.1016/j.jlamp.2017.1001
论文2(第7章):虚拟时间环境下的假设承诺类型。
艾纳·布罗奇·约翰森、马丁·斯特芬、约翰娜·比特·斯塔姆夫。
提交给计算机科学逻辑方法(审查中)。
待发布。
该论文在DUO中不可用,等待发布。
论文3(第8章):为虚拟时间环境检查模态合同。
埃纳尔·布罗赫·约翰森、马丁·斯特芬、约翰娜·比特·斯塔姆夫、拉尔斯·特维托。
第十五届国际计算理论研讨会论文集(ICTAC 2018)。
B.Fischer和T.Uustalu(编辑):ICTAC 2018,LNCS 11187,第252-272页,2018年。
DOI:10.1007/978-3-030-02508-3_14由于出版商限制,该论文在DUO中不可用。
发布的版本可从以下网址获得:
https://doi.org/10.1007/978-3-030-02508-3_14
论文4(第9章):资源软件虚拟定时环境。
埃纳尔·布罗赫·约翰森、马丁·斯特芬、约翰娜·比特·斯塔姆夫、拉尔斯·特维托。
第十四届综合形式方法国际会议(iFM 2018),C.A.Furia和K.Winter(编辑):iFM 2018,LNCS 11023,第194-213页,2018。
DOI:10.1007/978-3-319-98938-9_12由于出版商限制,该论文在DUO中不可用。
发布的版本可从以下网址获得:
https://doi.org/10.1007/978-3-319-98938-9_12
论文5(第10章):虚拟化分析框架。
埃纳尔·布罗赫·约翰森、马丁·斯特芬、约翰娜·比特·斯塔姆夫、拉尔斯·特维托。
挪威信息技术会议记录(NIK 2018)。
这篇文章包含在论文中。
搜索所有DUO
仅此集合
针对学生/员工
提交硕士论文
获取受限材料
浏览
DUO的所有人
社区和收藏
按发布日期
作者
标题
本系列
按发布日期
作者
标题
图书馆工作人员
登录
订阅