基于层次模式的网格资源发现研究

网格被普遍认为是下一代网络,而资源发现是网格资源管理的基本组成部分。完全集中式资源发现机制和完全分布式资源发现机制都存在若干优点和缺点,因此,在集中式和分布式资源发现方法的基础上,提出了基于层次模式的资源发现方法。将网格中的资源分成三层结构,其中包括物理网络层、资源信息层和索引信息层,在此分层的基础上提出了基于层次模式的资源发现方法。最后对该方法进行模拟,并对模拟结果进行分析,该方法有较好的时间扩展性和性能,同时,在这种方法中能通过并行的方法发现需要的资源。     

基于Petri网的点到点通信并行程序验证

基于消息传递的编程模式是目前编写高性能应用程序的主流,而点到点通信函数是最基本的函数。基于点到点通信函数的特点,使用Petri网模拟它们的执行过程,利用控制库所充分展示了各种点到点通信函数之间的区别。然后给出对基于点到点通信的并行程序进行建模和验证的过程,并举例说明了这个方法的有效性。