35 results about "Micro kernel" patented technology

The invention discloses a micro kernel pluggable program application system and an implementation method thereof, which are used for solving the technical problems of low software updating efficiency and the high redundancy under the conventional software architecture mode. By the method, a friendly plug-in based software updating system is implemented; and during software updating, a plug-in unit is used as an updating logic unit, so the updating redundancy is reduced. By using an extendible plug-in structure, a plug-in description file is used for describing a dependence relation among plug-ins, so a micro kernel can nest and load plug-in resources according to a plug-in resource configuration file and the extendibility is strong. The micro kernel downloads at the first time and uploads a root plug-in comprising a key function according to the plug-in resource configuration file, and downloads and uploads a sub plug-in on which the root plug-in depends; and as the plug-in uploaded at the first time is used at the first time, the user experience is enhanced. By the invention, the judgment on the version of an automatic plug-in, the automatic downloading of the plug-in and dependence uploading procedure architecture based on the plug-in are realized so as to realize the system upgrading automation.

Disclosed is a method and device for kernel running in a heterogeneous operating system, applied to a many-core platform. The method comprises: setting cores in a core resource pool of a CPU to be in an idle state; and running at least two cores in the idle state in the core resource pool of the CPU respectively in two designated kernel types in accordance with a running demand, wherein the kernel types comprise: a single kernel and a micro kernel. Also disclosed is a corresponding device for kernel running in a heterogeneous operating system. Cores can run with dynamic transformation between a micro kernel and a single kernel by setting an idle state between two kernel types of single kernel and micro kernel, thereby simultaneously running the single kernel and the micro kernel in the operating system in accordance with the running demand. The device has the advantages of two kernel types.

The invention discloses a communication security formalization analysis and verification system in process based on a micro kernel prototyping. The communication security formal analysis and verification system comprises a prototype preprocessed module. The prototype preprocessed module comprises a system entrance of the formalization analysis and verification system, and an embedded operating system micro kernel prototype is as input. A pending verified IPC module extracted from the micro kernel module classified processes to generate a collection IPC with related function as inputting pending verified data of each module. An IPC security properties of a particular attribute in a finite state is verified through a denumerable state specific attribute authentication module. The denumerable state specific attribute authentication module is capable of modeling and analyzing the pending verified IPC fault behavior pointedly. An Infinite state and the generalized attribute verification module are used for verifying IPC security properties of infinite and non-specific attributes, verifying the external nature of IPC abstracted from a standardized data structure, and deeply abstracting and further generating different models and refine validation based on abstract properties and each interest point.

The present invention relates generally to computer operating systems, and more specifically, to operating system calls in a symmetric multiprocessing (SMP) environment. Existing SMP strategies either use a single lock or multiple locks to limit access to critical areas of the operating system to one thread at a time. These strategies suffer from a number of performance problems including slow execution, large software and execution overheads and deadlocking problems. The invention applies a single lock strategy to a micro kernel operating system design which delegates functionality to external processes. The micro kernel has a single critical area, the micro kernel itself, which executes very quickly, while the external processes are protected by proper thread management. As a result, a single lock may be used, overcoming the performance problems of the existing strategies.

There are provided a digital content management apparatus which further embodies a digital content management apparatus used with a user terminal, and a system which protects the secrets of a digital content. The system and the apparatus are a real time operating system using a micro-kernel, which is incorporated in the digital content management apparatus as an interruption process having high priority. When a user uses the digital content, whether there is an illegitimate usage or not, is watched by interrupting the usage process. In the case where illegitimate usage is carried out, a warning is given or the usage is stopped. The decryption / re-encryption functions of the digital content management apparatus having the decryption / re-encryption functions are not restricted to the inside of the user apparatus. By providing the decryption / re-encryption functions between the networks, the exchange of secret information between different networks is secured. By using this apparatus for converting a crypt algorithm, information exchange is made possible between systems which adopt different algorithms.

The invention relates to a method and a system realizing communication among multiple applications. The method comprises the following steps of obtaining a request packet sent by a first application to a second application by a micro-kernel, wherein the first application and the second application are pre-registered to the micro-kernel; transmitting the request packet to the second application by the micro-packet; and receiving a response packet returned by the second application and transmitting the response packet to the first application by the micro-kernel. According to the method and the system realizing communication among the multiple applications, the facts of registering the first application and the second application to the micro-kernel and conducting transition control on the request packet sent by the first application to the second application and the response packet to the request packet by the second application both through the micro-kernel are adopted, and transition control is conducted on communication among applications regardless of the number of the applications through the micro-kernel, so that communication among the applications is enabled to be simple and flexibility and safety of communication among the applications are improved.

