China
Africa
Explore chapters and articles related to this topic
War of Control Hijacking
Published in Uzzal Sharma, Parmanand Astya, Anupam Baliyan, Salah-ddine Krit, Vishal Jain, Mohammad Zubair Khan, Advancing Computational Intelligence Techniques for Security Systems Design, 2023
Ragini Karwayun, Monika Sainger
Control flow defines the order in which each instruction or function call of a computer program is executed. Code written using an imperative programming language has a certain control flow; the statements are used to change a program's state. However, the declarative programming paradigm does not explicitly describe the control flow of a code; it rather defines the structure and elements of computer programs expressing the logic of computation.
Profile-guided optimisation for indirect branches in a binary translator
Published in Connection Science, 2022
Jyun-Siang Huang, Wuu Yang, Yi-Ping You
List 2 shows an example of the search table implemented in LLVM IR. When an indirect branch instruction is emulated at run time, control flow is transferred to the block corresponding to the SPC of the branch destination. For example, if the SPC of the branch destination is 0x400940, control flow is transferred to the IR block labelled L_400940. Moreover, LLVM provides the branch weight meta which indicates the likelihood of a branch destination being taken. In our implementation, the rank, or equivalently the execution frequency of a destination in the profile information, serves as the branch weight meta of the leg for the destination. LLVM backend can generate high-quality target binary for an LLVM switch instruction based on the branch weight meta.
A creation method of comprehensive cases and specifications for hardware and software combined test to detect undesirable events of an industrial product using HAZOP
Published in SICE Journal of Control, Measurement, and System Integration, 2022
Masakazu Takahashi, Kouji Ueno, Yunarso Anang, Yoshimichi Watanabe
Figure 2 describes an example of the parameter extraction method when the specifications are written in the structured method. Data is the data flow between a source or sink and a process in a Data Context Diagram (DCD). Output destination and input source of the data are determined by the direction of the data flow in DCD. And the data type is obtained from the data dictionary. The control signal is the control flow in the Control Context Diagram (CCD). The output destination and input source of the control signal are determined by the direction of the control flow in the CCD. Since the control signal type is only on/off, it is a digital type. In addition to these documents, the control signals input or output to the industrial products described in the electrical interface control document are also parameters.
Arbogast : Higher order automatic differentiation for special functions with Modular C
Published in Optimization Methods and Software, 2018
Isabelle Charpentier, Jens Gustedt
In our opinion, the lack of performance of ADOL-C is due to an unfortunate combination of two strategies that makes the code optimization by the compiler very difficult. First, the trace code uses a lot of indirections that are inherent to the operator overloading technique. They are quite challenging to any optimizing compiler, because of their side effects and their aliasing and because they interrupt the ‘natural’ control flow of the application. But second, during the forward phase the sequence of operations is not directly visible to the compiler, but interpreted dynamically at runtime from the trace. Thus, optimization opportunities that could profit from compile time knowledge about a whole sequence of operations may be missed.