Huawei Russian Research Institute Special challenges

We are searching for cooperation partners who can help us in the domain mentioned in the following.

KeywordsOperating system, architecture, kernel, driver development, security enhancement, file system, Linux , and performance optimization

An abundant software ecosystem is a key determinant of industry success, but it is also the biggest constraint and burden, hindering the development of new processor architectures.
Due to processor design differences, software components written in high-level languages cannot be accurately executed after recompilation in the new architecture. For example, issues such as multi-core data competition caused by differences in memory access consistency models may occur, which are difficult to locate and become a key obstacle to migrating the product ecosystem to a new architecture such as ARM64.

Key technologies, such as memory access behavior modeling and synchronous primitives, can be used to effectively identify and quickly resolve architecture differences during ecosystem migration.

KeywordsOperating system, formal verification, model checking, theorem proving, and programming language theory

The emergence of new application scenarios and hardware drives OS upgrades. However, the software ecosystem is usually the main obstacle to the promotion of OSs. System developers frequently try to share mature commercial system ecosystems through compatibility layers, which can barely achieve ideal compatibility and performance due to differences in architecture. The Huawei-developed elastic OS kernel architecture is highly advantageous in latency and security.
We need to discover methods to reuse the ecosystems (including upper-layer application ecosystems and underlying driver ecosystems) of mature systems such as Linux through ecosystem sharing technologies, while also maintaining architectures and greatly improving the business competitiveness of Huawei-developed OSs.

Keywords: Computer Architecture, Operating System, Scheduling, Heterogeneity

ARM has been applied in data centers, and RISC-V is also exploring its server application scenarios. Therefore, multiple ISAs of x86, ARM64, and RISCV will coexist in data centers. However, the ISA barrier leads to a heavy workload. That is, a significant amount of effort is required to develop and maintain an ecosystem with multiple versions, multi-architecture OSs, and applications. It is important to separate OSs and their attached software ecosystems as well as instruction sets, so that OSs and services can migrate between various instruction sets.

Break the ISA barrier by combining software and hardware, and enable applications to flow freely between various ISA running environments. One research direction involves using technical methods to prevent OSs and applications from sensing the differences of underlying ISAs.

Please see the file attached.


It is known that the Ruu matrix is a complex conjugate symmetric matrix (the size is 2×2 or 4×4, the following takes 4×4 as an example),

The diagonal elements() are real numbers, and the non-diagonal elements () are complex numbers.

The P matrix can be obtained by LDL decomposition of Ruu, as follows

Now we want to multiply the non-diagonal elements of the Ruu matrix by the real number α to get

Where * represents the Hadamard product of two matrices. The formula of P1 corresponding to Ruu1 is as follows:


Question: Is it possible to directly obtain P1 (or its approximate solution) based on P and α, without calculating LDL decomposition of Ruu1?