Научная статья

Информатика, кибернетика и программирование

There re mny interesting systems bsed on execution trce visuliztion. In the report s the review of existing decisions s new pproches to development of execution trce visuliztion will be considered. However the min problem tht occurs when you develop trce visuliztion system is the huge nd evergrowing volume of dt to be nlyzed.



26.5 KB

0 чел.


Vladimir Averbukh, Dmitriy Manakov

Institute of Mathematics and Mechanics UrB RAS, Ekaterinburg

Execution trace visualization for parallel and distributed programs is the important instrument of correctness and debugging and effectiveness tuning. There are many interesting systems based on execution trace visualization. Considerable experience in the development of such systems is gained. In the report as the review of existing decisions as new approaches to development of execution trace visualization will be considered.

It is obvious that the text of the program is the key view for program debugging. In systems developed of the 90th years as a rule these or those text views are used. Other popular kinds of views were various graphs of program execution with animation of transfer of control chains. However, the main problem that occurs when you develop trace visualization system is the huge and ever-growing volume of data to be analyzed. Therefore, techniques, well helped for data visualization twenty years ago (for example the use of Visual Information Seeking Mantra “Overview first, zoom and filter, then details-on-demand”), do not work.  

Methods of execution trace visualization based on of the various visualization metaphors including animation are actively used. One may find in recently published papers examples of use various metaphors for correctness and effectiveness debugging. There are among them such traditional metaphors as City and Landscape metaphors and also a new one – Brain metaphor. Brain metaphor is based on the idea of brain activity visualization on presentation some stimuli. This idea is adapted to represent program execution (procedure calls, input/ output, etc.) However, the interpretation of animated displays basing on interesting Brain metaphors isn't represented obvious. Analysis of call graph is a useful tool in correctness and effectiveness debugging. 2D representations of call graphs are overcomplicated in cases of large and complex structured programs with big nesting depth and lots of user’s functions. Therefore prototype realizations of the call graphs on the base of 2 ½ D and 3D graphics are developed. Views of call graphs using Building metaphor and Molecule metaphor are realized.

The comparative analysis of metaphors and the constructed on their base 2D and 3D for representation of parallel programming entities (first of all, execution traces) is described. At the same time it is important not only to check the suitability of metaphors for solving the specific problems, but also to formalize the quality evaluation of the views realized under various visualization techniques. Evaluation methods should be developed on the basis of a formal model to follow verification and validation as metaphors and visualization of the results themselves. So one and the same piece of code can run on different processors for different times. Obviously, the resulting time intervals may be considered in the framework of Possibility Theory of or Info-Gap Theory. Theoretical studies are also useful in terms of creating new metaphors.

In some computer visualization systems integrated or multiple views have came to good. This implies the use of multiple views, divide between them by linkages in the process of interpretation and interaction. (One can use the analogy of the technical drawing area when a three-dimensional objects  represent as three projections.) This assumes the use of several types separated mapping between them in the process of interpretation and interaction established relationship. (You can draw an analogy from the drawing area when the three-dimensional body is represented in the form of three projections.)

For consideration and formalization of this example it is possible to enter some groups of basic functions, such as “Informativeness and redundancy” and “Completeness and accuracy”, providing complete perception and specification. Application of a multiple views can be result not only reduction of  volume of data, but also dimensionality reduction, including of the cognitive one.

To visualize execution traces of parallel and distributed programs we suggest using of the complex view including for example such elements as:

-  Call graph representation using Industrial Landscape or Molecule metaphors;

  •  Text of programs;
  •  Information Murals or Parallel Coordinates views to represent data of parallel program effectiveness;
  •  The possibility of "flight" over "software landscape" or between "atoms" of the molecule;  where route the "flight" is linked to the output of the program text;
  •  The possibility of changing the level of detail as 'metaphorical' and text output tracks by “lifting/lowering” during the flight (semantic zooming).

We need to develop visual supporting means for maintenance processes of software development, analyzing and debugging. Realization of system of visualization has to be carried out together with users, that is developers of the parallel and distributed computing software. It is necessary to consider their daily activities for debugging of correctness and efficiency of program complexes.


А также другие работы, которые могут Вас заинтересовать

3793. Определение удельного сопротивления Резистивного провода 72 KB
  Определение удельного сопротивления Резистивного провода Цель работы: ОПРЕДЕЛЕНИЕ МОМЕНТА ИНЕРЦИИ МАЯТНИКА МАКСВЕЛЛА Краткое описание лабораторной установки. Общий вид маятника Максвелла показан на рис. Установка состоит из основания...
3794. Изучение вольт-амперной характеристики полупроводникового диода 90 KB
  Цель работы: изучение вольт-амперной характеристики полупроводникового диода, знакомство с работой одно- и двухполупериодного выпрямителя. Задача: Построить вольт-амперные характеристики германиевого и меднозакисного диодов. Оценить коэффициенты ...
3795. Элективный курс Азбука созвездий 918 KB
  Программа элективного курса по астрономии для 5-го класса по теме "Азбука созвездий" с применением информационных технологий Статья отнесена к разделу: Преподавание астрономии Элективный курс «Азбука созвездий» построен с опорой на получаемые знания...
  EARLYCOMPUTINGMACHINESANDTHEIRINVENTORS I. Practise reading the following words: aspect, automatic, conduct, transactions, virtually, impact, abacus, programmable, merchant, analog, wheel, refine, arithmetic, drawback, ...
3797. Теоретико-методологический подход к развитию кадрового менеджмента 114 KB
  Теоретико-методологический подход к развитию кадрового менеджмента Исторические аспекты кадрового менеджмента А.И. Кравченко полагает, что вся история кадрового менеджмента может быть разбита на три основных этапа: донаучный классический современн...
3798. Современная украинская литература 21.09 KB
  Современная украинская литература Провозглашение независимости Украины (24 августа 1991г.) и перестройка самостоятельного государства создали принципиально новые, вполне благоприятные условия для развития культуры. 19 февраля 1992 Верховная Рада Укр...
3799. Испытания поршневых компрессоров 912 KB
  Испытания поршневых компрессоров Цель: Изучить методику испытания поршневого компрессора, изучить устройство и оборудование, используемое для испытания экспериментальной установки, получить навыки измерения величин для расчета технических характерис...
3800. Парогенератори 1.07 MB
  Парогенератори Одне з основних завдань експлуатації АЕС є максимальне зниження рівня радіаційного опромінення і гарантування безпечної роботи персоналу. Цього досягають, використовуючи двоконтурну схему АЕС. Елементом, який розділяє контури, є парог...
3801. Реорганизация, банкротство и ликвидация предприятий 226 KB
  Введение Система банкротств, которая начинает действовать в России, вызывает резкую реакцию у различных общественных институтов, партий и движений, которые пытаются ускорить или приостановить процедуру банкротства у предприятий, ссылаясь, как правил...