75 results about "Mutual exclusion" patented technology

The invention provides an intelligent caching method and device based on a self-adaptive caching strategy, and the method comprises the steps: collecting an access event flow of each caching key in real time through a sensing probe embedded in a caching client, the event flow comprising Key, operation type, timestamp, request source, hit state and response time; running a streaming processing engine at a client based on an access event stream, and calculating indexes such as instantaneous QPS, continuous miss times and short-term access frequency by adopting a sliding time window; a calculation result is input into a rule engine for online matching, a decision instruction for a single Key is generated, and the decision instruction comprises distributed mutual exclusion lock addition, local TTL dynamic adjustment and read-write mode switching; a decision instruction is directly executed in a client memory through a strategy executor, and nanosecond strategy effectiveness is achieved; and finally, collecting system feedback data after strategy execution, inputting the system feedback data into a machine learning module for online learning, and dynamically optimizing a rule threshold value or recommending a new strategy.

The invention provides a multi-task scheduling method and system of a safety controller. Belongs to the technical field of industrial automation control. According to the method, aiming at a multiple redundancy safety controller, under the environment of not depending on a universal operating system, an external hardware synchronous clock is introduced to send a unified interrupt signal to each system of CPU, so that microsecond-level redundancy synchronous operation is realized; dividing a CPU control period into a basic function task and a plurality of user control tasks by adopting a static time slice rotation strategy; a counter in an interrupt service program is used for directly controlling task switching, and a complex scheduling algorithm is not needed; and meanwhile, through a data processing mechanism of memory partitioning and'centralized carrying-independent execution ', the inter-task data consistency without mutual exclusion locks is realized. According to the method, the problems of dependence on an expensive and safe operating system, difficulty in multi-system synchronization, deadlock risk and the like in the prior art are solved, and the minimum 5ms control period is realized while the cost is greatly reduced.

The invention provides a building automatic control method and device based on digital twinning and multi-source data fusion, and relates to the technical field of digital twinning, and the method comprises the steps: mapping multi-source data in a building to a digital twinning body, and achieving the online correction and parameter drift compensation of a model through the combination of simulation calculation and an actual measurement state, generating a corrected digital twin state set; constructing a semantic linkage rule base and a mutual exclusion resource list based on the state set, deducing a priority and a mutual exclusion matrix in a formalized verification framework, and generating a linkage execution graph; a linkage supervisor is deployed at a building edge node to carry out real-time arbitration, orderly triggering and mutual exclusion execution of a cross-domain strategy in an emergency state are ensured, and action issuing and state backward reading are completed in a time delay prediction; and finally, recharging an action execution result to the digital twinborn body to realize a dynamic evolution closed loop of parameters and rules. According to the invention, orderly triggering and dynamic evolution closed loop of a cross-domain strategy in building automatic control in an emergency state can be realized.

The invention discloses a building construction resource constraint allocation optimization method based on big data, particularly relates to the field of building engineering resource management, and is used for solving the problems of on-duty waiting, equipment idling, channel congestion and scheduling and field rhythm departure caused by the fact that material in-place, working plane admission, channel release and mutual exclusion control are not synchronously met in the existing scheduling. Reading an operation window through a unified time mark, and subscribing a material in-place event to generate a time anchor point; according to anchor point extraction constraint fragments, transcription channel release records and mutual exclusion rules, forming a constraint fragment set for a working plane admission condition; constructing a resource feasible region, and executing a four-state closed decision to screen candidate time periods and output an initial allocation table; checking the initial distribution table in a landing manner, marking mismatch and writing the mismatch back to the constraint fragment set; and according to mismatch, triggering rolling recalculation, retaining a local rearrangement non-executed segment of the main closed segment, outputting a stable distribution table, and solidifying criterion reference.

The present application relates to a kind of hierarchical concurrent state migration net methods for digital twin virtual debugging, the main principle and structure of mechanism that the method has and main construction process are listed;The method is realized by composite state and subnet mechanism hierarchical abstract management of macroscopic process and microscopic execution details, utilizes global event publishing-response and cross-subnet state dependence mechanism to realize the dynamic linkage and synchronous interlocking between concurrent components, and the mutual exclusion access and release of shared resources are completed in combination with global resource token mechanism.Based on this, visual and verifiable concurrent process model can be generated in virtual debugging environment, and deadlock detection and resource bottleneck analysis are supported, thereby significantly improving the accuracy, reliability and maintainability of complex production unit or software system digital twin virtual debugging.

