9results about How to "Guaranteed atomicity" patented technology

The application discloses a CPU firmware interactive verification method and system based on a TCL script transparent routing, relates to the field of integrated circuit EDA verification tools, and discloses that in existing SoC verification, a TCL script cannot transparently route a command to CPU firmware in simulation, thereby causing a local command and a firmware command to be called in a split mode. The application intercepts a user command through an unknown hook of TCL and writes the user command into a simulation global variable; a SystemVerilog unified distributor inquires a command type mark table; if the command is a local command, the local command is directly executed; if the command is a CPU command, the CPU command is sent to CPU firmware through a shared memory mailbox; CPU firmware analyzes and executes the CPU command, returns a result to the mailbox, writes the result into a TCL global variable through an SV layer, and presents the result to a user. The application enables the user to not distinguish a command execution subject, supports mixed parallel execution, four SV-CPU synchronization modes and timeout protection. The application significantly improves simulation verification efficiency and reusability of a SoC chip containing a CPU core, and reduces a verification environment integration threshold.

The embodiment of the invention provides a metadata log replay processing method and device, electronic equipment and a storage medium. The method comprises the steps of obtaining a metadata log event, performing local verification on the metadata log event, if the metadata log event is a non-local operation, extracting a metadata field, comparing the metadata field with a preset local index node, and performing data processing according to an operation type when the creation time of the metadata field is updated; updating a file version number based on a preset version incremental rule, and generating dimension control information in combination with the creation time; according to the dimension control information, the data processing process is packaged into a transaction of a preset key value database to be executed, and whether the instruction fails or not is detected; and if the execution result and the dimension control information are successfully written, the preset local index node is updated, and if the execution result and the dimension control information are failed, the operation is revoked in a reverse order and recovered to a transaction pre-encapsulation state. The method is used for guaranteeing the atomicity of metadata log replay, avoiding data residues, solving the problem of metadata synchronization inconsistency and improving the reliability of metadata log replay.

This invention provides a conflict-aware transactional reconstruction method and apparatus for vehicular networks, belonging to the field of vehicular network configuration and scheduling control technology. It solves problems such as multi-node time slot conflicts, cross-device submission asynchrony, and inability to quickly roll back after update failures in existing vehicular network transactional reconstruction processes. The method includes: upon receiving a reconstruction request, generating a set of scheduling update operations based on the reconstruction request and the latest scheduling status table of each device node in the vehicular network; establishing a conflict graph and a dependency graph based on the scheduling update operation set; determining a set of transaction execution layers and the corresponding hierarchical execution sets for each transaction execution layer based on the conflict graph and dependency graph; and performing transactional reconstruction on each device node based on the set of transaction execution layers and the corresponding hierarchical execution sets, including differential patch pre-writing, atomic pointer switching triggered by a unified timestamp, and distributed consistency monitoring.

This application discloses a data processing method, electronic device, storage medium, and computer program product. The method includes: upon receiving a first read request from a first user, locking a first buffer using a first lock, wherein the first read request requests to read first information, the first information including information related to each type of kernel event in one or more types of kernel events, and the first information is stored in the first buffer; copying the first information to temporary memory to generate a data snapshot of the first information; copying the data snapshot to a buffer corresponding to the first user; and after the data snapshot is successfully copied to the buffer corresponding to the first user, releasing the first buffer and releasing the first lock. This application improves the security of the process of reading information related to kernel events.

