MICROKERNEL in English translation

• microkernel

Examples of using Microkernel in Vietnamese and their translations into English

chuyên hỗ trợ các máy ảo; thực sự, microkernel L4 thường được sử dụng trong khả năng siêu giám sát.
are specialized to supporting virtual machines; indeed, the L4 microkernel frequently finds use in a hypervisor capacity.

Thực tế là Linux là một hạt nhân nguyên khối( monolithic kernel) thay vì vì một vi hạt nhân( microkernel) là chủ đề của một cuộc tranh luận giữa Andrew S. Tanenbaum,
The fact that Linux is a monolithic kernel rather than a microkernel was the topic of a debate between Andrew S. Tanenbaum, the creator of MINIX, Torvalds;

đáng chú ý nhất bằng cách sử dụng monolithic kernel thay vì microkernel.
his design deviated from the MINIX architecture in significant ways, most notably by employing a monolithic kernel instead of a microkernel.

Thay vào đó, nó có microkernel riêng gọi là Magenta.
Instead it's based on a new microkernel called“Magenta”.

Thay vào đó, nó có microkernel riêng gọi là Magenta.
Instead, it has its own microkernel called Magenta.

MINIX 3 microkernel, là ví dụ,
The MINIX 3 microkernel, for example,

Do đó, hiệu suất là một vấn đề tiềm ẩn trong các hệ thống microkernel.
Performance is therefore a potential issue in microkernel systems.

Cấu trúc của các hệ điều hành dựa trên hạt nhân monolithic, microkernel và hybrid kernel.
Structure of monolithic kernel, microkernel and hybrid kernel-based operating systems.

Cả nanokernel và picokernel sau đó đều có cùng một ý nghĩa được biểu thị bằng thuật ngữ microkernel.
Both nanokernel and picokernel have subsequently come to have the same meaning expressed by the term microkernel.

Một microkernel sử dụng cách tiếp cận chỉ quản lý những gì nó có: CPU, bộ nhớ và IPC.
A microkernel takes the approach of only managing what it has to: CPU, memory, and IPC.

Hypervisor- based( còn gọi là bare- metal hypervisor, nó được chia nhỏ ra làm hai loại là Monothic Hypervisor và Microkernel Hypervisor).
Hypervisor-based(also called bare-metal hypervisor, it is broken down into two categories is Monothic Hypervisor and Microkernel Hypervisor).

Vmkernel là một microkernel[ 1] với ba giao diện:
The vmkernel is a microkernel[13] with three interfaces:

Một trong những hệđiều hành an ninh hơn gần đây trên thế giới là Dự ánvi nhân an ninh seL4( Secure Microkernel Project).
Australia One of the more recent secure operating systems in the world is the Secure Microkernel Project(seL4).

monolithic, microkernel, và hybrid.
monolithic, microkernel, and hybrid.

Sau đó ông lại làm việc 3 năm tại MicroUnity System Engineering, thực hiện viết mã microkernel và DSP, cổng MIPS R4000 đầu tiên của GCC.
He worked with MicroUnity Systems Engineering writing microkernel and DSP code, and doing the first MIPS R4000 port of gcc.

Kaspersky OS được phát triển dựa trên Microkernel Architecture: hệ điều hành bảo mật mới dựa trên kiến trúc microkernel cho phép người dùng thực hiện nhiều tuỳ biến sao cho phù hợp với yêu cầu sử dụng.
Kaspersky OS is based on Microkernel Architecture: The new secure OS is based on microkernel architecture that enables users to customize their own operating system accordingly.

Do đó, các thiết kế microkernel đã được sử dụng cho các hệ thống được thiết kế cho các ứng dụng bảo mật cao, bao gồm KeyKOS, EROS và các hệ thống quân sự.
Consequently, microkernel designs have been used for systems designed for high-security applications, including KeyKOS, EROS and military systems.

Hongmeng OS cũng được cho rằng sẽ được xây dựng xung quanh một hạt nhân siêu nhỏ( microkernel) cho nên nó có thể" hỗ trợ trí tuệ nhân tạo tốt hơn và có thể chạy trên nhiều nền tảng".
Hongmeng OS is also said to be built around a microkernel so it can“better accommodate artificial intelligence and can run on multiple platforms.”.

Nghiên cứu kết luận rằng 40% các vấn đề hoàn toàn không thể xảy ra trong một microkernel, đã được xác minh chính thức và chỉ 4% các vấn đề sẽ hoàn toàn không có vấn đề trong một hệ thống như vậy.[ 1].
The study concluded that 40% of the issues could not occur at all in a formally verified microkernel, and only 4% of the issues would remain entirely unmitigated in such a system.[31].

Hạt nhân chính thức của GNU Project là GNU Hurd microkernel; tuy nhiên, vào năm 2012,
The official kernel of GNU Project was the GNU Hurd microkernel; however, as of 2012,