The embodiment of the invention relates to the field of PLC (Programmable Logic Controller), and particularly to monitoring and reconstruction methods of software-defined PLC and devices. The methodsand the devices are used for quickly reconstructing the virtual PLC in a case without powering-down. The method includes: obtaining working status of each physical core on each server in a server cluster and working status of each micro kernel on each physical core by a soft guarder when a fault of the virtual PLC is monitored; determining a target micro-kernel according to the working status of each physical core on each server in a server cluster and the working status of each micro kernel on each physical core; and sending a reconstruction instruction to the target micro-kernel, wherein thereconstruction instruction is used for indication of reconstructing the virtual PLC on the target micro-kernel. Multiple micro kernels are virtualized on one physical core, and thus the virtual PLC runs on a micro kernel; and the PLC is reconstructed on the other micro kernel if the virtual PLC fails, all the micro kernels do not impact one another, and thus fast reconstruction of the virtual PLCcan be realized in the case without powering-down when the virtual PLC is reconstructed.

The invention discloses a cloud calculation operation system and a deployment architecture thereof. The cloud calculation operation system comprises a delivery layer, a control layer and a micro kernel layer, wherein the delivery layer is used for receiving an access request of an application program through a delivery interface, performing data operation according to the access request by using a resource management interface provided by the control layer, and returning the operation result back to the application program through the resource management interface; the control layer is used for receiving a calling request of the delivery layer through the resource management interface, calling a virtual interface provided by the micro kernel layer, performing data operation on the calling request by a mode of parallel computation and distribution computation, and returning the operation result back to the delivery layer through the resource management interface; and the micro kernel layer is used for virtualizing a hardware device into a resource pool, receiving the calling request of the control layer through the virtual interface, performing data operation on the calling request, and returning the operation result back to the control layer through the resource management interface. By the cloud calculation operation system, the stability and the safety of the cloud calculation operation system are improved.

The invention discloses a high-security encryption and decryption operation ability expansion method and a system. The method comprises the following steps: a main processor transmits the data to be encrypted and decrypted and the program call of the encryption and decryption operation to a FPGA main controller through system communication; the FPGA main controller receives the relevant data and caches the data; the FPGA main controller decomposes the program call into a series of sub-procedures, and generates the corresponding command call sequence and data packet for the operations involvingthe security chip. The FPGA main controller sends corresponding command calls and related data to a plurality of security chips, and each security chip feeds back the operation results to the FPGA master. The FPGA main controller aggregates the results from all the security chips and sends the final results to the main processor. The FPGA main controller comprises a high-security application program, a micro-kernel operating system and a multi-core CPU. The invention greatly improves the security protection capability against the security chip.

The invention discloses a formal specification-based service bus microkernel framework design method, which comprises the following steps of: firstly, carrying out formal description on natural language specifications, and abstracting formal specifications of communication primitives among processes by utilizing Hall logic; then developing a design framework based on formalized description; defining an event service bus in the micro-kernel framework, directly receiving an event that falls into the kernel through the inter-process communication primitive by the event service bus, and determining whether to switch to a network service agent or a local service for processing according to the acquired data; enabling The event service bus to search the corresponding system service according tothe service number and call the system service to complete corresponding functions; enabling the system service to directly interact with the hardware, and return a result; processing Hardware interruption generated by the common hardware equipment by the event service bus, processing interruption of the intelligent hardware equipment by a built-in controller, and calling an interruption service subroutine to complete service. The framework completes the design of the micro-kernel by taking an event-driven service bus as a center.

The recovery bootstrap system method comprises: dividing the flash memory of device with embedded Linux OS into four areas for the system guide tool, Linux micro-kernel, mini root directory system, and user root directory; setting the area with user directory as the erasable area and other areas as read-only areas; and arranging the detection program for user root directory in the mini file system to first detect the file and decide the log-in when starting.