The invention relates to a method for exporting a telecommunications profile from a source secure element (10) to a target secure element (13) by an LPA of a device comprising the source secure element and the target secure element (10, 13), the method comprising:-sending its certificate and at least a signed profile ID from the source secure element (10) to the target secure element (13); -verifying, at the target secure element (13), the validity of the certificate on the basis of the source certificate and the signature profile ID; if the verification is positive, sending a signed download request of the configuration file and a certificate of the target secure element (13) from the target secure element (13) to the source secure element (10); -at the source secure element (10), verifying the authenticity of the certificate of the target secure element (13), generating a profile encryption key PEK and a credential encryption key CEK; encrypting credentials of the profile with the CEK; -encrypting a profile comprising the encrypted credentials with the PEK; -encrypting the CEK and the PEK as a CEK and a PEK, respectively, with the public key of the target secure element (13); -sending the encrypted profile and PEK from the source secure element (10) to the target secure element (13); -at the target secure element (13), decrypting the received PEK with its private key to obtain a PEK, decrypting the configuration file with the PEK, and installing the configuration file; -sending a first signature message from the target secure element (13) to the source secure element (10) indicating that the configuration file has been successfully installed; -at the source secure element (10), when a first signature message indicating that the configuration file has been successfully installed is received, removing the configuration file and sending to the target secure element (13) a CEK and a second signature message with a private key of the source secure element (10) indicating that the configuration file in the source secure element (10) has been successfully removed; -at the target secure element (13), verifying the validity of the second signature message, decrypting the CEK to obtain the CEK, and decrypting the credential with the CEK.

The application discloses a kind of configuration class data's cache ORM systems, specifically relates to software application technical field, including cache structure definition module, for by Groovy script configuration class data in relational database is converted into Redis specific data structure;Cache synchronization control module is coupled with the data of cache structure definition module.The application is systematically solved through Vickrey auction mechanism and reverse index incremental update the consistency problem of distributed multi-node concurrent modification cache, eliminates cache surprise group effect;Through alliance chain storage and zero-knowledge proof audit, realize the full-process tamper-proof traceability and privacy protection compliance verification of cache operation;Through the construction of immune network antibody library and complement cascade response, realize the active perception and dynamic defense of cache penetration attack, three big mechanisms work together, reduce development and operation cost, improve the security, credibility and management efficiency of cache system.

The invention provides a smart card equipment management and instruction interaction method and device, and relates to the technical field of smart cards. The method comprises the following steps: monitoring a USB equipment event reported by an operating system; responding to the event, starting an event merging processing flow, and generating a trigger signal after the event is merged in a preset time window; in response to the trigger signal, executing device discovery through the PC / SC interface to obtain a unique identifier of the smart card device, and updating a device resource table; after a service request containing an APDU instruction is received, an exclusive lock is applied for target equipment, and persistent communication connection is obtained; when the exclusive lock is held, APDU instructions are sent in sequence through persistent connection, and results are received; and after completion, releasing the exclusive lock and returning a result. According to the method, the problems of resource consumption and real-time performance of timed polling are solved, event storm is avoided through event merging processing, and correctness and efficiency of high-concurrency services are guaranteed through the exclusive lock and the persistent connection.

The application relates to the technical field of data processing, and discloses a quick sorting method and system for instant invoice of different specifications, which comprises the following steps: determining an order type based on order information, locking target inventory based on the order type, and triggering a three-way locking mechanism; horizontally and vertically counting the target inventory and performing inventory lending processing; screening the ticket state of the target inventory, and filtering out the to-be-sorted tickets with the ticket state of 'locked' and 'problem ticket' from the target inventory; detecting the allocation specification of the order information, and triggering the box opening logic if the allocation specification is the same; and sorting the target inventory based on the order information. Through specification level association and dynamic lending, the application solves the problems of insufficient sorting specification accuracy, low efficiency caused by separate database and table, large artificial checking workload, and delayed real-time data statistics in instant invoice sorting.

This invention relates to an automatic software update method based on an in-vehicle embedded operating system, belonging to the field of computer software technology. It solves the problem that existing methods cannot simultaneously achieve reliable system startup and flexible, secure automatic software updates. The method includes: partitioning the physical disk into a system root partition, a user data partition, and an OverlayFS working partition; automatically entering safe mode by detecting kernel boot parameters, mounting the system root partition as read-only, and mounting specified directories as read-write overlays based on the OverlayFS file system and whitelist configuration files; dynamically switching the safe mode on and off via system services and command lines; upon detecting an external update device, entering maintenance mode, performing security verification on the update package from the external update device, and then performing an atomic update operation on the user data partition. This achieves both reliable operating system startup and flexible automatic software updates.