L4是一種微内核构架的作業系統内核,最初由約亨·李德克(Jochen Liedtke)设计,前身為L3微內核。在最开始,L4只是一个由約亨·李德克设计并实现的单一的产品,用于Intel i386上的一个高度优化内核。L4微内核系统由于其出色的性能和很小的体积而开始被计算机工业所认知。随后,L4...
13 KB (1,998 words) - 03:57, 7 August 2024
微内核结构必然是多线程的,第一代微内核,在内核提供了较多的服务,因此被称为“胖微内核”,它的典型代表是Mach,它既是GNU HURD也是Mac OS X的内核。第二代微内核只提供最基本的OS服务,典型的OS是QNX,QNX在黑莓手机BlackBerry 10系统中被采用。L4微内核系列也是著名的微核心。 包括Windows...
4 KB (603 words) - 07:06, 16 June 2025
L4、L04、L-4或L 4可以指: L4拉格朗日点 直列四缸引擎,简称直四、L4或I4 L-4草蜢式聯絡機 L4微内核系列 p=4的Lp空间的第四节 人類粒線體DNA單倍體群中的单倍型类群 L4 (mtDNA) ISO/IEC 8859-4又称Latin-4...
375 bytes (67 words) - 11:04, 15 June 2023
内核的概念就渐渐明晰起来了。 內核在設計上可以概分為宏內核與微內核兩大架構。在宏內核與微內核之間,進行妥協的設計,這稱為混合內核,但是混合內核能否被列為第三大架構,目前仍然有爭議。另外與微內核相似,有一種極端的設計方式,稱為外內核,仍还在研究阶段,没有任何一个流行的操作系统采用了这种设计。 宏内核...
12 KB (1,768 words) - 04:30, 17 February 2025
奈核心這個專業術語有時也有較為非正式的通俗稱法,稱為「非常輕量性的微核心」,例如L4微核心系列即是[來源請求]。 内核 外内核 (Exokernel) 微内核 (Micro kernel) 混合内核 (Hybrid kernel) 单内核 (Monolithic kernel) LSE/OS KeyKOS...
2 KB (269 words) - 16:06, 31 January 2025
开源桌面操作系统 FreeRTOS – 微内核,实时操作系统(RTOS) Redox - Rust实现的微内核操作系统 QNX – 符合POSIX,微内核实时操作系统(RTOS) INTEGRITY – 微内核实时操作系统(RTOS) L4微内核系列 – L4系列,小而快的开源微内核 貝爾實驗室九號計畫 – 为了接替UNIX的分布式操作系统...
15 KB (1,229 words) - 08:38, 21 March 2024
微内核,实时操作系统(RTOS) QNX – 符合POSIX,微内核实时操作系统(RTOS) INTEGRITY – 微内核实时操作系统(RTOS) L4微内核系列 – L4系列,小而快的开源微内核 貝爾實驗室九號計畫 – 为了接替UNIX的分布式操作系统 MINIX 3 – 类Unix微内核操作系统...
5 KB (414 words) - 18:51, 4 April 2024
FreeRTOS – 微内核,实时操作系统(RTOS) Redox - Rust实现的微内核操作系统 QNX – 符合POSIX,微内核实时操作系统(RTOS) INTEGRITY – 微内核实时操作系统(RTOS) L4微内核系列 – L4系列,小而快的开源微内核 貝爾實驗室九號計畫 – 为了接替UNIX的分布式操作系统...
3 KB (291 words) - 14:30, 21 March 2024
MINIX 3 (category 微內核)
开源桌面操作系统 FreeRTOS – 微内核,实时操作系统(RTOS) Redox - Rust实现的微内核操作系统 QNX – 符合POSIX,微内核实时操作系统(RTOS) INTEGRITY – 微内核实时操作系统(RTOS) L4微内核系列 – L4系列,小而快的开源微内核 貝爾實驗室九號計畫 – 为了接替UNIX的分布式操作系统...
3 KB (238 words) - 08:53, 15 January 2025
約亨·李德克(Jochen Liedtke,1953年5月26日—2001年6月10日),德國計算機科學家,以研究作業系統中的微核心架構而聞名。他是L3微內核與L4微内核系列的創造者。 李德克大學就讀於比勒费尔德大學(Bielefeld University)數學系。 紀念約亨·李德克(1953 -...
1 KB (68 words) - 00:26, 17 January 2018
FreeRTOS – 微内核,实时操作系统(RTOS) Redox - Rust实现的微内核操作系统 QNX – 符合POSIX,微内核实时操作系统(RTOS) L4微内核系列 – L4系列,小而快的开源微内核 貝爾實驗室九號計畫 – 为了接替UNIX的分布式操作系统 MINIX 3 – 类Unix微内核操作系统...
4 KB (334 words) - 05:02, 1 July 2023
Darwin (操作系统) (section 内核)
Darwin是一種類Unix作業系統,並包含開放原始碼的XNU內核。其以微核心為基礎的核心架構來實作Mach,而作業系統的服務和使用者空間工具則以BSD為基礎。與其他類Unix作業系統相似,Darwin也有對稱多處理器的優點,高效能的網路設施和支援多種整合的檔案系統。 整合Mach到XNU内核...
36 KB (2,637 words) - 09:10, 26 May 2025
内核採用的宏内核已經過時了,應該採取比較先進的微內核架構,引起了林納斯的反擊。 在2006年5月9日,这个主题被重新审视,并且在2006年5月12日塔能鲍姆写了一份立场声明。 Linux是一个单体内核,支持真正的抢占式多任务处理(于用户态,和版本2.6系列之后的内核态)、虚拟内存、共享库、请求分页(英语:Demand...
68 KB (7,719 words) - 01:54, 18 November 2024
Mini系列中。Core Duo標誌著Apple在整個產品線上向英特爾處理器轉變的開始。 2007年,英特爾開始將用於主流移動電腦的Yonah處理器打造成奔騰雙核,(與桌面64位核心微架構CPU奔騰雙核不同。) Core Solo (產品代號80538)使用與Core Duo相同的雙核...
143 KB (6,018 words) - 09:55, 28 April 2025
飞思卡尔 (section Kinetis ARM Cortex-M微控制器)
[kə'netis]是飞思卡尔32位微控制器/单片机,基于ARM® Cortex®-M0+和M4内核。Kinetis包含多个系列的MCU,它们软硬件互相兼容,集成了丰富的功能和特性,具有出类拔萃的低功耗性能和功能扩展性。 Kinetis L系列/MKL(低功耗Cortex-M0+) Kinetis E系列/MKE(5V...
9 KB (1,165 words) - 17:13, 26 March 2025
4極致版与后来发布的有类似名字的基于双核Pentium D的Pentium極致版相混淆。 2004年2月1日英特尔提出了一个代号为“Prescott”的新内核。这个内核首次使用90纳米的制造工艺,并且「它」是奔腾4微架构的一次重要更新——重要到足够让一些分析人士感到奇怪为什么英特尔没有选择将这个处理器称为Pentium...
28 KB (3,395 words) - 12:33, 16 April 2023
貝爾實驗室九號計畫 (category 自2010年4月需要校對的頁面)
FreeRTOS – 微内核,实时操作系统(RTOS) Redox - Rust实现的微内核操作系统 QNX – 符合POSIX,微内核实时操作系统(RTOS) INTEGRITY – 微内核实时操作系统(RTOS) L4微内核系列 – L4系列,小而快的开源微内核 MINIX 3 – 类Unix微内核操作系统...
31 KB (3,815 words) - 19:39, 29 April 2025
內加入專屬的安全核心,由硬體建構的存取控制方式支援兩顆虛擬的處理器。這個方式可使得應用程式核心能夠在兩個狀態(領域)之間切換,在此架構下可以避免資訊從較可信的核心領域洩漏至較不安全的領域。這種內核領域之間的切換通常是與處理器其他功能完全無關聯性,因此各個領域可以各自獨立運作但卻仍能使用同一顆內核...
68 KB (5,135 words) - 10:25, 4 June 2025
除了龙芯1号、2号、3号三个系列的处理器,在龙芯的发展过程中还开发了一些实验型的处理器,并没有量产,有些甚至没有流片。 龙芯处理器在发展过程中,一度想要用做超算处理器,开发一款64核的众核处理器,命名为Godson-T。Godson-T由计算所先进微...
44 KB (4,134 words) - 02:22, 4 October 2024
AMD Athlon II (section 產品系列)
II,是AMD的45nm多核中央處理器產品系列之一,以廉價市場作為定位。 Athlon II系列採用AMD K10微架構,與Phenom系列不同的是,Athlon II 處理器均不設L3快取,但把雙核心的每核512KB L2快取增至每核1MB(三核、四核仍為512KB)。另外,Athlon II的雙核...
6 KB (848 words) - 00:31, 18 September 2022
ARM Cortex-X4是ARM在TCS23(整体计算解决方案)中推出的CPU 核心型号,它作为ARM Cortex-X3的后继产品,X系列CPU核心普遍注重高性能,CPU核心可以与该系列中的其他内核配对,例如CPU集群中的ARM Cortex-A720或/和ARM Cortex-A520。 该处理器实现了以下更改:...
8 KB (514 words) - 11:55, 9 October 2024
操作系统列表 (section 微软(Microsoft))
MS-DOS PC-DOS Mach 由卡纳尼基梅隆大学研究 L4微内核 第二代微内核 CHORUS Choices Multics OS-9 NSJ Netware:一种网络服务器操作系统 Unix System V Xenix-微软 OS/2-IBM 微软 SCO UNIX-SCO IRIX-SGI iOS-Apple...
5 KB (595 words) - 06:55, 8 June 2022
英特尔的Larrabee多核架构项目使用源自 P5(P54C) 的处理器内核,并通过使用多线程、 64 位指令和 16 宽矢量处理单元进行了增强。 早期Atom处理器内核中采用的英特尔低功耗Bonnell 微架构也使用类似于 P5 的有序双流水线。 因为数字不能注册商标,所以英特尔将此系列命名为奔腾而非80586 P5 微架构比之前的...
29 KB (3,175 words) - 09:42, 9 August 2024
2009年,澳大利亚 NICTA 的 L4 团队开发了史上首个功能正确性得以形式化验证的通用操作系统内核:seL4 微内核。其证明使用 Isabelle/HOL 构建,包含了 200000 行证明脚本,用以验证 7500 行 C 代码。该形式化验证涵盖了代码、设计与实现,其主定理指出:该内核的 C 代码正确地实现了其形式化设计规范。...
8 KB (991 words) - 07:17, 21 November 2022
系列產品,2008年6月1日正式發表,替代之前的GoForce系列。主要用於手持式裝置。Tegra可搭配NVIDIA專為智慧型手機及平板電腦開發的NVIDIA Icera系列晶片組。Tegra的主要競爭對手是高通和德州儀器的對應產品。 每個 Tegra 內...
22 KB (2,270 words) - 14:13, 8 May 2025
原始作者林纳斯·托瓦兹,討論的主題在於作業系統内核架構的選擇。塔能鲍姆认为,以微内核架構設計的作業系統,在理論上,比宏内核架構更加优越,主張Linux應該以微內核架構來進行重新設計。但是林纳斯·托瓦兹以開發實務上的觀點展開反擊,陳述Linux選擇宏內核架構進行開發的理由,並比較Minix與Linu...
26 KB (3,632 words) - 22:27, 22 April 2022
英特尔微处理器列表 (section 至强双核(基于Yonah架构的奔腾M))
酷睿双核 L2400——1.66 GHz 酷睿双核 L2500——1.83 GHz 超低电压(10W TDP)——U系列 酷睿双核 U2400——1.06 GHz 酷睿双核 U2500——1.20 GHz 酷睿单核 U1300——1.06 GHz 酷睿单核 U1400——1.20 GHz 酷睿单核 U1500——1...
143 KB (15,589 words) - 08:20, 11 January 2024
AMD Piledriver (redirect from Piledriver微架構)
AMD Piledriver(中文:“AMD 打樁機”)是超微半導體研發微處理器架構的代號,是為第一代Bulldozer微架構的改進版。首發產品是2012年5月發布的基於Piledriver微架構的AMD Fusion之流動版本A10、A8系列(核心代號“Trinity”)。Piledriver在架構...
30 KB (3,430 words) - 09:29, 16 September 2023
Kaby Lake (redirect from Kaby Lake微架構)
Pro显示晶片的处理器有额外的64-128MB的L4 eDRAM缓存(只限U/H型处理器) 最低2个核心,最多4个核心 支持Intel Optane技术 Core i3/i5/i7支援AVX2指令集;Pentium及Celeron只支援 SSE 4.1/4.2 2016年1月15日,微软宣布Windows 10将是唯一支持Kaby...
9 KB (813 words) - 18:35, 27 April 2025
内核,而且也是第一个这样做的小型实时操作系统。这样一来,TockOS的大部分接口都是类型安全且模块化的。由于Rust语言本身提供类型安全性,因此可以使用Rust扩展内核态功能而不至造成信息安全问题。 合作性调度的实时内核; 支持类型安全的Rust胶囊(Capsule)内核扩展;...
5 KB (494 words) - 15:27, 21 March 2024
英伟达 (category 與維基數據不同的新浪微博用戶名)
V100 GPU - 基于Volta架构,深度学习达每秒 100 万亿次浮点运算。V100 装有 640 个 Tensor 内核,能提供 120 万亿次浮点运算的深度学习性能。 T4 GPU - 基于Turing架构,拥有多精度计算性能。 A100 GPU - 基于NVIDIA...
60 KB (7,806 words) - 11:37, 17 June 2025