25 results about "Program transformation" patented technology

The embodiment of the invention provides a program conversion method and a compiling device, and relates to the technical field of computers, in the method, an IR file of a GPU program is obtained to serve as a to-be-converted file, for a function parameter of any function in the to-be-converted file, the function parameter is converted into a function parameter matched with a CPU, and the converted parameter is obtained. And determining the IR statement having data dependence with the converted parameter as a statement to be adapted. And for any statement to be adapted, adjusting the statement to be adapted based on the parameter type of the converted parameter and the thread execution mask of the CPU. And compiling the adjusted to-be-converted file to obtain an executable file adaptive to the CPU. The GPU programs written by different high-level languages can be converted into the IR file, so that the conversion is carried out from the dimension of the IR file, and the support for different high-level languages can be realized. Therefore, the limitation is lower.

The invention provides a code generation method and device, a storage medium and electronic equipment, and relates to the technical field of industrial control, the method comprises the following steps: receiving programming intention data, the programming intention data comprising at least one of a natural language text and an industrial control program of a first programming language; analyzing the programming intention data to obtain a control logic description of the programming intention data; generating an abstract syntax tree based on the logic control description; and in response to a code generation instruction, converting the abstract syntax tree into a program code of a second programming language corresponding to the code generation instruction. By applying the method provided by the embodiment of the invention, program conversion can be quickly and accurately carried out.

The application discloses a COBOL-to-Java program conversion method and system based on a syntax tree, belongs to the technical field of computer program language conversion, and comprises the following steps: obtaining a COBOL source program file to be converted and configuration rules; performing lexical analysis and syntax analysis to generate an abstract syntax tree; converting COBOL syntax elements into corresponding Java semantic representations according to pre-defined semantic mapping rules; establishing an accurate access chain of a main program and COPYBOOK internal variables through variable path tracking; detecting and solving naming conflicts of COBOL different-level same-name variables based on a scope tree, and renaming variables by adding a parent class name prefix; and generating the converted Java semantic representations into a Java source code file. The application realizes high-fidelity and high-automation COBOL-to-Java conversion, significantly reduces the migration cost of a legacy system, and generates code with strong readability and excellent performance.

To provide a conversion program, a conversion method and a conversion device for improving processing capability.SOLUTION: Acquiring a mapping result including a predetermined DFG and information on assignment of operations to respective computing units and wiring between the computing units determined so as to correspond to the predetermined DFG for a CGRA having a plurality of computing units, and extracting a portion corresponding to a predetermined DFG pattern from the predetermined DFG; A computer is made to execute processing for determining a conversion candidate DFG from among DFGs corresponding to a pattern of an extraction place on the basis of a position to which the extraction place in a mapping result is assigned and the number of transmission paths of data to be used between arithmetic units, and generating a converted DFG by converting a predetermined DFG on the basis of the conversion candidate DFG.SELECTED DRAWING: Figure 6

Provided is a program conversion method that can transfer a predetermined program using AI to information processing devices with different execution environments and can effectively utilize the predetermined program in various environments. 【Solution means】 A Using I te ok A processing execution unit that executes processing on the activation opportunity, and Includes A certain predetermined program Mu is an interface for referring to external data used by the AI, and , the includes information regarding the OS implemented on the information processing device of one environment. Also Ta, P The program conversion method is the predetermined program executable on the OS of the information processing device of the first environment source code compiled by the information processing device of the first environment , the A program generation step of generating an execution program in an execution format executable on the OS of the information processing device of the second environment, exporting the execution program from the information processing device of the first environment and importing it into the information processing device of the second environment, and implementing the execution program on the information processing device of the second environment This makes it possible to execute the predetermined program on the OS of the information processing device in the second environment. A program transfer step, and has.

A control system according to the present disclosure is provided with: a conversion device having a model conversion unit that creates model information comprising one or more nodes and correlation information for the nodes on the basis of model node information comprising one or more nodes and the correlation information for the nodes, and a program conversion unit that converts the model information into a program information comprising one or more nodes and the correlation information for the nodes; a program conversion unit that creates program information including a process associated with the node by one or more pieces of association information and the association information on the basis of a source code including the process associated with the node by one or more pieces of association information and the association information; and a relay device having a data processing execution unit that executes a predetermined process on the basis of the model information and the program information.