Embodiments of the present application provide a kind of alarm rate detection method, device, equipment and storage medium, the method can create and target test equipment same and one-to-one corresponding coroutine, then call each coroutine continuously through the way of mutual exclusion, constantly from the ordered acquisition of preset rule set in measured rule package, then measured rule package is sent to target test equipment to carry out the test of rule package, each coroutine can be realized uninterrupted continuous testing, and after completing the test of all measured rule package, the alarm result of each measured rule package is determined and alarm rate is determined, without waiting target test equipment to spit alarm after each time sending rule package, so that the test efficiency of rule package can be improved.

This application relates to a device capability description method, apparatus, computer device, and storage medium. The method includes: acquiring a capability description language document for a target device; the capability description language document includes device type information, operability status information, operation method information, physical constraint information, and feedback format information; the physical constraint information includes at least one or more of time constraints, energy constraints, safety constraints, lifetime constraints, and mutual exclusion constraints; upon receiving an intent instruction from an upper-layer application, parsing the intent instruction to extract one or more execution targets; and performing capability matching on the one or more execution targets according to the capability description language document to determine target operations from the target device that can achieve the execution targets. This method enables automatic capability adaptation between upper-layer applications and heterogeneous devices, reducing development costs and improving execution security.

The invention discloses a configuration item repair-oriented Linux kernel boot test and configuration consistency intelligent repair method. The method comprises the following steps: collecting a compiling log, a boot log and a running state; performing segmentation, pattern matching and field extraction on the log, normalizing error information into structured error entries, and distinguishing a dependency missing class, a mutual exclusion conflict class and other compiling failure classes; performing preprocessing and grammar analysis on the Kconfig file, extracting configuration item attributes and constraint relationships, constructing a unified dependency graph and generating a configuration item metadata table; classifying and marking the configuration items based on the metadata, and calculating a key score; generating a repair action according to the structured error entry, the unified dependency graph and the key score, performing iteration execution, and performing recompilation and restart verification after each iteration until a reparated configuration file which can be compiled and started is obtained or a preset iteration upper limit is reached; according to the invention, the cross-version adaptation and problem closed-loop efficiency is improved.

The embodiment of the invention provides a resource operation task processing method, device and system, a storage medium and a program product, and relates to the technical field of cloud computing. In the embodiment of the invention, the resource operation task submitted by the user is arranged based on the arrangement relationship among various resource operation tasks supported by the target resource object and in combination with the task queue of the target resource object, and the resource operation task is submitted by the user in the arrangement process. Therefore, the resource operation tasks having the mutual exclusion type arrangement relationship with the existing resource operation tasks in the task queue are not enqueued, and the resource operation tasks having the non-mutual exclusion type arrangement relationship are enqueued. After enqueue, scheduling is carried out according to the non-exclusive arrangement relation between the tasks, the conflict problem between different resource operation tasks can be solved, and under the condition that reasonable arrangement scheduling is achieved, a user does not need to pay attention to the completion condition of the resource operation tasks and can submit the resource operation tasks at any time according to needs; and the efficiency and experience of resource operation on the cloud product by the user are improved.

The embodiment of the invention relates to a scalable arbiter for non-persistent signals. Systems and devices for signal arbitration are described. The plurality of asynchronous circuits may receive a plurality of non-persistent signals representing the plurality of requests and scrub the plurality of non-persistent signals to generate a plurality of persistent signals. The at least one logic circuit may arbitrate a plurality of persistent signals, wherein each logic circuit in the at least one logic circuit may include a mutual exclusion circuit configured to arbitrate two signals. Each logic circuit is one of a first logic circuit, a second logic circuit, and a third logic circuit that are different from each other. The plurality of copies of the first logic circuit may be implemented at an initial arbitration level, and the plurality of copies of the second and third logic circuits may be implemented at an additional arbitration level.

