| 分布式系统下的资源安全性计算 |
| |
| 引用本文： | 曹雯婷.分布式系统下的资源安全性计算[J].数字社区&智能家居,2009(6). |
| |
| 作者姓名： | 曹雯婷 |
| |
| 作者单位： | 温州医学院计算机教研室; |
| |
| 摘 要： | 主要从理论上研究保证分布式计算中资源安全性的方法。抽象地将每个进程表示为一个数据对,由给定资源和分配给分布式计算的资源两部分组成。在此基础之上,定义了一系列基于指称语义的数学计算,进而将资源安全性问题抽象为数学上的运算。
|
| 关 键 词： | 分布式系统 资源安全 指称语义 |
Computing Resource Safety on Distributed Systems |
| |
| CAO Wen-ting.Computing Resource Safety on Distributed Systems[J].Digital Community & Smart Home,2009(6). |
| |
| Authors: | CAO Wen-ting |
| |
| Affiliation: | Department of Computer Science;Wenzhou Medical College;Wenzhou 325035;China |
| |
| Abstract: | This paper studies how to theoretically guarantee resource safety for distributed systems.It abstractly represents each process as a pair constructed by allocated resource and consumed resource for distributed computing.With the data structure,it proposes a set of math-ematical computation based on denotational semantics.Therefore,the detection of resource safety becomes the calculation of corresponding mathematical denotations. |
| |
| Keywords: | distributed system resource safety denotational semantics |
| 本文献已被 CNKI 等数据库收录！ |