The invention provides a lightweight program conversion method and device and terminal device.The lightweight program conversion method comprises the steps that firstly, a project file set and a conversion configuration set are obtained, and then a first source code file and a second source code file in the project file set are divided according to file types; and converting the first source code file and the second source code file based on the conversion configuration set, and finally integrating to obtain a target lightweight program. According to the method, the source code file is converted on the basis of the conversion configuration set, so that the problem of rigidity of existing simple character string replacement is avoided, meanwhile, manual intervention links are greatly reduced, high dependence on experience of developers is avoided, and the conversion efficiency and accuracy of lightweight programs are remarkably improved.

This information processing device suppresses the increase in man-hours required for converting application source code, even when the number of frameworks to be converted increases. [Solution] The program conversion device 10, which is an information processing device 10, includes a first source code acquisition unit 101 that acquires a first source code corresponding to a first framework, and a second source code acquisition unit 106 that creates a prompt by incorporating the first source code acquired by the first source code acquisition unit into a prompt template for converting the first source code into a second source code corresponding to a second framework different from the first framework, and acquires a second source code created by executing a generative artificial intelligence using the prompt.

The invention provides a CUDA (Compute Unified Device Architecture) source program compiling method and related equipment based on a universal compiler, and the method comprises the following steps: executing preprocessing operation on source codes of a CUDA source program, and respectively generating a first intermediate file and a second intermediate file; scanning a host side code in the first intermediate file to identify a target function identifier representing equipment side execution semantics, and executing a reconstruction operation on a function containing the target function identifier to generate a proxy function used for triggering equipment side execution; scanning a device side code in the second intermediate file to identify a target function identifier, and performing semantic removal processing on the target function identifier to generate a device side executable function code; generating a host side target file, generating a device side target file, and further generating a device side dynamic link file; and forming a target file. By the adoption of the scheme, the CUDA program can be converted into the target program capable of running on the CPU, and the running environment construction cost is reduced.

This program conversion device (1, 2) comprises: a source code analysis unit (12) that analyzes a first source code before conversion and outputs, as an analysis result, a processing content and a type of computing resource to be used; a conversion method database (13) that stores, for each processing content, a source code conversion method corresponding to a combination of the type of computing resource used by the first source code before the conversion and the type of computing resource used by a second source code after the conversion; and a source code conversion unit (14) that refers to, on the basis of the analysis result passed from the source code analysis unit (12) and the type of computing resource used by the second source code after the conversion, the conversion method database (13), and acquires and applies, for each processing content, the source code conversion method for each processing content to convert the first source code into the second source code.

Computer-implemented systems and methods use a Large Language Model (LLM) for converting a legacy computer program in a first language to a human-language description of the legacy computer program, which description can be validated as being an accurate description of the legacy computer program. Once validated, the human-language description can be converted, again using an LLM, to a computer program in a target programming language. An LLM can also be used to generate test scripts for the new target-language program to test the performance of the target-language program in a production environment. An LLM can also be used to reconcile outputs from the legacy program to the new target program, such as on a function-by-function basis. If the differences between the outputs (if any) are sufficiently negligible, the legacy computer program can be decommissioned, and the new, target language program can be used in production.

The object is to provide a system that can appropriately convert assembly language into other programming languages. [Solution] A programming language conversion system that converts an original program written in assembly language into a converted program written in a programming language different from assembly language, comprising: a generation unit that generates an intermediate program including original description items corresponding to the description of the original program, register items that are descriptions corresponding to each of a predetermined number of registers in the assembly language, and a first linkage item that is a description for reserving address space for a first instruction that specifies a displacement using a first register among the predetermined number of registers; and a conversion unit that converts the intermediate program into the converted program.

A program conversion device (1) comprises: a defective block extraction unit (131) that refers to a processing program (31) that is used when the tool posture, which is the posture of a tool relative to a workpiece, is controlled by a rotary shaft and that includes a plurality of command blocks indicating the tool posture, and extracts, from the processing program, a defective block that is a command block causing a defect in processing due to the tool posture; and a command block correction unit (132) that corrects the defective block such that an increase in the movement time of the rotary shaft is suppressed and the tool posture indicated by the extracted defective block falls within a preset allowable range with respect to a reference position indicating the tool posture serving as a reference.