The present invention relates generally to computer operating systems, and more specifically, to operating system calls in a symmetric multiprocessing (SMP) environment. Existing SMP strategies either use a single lock or multiple locks to limit access to critical areas of the operating system to one thread at a time. These strategies suffer from a number of performance problems including slow execution, large software and execution overheads and deadlocking problems. The invention applies a single lock strategy to a micro kernel operating system design which delegates functionality to external processes. The micro kernel has a single critical area, the micro kernel itself, which executes very quickly, while the external processes are protected by proper thread management. As a result, a single lock may be used, overcoming the performance problems of the existing strategies.

An information processing system includes two processing cores. The execution of an application by the system includes the execution of application tasks and the execution of system tasks, and the system includes a micro-kernel executing the system tasks, which are directly linked to hardware resources. The processing system includes a computation part of the micro-kernel executing system tasks relating to the switching of the tasks on a first core, and a control part of the micro-kernel executing, on a second core, system tasks relating to the control of the task allocation order on the first core.

The invention discloses a microkernel architecture control system of an industrial server and an industrial server, relating to the technical field of the industrial server, aiming at the fact that only one PLC control system runs on one hardware platform in the traditional industrial field, the functions are fixed and cannot be changed, however, once multiple control systems (PLC / DCS / Motion / CNC)are involved, the management and maintenance are difficult and the efficiency is low. On the basis of an architecture of a microkernel includes an industrial control middleware and a real-time operating system and a virtual machine monitor, custom configuration scheduling configuration information is defined before system start-up, real-time control and free combination of the industrial server microkernel is realized in industrial field layer, hardware equipment is simplified, construction and maintenance costs are reduced, and a software-defined industrial process is realized.

The invention relates to the technical field of terminal equipment. The invention discloses a method for coordinating and scheduling among multiple systems, Device and electronic equipment, The methodfor coordinating and scheduling among multiple systems is applied to an application environment comprising at least three mutually isolated execution domains. A first operation system, an applicationdesktop and a second operation system are operated in the at least three mutually isolated execution domains respectively, and the method comprises the following steps: when an operation request forany application program is received, determining identification information carried in the operation request; And correspondingly processing the operation request based on the three execution domainsaccording to the identification information. According to the method provided by the embodiment of the invention, the operation request of any application program is correspondingly processed by respectively running the three mutually isolated execution domains of the first operation system, the application desktop and the second operation system, so that coordinated scheduling among multiple operation systems in the terminal equipment based on the micro-kernel is realized.

The invention discloses a method for designing a micro-kernel architecture by utilizing event bus technology, which comprises the following steps of: operating an application program and a system service in a limited user state, and communicating or exchanging data through an event bus; defining an event bus and a corresponding IPC communication primitive in a micro-kernel architecture, and achieving data interaction between user mode processes by calling the IPC primitive to be trapped into a kernel mode by a user mode processes; at the IPC layer, sending events to corresponding event buses, and distributing the events to corresponding user state processes by the event bus scheduler; according to the choice of a caller, applying a service calling interface or an event driving interface,and generating and sending the events through an IPC communication primitive; and after the service is executed, returning the result event to the application program through the IPC primitive. By introducing event bus technology, a novel, efficient and universal IPC mechanism is realized in a zero-copy manner on the basis of abstracting any type of communication data objects into a unified event, and the key performance problem in the design of a micro-kernel operating system is solved.

The invention discloses an inter-heterogeneous-system data publishing system based on a micro-kernel and an asynchronous queue. The system has the function of publishing data according to its own publishing requirements, the data publishing efficiency can be greatly improved; the condition that a plurality of systems require different data formats for one piece of data is supported; in addition, when the data is published, the data is published as a whole, the stability and high efficiency of the updating process are improved, the data publishing efficiency under the concurrent condition is guaranteed through the asynchronous queue function, and the coupling performance between heterogeneous systems is reduced through the existence of the intermediate library.

The invention discloses an intelligent video monitoring and alarm management system for a public building. The system comprises digital image devices and a control center, the digital image devices are connected through a medium IP network, and the control center is connected with the medium IP network. The digital image devices are arranged at fire alarm access control positions, parking place entrance and exit positions and an attendance checking access control position. By intelligent linkage with fire protection, access control cards and attendance checking, intelligent linkage of fire alarm, access control door opening and closing, a parking place system and videos is realized, and accordingly intelligent automatic control is realized. On the basis of a WINDOWS platform, the system adopts advanced micro kernel and plug-in development technologies and is stable and flexible in software architecture, and organization management and organization based equipment management and permission management are added; in addition, by addition of concentrated storage service, streaming media forward service, alarm forward service and WEB client service software, integral demands of general network monitoring clients can be better met.

