107 results about "Shared variables" patented technology

One embodiment of the present invention provides a system that synchronizes threads on a multi-threaded processor. The system starts by executing instructions from a multi-threaded program using a first thread and a second thread. When the first thread reaches a predetermined location in the multi-threaded program, the first thread executes a Start-Transactional-Execution (STE) instruction to commence transactional execution, wherein the STE instruction specifies a location to branch to if transactional execution fails. During the subsequent transactional execution, the first thread accesses a mailbox location in memory (which is also accessible by the second thread) and then executes instructions that cause the first thread to wait. When the second thread reaches a second predetermined location in the multi-threaded program, the second thread signals the first thread by accessing the mailbox location, which causes the transactional execution of the first thread to fail, thereby causing the first thread to resume non-transactional execution from the location specified in the STE instruction. In this way, the second thread can signal to the first thread without the first thread having to poll a shared variable.

A system and method for dataflow analysis includes inputting a concurrent program comprised of threads communicating via synchronization primitives and shared variables. Synchronization constraints imposed by the primitives are captured as an intersection problem for bounded languages. A transaction graph is constructed to perform dataflow analysis. The concurrent program is updated in accordance with the dataflow analysis.

Various systems and methods that synchronize local copies of a variable used in a distributed algorithm, such as that used in distributed policing, are disclosed. For example, one system includes several distributed algorithm participants that are coupled to communicate with each other. Each of the each of the distributed algorithm participants maintains a shared variable in order to implement the distributed algorithm. One of the distributed algorithm participants is a synchronizer. The synchronizer is configured to calculate a new value of the shared variable and to communicate the new value to each of the other distributed algorithm participants. The distributed algorithm can be a distributed policing algorithm, and the shared variable can be a global bucket.

A router for transferring data packets between external devices. The router comprises: 1) a switch fabric; and 2) R routing nodes coupled to the switch fabric. Each routing node exchanges data packets with the external devices and with other routing nodes via the switch fabric. A first routing node comprises: i) an inbound network processor comprising a first plurality of microengines capable of forwarding incoming data packets from external ports to the switch fabric; ii) an outbound network processor comprising a second plurality of microengines capable of forwarding outgoing data packets from the switch fabric to the external ports; and iii) an asynchronous variables circuit for controlling access of the inbound and outbound network processors to at least one of i) a shared resource and ii) a shared variable in the router.

The invention relates to a multi-target random fuzzy dynamic optimal energy flow modeling and solving method for a multi-energy coupling transmission and distribution network and belongs to the field of day-ahead scheduling plan research of electric power systems in an energy interconnection environment. The method comprises the following steps: basic data in a system scheduling period are obtained,; random fuzzy space-time sequence models for large-scale wind power, distributed power source and multi-energy loads are obtained via historical data mining; power and voltages of a power transmission network and all active distribution networks at joint nodes are used as share variables; multi-target SoS dynamic optimal energy flow models characterized by high economic performance, low carbon emission, renewable energy absorption, loss reduction and the like are built within static state security constraints; multi-energy source charge forecast can be realized through random fuzzy simulation; a Pareto solution set, an optimal compromise solution and an energy flow result can be obtained via adoption of an improved SoS layered optimizetion algorithm based on approximate dynamic programming and NSGA-11. The method can adapt to a development trend of energy interconnection, and comprehensive coordination optimization of day-ahead scheduling of transmission and distribution parties can be realized on the premise that requirements for static state safety and stabilization of systems can be satisfied.

The invention discloses a distributed collaborative optimization calculation method of an electricity-gas energy flow based on target cascade analysis. Firstly, a coupling element model is analyzed according to the connection characteristics of an electricity-gas interconnection system, and the coupling element model is abstracted into a corresponding coupling constraint to determine shared variables of an electricity flow and a natural gas flow; on the basis of this, an electricity-gas flow decomposition collaborative mechanism based on the target cascade analysis is constructed; and further an electricity-gas flow collaborative optimization problem is split into a higher-level coordination primal problem and lower-level optimization sub-problems (including: an electricity optimization sub-problems and a natural gas optimization sub-problem), and the upper-level and lower-level problems are alternatively solved in sequence to convergence to achieve the distributed collaborative optimization of the electricity flow and the natural gas flow.

The present invention provides a system and method for resolving a test generation problem involving constraint resolution problems where a verification environment includes constraints that are suitable for resolution using one type of solver for a first domain and other constraints that are suitable for resolution using a different solver in a second domain. The invention further comprises variables and, in instances where at least one variable is in each of the first and second domains, using these solvers to restrict the set of permissible values of variables to be consistent in multiple domains, preferably in all relevant domains.

A constraint resolution problem is divided into clusters of constraints connected within a domain, and connected clusters of clusters that are connected through shared variables that are subject to constraints in more than one cluster.

