Argomenti sui compilatori

Intel® Parallel Studio XE 2015 Composer Edition on Linux*

Intel® Parallel Studio XE 2016 Professional EditionProduct tour with videos and samples

Learn when and how to use the Intel Parallel Studio XE components in a typical software development workflow. You can apply the principles learned to your own application:

  • Sviluppatori
  • Linux*
  • C/C++
  • Fortran
  • Intel® Parallel Studio XE Composer Edition
  • Compilatore C++ Intel®
  • Compilatore Fortran Intel®
  • Dynamic Program Slicing with PinPlay

    Dynamic Program Slicing is a dynamic program analysis technique that given a slicing criterion (line number, variable,..) finds all statements in the program affecting (if backward sliced) or affected by (if forward sliced) the slicing criterion for a specific execution.

  • Sviluppatori
  • Partner
  • Professori
  • Studenti
  • Linux*
  • Server
  • C/C++
  • Avanzato
  • Intermedio
  • Ricerca
  • Debugging
  • Strumenti di sviluppo
  • Threading
  • Dynamic Control-flow Graph Generation with PinPlay

    A control-flow graph (CFG) is a fundamental structure used in computer science and engineering for describing and analyzing the structure of an algorithm or program. A dynamic control-flow graph (DCFG) is a specialized CFG that adds data from a specific execution of a program. We provide a tool for generating a DCFG based on the Pin binary-instrumentation package. We also provide an application-programmer interface (API) to access the DCFG data from within another Pin tool or a standalone program. More details follow.

  • Sviluppatori
  • Partner
  • Professori
  • Studenti
  • Linux*
  • Server
  • C/C++
  • Avanzato
  • Ricerca
  • Strumenti di sviluppo
  • Elaborazione parallela
  • Threading
  • 借助 PinPlay 生成动态控制流图

    控制流图 (CFG) 是计算机科学与工程领域使用的基本结构,广泛用于描述和分析算法或程序的结构。 动态控制流图 (DCFG) 是一种特殊化的 CFG,可从程序的特定执行过程中添加数据。 我们可提供基于 Pin 二进制插装程序包生成 DCFG 的工具。 我们还可提供应用程序接口 (API),以从另一种 Pin 工具或独立程序访问 DCFG 数据。 随后将提供更多详情。

    DCFG 定义

    我们首先来看看 Frances Allen 于 1970 年在 ACM SIGPLAN 文章中描述的经典控制流图 (CFG) 定义。

    • 控制流图指节点代表基本程序块,边缘代表控制流路径的定向图。
    • 如果定向图中的任一节点可从另一节点获取(触及),该图即可相互连接。
    • 基本程序块指包含一个切入点(执行的第一条指令)和一个退出点(执行的最后一条指令)的线性程序指令序列。

    CFG 在通常情况下以静态形式进行定义,例如,一个针对给定二进制的 CFG,不包含任何关于特定工作负载执行路径的信息,其节点和边缘取决于二进制内一切可触及的代码路径。 它通常不包含由意外情况或其他非控制流指令创建的边缘。

    我们将拥有以下不同之处 CFG 定义为 DCFG:

  • Sviluppatori
  • Partner
  • Professori
  • Studenti
  • Linux*
  • Server
  • C/C++
  • Avanzato
  • Ricerca
  • Strumenti di sviluppo
  • Elaborazione parallela
  • Threading
  • Iscriversi a Argomenti sui compilatori