The invention discloses a method and a device for realizing an edge computing engine. The method comprises the following steps: S1, loading and starting a micro-kernel boot program by using a JAVA virtual machine; S2, calling that edge application license manager to verify the license information by the micro-kernel boot program, if the license is invalid, prompting to update the license and ending, if the license is valid, enter the step S3, and 2, calling the edge application license manager to verify the license information by the micro kernel boot program; S3, loading that core class library by the micro-kernel boot program and starting the main boot program in the core class library; S4, starting a dynamic class load, a class annotation scanner, a database access code generator and aremote invocation service in that core class library in turn by utilizing the main boot program; S5, monitoring whether that edge computer engine shutdown signal is received, and if the edge computingengine shutdown signal is received, carry out step S6; Otherwise continue listening; S6, releasing that resource.

The invention discloses a 3G wireless router with a single CPU (Central Processing Unit), relating to the field of wireless routers. The 3G wireless router with the single CPU comprises a WIFI (Wireless Fidelity) antenna (WIFI-RF), a 3G antenna switch (3G-RF), a power management unit (PMU), a WIFI module and a communication processor (CP), wherein the WIFI (Wireless Fidelity) antenna (WIFI-RF) is connected with the WIFI module through signal; the 3G antenna switch (3G-RF), the power management unit (PMU) and the WIFI module are respectively connected with the communication processor (CP)through signal; and the communication processor (CP) comprises an ARM (Advanced RISC Machines) processor, a micro-kernel operating system (VMOS), a real time operating system (RTOS), a general operating system (RichOS), a communication protocol module and an application program module. The invention is free from the traditional double CPU framework of the wireless router, operates the functions of an application processor (AP) on the communication processor (CP), that is to say, the 3G wireless router with the single CPU effectively overcomes the defects of the traditional way; and in addition, the invention enhances the utilization rate of the CPU, greatly reduces the hardware cost and can also effectively reduce the power consumption of an integral system.

The invention discloses a communication mode implementation method and an electronic device, and the method comprises the steps: firstly registering a virtual service name, and creating a monitoring port of a micro-kernel; sending the monitoring interface to the plurality of clients based on the acquisition requests of the plurality of clients, so that the plurality of clients send respective connection requests to the monitoring interface based on the monitoring interface; and then, receiving respective connection requests sent by the plurality of clients, correspondingly creating micro-kernel message session instances for each connection request by using the thread of the micro-kernel information server, generating a connection response message of each micro-kernel message session instance, and sending the connection response message to the client corresponding to each connection request. Therefore, a monitoring interface is established by registering a virtual service name, and a thread of the micro-kernel information server is used for correspondingly creating a micro-kernel message session instance for each connection request to communicate with the corresponding client, so that one monitoring interface can be used for realizing one-to-many communication with a plurality of clients.

The invention discloses a single-CPU wireless electronic book and an operation method thereof. The hardware of the invention comprises an antenna switch, a power management unit, a keyboard, an electronic ink display screen, a synchronous dynamic memory, a flash memory and a communication processor, wherein the communication processor is respectively connected with the antenna switch, the power management unit, the keyboard, the electronic ink display screen, the synchronous dynamic memory and the flash memory. The operation method of the operating systems in the invention is realized in a way that: the current in the hardware firstly leads the micro-kernel operating system, and the micro-kernel operating system respectively leads RTOS and RichOS according to the preset script; and both the RTOS and the RichOS are positioned in the micro-kernel operating system and correspond to two tasks in the operating system, and thus, the communication between the two operating systems can be simplified into simple communication between two tasks. The invention increases the utilization ratio of the CPU, reduces the hardware cost and enhances the openness of the systems.

The program enciphering method comprises: with embedded Linux OS as platform, setting the key fit to write only during application, while using the Linux micro-kernel to read the key; coding and compiling the program into executive file; adding a file head to the pre-defined conversion table to prevent copying by user.