The invention relates to the technical field of carton forming control, in particular to a packaging carton forming control system and method, and the system comprises a structure analysis module, a sequence judgment module, a state matching module, an action constraint module and an instruction generation module. According to the method, the paperboard size and the fold line position are subjected to structured analysis, the section sequence relation is established, the forming sequence can be adaptively adjusted along with the change of the carton structure, the folding process is mapped into the state evolution relation, and action constraint judgment is conducted in combination with the real-time position of an execution mechanism; the broken line actions form a mutual exclusion coordination relation in space and time, so that mechanical interference and sequence conflicts among different forming stages are avoided, forming instructions have continuity and consistency, stable operation is kept under the conditions of specification switching and complex structures, manual intervention requirements are reduced, and the overall forming reliability is improved.

This invention discloses an automated rule engine execution system and method for communication events, belonging to the field of communication technology. The system includes: collecting multi-source heterogeneous communication events; obtaining standard communication event objects through a dedicated rule meta-model for each communication event; loading a rule set; generating an abstract syntax tree through syntax parsing and pre-compilation; constructing a rule dependency graph and performing intersection and mutual exclusion detection to form a scheduling strategy containing priority, mutual exclusion whitelists, and execution order; locating a subset of candidate rules based on system context; determining the target rule through condition matching; encapsulating automated operations into atomic action units; and executing them concurrently or sequentially according to orchestration logic; simultaneously generating a unique execution trace ID to record the entire link log; monitoring anomalies in real time; triggering a circuit breaker if the anomaly rate exceeds the limit or execution times out; taking down abnormal rules and demoting their execution; evaluating the rule effectiveness and providing optimization suggestions after the session ends; this invention improves the efficiency of communication event processing and the stability of rule execution, ensuring reliable system operation.

Embodiments of the present application provide a flow control method, device, storage medium and program product. In the embodiments of the present application, in a storage space recycling offloading scenario, the target partition resource is accessed by any one of a first thread and a second thread, the target write speed threshold of the write operation and the target recycling speed threshold of the storage space recycling operation are calculated, the first thread can control the flow of the foreground write operation according to the target write speed threshold, the second thread can control the flow of the storage space recycling operation according to the target recycling speed threshold, and the flow control of the foreground write operation and the storage space recycling operation is realized in the storage space recycling offloading scenario. On the other hand, because only one thread accesses the target partition resource and data such as the target write speed threshold and the target recycling speed threshold, there is no need to increase additional mutual exclusion logic, the code complexity of the flow control can be reduced, and the flow control efficiency can be improved.

This application provides a method, apparatus, device, medium, and product for multi-threaded concurrent log reading. It relates to the field of data processing technology. The method includes: controlling one thread to acquire a mutex lock through a preset mutex lock management mechanism; determining whether concurrent readability conditions and overall readability conditions are met; in response to both conditions being met, determining whether logs can be read from a preset buffer based on a preset log header threshold and the current preset buffer length; if it is determined that logs can be read from the preset buffer, verifying whether the current log file status is normal based on the determined current total log entry length, a preset file layout threshold, and the current preset buffer length; in response to successful verification, updating the global two-pointer flag value and controlling the thread to release the mutex lock through the preset mutex lock management mechanism. The method of this application achieves safe log reading for multiple concurrent threads, significantly improving concurrency performance in a multi-threaded environment while effectively avoiding data conflicts.

The invention discloses a portable car coupler reconnection simulation test device and a control method, a main control module in the device is internally provided with control logic in a test process, and the main control module comprises a priority hierarchical scheduling mechanism, a dual mutual exclusion lock mechanism and a state real-time synchronization mechanism. The control method comprises the following steps: configuring a GPIO (General Purpose Input / Output) interface, UART communication and a mutual exclusion lock of the main control module; triggering an operation instruction based on the instruction interaction module, and performing priority division on the triggered operation instruction; based on the double interlocking safety state, performing mutual exclusion judgment on an operation instruction being executed; constructing a real state mirror image, and synchronously updating the physical control point and the virtual control point which are subjected to state change; input acquisition and output control of reconnection train level signals are executed based on the acquisition output module, and state information display is synchronously performed on the HMI serial port screen module. The device is portable, easy to use and low in operation threshold, and the efficient and safe debugging requirements of the rail transit vehicle are comprehensively met.

