期刊文献+

程序最坏执行时间极值统计方法 被引量:3

Program worst-case execution time extreme value statistics estimation method
下载PDF
导出
摘要 程序的最坏执行时间WCET是实时系统时间操作方面的可信基础,现有的WCET静态分析方法都需要对系统某种程度上的额外知识和限定性假设,导致现有的WCET分析方法本质上为偏高估计,降低了资源的利用率和系统的性能。给出一种基于极值统计的程序最坏执行时间估计新方法,采用程序执行时间的测量值作为样本,利用Gumbel分布建立程序最坏执行时间统计模型,根据测量样本序列预测执行时间的最大值,与以往的方法相比,这种方法综合体现了各种硬件特性对程序执行时间的影响,估计结果更为精确,更适合处理硬件特性和软件复杂度较高情况下的程序最坏执行时间估计。实验结果表明利用Gumbel分布建立的WCET估计模型能够快速且有效地给出实时程序的最坏执行时间估计。 The worst case execution time of program is convincing time basic for real-time system, existing WCET analysis methods need additional knowledge and limited assumptions of the system to some degree, which result in pessimistic WCET estimation and lower the resource utilization ratio and system performance.A new WCET estimation methods based on extreme value statistics is proposed in this paper,which builds WCET estimation model using Gumbel distribution based on the program execution time samples and predicts extreme execution time.Compared to the former methods, the proposed method can include all the effect causing by hardware characters,and the estimation result is more accurate,and is more suitable for the situation that hardware and software is more complex.The experimental results show that the proposed WCET estimation model based on Gumbel distribution can efficiently and quickly give WCET estimation for real-time program.
出处 《计算机工程与应用》 CSCD 北大核心 2010年第26期67-71,共5页 Computer Engineering and Applications
基金 国家自然科学基金No.60703101~~
关键词 最坏情况执行时间 极值统计 实时软件 Worst-Case Execution Time(WCET) extreme value statistics real-time software
  • 相关文献

参考文献14

  • 1吴国伟,姚琳.一种嵌入式软件WCET估计新方法[J].大连理工大学学报,2004,44(6):912-915. 被引量:4
  • 2Healy C, Whalley D.Automatic detection and exploitation of branch constraints for timing analysis[J].IEEE Trans on Software Engineering, 2003,28 ( 8 ) : 763 -781.
  • 3Li Y S.Efficient microarchitecture modeling and path analysis for real-time soffware[C]//Proceedings of the 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 2002 : 298-307.
  • 4Engblom W J, Ermedahl A,Holsti N, et al.The worst case execution time problem-overview of methods and survey of tools[C]// ACM Transactions on Embedded Computing Systems, January 2007:45-60.
  • 5Wu Guo-wei, Linyao.A new WCET estimation algorithm based on instruction cache and prefetching combined model[C]// LNCS 3605,2005 : 557-562.
  • 6Wegener J, G-rochtmann M.Verifying timing constraints of real-time system by means of evolutionary testing[J].Real-Time Systems, 1998,15(2) :275-298.
  • 7Tracey N, Clark J, Mander K.The way forward for unifying dynamic test case generation:The optimization-based approach[C]// Proc International Workshop on Dependable Computing and Its Applications (IFIP' 98 ), Johannesburg, South Africa, January 1998 : 12-14.
  • 8Petters S M.How much worst case is needed in WCET estimation[C]//2nd International Workshop on Worst-Case Execution Time Analysis, Technical University of Vienna,Austria, June 18 2002.
  • 9Petters S M, Farber G.Making worst-case execution time analysis for hard real-time tasking on state of the art processors feasible[C]//Proc 6th International Conference on Real-Time Computing Systems and Applications(RTCSA' 99).Hongkong, ROC: IEEE Computer Society Press,December 1999.
  • 10Bernat G, Colin A, Petters S.pWCET:A tool for probabilistic worst-case execution time analysis of real-time systems[R].UK: Real-Time Systems Research Group, University of York, 2003.

二级参考文献7

  • 1LIU Jyh-chan,LEE Huang-ju. Deterministic upperbounds of worst-case execution times of cached programs [A]. Proceedings of the 15th IEEE Real-Time Systems Symposium [C]. Hamburg: IEEE, 1994. 182-191.
  • 2LIM Sung-soo, YOUNG H B, JANG Gyu-tao. An accurate worst case timing analysis technique for RISC processors [A]. Proceedings of the 15th IEEE Real-Time Systems Symposium [C]. Hamburg: IEEE, 1994. 97-108.
  • 3SHAW A C. Reasoning about time in higher-level language software [J]. IEEE Trans on Software Eng, 1989,15(7):875-889.
  • 4ARNOLD R. Bounding worst-case instruction cache performance [A]. Proceedings of the 15th IEEE Real-Time Systems Symposium [C]. Hamburg: IEEE, 1994. 172-181.
  • 5LI Y S, MALIK Y S, WOLFE A. Cache modeling for real-time software beyond direct mapped instruction caches [A]. Proceedings of the 16th IEEE Real-Time Systems Symposium [C]. London: IEEE, 1996. 856-859.
  • 6BAMMI J. Software performance estimation strategies in a system-level design tool [A]. Proccedings of CODES [C]. New York: [s n], 2000. 376-385.
  • 7BRANDOLESE C. Source-level execution time estimation of C programs [A]. Proccedings of CODES [C]. New York: [s n], 2001.256-259.

共引文献3

同被引文献36

  • 1胡明华,汤铭端.基于分布函数的程序执行时间的静态预估[J].计算机工程与设计,2006,27(16):3045-3047. 被引量:3
  • 2姬孟洛,齐治昌.实时系统程序最差情况执行时间(WCET)的分析[J].计算机科学,2006,33(10):238-241. 被引量:2
  • 3Li X,Liang Y,Mitra T,et al.Chronos : A timing analyzer for embedded software[J].Science of Computer Programming,2007,69(1):56-67.
  • 4Wilhelm R,Grund D.Computation takes time,but how much[J].Communications of the ACM,2014,57(2):94-103.
  • 5Kosmidis L,Quinones E,Abella J,et al.Achieving timing composability with measurement-based probabilistic timing analysis[C]//In IEEEInternational Symposium on Object/component/service-oriented Real-time distributed computing(ISORC).2013:1-8.
  • 6Cazorla F J,Quinones E,Vardanega T,et al.Proartis:Probabilistically analyzable real-time systems[J].ACM Transactions on Embedded Computing Systems(TECS),2013,12(2s):94-119.
  • 7Li Y T S,Malik S.Performance analysis of embedded software using implicit path enumeration[J].ACM SIGPLAN Notices,1995,30(11):88-98.
  • 8Knoop J,Kovdcs L,Zwirchmayr J.An Evaluation of WCET Analysis using Symbolic Loop Bounds[J].Proc.of WCET,2011.
  • 9Blazy S,Maroneze A,Pichardie D.Formal Verification of Loop Bound Estimation for WCET Analysis[M]//Verified Software:Theories,Tools,Experiments.Springer Berlin Heidelberg,2014:281-303.
  • 10Puschner P,Burns A.A review of worst-case execution time analysis[J].Real-Time Systems,2000,18(2/3):115-128.

引证文献3

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部