计算机科学 ›› 2015, Vol. 42 ›› Issue (10): 189-192.

• 软件与数据库技术 • 上一篇    下一篇

基于规则的软件体系结构层性能优化模型

杜欣,汪春燕,倪友聪,叶 鹏,肖如良   

  1. 福建师范大学软件学院 福州350108,福建师范大学软件学院 福州350108,福建师范大学软件学院 福州350108,武汉纺织大学数学与计算机学院 武汉430073,福建师范大学软件学院 福州350108
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(61305079,8),福建省自然科学基金(2015J01235),武汉大学软件工程国家重点实验室开放基金(SKLSE2014-10-02),福建省教育厅JK类项目(JK2015006)资助

Rule-based Performance Optimization Model at Software Architecture Level

DU Xin, WANG Chun-yan, NI You-cong, YE Peng and XIAO Ru-liang   

  • Online:2018-11-14 Published:2018-11-14

摘要: 针对大多数基于规则的软件体系结构层性能优化方法在优化过程中未充分考虑规则的使用次数和使用顺序而导致搜索性能改进空间受限,难以获取最优性能改进方案的问题,设计一种规则序列执行框架,并进一步将软件体系结构层性能优化抽象为求解最优规则序列的数学模型,以精确刻画规则的使用次数、使用顺序与最优性能改进方案之间的数学关系,为搜索更大的性能改进空间、提高优化质量提供支持。

关键词: 性能分析,性能优化,规则,软件体系结构

Abstract: The use number and order of rules in the performance improvement process have not been fully considered in the most of rule-based approaches to performance improvement at software architecture level.As a result,the search space for performance improvement is limited so that the optimal solution for performance improvement is hard to find out.Aiming at the problem,this paper firstly designed a rule sequence execution framework (RSEF).Furthermore,performance improvement at software architecture level was abstracted into the mathematical model called RPOM for solving the optimal rule sequence.In the RPOM model, the mathematical relation between the usage of rules and optimal solution for performance improvement is precisely characterized.The result of this paper will support the rule-based performance improvement approaches in searching the larger space for performance improvement and improving the quality of optimization.

Key words: Performance analysis,Performance optimization,Rule,Software architecture

[1] Bernardo M,Hillston J.Formal Methods for Performance Eva-luation[C]∥7th International School on Formal Methods for the Design of Computer,Communication and Software Systems.Bertinoro,Italy:Springer,2007:1-37
[2] Marco D,Antinisca V C,Inverardi P.Model-based software performance analysis [M].Berlin:Springer,2011
[3] 李传煌,王伟明,施银燕.一种UML软件架构性能预测方法及其自动化研究[J].软件学报,2013,24(7):1512-1528 Li Chuan-huang,Wang Wei-ming,Shi Yin-yan.Performance Prediction Method for UML Software Architecture and its Automation[J].Journal of Software,2013,4(7):1512-1528
[4] Becker S,Koziolek H,Reussner R.The Palladio componentmodel for model-driven performance prediction [J].Journal of System and Software,2009,82(1):3-22
[5] Gomaa H,Menascé D A.Design and performance modeling ofcomponent interconnection patterns for distributed software architectures[C]∥Proceedings of the Second International Workshop on Software and Performance.Ontario,Canada:ACM,2000:117-126
[6] Brosig F,Huber N,Kounev S.Architecture-level software performance abstractions for online performance prediction [J].Scie-nce of computer programming,2014,90(B):71-92
[7] Rathfelder C,Klatt B,Sachs K.Modeling event-based communication in component-based software architectures for perfor-mance predictions [J].Software & Systems Modeling,2014,13(4):1291-1317
[8] Koziolek A,Koziolek H,Reussner R.Peropteryx:automated application of tactics in multi-objective software architecture optimization[C]∥Proceedings of the joint ACM SIGSOFT Conference-QoSA and ACM SIGSOFT Symposium-ISARCS on Quality of Software Architectures.Boulder,Colorado,USA:ACM,2011:33-42
[9] Smith C U,Williams L G.Software performance antipatterns[C]∥Proceedings of the 2nd International Workshop on Software and Performance.New York,NY,USA:ACM,2000:127-136
[10] Smith C U,Williams L G.Performance solutions:a practicalguide to creating responsive,scalable software [M].Addison-Wesley,2002
[11] Tribastone M.A fluid model for layered queueing networks[J].IEEE Transactions on Software Engineering,2013,39(6):744-756
[12] Xu J.Rule-based automatic software performance diagnosis and improvement [J].Performance Evaluation,2012,69(11):525-550
[13] Mcgregor J D,Bachmann F,Bass L,et al.Using arche in theclassroom:One experience (CMU/SEI-2007-TN-001) [R].Pittsburgh:Software Engineering Institute,Carnegie Mellon University,2007
[14] Bondarev E,Chaudron M R V,de Kock E A.Exploring perfor-mance trade-offs of a JPEG decoder using the DeepCompass framework[C]∥Proceedings of the 6th international workshop on software and performance,2007.Buenos Aires,Argentina:ACM,2007:153-163
[15] Cortellessa V,Frittella L.A framework for automated generation of architectural feedback from software performance analysis[C]∥Proceedings of Fourth European Performance Engineering Workshop(EPEW 2007).Berlin:Springer,2007:171-185
[16] Cortellessa V,Martens A,Reussner R,et al.A process to effectively identify “guilty” performance antipatterns[M].Fundamental approaches to software engineering.Berlin Heidelberg:Springer,2010:368-382
[17] Trubiani C,Koziolek A.Detection and solution of software performance antipatterns in palladio architectural models[C]∥Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering.New York,NY,USA:ACM,2011:19-30
[18] Cortellessa V,Di Marco A,Trubiani C.An approach for mode-ling and detecting software performance antipatterns based on first-order logics[J].Software & Systems Modeling,2014,13(1):391-432

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!