An example of deriving performance properties from a visual representation of program execution

被引：1

作者：

Abrams, M

机构：

[1] Department of Computer Science, Virginia Polytechnic Institute, State University, Blacksburg

来源：

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS | 1997年 / 8卷 / 06期

基金：

美国国家科学基金会;

关键词：

parallel computation; performance evaluation; visualization; computational geometry; ray shooting; timed progress graphs; mutual exclusion; Petri nets; reachability analysis;

D O I：

10.1109/71.595584

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Through geometry, program visualization can yield performance properties. We derive all possible synchronization sequences and durations of blocking and concurrent execution for two process programs from a visualization mapping processes, synchronization, and program execution to Cartesian graph axes, line segments, and paths, respectively. Relationships to Petri nets are drawn.

引用

页码：658 / 666

页数：9

共 19 条

[1] Geometric performance analysis of periodic behavior [J].