This application relates to the field of computer technology and provides a backend concurrent scheduling method based on capacity credentials. The method includes: abstracting each executable backend as a capacity node; scheduling requests for each service; filtering capacity nodes based on capacity requirements and constraints to generate a candidate node set; applying for capacity credentials for each candidate node in the candidate node set; determining a target capacity node and performing routing for the target capacity node; issuing execution requests for the scheduled requests based on the capacity credentials; and after obtaining the execution results, performing a release operation and generating usage events written to an asynchronous buffer; and when the asynchronous buffer reaches a preset flushing condition, performing global mutual exclusion and batch settlement. This application abstracts the concurrent occupancy of the backend as capacity credentials, without relying on specific model protocols or vendor interfaces, and can uniformly support multiple remote execution backends.

This invention discloses a method, apparatus, device, medium, and product for executing test tasks. The method includes: acquiring information about a server to be tested; associating the information about the server to be tested with the corresponding server to be tested, and adding the server to be tested to a server resource pool; responding to a test server group creation operation for the server to be tested on an interactive interface, selecting the server to be tested from the server resource pool according to a predefined mutual exclusion resource allocation mechanism, and creating a test server group containing the server to be tested; creating a corresponding execution environment for each test server group; and executing test tasks in parallel within the execution environments corresponding to multiple test server groups to obtain test results. The technical solution of this invention supports the parallel execution of test tasks, which can improve the resource utilization of the server to be tested and enhance testing efficiency.

The application discloses a meter reading scheduling method based on artificial intelligence, comprising: acquiring power grid operation data, constructing an electrical heterogeneous graph and an edge time-varying drive; based on the electrical heterogeneous graph and the edge time-varying drive, using a topological-physical consistent continuous-time distribution prediction model, generating a communication performance prediction distribution containing a confidence band; based on the distribution and the electrical graph, constructing a dynamic communication conflict hypergraph; based on the hypergraph and the prediction distribution, using a hypergraph-constrained graph structure reinforcement learning scheduling model to generate a scheduling plan under the satisfaction of constraints (such as time, concurrency and mutual exclusion). The application improves the accuracy and safety of the prediction model by using physical consistency constraints and conformal calibration, and ensures the robustness and efficiency of the scheduling decision by using the hypergraph-constrained reinforcement learning.

The invention discloses a monitoring task processing method based on a natural language, and the method comprises the steps: carrying out the semantic analysis of a to-be-processed target monitoring task, and obtaining a target entity and a core execution action corresponding to the target monitoring task; the target monitoring task is described in a natural language; determining a target tool from the candidate tools based on the core execution action and the function types of the candidate tools, and determining candidate entities which can be identified by the target tool and the total number of the entities; respectively determining a target semantic pole corresponding to the target entity and a candidate semantic pole corresponding to the candidate entity on the basis of a mutual exclusion attribute model, the inference computing power of the edge computing equipment and the total number of the entities; based on the target semantic pole and the candidate semantic pole, selecting an associated entity corresponding to the target entity from the candidate entities; generating a task processing rule based on the target monitoring task, the target entity and the associated entity which can be identified by the target tool; according to the method and the device, the obvious reduction of task processing resource consumption and the synchronous guarantee of execution accuracy are realized on the edge computing equipment.

The invention relates to the field of building engineering construction management and intelligent construction, in particular to a dynamic optimization method for the construction progress of an assembly type steel structure based on a dynamic planning algorithm. The method comprises the following steps: S1, acquiring a component / site model, partitioning the component / site model into component packages according to assembly, generating a construction activity, and setting a time length and a resource demand vector; s2, connecting topology and basic supporting nodes are built, and constraints including dependence, available amount, arrival of cargo boundary, hoisting time period and mutual exclusion are formed; s3, periodically constructing an assembly state vector S (finished activities, support certificates), and generating a feasible set according to S and constraints; s4, taking the S, the time value and the resource occupation as states, and forgetting the DP to solve the minimum target to obtain a reference plan; and S5, collecting actual progress / resources, updating and generating differences, fixing completed activities during triggering, differentially driving memo table increment failure multiplexing and rolling recalculation output plans. According to the method, a state vector containing a support certificate and a constraint feasible set are constructed, and memo DP solution and differential increment failure multiplexing rolling recalculation are carried out.

