162 results about "Mutual exclusion" patented technology

The invention relates to the technical field of data processing systems, and discloses a command and dispatch management method and system based on artificial intelligence, and the method comprises the steps: generating a space-time occupancy statement containing an occupancy area, a time window and a task state through an edge node, and broadcasting the space-time occupancy statement to an adjacent node; and a receiver performs local conflict verification according to a state mutual exclusion rule, and triggers priority-based lightweight negotiation to adjust an occupied time window when detecting that static observation and dynamic intervention states coexist in an overlapped space-time. Postward conflict processing of traditional centralized scheduling is converted into beforehand conflict avoidance, the response speed and the operation toughness of the system are remarkably improved, and meanwhile, through physical reachability verification and a channel self-adaption mechanism, the cooperation reliability in a complex environment is guaranteed.

The invention provides a distributed event processing method and electronic equipment, which can be applied to the field of distributed technologies. The distributed event processing method comprises the following steps: receiving an event processing request at a request receiving entrance of a distributed system, and searching a priority and a mutual exclusion execution type corresponding to an event type from a preset event registration library according to an identifier representing the event type in the event processing request; based on the priority and the timestamp of the event processing request, inserting an event object obtained after packaging the event processing request into a priority scheduling queue; after an event object used for execution is extracted from the priority scheduling queue, conflict detection is carried out on a mutual exclusion execution type corresponding to the event type based on a global mapping table maintained in the distributed system; and under the condition that the conflict is not detected, calling a service processor corresponding to the event type to execute the event object, and updating the current execution count of the event type in the global mapping table based on the execution state.

The invention provides an aerodynamic geometry co-evolution fan blade intelligent generation system, and relates to the field of fan blade design, and the system comprises an aerodynamic geometry co-evolution module which constructs a blade geometric model in a unified high-dimensional space, generates a coupling performance field in real time, responds to disturbance, updates the performance field, and feeds back index changes; establishing a performance target balance path by adjusting disturbance; a manufacturing constraint processing module identifies a non-adjustable area to construct a tension avoidance ring, limits the approach to a path and redirects the path; the precipitation feedback module monitors and recognizes lag signal storage, remaps the lag signal to a structural area in a static and stable state and applies a correction coefficient to intervene in subsequent evolution; the mutual exclusion coordination center module establishes a conflict detection mechanism, judges conflicts based on a label atlas and executes a dislocation locking scheduling feedback chain; the potential state coordination module constructs a graph based on historical data to pre-judge a future conflict path, pre-locks a conflict mechanism and guides construction of an alternative path to form a non-concurrent dislocation execution model.

The invention provides a deadlock detection method, system and equipment based on a lock template class, and a medium, and the method comprises the steps: creating a mutual exclusion lock template class, and customizing a lock type for protecting shared resources; the mutual exclusion lock template class sets a lock stack to record a lock state of a thread, and a timestamp mechanism is introduced into the mutual exclusion lock template class to detect a blocking state; constructing a lock dependency graph of the global thread by the mutual exclusion lock template class, and identifying a lock and a lock dependency relationship by adopting nodes and edges of the lock dependency graph; and presetting a check period, and identifying a deadlock cycle in the global thread by adopting a detection algorithm according to the lock stack and the lock dependency graph. According to the method, the state of the lock and the resource allocation condition of the thread are monitored in real time through the template class, the potential deadlock risk can be found in time, early warning is given out, detailed deadlock information is provided, and a developer is helped to rapidly position the deadlock problem.

The invention relates to an intelligent lighting control technology, and discloses a script-based intelligent lamp dynamic regulation and control method, which can realize dynamic randomized lighting effect expression, accurate time sequence control and multi-parameter collaborative management so as to improve the performance of an intelligent lighting system and the user experience. According to the scheme, the script in the JSON format is used for defining a plurality of script nodes, each script node comprises gray values and duration parameters of RGB channels, cold white channels and warm white channels, and negative value parameter semantics are supported to achieve the randomization effect. The system realizes smooth transition from one lighting effect state to another lighting effect state through a pseudo-random number generation strategy, channel mutual exclusion logic, a gradual change algorithm and accurate time sequence control, and supports loop playing and multi-thread task scheduling. The method is particularly suitable for application scenes such as smart home, commercial space lighting and stage lighting which need highly customized lighting effect expression.

The invention discloses a management system for an integrated circuit test, and relates to the technical field of integrated circuit test management, and the system comprises a task scheduling module which is used for receiving a plurality of test task requests, and generating a test task scheduling sequence based on the priority parameter of each test task, the current state of a test resource, and a historical execution result; and the resource coordination module is used for acquiring the running states of the plurality of test devices, executing resource allocation operation according to the test task scheduling sequence, and generating a coordination abnormal event if resource conflict or scheduling failure is detected in the execution process. According to the invention, a dependency graph between test equipment and bottom hardware resources is constructed through the resource coordination module, and accurate modeling of a resource mutual exclusion relationship, concurrent capacity and conflict risk is supported, so that resource conflicts are pre-judged before scheduling, and the problems of resource scrambling and deadlock are effectively avoided.