The invention discloses a method and a system for managing a kernel memory of an operating system in a user mode. The method comprises steps that a real starting kernel virtual address and a real terminating kernel virtual address of the kernel object are calculated; and the two addresses are transmitted to the kernel memory registration table module, and a thread kernel object of the user mode program is created within the memory range of the absolute initial address specified by the user, so that the flexibility of managing the kernel memory by the user mode can be greatly improved, and meanwhile, the memory required for realizing the function and the system load are reduced. The kernel memory management strength can be any fine granularity defined by a user, the possibility of incorrectimplementation is greatly reduced, an application program does not need to know a real kernel virtual address, the possibility of existence of a hidden storage channel is reduced, and the method is suitable for a micro-kernel operating system.

The invention provides a variable real-time monitoring method and system based on a micro-kernel architecture. The method comprises the following steps: compiling a basic type or a user-defined type package class in a framework of an application program; Compiling a construction function and a resolution function of the packaging class, and reloading operators; Variables needing to be monitored are marked in the construction function and the analysis function; Constructing a local database of variables needing to be monitored, wherein the local database is used for storing change information of the variables needing to be monitored of the package class when the application program runs; Customizing a monitoring display plug-in according to the monitoring UI demand, and setting a specifiedmonitoring variable; Defining and replacing the specified monitoring variable through a packaging class; When the application program is in the running state, the monitoring display plug-in is run andstarted, and the monitoring display plug-in obtains the change condition of the specified monitoring variable from the local database and displays the change condition. According to the invention, applications developed by applying the framework have a convenient and friendly variable monitoring capability in a running state.

The invention provides a data packet verification method and a data packet verification system. The data packet verification method comprises the steps of receiving a to-be-verified data packet by a server; receiving the to-be-verified data packet and a regular expression for verifying the to-be-verified data packet from the server by the FPGA; parallelly calling a plurality of micro-kernels for executing the regular expression by the FPGA and verifying the to-be-verified data packet; combining verification results of the micro-kernels by the FPGA and transmitting a combined verification result to the server. A parallel regular expression algorithm which is realized based on the FPGA realizes algorithm acceleration in a shorter period and supports high-speed real-time data packet checking. The FPGA can simultaneously and parallelly call a plurality of algorithm operation kernels according to the requirement, thereby realizing algorithm improvement by times.

The program enciphering method comprises: with embedded Linux OS as platform, setting the key fit to write only during application, while using the Linux micro-kernel to read the key; coding and compiling the program into executive file; adding a file head to the pre-defined conversion table to prevent copying by user.

The invention provides an emergency command cloud service implementation method and system based on a microkernel cluster. Various kinds of services with specific business processing capacity is virtually encapsulated into the microkernel cluster, mutual synergy is performed according to the service plans generated according to upper module application, and the microcosmic services provided each member in the cluster are combined and encapsulated to convert into macroscopic service manners capable of realizing emergency treatment task planning. The system comprises a physical resource layer, an emergency resource cloud pool, a platform service layer, a module application layer and a user layer. By the emergency command system built by the service method, dynamic searching of valuable emergency service resources in various fields can be achieved, the system capabilities of massive dynamic information and knowledge reasoning, complex function and process recombination calculation, storage and service are improved, and diversified emergency tasks such as emergency cross-department and cross-field real-time information processing, large-range public opinion analysis, complex module deduction, dynamic disaster situation prediction and remote monitoring can be achieved.

The invention discloses an ionic ball polyelectrolyte brush employing a micro-nano carbon sphere as a kernel and a preparation method thereof, and belongs to the field of a nano composite material. The kernel of the ionic ball polyelectrolyte brush is the micro-nano carbon sphere, and an outer brush is an ionic monomer. The preparation method comprises the following steps: loading synthetic azo acyl chloride on the surface of the micro-nano carbon sphere, and synthesizing the ionic ball polyelectrolyte brush employing the micro-nano carbon sphere as the kernel by free radical polymerization. The preparation method disclosed by the invention is simple and feasible. The product prepared by the method takes the micro-nano carbon sphere as the kernel, and is novel in structure, green and environment-friendly, low in cost, and different molecular weights and different grafting densities of ionic ball polyelectrolyte brushes can be prepared by controlling the reaction time and the density of the monomer. The product can be used as a conductive polymer dopant, a morphology control agent, a deflocculating agent, a papermaking wet-end additive and the like.