Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

6 results about "Software language" patented technology

A software language is an artificial language used in the development of software systems. The term is more general than programming language and also includes modelling languages, query languages, transformation languages, software interfaces, database schemata, domain-specific languages, markup languages, etc. Further reading.

Synchronous task execution method and device, equipment and medium

The invention relates to the technical field of computers, and provides a synchronous task execution method and device, equipment and a medium, and the method comprises the steps: receiving a task queue set submitted by a plurality of user processes; obtaining a first execution task from a first task queue in the task queue set; under the condition that the first execution task is a synchronization task, simulating the first execution task based on a software language, and realizing a synchronization mechanism corresponding to the first execution task; and based on the synchronization mechanism and the scheduling rule, executing the execution task in the task queue set. The tasks in the task queues are scheduled through the synchronization mechanism corresponding to the software simulation synchronization task, so that the tasks are sequentially executed according to the expected sequence of the user process, the software executes the synchronization task, meanwhile, the task queues which do not meet the execution condition are switched in real time according to the scheduling rule in software simulation, and the execution efficiency is improved. And continuous waiting is avoided, and deadlock between the processes is further avoided when the multiple processes use the equipment at the same time.
Owner:SHANGHAI BIREN TECH CO LTD

Synchronous task execution method, apparatus, device, and medium

ActiveCN121255489Bavoid deadlockavoid waitingProgram synchronisationInterprogram communicationSoftware languageSoftware simulation
The present application relates to the technical field of computer, and provides a synchronous task execution method, device, equipment and medium, the method comprises the following steps: receiving a task queue set submitted by multiple user processes; obtaining a first execution task from a first task queue in the task queue set; in the case that the first execution task is a synchronous task, simulating the first execution task based on a software language, realizing a synchronization mechanism corresponding to the first execution task; based on the synchronization mechanism and a scheduling rule, executing the execution tasks in the task queue set. The present application simulates the synchronization mechanism corresponding to the synchronous task by software to schedule the tasks in each task queue, so that each task is executed in turn according to the expected order of the user process, realizing the software to execute the synchronous task, and at the same time, the task queue that does not meet the execution condition is switched in real time according to the scheduling rule in the software simulation, avoiding waiting all the time, and further avoiding the deadlock between processes when multiple processes use the device simultaneously.
Owner:SHANGHAI BIREN TECH CO LTD

Operator testing method, apparatus, device, readable storage medium and program product

Embodiments of the present disclosure provide an operator testing method and device, equipment, readable storage medium and program product, which are related to the field of software testing, and the application scenarios include but are not limited to the operator testing scenario. The method comprises: obtaining an original neural network operator and a target software language description, the original neural network operator comprising a target function, and the target software language description being obtained by language conversion of a hardware primitive in the target function in a target software language; determining a decorator of the target function, the decorator of the target function comprising a target object of a preset target class, the target object of the target class being obtained by encapsulating the target function through the target class; updating the original neural network operator based on the target software language description, the decorator of the target function and the target class to obtain an updated neural network operator; and testing the updated neural network operator in a test mode of the target software language to obtain a test result corresponding to the updated neural network operator.
Owner:ARM TECH CHINA CO LTD

A software intelligent transplantation assisting method and system based on sw processor

PendingCN122346328ACompilation errorSoftware language
This invention belongs to the field of software porting technology, and specifically relates to a software intelligent porting assistance method and system based on the SW processor. It includes: constructing a SW processor-specific feature knowledge base; performing static analysis on the code of the software to be ported and storing it in a vector database to construct a knowledge base vector index, thereby comparing code differences; performing code preprocessing based on the analysis and vector index results, as well as the SW architecture rules and x86 to SW architecture conversion rules in the specific feature knowledge base; identifying the software language and system environment of the software to be ported and compiling it, generating compilation error logs if compilation errors occur; retrieving errors from the compilation logs, and using the SW large model to identify and call repair tools for code modification via function call functionality; this invention solves the problems of poor compatibility, low efficiency, and poor stability of existing tools adapted to this processor.
Owner:CLP KESHENTAI INFORMATION TECH CO LTD

Schema registry for client-server environments

In some embodiments, a method receives a schema registry in a file. The schema registry aggregates schema files for a data model that is associated with a database system used by servers and consumer devices. The schema files is in a first software language that describes objects in the data model, and the schema registry is in a second software language used by the consumer devices. A first function in the schema registry is executed for an object to retrieve an original schema for the object in the schema files to create first software code for the object with the original schema for an application that uses the data model. A second function in the schema registry is executed for the object to generate a new object from the original schema for the object to create second software code for a new object with the original schema for the application.
Owner:SALESFORCE INC

Verification system based on a software storage model

The application relates to the chip technical field, in particular to a verification system based on a software storage model, which comprises a driving module, a first conversion interface, an RTL module, a second conversion interface and a storage model; the driving module and the storage model are realized based on a software language; the first conversion interface and the second conversion interface are realized based on the software language and a hardware language; the RTL module is realized based on the hardware language; the RTL module is used for storing RTL codes of a chip design to be tested; the driving module is connected with the first conversion interface; the first conversion interface is connected with the RTL module; the RTL module is connected with the second conversion interface; the storage model comprises a front door access path and a back door access path; the RTL module is connected with the storage model through the front door access path; and the driving module is connected with the storage model through the back door access path. The application reduces chip verification cost, improves chip verification efficiency and verification system performance.
Owner:METAX INTEGRATED CIRCUITS (SHANGHAI) CO LTD