The invention discloses a business handling method and device, computer equipment and a storage medium, and the method comprises the steps: receiving a user business request, and extracting business information containing a user identity, a target business and an association condition from the business request; based on the service request, searching a service rule, a mutual exclusion relation and a constraint condition related to the service information in a pre-constructed service knowledge graph; inputting the business rule, the mutual exclusion relation and the constraint condition into a local fine-tuning large model, and generating a business handling path containing a conflict judgment and processing strategy through thinking chain reasoning; according to the business handling path, generating a structured operation instruction which can be identified and executed by a business system; and sending the operation instruction to the service system to promote the service system to execute a service corresponding to the operation instruction. And the business handling efficiency and success rate are improved.

The invention provides a multi-task automatic mutual exclusion lock management middleware which realizes full-automatic lock management through intelligent resource classification, dynamic lock strategy matching and priority sensitive scheduling. The middleware is internally provided with a resource feature analysis algorithm, read-write features of resources such as hardware equipment and memory queues can be automatically recognized, and optimal lock mechanisms are allocated to different scenes in combination with a preset lock strategy library; a priority preemptive scheduling algorithm is originally created, high-priority tasks are allowed to break through the limitation of a lock waiting queue, and the real-time task response capability is guaranteed; and meanwhile, an annular deadlock detection module is integrated, and a low-priority lock occupation task is relieved through transaction rollback, so that circular waiting is relieved. A developer only needs to label task priority labels, zero manual lock coding can be achieved, and the lock conflict risk is reduced. The modules cooperate to achieve full-automatic lock management, lock conflict and deadlock risks are remarkably reduced on the premise that lock logic does not need to be coded manually, and the real-time performance and reliability of a multi-task system are remarkably improved.

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 relates to the field of embedded technologies, in particular to a WCET analysis method and device for an embedded multi-thread program. The method comprises the steps that synchronous operation in a multi-thread program under the POSIX thread standard is recognized, lock-related operation statements are recorded, and an expanded parallel program control flow diagram is generated to describe the synchronous dependency relationship between threads; based on a lock-protected critical region resource mutual exclusion access principle, calculating a program WCST caused by critical resource application of a thread; according to a control flow diagram of a parallel program, determining a parallel segment, running on other cores, of a certain program segment, taking the parallel segment as an interference set, and performing conflict analysis on the shared instruction cache through an abstract interpretation method; and inputting the analysis result as a parameter into a WCET calculation method IPET to obtain a WCET analysis result of the whole parallel program.

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 relates to the technical field of service management, in particular to a bundled sales and course flexible configuration method and system based on hosting service, and the method comprises the following steps: extracting courses and service time sections, analyzing the calling frequency and resource occupation, judging whether the courses are overloaded and pre-judging conflicts, constructing mutually exclusive course paths, and screening high-coherence low-conflict combinations. And generating a synchronous scheduling table. According to the method, the intersection between the course teaching period and the service starting time window is detected, the course level label and the resource configuration density are combined, the resource mutual exclusion relationship between course paths is distinguished, and a clear exclusive priority rule is established, so that path interference caused by resource scrambling is effectively avoided; according to the method, path coherence scores and service stability parameters are combined, logic coherence and operation stability of overall configuration are guaranteed, a synchronous scheduling structure is generated through comparison of service triggering offset duration and the period lower limit of a resource opening time period, and linkage cooperation of service calling and course content is achieved.

The invention discloses an anti-misoperation control method based on five-prevention push permission, and belongs to the technical field of electric power system anti-misoperation control. The method comprises the following steps: after a centralized control platform receives permission information, unlocking an operation entrance corresponding to a device identifier and an operation action, and keeping an entrance which does not accord with permission in a forbidden state; an operator initiates an operation request through the unlocked entrance, and the centralized control platform issues a control command to the target equipment and collects execution feedback; and the five-prevention master station performs logic check based on a feedback result, generates a next permission or revocation instruction, and realizes closed-loop anti-error control of permission generation, feedback execution and re-permission. According to the system, measures such as signature verification, topology snapshot binding and mutual exclusion lock are adopted to guarantee consistency and safety, and risk quantification and traceability are achieved in combination with dynamic risk assessment and whole-process logs. According to the method, active pushing and dynamic checking of the permission information are realized, and the operation safety, the real-time performance and the intelligent level of a power system are remarkably improved.

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.

