Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

35 results about "Semaphore" patented technology

In computer science, a semaphore is a variable or abstract data type used to control access to a common resource by multiple processes in a concurrent system such as a multitasking operating system. A semaphore is simply a variable. This variable is used to solve critical section problems and to achieve process synchronization in the multi processing environment. A trivial semaphore is a plain variable that is changed (for example, incremented or decremented, or toggled) depending on programmer-defined conditions.

P- and V-semaphore operation

InactiveCN1585923AWill not blockReduce related business volumeProgram synchronisationData conversionData elementDatabase
A V-operation not performed atomically for each data element or storage space that becomes available in a FIFO or a P-operation is not performed atomically for each request for a data element or a storage space in the FIFO but rather one V-operation is performed after m data elements or m storage spaces have become available in the FIFO or one P-operation is performed after m requests for data elements or m requests for storage spaces have been received. Upon using these P-operations, i.e. performing said request operations in bursts rather than atomically, cases may occur where less data elements or storage spaces are available in said FIFO buffer than needed or requested by a consumer process, e.g. a reading or a writing process. A P-operation is performed by requesting m data elements or m storage spaces for m data elements. The P-operation will only be blocked completely, if no data elements or storage spaces are available in the FIFO buffer, i.e. the semaphore counter being zero. However, if there are data elements or storage spaces available in the FIFO buffer, i.e. the semaphore counter is greater than zero, the value of the available data elements or storage spaces for data elements, i.e. the count of the semaphore counter, and the value m of the P- request operation are compared and the minimum value of said two values is selected. If there are more data elements or storage spaces available in said FIFO buffer than requested by said P-operation, the value m of the requested data elements or storage spaces for data elements is selected as the actual available decrement of said semaphore counter. However, if there are less data elements or storage spaces available in said FIFO buffer than requested by said P-operation, the value of the available data elements or storage spaces for data elements is selected as the actual available decrement dec. The actual decrement dec of said semaphore counter is finally output.
Owner:NXP BV

A control method and system for realizing semaphore order preservation in systemverilog

The invention provides a control method and system for realizing semaphore order preservation in systemverilog, which determines whether the current request source is waiting according to the value of a static variable, and determines whether the current request source is interrupted according to whether the value in the associative array is a special value. Implement order-preserving control of semaphore. The present invention constructs encapsulation classes, sets static variables, associative arrays, checks the function of returning key quantity and order preservation function, when requesting to apply for a key, according to the record value in the associative array, it is determined whether the previous request is blocked, so as to decide the present invention. Whether the second request is interrupted, so as to ensure the processing order of the request, solve the hidden defects of semaphore in the existing systemverilog and the situation that may cause the request to be out of order, make full use of the life cycle of static variables and the built-in associative array can be added at any time Or delete the characteristics of the element, supervise and effectively control the key return of the semaphore and the request for the key.
Owner:INSPUR SUZHOU INTELLIGENT TECH CO LTD

Random denoising statistical method and system based on accumulated semaphore

The invention discloses a random denoising statistical method and system based on cumulative semaphore, and the method comprises the steps: carrying out the quick traversal of a statistical time period historical sample set, and summarizing sample features; in combination with the sample features, processing noise data, and synchronously updating the historical sample set and the sample features; according to the updated sample features, summarizing accumulation results from the updated historical sample set; and according to the sample features, the updated historical sample set, the sample features and the summarized accumulation result, designing an accumulation signal measurement point statistical algorithm device, performing traversing to generate the sample features, processing the noise data according to the noise type, updating the sample features and the historical sample set, and performing re-summarizing to generate a correct accumulation result. According to the user request parameter, the noise data is automatically identified, the noise data is processed according to the noise type, the correct accumulation result is summarized and counted, the human intervention cost is reduced, and the statistical efficiency and accuracy are improved.
Owner:XIAN THERMAL POWER RES INST CO LTD

Instruction splitting method and device and electronic equipment

The invention provides an instruction splitting method and device and electronic equipment. The method is applied to a forwarding layer of a distributed server, and comprises the following steps: receiving a to-be-split instruction, and determining a semaphore of the instruction; wherein the instruction comprises a plurality of key value pairs, and the semaphore represents a processing stage of the instruction; splitting the instruction, and sending the split instruction to a plurality of servers; receiving processing results sent by the plurality of servers, and determining whether the instruction is processed or not based on the semaphore; and if the processing is completed, summarizing a plurality of processing results to obtain a final processing result, and sending the final processing result. When the instruction is split and processed, the processing stage of the instruction is determined through the semaphore, and whether the split instruction is completely processed or not can be determined according to the semaphore. In the mode, distributed processing of the instruction can be realized through instruction splitting, so that uniform processing of the split instruction is ensured, and the instruction processing efficiency is improved.
Owner:BEIJING KINGSOFT CLOUD NETWORK TECH CO LTD

Inter-process communication method and device based on shared memory and electronic equipment

The invention provides an inter-process communication method and device based on a shared memory and electronic equipment. The method comprises the steps of providing a first interface, and enabling the first interface to execute the following operations in response to a first call request of a first process: if a write judgment condition in the first call request is not met, adding 1 to a first reference count, unlocking, carrying out P operation on a first semaphore, and entering a write waiting state; during waiting, if it is judged that the writable available amount of the message queue interval is greater than 0 based on the first semaphore and a write judgment condition in the first call request is met, exiting; and providing a second interface, and enabling the second interface to execute the following operation in response to a second calling request of the second process: conducting V operation on the first semaphore of the message queue interval of the second process based on the value of the first reference count so as to enable other processes in the waiting state to be awakened. Therefore, the waiting process releases the system resources, then the waiting process is awakened through the V operation of the first semaphore, and the communication efficiency of the system is improved.
Owner:AUTOMOTIVE INTELLIGENCE & CONTROL OF CHINA CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products