Please wait a minute...
FITEE
Front. Inform. Technol. Electron. Eng.  2014, Vol. 15 Issue (2): 126-138    DOI: 10.1631/jzus.C1300066
    
Ayaz Isazadeh, Jaber Karimpour, Islam Elgedawy, Habib Izadkhah
Department of Computer Science, Faculty of Mathematical Sciences, University of Tabriz, Tabriz, Iran; Department of Computer Engineering, Middle East Technical University, Northern Cyprus Campus, Mersin 10, Turkey
An analytical model for source code distributability verification
Ayaz Isazadeh, Jaber Karimpour, Islam Elgedawy, Habib Izadkhah
Department of Computer Science, Faculty of Mathematical Sciences, University of Tabriz, Tabriz, Iran; Department of Computer Engineering, Middle East Technical University, Northern Cyprus Campus, Mersin 10, Turkey
 全文: PDF 
摘要： One way to speed up the execution of sequential programs is to divide them into concurrent segments and execute such segments in a parallel manner over a distributed computing environment. We argue that the execution speedup primarily depends on the concurrency degree between the identified segments as well as communication overhead between the segments. To guarantee the best speedup, we have to obtain the maximum possible concurrency degree between the identified segments, taking communication overhead into consideration. Existing code distributor and multi-threading approaches do not fulfill such requirements; hence, they cannot provide expected distributability gains in advance. To overcome such limitations, we propose a novel approach for verifying the distributability of sequential object-oriented programs. The proposed approach enables users to see the maximum speedup gains before the actual distributability implementations, as it computes an objective function which is used to measure different distribution values from the same program, taking into consideration both remote and sequential calls. Experimental results showed that the proposed approach successfully determines the distributability
关键词： Code distributability;  Synchronous calls;  Asynchronous calls;  Distributed software systems;  Source code    
Abstract: One way to speed up the execution of sequential programs is to divide them into concurrent segments and execute such segments in a parallel manner over a distributed computing environment. We argue that the execution speedup primarily depends on the concurrency degree between the identified segments as well as communication overhead between the segments. To guarantee the best speedup, we have to obtain the maximum possible concurrency degree between the identified segments, taking communication overhead into consideration. Existing code distributor and multi-threading approaches do not fulfill such requirements; hence, they cannot provide expected distributability gains in advance. To overcome such limitations, we propose a novel approach for verifying the distributability of sequential object-oriented programs. The proposed approach enables users to see the maximum speedup gains before the actual distributability implementations, as it computes an objective function which is used to measure different distribution values from the same program, taking into consideration both remote and sequential calls. Experimental results showed that the proposed approach successfully determines the distributability of different real-life software applications compared with their real-life sequential and distributed implementations.
Key words: Code distributability    Synchronous calls    Asynchronous calls    Distributed software systems    Source code
收稿日期: 2013-03-18 出版日期: 2014-01-29
CLC:  TP31  
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　
Ayaz Isazadeh
Jaber Karimpour
Islam Elgedawy
Habib Izadkhah

引用本文:

Ayaz Isazadeh, Jaber Karimpour, Islam Elgedawy, Habib Izadkhah. An analytical model for source code distributability verification. Front. Inform. Technol. Electron. Eng., 2014, 15(2): 126-138.

链接本文:

http://www.zjujournals.com/xueshu/fitee/CN/10.1631/jzus.C1300066    或    http://www.zjujournals.com/xueshu/fitee/CN/Y2014/V15/I2/126

[1] Deng Chen, Yan-duo Zhang, Wei Wei, Shi-xun Wang, Ru-bing Huang, Xiao-lin Li, Bin-bin Qu, Sheng Jiang. 基于改进规则检查静态分析技术的高效脆弱性检测方法[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(3): 332-345.
[2] Wen-zhe Zhang, Kai Lu, Mikel LUJáN, Xiao-ping Wang, Xu Zhou. 基于非易失存储器的细粒度检查点[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(2): 220-234.
[3] Xin Li, Jin Sun, Fu Xiao. 考虑设计参数扰动的芯片多元参数成品率预测算法[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(12): 1344-1359.
[4] Long-xiang Wang, Xiao-she Dong, Xing-jun Zhang, Yin-feng Wang, Tao Ju, Guo-fu Feng. TextGen：用于新型存储系统基准测试的真实文本数据集生成方法[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(10): 982-993.
[5] Nan-nan Zhao, Ji-guang Wan, Jun Wang, Chang-sheng Xie. 一种针对基于一致性哈希的键值存储系统的低能耗副本布局策略[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(10): 994-1007.
[6] Shahab Pourtalebi, Imre Horváth. 用于定义系统表现特征的基因型与表型仓库数据库的信息图式构造方法[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(9): 862-884.
[7] Yun-xiang Zhao, Wan-xin Zhang, Dong-sheng LI, Zhen Huang, Min-ne Li, Xi-cheng Lu. 负载均衡的分布式指纹识别系统[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(8): 766-780.
[8] Saif Ur Rehman Khan, Sai Peck Lee, Mohammad Dabbagh, Muhammad Tahir, Muzafar Khan, Muhammad Arif. RePizer：一种软件需求排序架构[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(8): 750-765.
[9] Hui-zong Li, Xue-gang Hu, Yao-jin Lin, Wei He, Jian-han Pan. 基于共同共现群体相似度的社会化标签聚类方法[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(2): 122-134.
[10] Xin Li, Jin Sun, Fu Xiao, Jiang-shan Tian. 一种基于参数扰动的芯片成品率双目标优化框架[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(2): 160-172.
[11] Mohammad Alshayeb, Nasser Khashan, Sajjad Mahmood. 一种集成的统一建模语言框架[J]. Frontiers of Information Technology & Electronic Engineering, 2016, 17(2): 143-159.
[12] . Dr. Hadoop: an infinite scalable metadata management for Hadoop—How the baby elephant becomes immortal[J]. Front. Inform. Technol. Electron. Eng., 2016, 17(1): 15-31.
[13] Ignacio Marin, Francisco Ortin, German Pedrosa, Javier Rodriguez. 使用模型变换为多种终端生成原生用户界面[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(12): 995-1017.
[14] Mei Wen, Da-fei Huang, Chang-qing Xun, Dong Chen. 使用“基于分析的代码转换方法”来提升GPU特定的OpenCL kernel在多核/众核CPU上的性能移植性[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(11): 899-916.
[15] Hong Yin, Shu-qiang Yang, Xiao-qian Zhu, Shao-dong Ma, Lu-min Zhang. 基于趋势特征的时间序列符号化方法[J]. Front. Inform. Technol. Electron. Eng., 2015, 16(9): 744-758.