A preferred solver is applied to constraints in each of various domains such that constraints in multiple clusters and domains in a connected cluster are consistent for connected constraints in a domain, and preferably all constraints in all clusters in all domains within the connected cluster are consistent.

The present invention relates generally to computer programming, and more particularly to systems and methods for parallel distributed programming. Generally, a parallel distributed program is configured to operate across multiple processors and multiple memories. In one aspect of the invention, a parallel distributed program includes a distributed shared variable located across the multiple memories and distributed programs capable of operating across multiple processors.

Methods, parallel computers, and computer program products for conditionally updating shared variable directory (SVD) information in a parallel computer are provided. Embodiments include a runtime optimizer receiving a broadcast reduction operation header. The broadcast reduction operation header includes an SVD key and a first SVD address. The first SVD address is associated with the SVD key in a first SVD associated with a first task. Embodiments also include the runtime optimizer retrieving from a remote address cache associated with the second task, a second SVD address indicating a location within a memory partition associated with the first SVD, in response to receiving the broadcast reduction operation header. Embodiments also include the runtime optimizer determining that the first SVD address does not match the second SVD address and updating the remote address cache with the first SVD address.

A system and method for race warning generation for computer program verification includes determining shared variables and determining context-sensitive points-to sets for lock pointers by focusing on pointers that may affect aliases of lock pointers, and by leveraging function summarization. Locksets are determined at locations where shared variables are accessed using the points-to sets for lock pointers. Warnings are based on disjointness of locksets.

Methods and systems for sharing variable states from an appliance to one or more servers is disclosed. The appliance may identify a script, and identify the variables associated with the script. The variables are shared with the servers so that the servers can execute the script. The script may also be shared with the servers. The script and the variables may be transmitted in-band with other traffic.

In the present disclosure, the DOM approach for the simulation of OS preemptive scheduling has presented and demonstrated. By maintaining the data-dependency between the software tasks, and guaranteeing the order of shared variable accesses, it can accurately simulate the preemption effect. Moreover, the proposed DOM OS model is implemented to enable preemptive scheduling in SystemC.

The present invention provides a thread lock optimization method. The method comprises the following steps: determining a key section in a memory; and using a synchronization primitive provided by the CPU, controlling a thread lock to take charge of protecting the key section, before a thread enters the key section, allowing to obtain the access right of the thread lock firstly, and ensuring that at the same time only one thread can enter the key section. The key section is a memory space stored with shared variables, and the determination of the key section is designated by a user. According to the thread lock optimization method disclosed by the present invention, the synchronization expense between the common lock threads in the original universal system is avoided, only a small number of CPU primitives is used, safety between threads is realized, the rate is increased by a hundred times, and performance of synchronous parallel access to the same locked area is improved by at least a hundred times, so that the performance is significantly enhanced, the CPU occupancy rate is significantly reduced, and the conflict between the threads is reduced.

Methods, parallel computers, and computer program products for acquiring remote shared variable directory (SVD) information in a parallel computer are provided. Embodiments include a runtime optimizer determining that a first thread of a first task requires shared resource data stored in a memory partition corresponding to a second thread of a second task. Embodiments also include the runtime optimizer requesting from the second thread, in response to determining that the first thread of the first task requires the shared resource data, SVD information associated with the shared resource data. Embodiments also include the runtime optimizer receiving from the second thread, the SVD information associated with the shared resource data.

The invention provides a sugarcane sugar boiling equipment optimizing design modeling and modeling method based on the field synergy principle. The modeling comprises a subsystem analysis model, a subsystem optimization model and a system optimization model. The subsystem analysis model is used for analyzing a single physical field to form a module with certain functions; the module comprises field analysis, field coupling interface analysis, field coupling coordination variables and numerical simulation analysis. The subsystem optimization model is used for analyzing two different physical field coupling coordination in the subsystem analysis model; the target function is a minimized optimized function of the difference between coupling variables and shared variables, and constraint condition is the constraint of the system; the system optimization model is used for overall coordinating the system with a plurality of physical fields for boiling sugar coordinately, and constraint condition is consistent constraints of the coupling variables and shared variables of each subsystem. By the aid of the modeling method, structure, parameters and operating parameters of the batch-type sugar boiling equipment can be designed optimally, quantity of sugar is increased, quality of sugar is improved, sugar boiling time is shortened, and energy consumption is reduced.

Methods, parallel computers, and computer program products for broadcasting shared variable directory (SVD) information in a parallel computer are provided. Embodiments include a runtime optimizer detecting, by a runtime optimizer of the parallel computer, a change in SVD information within an SVD associated with a first thread. Embodiments also include a runtime optimizer identifying a plurality of threads requiring notification of the change in the SVD information. Embodiments also include the runtime optimizer in response to detecting the change in the SVD information, broadcasting to each thread of the identified plurality of threads, a broadcast message header and update data indicating the change in the SVD information.