The invention discloses a time-discrete phased array radar beam gain scheduling method, and belongs to the field of radar resource scheduling. Firstly, scheduling revenue functions of all tasks in a scheduling time slot are established; decomposing each task into a plurality of sub-tasks executed at starting moments of different time slices, and calculating the scheduling income of each sub-task; then, according to the principle that the execution time of each task does not intersect with each other and the sub-tasks decomposed by the same task are mutually exclusive, a mutual exclusion matrix is established, and a scheduling problem is converted into a minimum weighted independent set problem in a graph theory; and finally, solving the problem by using a continuous Hopfield neural network to obtain a scheduling result. The method is mainly used for the phased array radar to reasonably allocate the beam residence resources for different tasks under the condition that the time resources are limited, the urgency and timeliness of all the tasks in the scheduling time slot can be considered, the beam residence sequence is globally optimized, hardware parallel computing is facilitated, and good scheduling benefits can be obtained at low time cost.

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 invention provides a control method for selecting two places, which comprises the following steps of: controlling a machine-side switch to be closed, switching on a first input signal, and sending the first input signal as an input condition for triggering a setting instruction to an input PLC (Programmable Logic Controller); after receiving the first input signal, the input PLC sets a first output signal to be in a high-level state, and the output PLC sets a second output signal to be in a low-level state through mutual exclusion logic; the central control switch is controlled to be closed, a second input signal is connected, and the second input signal serves as an input condition for triggering a setting instruction and is sent to the input PLC; and after the input PLC receives the second input signal, the second output signal is set to be in a high level state, and the output PLC sets the first output signal to be in a low level state through mutual exclusion logic, so that the problems that the belt conveyor is prone to equipment failure and needs more manpower expenditure due to mutual influence of local operation and central control operation are solved.

The invention discloses a general numerical control method and a numerical control system, and relates to the technical field of core foundation equipment manufacturing industry, the method comprises the following steps: after lexical and grammatical analysis, converting a part processing program into an execution queue, and obtaining a processing track; calculating the speed of a curve transition point in the processing track; performing data point densification on the processing track by using a linear interpolation or arc interpolation mode to obtain a densified processing track; and finally, controlling a controlled object by adopting a seven-section speed S curve. Wherein the executing mechanism can control a plurality of pieces of numerical control equipment for processing at the same time, and information exchange and mutual exclusion operation are carried out among the equipment by sharing global variables. According to the method, the machining track is analyzed in advance, and data point densification is performed on the machining track, so that alignment of all the parts in the whole implementation process is very accurate, and automatic feeding and discharging or machining through different cutters can be achieved while machining is achieved on the basis that re-alignment is not needed.

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 application provides a kind of detection method of inter-task mutual exclusion semaphore deadlock, including initialization of a task bitmap and an empty blocking bitmap;Mark a task on the blocking bitmap, judge if repeated marking, if so, it indicates that there is deadlock, otherwise enter detection;Mark other tasks waiting on the mutual exclusion semaphore of the task on the blocking bitmap, judge if repeated marking, if so, it indicates that there is deadlock;Check if the task holding the mutual exclusion semaphore is waiting for other mutual exclusion semaphores permanently, if not, the tasks related to the mutual exclusion semaphore are removed from the task bitmap, repeat the above steps to detect other tasks until the task bitmap is empty, indicating that there is no deadlock, and the detection ends.The method designed by the application is not only effective and efficient, but also can discover and solve the deadlock problem in time, ensuring the system continues to run.

The invention provides a page configuration method, system and device, a storage medium and a program product, relates to the technical field of Internet, and can quickly configure and adjust the operation authority of a user role according to actual needs through a visual authority configuration interface, thereby displaying a specific access page matched with the operation authority for a user, and improving the user experience. And the configuration performance is improved by automatically preventing permission conflict configuration. According to the specific technical scheme, a visual permission configuration interface is provided, data such as accessible menus and dynamic elements (such as label pages and buttons) are distributed for different roles, and conflict configuration is automatically prevented based on a predefined mutual exclusion rule table. And after the configuration is completed, the back-end equipment stores data corresponding to each role. When a user logs in through the front-end equipment, the front-end equipment sends a request (including role information), and the rear-end equipment inquires and returns corresponding data according to the role information. And the front-end equipment dynamically generates the user interface according to the returned data.

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.

The invention discloses a user-defined structured log generator, which is characterized by consisting of a data structure defining module, a data field constraint defining module, an algorithm module for generating logs and a module for outputting logs in required formats, the data structure defining module is used for automatically generating a structured log according to a data structure, a constraint condition and a mutual exclusion condition defined by a user and supporting to output and store the structured log in various common log file formats, and the data structure defining module is used for initializing and defining the data structure of the log required by the user; the definition data field constraint module is used for selecting options for defining an association relationship and a mutual exclusion relationship between fields or not; the algorithm module for generating the log is used for automatically filling log data by utilizing an algorithm; compared with the prior art, the method has the advantages of data security, high efficiency of automation, consistency of log formats and the like, and is suitable for links of software design, development, operation and maintenance, big data analysis, testing and the like as a general underlying tool.

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.