Providing dataflow based guidance for buffer allocation in a multicore circuit architecture includes converting, using computer hardware, an application specified in a high-level programming language into an intermediate representation. Buffers of dataflows of the intermediate representation are detected. Determining whether the buffers are independent or dependent based on an analysis of the dataflows of the intermediate representation. Buffer constraints are generated. The buffer constraints specify whether the buffers are independent and dictate a mapping of the buffers in the multicore circuit architecture.

A computer system is provided for compiling computer programs using machine learning compilers. The method includes obtaining a first computer program written in a script with a defined programming language dialect for a particular machine learning compiler, defining a higher level intermediate representation (IR) that represents the first computer program written with the defined programming language dialect; generating a second computer program represented in the higher level IR; deriving a plurality of new optimization passes based on the higher level IR; converting the second computer program represented in the higher level IR into a third computer program represented in one or more lower-level IRs that exist in the machine learning compiler; applying a plurality of existing optimization passes to generate an optimized fourth computer program represented in the existing lower-level IR; and converting the optimized fourth computer program represented in the existing lower- level IR-to-machine instructions.

The invention provides a program conversion method and device based on a difference table and terminal device.According to the program conversion method and device based on the difference table, a project file set and a difference table set are obtained, and then a first source code file and a second source code file in the project file set are divided according to file types; and after analyzing the first source code file into an abstract syntax tree, directly converting the first source code file based on a preset conversion rule in the difference table, and after analyzing the second source code file into the abstract syntax tree, directly converting the second source code file based on the preset conversion rule in the difference table, and finally integrating to obtain a target lightweight program. According to the method, the conversion rule is packaged through the difference table and the source code file is converted, so that the condition of code errors after conversion caused by simple character string replacement in the prior art is effectively avoided, in addition, manual intervention is greatly reduced through the automatic conversion mode based on the difference table, the conversion efficiency is improved, and the conversion cost is reduced. And the dependence on experience of developers is avoided, and the conversion efficiency and accuracy of the lightweight program are remarkably improved.

The invention discloses a sensitive information flow tracking and tracing method and system based on a high-order function abstract, and relates to the technical field of program analysis and supply chain safety. The method comprises the steps of receiving and preprocessing a to-be-tested program, performing dependency analysis on a function module of the to-be-tested program, converting the to-be-tested program into an intermediate language, constructing a cross-module function call graph and a control flow graph, traversing the function call graph according to an inverse topological sequence, and determining a function analysis sequence; carrying out analysis parameter configuration, and defining a related sensitive source, a related sensitive sink and a control probability set; and constructing an in-process analysis framework. According to the method, through high-order function abstract and dependency matrix operation, a data flow path in an open source software supply chain can be effectively analyzed, the dependency relationship between functions can be captured, tracing is carried out, an abstract matrix is stored as a sparse matrix, therefore, the space overhead in the analysis process can be effectively reduced, and the analysis efficiency is improved. And the detection efficiency of the sensitive information flow in the process is improved on the premise of not losing the detection precision.

A program conversion apparatus converts a first program to which homomorphic encryption is not applied into a second program to which the homomorphic encryption is applied. The program conversion apparatus may include a memory, which stores a first library for configuring the first program and a second library for configuring the second program. The program conversion apparatus may include a processor, which converts the first program into the second program through conversion between operations provided by the first and second libraries. A program conversion method and a computer program recorded on a computer-readable storage medium are also disclosed.

A computer system is provided for compiling computer programs using machine learning compilers. The method includes obtaining a first computer program written in a script with a defined programming language dialect for a particular machine learning compiler, defining a higher level intermediate representation (IR) that represents the first computer program written with the defined programming language dialect; generating a second computer program represented in the higher level IR; deriving a plurality of new optimization passes based on the higher level IR; converting the second computer program represented in the higher level IR into a third computer program represented in one or more lower-level IRs that exist in the machine learning compiler; applying a plurality of existing optimization passes to generate an optimized fourth computer program represented in the existing lower-level IR; and converting the optimized fourth computer program represented in the existing lower-level IR-to-machine instructions.