The application discloses a real-time task scheduling method and system based on an industrial Internet of Things, and a medium, the method comprising: taking a heterogeneous two-level bitmap structure as a unique carrier of task priority and readiness state, incorporating corresponding heterogeneous two-level bitmap search fixed overhead, and completing provable real-time admission control of a newly-built task through a response time iteration criterion; a ready task that passes the provable real-time admission control completes heterogeneous two-level bitmap search within a limited clock cycle; when the heterogeneous two-level bitmap search identifies mutual exclusion lock competition and priority inversion risk, a deterministic bitmap migration protocol is executed through a processor atomic instruction, the readiness queue is physically migrated at the moment when priority inheritance takes effect through the deterministic bitmap migration protocol, the problem of inheritance taking effect but scheduling lagging is eliminated, and the response certainty of a control task in a resource competition scene is ensured.

Embodiments of the present application provide a snapshot processing method, device, storage medium and program product. In the snapshot data processing method, after uploading the snapshot data corresponding to the current snapshot operation of the target storage volume, the write-in node can delete the shadow file corresponding to the target storage volume in the case that there is no unmerged update data in the target storage volume. Before deleting the shadow file, the first write-in node can create a snapshot mutual exclusion identifier in the target storage volume, which can block the next snapshot operation of the target storage volume within a set time range. Further, other write-in nodes in the distributed file system cannot perform snapshot operation on the target storage volume within the set time range, reducing the probability that the shadow file to be deleted by the write-in node is reused by the next snapshot operation, thereby reducing the risk of data loss caused by the deletion operation of the write-in node on the shadow file, and being beneficial to improving the accuracy of the update data written into the target storage volume during the next snapshot.

The invention provides a constraint file generation method and device, electronic equipment, a computer readable storage medium and a computer program product, and relates to the field of chip design. The method comprises the steps of obtaining a target definition file; the target definition file comprises all clocks of the target chip and labels of the clocks; wherein the label of each clock comprises the type of the clock, the asynchronous relation condition of the clock and the mutual exclusion condition of the clock; the mutual exclusion condition comprises a logic mutual exclusion condition or a physical mutual exclusion condition; classifying the clocks according to labels of the clocks in the definition file to obtain a clock group domain affiliation relationship; the clock group domain affiliation relationship comprises a clock group and a clock domain to which each clock belongs; and generating a constraint file according to the target definition file and the clock group domain affiliation relationship. According to the scheme, the generation and maintenance efficiency of the constraint file can be improved.

The application relates to the technical field of model-based system engineering, and particularly relates to a requirement and function-based architecture design method and computer equipment. The method comprises the following steps: creating a scheme template of a system architecture based on a requirement list, and matching the requirement list in a full-amount model to obtain a function set corresponding to each design requirement in the requirement list; matching each function set in the full-amount model to obtain an instance set corresponding to each target function; constructing multiple initial schemes based on the scheme template, searching each initial scheme based on a mutual exclusion relationship, determining a target scheme from the initial schemes according to a search result, and constructing a corresponding target architecture based on each target scheme, wherein each target architecture is an architecture scheme corresponding to the requirement list. The method can improve the comprehensiveness of architecture design for complex equipment.

According to examples, an apparatus includes processing units that execute threads using a hybrid locking / queuing operation for efficient processing of work units with mutual exclusion of the work units. Under the hybrid locking / queuing operation, a processing unit determines that a first thread is to process a first work unit, in which the first work unit is under protection of a hybrid exclusion object (HEO), and in which the HEO includes an HEO queue. In addition, the processing unit places a lock on the HEO, determines whether the HEO is owned by a thread, and based on a determination that the HEO is owned by a second thread, adds the first work unit to the HEO queue, and releases the lock on the HEO. The second thread assigns ownership of the HEO to the first work unit when the first work unit reaches a top of the HEO queue.

