The Experts below are selected from a list of 118950 Experts worldwide ranked by ideXlab platform

Jalal Kawash - One of the best experts on this subject based on the ideXlab platform.

  • DISC - Capturing register and Control Dependence in memory consistency models with applications to the itanium architecture
    Lecture Notes in Computer Science, 2006
    Co-Authors: Lisa Higham, Lillanne Jackson, Jalal Kawash
    Abstract:

    A complete framework for modelling memory consistency that includes register and Control dependencies is presented. It allows us to determine whether or not a given computation could have arisen from a given program running on a given multiprocessor architecture. The framework is used to provide an exact description of the computations of (a subset of) the Itanium instruction set on an Itanium multiprocessor architecture. We show that capturing register and Control dependencies is crucial: a producer/consumer problem is solvable without using strong synchronization primitives on Itanium multiprocessors, but is impossible without exploiting these dependencies.

  • capturing register and Control Dependence in memory consistency models with applications to the itanium architecture
    Lecture Notes in Computer Science, 2006
    Co-Authors: Lisa Higham, Lillanne Jackson, Jalal Kawash
    Abstract:

    A complete framework for modelling memory consistency that includes register and Control dependencies is presented. It allows us to determine whether or not a given computation could have arisen from a given program running on a given multiprocessor architecture. The framework is used to provide an exact description of the computations of (a subset of) the Itanium instruction set on an Itanium multiprocessor architecture. We show that capturing register and Control dependencies is crucial: a producer/consumer problem is solvable without using strong synchronization primitives on Itanium multiprocessors, but is impossible without exploiting these dependencies.

Lisa Higham - One of the best experts on this subject based on the ideXlab platform.

  • DISC - Capturing register and Control Dependence in memory consistency models with applications to the itanium architecture
    Lecture Notes in Computer Science, 2006
    Co-Authors: Lisa Higham, Lillanne Jackson, Jalal Kawash
    Abstract:

    A complete framework for modelling memory consistency that includes register and Control dependencies is presented. It allows us to determine whether or not a given computation could have arisen from a given program running on a given multiprocessor architecture. The framework is used to provide an exact description of the computations of (a subset of) the Itanium instruction set on an Itanium multiprocessor architecture. We show that capturing register and Control dependencies is crucial: a producer/consumer problem is solvable without using strong synchronization primitives on Itanium multiprocessors, but is impossible without exploiting these dependencies.

  • capturing register and Control Dependence in memory consistency models with applications to the itanium architecture
    Lecture Notes in Computer Science, 2006
    Co-Authors: Lisa Higham, Lillanne Jackson, Jalal Kawash
    Abstract:

    A complete framework for modelling memory consistency that includes register and Control dependencies is presented. It allows us to determine whether or not a given computation could have arisen from a given program running on a given multiprocessor architecture. The framework is used to provide an exact description of the computations of (a subset of) the Itanium instruction set on an Itanium multiprocessor architecture. We show that capturing register and Control dependencies is crucial: a producer/consumer problem is solvable without using strong synchronization primitives on Itanium multiprocessors, but is impossible without exploiting these dependencies.

Xiangyu Zhang - One of the best experts on this subject based on the ideXlab platform.

  • strict Control Dependence and its effect on dynamic information flow analyses
    International Symposium on Software Testing and Analysis, 2010
    Co-Authors: Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang
    Abstract:

    Program Control Dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that affects individual outputs). Without considering Control Dependence, information can leak via implicit channels without being tracked; important inputs may be absent from output lineage. However, considering Control Dependence may lead to a large volume of false alarms in information flow tracking or undesirably large lineage sets. We identify a special type of Control Dependence called strict Control Dependence (SCD). The nature of SCDs highly resembles that of data Dependences, reflecting strong correlations between statements and hence should be considered the same way as data Dependences in various applications. We formally define the semantics. We also describe a cost-effective design that allows tracing only strict Control Dependence. Our empirical evaluation shows that the proposed technique has very low overhead and it greatly improves the effectiveness of lineage tracing and taint analysis.

  • efficient online detection of dynamic Control Dependence
    International Symposium on Software Testing and Analysis, 2007
    Co-Authors: Bin Xin, Xiangyu Zhang
    Abstract:

    Capturing dynamic Control Dependence is critical for many dynamic program analysis such as dynamic slicing, dynamic information flow, and data lineage computation. Existing algorithms are mostly a simple runtime translation of the static definition, which fails to capture certain dynamic properties by its nature, leading to inefficiency. In this paper, we propose a novel online detection technique for dynamic Control Dependence. The technique is based upon a new definition, which is equivalent to the existing one in the intraprocedural case but it enables an efficient detection algorithm. The new algorithm naturally and efficiently handles interprocedural dynamic Control Dependence even in presence of irregular Control flow. Our evaluation shows that the detection algorithm slows down program execution by a factor of 2.57, which is 2.54 times faster than the existing algorithm that was used in prior work.

