The Experts below are selected from a list of 9 Experts worldwide ranked by ideXlab platform
Hu Rong - One of the best experts on this subject based on the ideXlab platform.
-
typing for Machine Language and safety checking for Machine code
Journal of Computer Research and Development, 2004Co-Authors: Hu RongAbstract:Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for Machine code of Intel/x86's infrastructure Although Machine Language Program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the Machine code The Machine Language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures
Anderson Faustino Da Silva - One of the best experts on this subject based on the ideXlab platform.
-
efficient instrumentation profiling strategy for translation unit incremental discovery in dynamic binary translation
International Conference of the Chilean Computer Science Society, 2014Co-Authors: Juliano Henrique Foleiss, Rodrigo Hubner, Rogerio Goncalves, Anderson Faustino Da SilvaAbstract:Efficient virtual Machines are becoming increasingly important in the academy and industry in general. Thus, it is important to develop new techniques for efficient Program execution in such runtime environments. A specific problem in system virtual Machines is the need to execute the guest architecture instruction set by the host architecture in an efficient manner. Dynamic Binary Translation (DBT) allows such execution by allowing the execution of Programs in binary format by translating the guest Machine Language Program into a host Machine Language Program during runtime. Previous work shows that translating the entire Program is not the best option, since it incurs in excessive translation overhead. Therefore, it is necessary to detect which regions of code should be translated in such a way that it does not cause excessive translations at the same time executing most instructions by means of translated code. Previous work presents profiling approaches that are used to collect information about a Program's control flow, which is then inspected for hot regions deemed for translation. This work presents a DBT system that uses low-overhead continuous profiling techniques that allows the detection of hot translation units. More specifically, the execution profiling techniques, efficient control flow analysis algorithms along with a retranslation control mechanism are the main contributions of this work. Results obtained by implementing such techniques in a NES (Nintendo Entertainment System) emulator shows that the proposed system allows efficient Program execution, with an average of 85.21% of instructions executed by translated code, leading to a 6.29 speedup over traditional indirect-threaded interpretation, and 2.34 speedup over an interpretive profiling approach.
Juliano Henrique Foleiss - One of the best experts on this subject based on the ideXlab platform.
-
efficient instrumentation profiling strategy for translation unit incremental discovery in dynamic binary translation
International Conference of the Chilean Computer Science Society, 2014Co-Authors: Juliano Henrique Foleiss, Rodrigo Hubner, Rogerio Goncalves, Anderson Faustino Da SilvaAbstract:Efficient virtual Machines are becoming increasingly important in the academy and industry in general. Thus, it is important to develop new techniques for efficient Program execution in such runtime environments. A specific problem in system virtual Machines is the need to execute the guest architecture instruction set by the host architecture in an efficient manner. Dynamic Binary Translation (DBT) allows such execution by allowing the execution of Programs in binary format by translating the guest Machine Language Program into a host Machine Language Program during runtime. Previous work shows that translating the entire Program is not the best option, since it incurs in excessive translation overhead. Therefore, it is necessary to detect which regions of code should be translated in such a way that it does not cause excessive translations at the same time executing most instructions by means of translated code. Previous work presents profiling approaches that are used to collect information about a Program's control flow, which is then inspected for hot regions deemed for translation. This work presents a DBT system that uses low-overhead continuous profiling techniques that allows the detection of hot translation units. More specifically, the execution profiling techniques, efficient control flow analysis algorithms along with a retranslation control mechanism are the main contributions of this work. Results obtained by implementing such techniques in a NES (Nintendo Entertainment System) emulator shows that the proposed system allows efficient Program execution, with an average of 85.21% of instructions executed by translated code, leading to a 6.29 speedup over traditional indirect-threaded interpretation, and 2.34 speedup over an interpretive profiling approach.
Rodrigo Hubner - One of the best experts on this subject based on the ideXlab platform.
-
efficient instrumentation profiling strategy for translation unit incremental discovery in dynamic binary translation
International Conference of the Chilean Computer Science Society, 2014Co-Authors: Juliano Henrique Foleiss, Rodrigo Hubner, Rogerio Goncalves, Anderson Faustino Da SilvaAbstract:Efficient virtual Machines are becoming increasingly important in the academy and industry in general. Thus, it is important to develop new techniques for efficient Program execution in such runtime environments. A specific problem in system virtual Machines is the need to execute the guest architecture instruction set by the host architecture in an efficient manner. Dynamic Binary Translation (DBT) allows such execution by allowing the execution of Programs in binary format by translating the guest Machine Language Program into a host Machine Language Program during runtime. Previous work shows that translating the entire Program is not the best option, since it incurs in excessive translation overhead. Therefore, it is necessary to detect which regions of code should be translated in such a way that it does not cause excessive translations at the same time executing most instructions by means of translated code. Previous work presents profiling approaches that are used to collect information about a Program's control flow, which is then inspected for hot regions deemed for translation. This work presents a DBT system that uses low-overhead continuous profiling techniques that allows the detection of hot translation units. More specifically, the execution profiling techniques, efficient control flow analysis algorithms along with a retranslation control mechanism are the main contributions of this work. Results obtained by implementing such techniques in a NES (Nintendo Entertainment System) emulator shows that the proposed system allows efficient Program execution, with an average of 85.21% of instructions executed by translated code, leading to a 6.29 speedup over traditional indirect-threaded interpretation, and 2.34 speedup over an interpretive profiling approach.
Rogerio Goncalves - One of the best experts on this subject based on the ideXlab platform.
-
efficient instrumentation profiling strategy for translation unit incremental discovery in dynamic binary translation
International Conference of the Chilean Computer Science Society, 2014Co-Authors: Juliano Henrique Foleiss, Rodrigo Hubner, Rogerio Goncalves, Anderson Faustino Da SilvaAbstract:Efficient virtual Machines are becoming increasingly important in the academy and industry in general. Thus, it is important to develop new techniques for efficient Program execution in such runtime environments. A specific problem in system virtual Machines is the need to execute the guest architecture instruction set by the host architecture in an efficient manner. Dynamic Binary Translation (DBT) allows such execution by allowing the execution of Programs in binary format by translating the guest Machine Language Program into a host Machine Language Program during runtime. Previous work shows that translating the entire Program is not the best option, since it incurs in excessive translation overhead. Therefore, it is necessary to detect which regions of code should be translated in such a way that it does not cause excessive translations at the same time executing most instructions by means of translated code. Previous work presents profiling approaches that are used to collect information about a Program's control flow, which is then inspected for hot regions deemed for translation. This work presents a DBT system that uses low-overhead continuous profiling techniques that allows the detection of hot translation units. More specifically, the execution profiling techniques, efficient control flow analysis algorithms along with a retranslation control mechanism are the main contributions of this work. Results obtained by implementing such techniques in a NES (Nintendo Entertainment System) emulator shows that the proposed system allows efficient Program execution, with an average of 85.21% of instructions executed by translated code, leading to a 6.29 speedup over traditional indirect-threaded interpretation, and 2.34 speedup over an interpretive profiling approach.