The invention belongs to the technical field of medical instrument control, and particularly relates to an efficient hot air circulation drying system for medical disinfection equipment. According to the system, two working modes of drying and self-cleaning are thoroughly isolated from a logic source through mutually exclusive bimodal state machines in a modal arbitration and instruction distribution module, the system can only run in a determined modal at any moment, and modal switching must be subjected to strict idle state verification and confirmation completion, so that the system is simple in structure, low in cost and high in reliability. Therefore, the risk of false triggering and function conflict caused by logic coupling is eliminated, and the independence and integrity of the execution process of each mode are ensured.

The invention discloses a scheduling system and scheduling method for configuration events and electronic equipment, and relates to the technical field of servers, a multi-level concurrency control architecture is provided, the multi-level concurrency control architecture comprises an event distributor, an object processor and a subsystem operator, the event distributor carries out concurrency scheduling according to concurrency threshold values and event type concurrency mutual exclusion information, and the object processor carries out concurrency scheduling according to the concurrency threshold values and the event type concurrency mutual exclusion information. Distributing the configuration event to an object processor corresponding to the configuration object; the object processor performs concurrent scheduling according to the concurrent threshold value and a local concurrent scheduling decision parameter, and calls a subsystem operator to execute a configuration event; and the subsystem operator performs concurrent scheduling according to the concurrent threshold. Through the coordination of the event dispatcher and the object processor, the complexity in the subsystem is reduced, concurrent scheduling is realized at each level, unrelated configuration events are concurrently processed as far as possible under the condition that extra complexity is not introduced to a configuration task, the obstacle that the configuration task can only be globally and serially executed is broken through, and the configuration efficiency is improved. And the system configuration change efficiency is improved.

This invention relates to the fields of artificial intelligence and computational materials science, and discloses a method and system for autonomous material discovery based on a large language model. The method includes: the system receiving computational task instructions in natural language form; a cognitive layer calling a large language model agent to process the instructions and outputting structured instructions containing action instructions and parameter sets; a control bridging layer merging and pattern-validating the parameter sets based on preset system parameters, generating file entities and writing them to the processing path; an execution layer starting a background daemon process and triggering atomic movement instructions from the operating system; a computation module parsing the file entities, initializing a graph neural network model, and performing iterative computation; during the computation process, collecting and transmitting runtime status data including a loss function, and having the large language model agent dynamically generate the next round of computational task instructions based on the numerical values. This invention establishes a closed loop of instruction parsing, mutual exclusion scheduling, and physical computation, improving the stability of autonomous material computation.

The present application relates to the technical field of electric digital data processing, in particular to a business process missing activity repair method and system based on missing perception and medium; the method encodes the order, concurrency and mutual exclusion relationship between activities in the event log into a two-dimensional relationship matrix, carries out multi-layer feature extraction processing based on different area convolution, obtains low-frequency features reflecting stable path patterns, medium-frequency features reflecting local branch structure features, and high-frequency features reflecting burst behavior patterns; then, taking the medium-frequency features as semantic anchor points, the multi-spectrum features are aligned and fused, the fused features are flattened into one-dimensional tensors after size adjustment and channel padding, and after one-dimensional convolution and global pooling, nonlinear processing is carried out to obtain missing activity prediction results; finally, based on the missing activity prediction results, the missing activities are filled in the event log to be repaired to obtain a repaired event log, and the method can significantly improve the activity missing repair rate.

According to examples, an apparatus includes processing units that execute threads using a hybrid locking / queuing operation for efficient processing of work units with mutual exclusion of the work units. Under the hybrid locking / queuing operation, a processing unit determines that a first thread is to process a first work unit, in which the first work unit is under protection of a hybrid exclusion object (HEO), and in which the HEO includes an HEO queue. In addition, the processing unit places a lock on the HEO, determines whether the HEO is owned by a thread, and based on a determination that the HEO is owned by a second thread, adds the first work unit to the HEO queue, and releases the lock on the HEO. The second thread assigns ownership of the HEO to the first work unit when the first work unit reaches a top of the HEO queue.