周报告

2011年  三月六号  礼拜天

本周读了四篇论文，分别为：

1、高伸缩性、动态重构——服务计算对软件测试点额两个挑战    百晓颖等，中国计算机学会通讯

2、Actor   Gul Agha等

3、Basset Gul Agha等，一个Actor编程模型的测试工具。

4、云平台安全研究 冯登国等，软件学报。

Actor是一个并行化编程的模型，在1975年提出，主要的思想是扩展的面向对象的思想，把数据和方法进行封装，他的最小单位是一个actor，每一个actor有自己的数据，方法和名字（它的唯一标识符），它主要的工作就是接受消息并根据自己的方法进行想相应的处理。。详细的情况见wiki   http://en.wikipedia.org/wiki/Actor_model。

这个模型的优点就是具有良好的并行性，因为没有共享内存的存在，同步问题也很好处理。目前已经有很多中语言和模型。java就可以用来开发相应的程序，basset是一个基于JPF的扩展，用来对使用java编写的actor程序测试，测试中关注的问题就是单个actor对象的本身的代码没有问题，更重要的是多个actor直接的同步和死锁问题，由于相应的actor直接都是异步消息传递，存在一个消息的调度问题，错误的调度可能导致死锁，限于循环只种。而且由于消息的调度存在多种可能，这是最大的难点。basset的解决方法是随便选的。。

以上都不是重点，重点是另外两个综述文章，分别介绍了新平台面临的种种问题。在服务计算（http://baike.baidu.com/view/1418415.html?fromTaglist）和云平台下面，对于测试方面来说，被测试对象不再象之前一样，能力有限，容易控制，状态有限。云平台的能力虽然在理论上仍然是有限的，但是相对于原来的模型来说，易变的多，状态更多，测试的时候，特别是对于负载能力的测试，模拟高负载成为一个难题，一种可行的方法是降低云平台的能力，对它的部分能力进行测试，以此推论下去。动态重构的意思是说云平台具有自我修复功能，在一个模块面临问题的时候，可以动态的调用其他的模块替换当前的模块。对于这一点我想不出什么好的方法。

冯登国的云平台安全性分析，很值得看看，特别是对无基础人员，看了可以很好的了解当前云平台的安全性问题都有那些，大家都在用什么方法解决，方向是什么，解决到什么程度了。都是很值得看的。在软件学报上2011年第一期。

在诸多问题中，接合我们的方向，我准备着重看访问控制和隐私控制方面的文章。

有一个问题就是由于没有用过云·平台，毫无概念，不清楚究竟是个什么东西，也不清楚各家公司提供的产品都有什么不同。