John Hatcliff - One of the best experts on this subject based on the ideXlab platform.

  • a new foundation for Control Dependence and slicing for modern program structures
    ACM Transactions on Programming Languages and Systems, 2007
    Co-Authors: Venkateshprasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B Dwyer
    Abstract:

    The notion of Control Dependence underlies many program analysis and transformation techniques. Despite being widely used, existing definitions and approaches to calculating Control Dependence are difficult to apply directly to modern program structures because these make substantial use of exception processing and increasingly support reactive systems designed to run indefinitely. This article revisits foundational issues surrounding Control Dependence, and develops definitions and algorithms for computing several variations of Control Dependence that can be directly applied to modern program structures. To provide a foundation for slicing reactive systems, the article proposes a notion of slicing correctness based on weak bisimulation, and proves that some of these new definitions of Control Dependence generate slices that conform to this notion of correctness. This new framework of Control Dependence definitions, with corresponding correctness results, is even able to support programs with irreducible Control flow graphs. Finally, a variety of properties show that the new definitions conservatively extend classic definitions. These new definitions and algorithms form the basis of the Indus Java slicer, a publicly available program slicer that has been implemented for full Java.

  • a new foundation for Control Dependence and slicing for modern program structures
    European Symposium on Programming, 2005
    Co-Authors: Venkateshprasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B Dwyer, John Hatcliff
    Abstract:

    The notion of Control Dependence underlies many program analysis and transformation techniques. Despite wide applications, existing definitions and approaches for calculating Control Dependence are difficult to apply seamlessly to modern program structures. Such program structures make substantial use of exception processing and increasingly support reactive systems designed to run indefinitely. This paper revisits foundational issues surrounding Control Dependence and slicing. It develops definitions and algorithms for computing Control Dependence that can be directly applied to modern program structures. A variety of properties show that the new definitions conservatively extend classic definitions. In the context of slicing reactive systems, the paper proposes a notion of slicing correctness based on weak bisimulation and proves that the definition of Control Dependence generates slices that conform to this notion of correctness. The new definitions and algorithms for Control Dependence form the basis of a publicly available program slicer that has been implemented for full Java.

Lillanne Jackson - One of the best experts on this subject based on the ideXlab platform.

  • DISC - Capturing register and Control Dependence in memory consistency models with applications to the itanium architecture
    Lecture Notes in Computer Science, 2006
    Co-Authors: Lisa Higham, Lillanne Jackson, Jalal Kawash
    Abstract:

    A complete framework for modelling memory consistency that includes register and Control dependencies is presented. It allows us to determine whether or not a given computation could have arisen from a given program running on a given multiprocessor architecture. The framework is used to provide an exact description of the computations of (a subset of) the Itanium instruction set on an Itanium multiprocessor architecture. We show that capturing register and Control dependencies is crucial: a producer/consumer problem is solvable without using strong synchronization primitives on Itanium multiprocessors, but is impossible without exploiting these dependencies.

  • capturing register and Control Dependence in memory consistency models with applications to the itanium architecture
    Lecture Notes in Computer Science, 2006
    Co-Authors: Lisa Higham, Lillanne Jackson, Jalal Kawash
    Abstract:

    A complete framework for modelling memory consistency that includes register and Control dependencies is presented. It allows us to determine whether or not a given computation could have arisen from a given program running on a given multiprocessor architecture. The framework is used to provide an exact description of the computations of (a subset of) the Itanium instruction set on an Itanium multiprocessor architecture. We show that capturing register and Control dependencies is crucial: a producer/consumer problem is solvable without using strong synchronization primitives on Itanium multiprocessors, but is impossible without exploiting these dependencies.