We are searching for cooperation partners who can help us in the domain mentioned in the following.
Keywords: Operating 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.
Keywords: Operating system, formal verification, model checking, theorem proving, and programming language theory
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?