The invention belongs to the field of software model detection, and relates to a correctness verification method for a serialization-based unbounded interrupt driver. An interrupt driving program is converted into a sequenced program by using a sequenced technology, global auxiliary variables such as a program counter, a control mode variable and a shielding variable are introduced, random context switching, multi-stage interrupt nesting and interrupt shielding behaviors are simulated by means of macro and execution modes, and the obtained sequenced program is detected by using a model detection tool CBMC or CPAchecker. And verifying the correctness of the unbounded interrupt driver. According to the method, an interrupt driving program is converted into an equivalent sequential execution program, and all possible execution interlaced paths are accurately simulated, so that the correctness of the program can be effectively verified, and particularly under the condition of complex behaviors such as interrupt nesting, multi-stage interrupt, priority scheduling and interrupt shielding, the execution efficiency of the program is greatly improved. And the problems of state space explosion and false positive in a traditional model detection method can be avoided.

In various examples, systems and methods are disclosed relating to aliasing control of program variables in storage via automatic application of artificial dependences during program compilation. In some implementations, a system can include a detector to automatically detect a pattern, based at least on a structure of data flow in a source program, indicative of sequences of dependent operations, where the sequences are independent from one another. The system can determine a storage aliasing preference for whether to allow the compiler to allocate the program variables of the respective sequences to the same processor storage locations, or to prevent the compiler from doing so. The system can assign one or more annotations to the source program indicative of one or more artificial dependences for a compiler to respect when performing program transformations prior to the allocation of program variables.

The invention discloses an LD program conversion system and method, a storage medium and computer equipment, and the system comprises an LD program data analysis module which is used for extracting LD program data to be converted based on source PLC engineering data, and storing the extracted LD program data in an intermediate data structure form; and the LD program XML construction module is used for constructing the LD program data in the intermediate data structure form into a PLCopenXML format specified by a PLCopenXML specification, obtaining LD program engineering data in the PLCopenXML format and outputting the LD program engineering data, so that a user imports the LD program engineering data by using a PLC platform supporting the import of the engineering data in the PLCopenXML format, and the LD program import is realized. LD program data of source PLC project files of different formats can be automatically analyzed and converted into the PLCopenXML format, and the method is suitable for various PLC platforms.

The application discloses a method and device for determining program hot path. The method first converts a source program into a program control flow graph. Then, the execution frequency of each edge of the program control flow graph is obtained through first-time instrumentation execution of the source program, the dispersion of closed subgraphs is calculated through the frequencies, and the closed subgraph with high dispersion is selected as a preferred closed subgraph. For the preferred closed subgraph, the path thereof is extracted as an edge simplified flow graph, and second-time instrumentation execution is performed to obtain the execution frequency of each edge of the simplified flow graph, and then the determined flow set is calculated, and the determined flow is selected as the output program hot path according to the high and low of the determined frequency. Compared with the traditional hot path determination method, the method has lower requirement for the number of test cases, and is high in efficiency.

The invention belongs to the field of automation control, and relates to a program conversion method which comprises the following steps: receiving a program conversion request on a conversion interface; wherein the program conversion request carries a first format; if a conversion rule corresponding to the first format exists in a preset database, reading the conversion rule into a conversion interface, and receiving a selection operation for the conversion rule to obtain a corresponding target conversion rule; receiving an initial numerical control program to be converted and a generation path from the conversion interface; performing key information extraction on the initial rule based on the target conversion rule to obtain target information; obtaining a numerical control program file of a second format corresponding to the target conversion rule, and writing the target information into the numerical control program file to obtain a target numerical control program; and storing the target numerical control program based on the generated path. The invention further provides a program conversion device, computer equipment and a storage medium. The processing efficiency and flexibility of program conversion are improved.

The invention comprises (i) a compilation method for automatically converting a single-threaded software program into an application-specific supercomputer, and (ii) the supercomputer system structure generated as a result of applying this method. The compilation method comprises: (a) Converting an arbitrary code fragment from the application into customized hardware whose execution is functionally equivalent to the software execution of the code fragment; and (b) Generating interfaces on the hardware and software parts of the application, which (i) Perform a software-to-hardware program state transfer at the entries of the code fragment; (ii) Perform a hardware-to-software program state transfer at the exits of the code fragment; and (iii) Maintain memory coherence between the software and hardware memories. If the resulting hardware design is large, it is divided into partitions such that each partition can fit into a single chip. Then, a single union chip is created which can realize any of the partitions.