BMC术语

  1. BMC(Baseboard Management Controller),用来进行远程带外管理的设备,BMC 是独立于服务器系统之外的小型操作系统,是一个集成在主板上的芯片,也有产品是通过 PCIE 等形式插在主板上,对外表现形式只是一个标准的RJ45网口,拥有独立 IP 的固件系统。服务器集群一般使用BMC指令进行大规模无人值守操作,包括服务器的远程管理、监控、安装、重启等。
  2. ME(Management Engine)是英特尔芯片组中的一个微处理器,用于管理、监控和远程控制系统。它通常运行独立于主处理器,具有自己的固件和功能,可用于远程管理、安全功能和系统监控。
  3. PCH(Platform Controller Hub)是英特尔芯片组架构中的一个组件,用于管理和协调系统中的各种输入输出接口和功能。 PCH负责连接处理器、内存、外部设备和其他关键组件,以实现系统的正常运行和通信。
  4. MCIO代表"Memory Channel Input/Output",是一种用于在服务器中实现高速内存访问和数据传输的技术。MCIO技术通过专用的通道连接处理器和内存,以提高数据传输速度和降低延迟。这种技术有助于提升服务器的性能和效率。
  5. Port 80h:Port 80h 在计算机硬件中通常指的是 POST 码(Power-On Self Test)端口。这是一个用于诊断计算机启动过程中的问题的端口。在计算机启动时,BIOS(基本输入输出系统)会通过此端口发送状态码,这些状态码可以帮助识别在启动过程中可能发生的错误。
  6. LPC(Low Pin Count)总线是一种低引脚数的计算机总线,通常用于连接低速外围设备,如键盘、鼠标、温度传感器等。 
  7. KCS(Keyboard Controller Style)是一种通过LPC总线与主板上的键盘控制器通信的协议。因此,KCS是建立在LPC总线之上的一种通信协议,用于键盘控制器与系统之间的通信。
  8. SMBus (System Management Bus): 一种系统管理总线,用于连接系统板上的各种设备,如温度传感器、风扇控制器等。
  9. PMBus (Power Management Bus): 一种用于电源管理的总线协议,允许电源设备与系统通信,监控和控制电源参数。
  10. I2C (Inter-Integrated Circuit): 一种串行通信协议,用于短距离通信,连接微控制器和各种外设。
  11. NCSI(Network Controller Sideband Interface)是一个由分布式管理任务组(Distributed Management Task Force, DMTF)定义的用于支持服务器带外管理的边带接口网络控制器的工业标准,由一个管理控制器和多个网络控制器组成。
  12. PECI wire:PECI(Platform Environment Control Interface)是一种由Intel开发的专有接口技术,主要用于微处理器和其他组件之间的温度监控和管理。PECI wire通常指的是实现PECI通信的物理连接线。这种线路用于连接支持PECI的组件,如CPU、芯片组等,以便于传输温度和其他环境参数信息。通过PECI wire,系统可以实时监控硬件的温度状态,并根据需要调整风扇速度或进行其他热管理措施,以保持系统稳定运行并防止。
  13. FSB(Front Side Bus)是早期x86处理器中使用的系统总线,用于连接处理器、内存和其他组件,但带宽和性能有限。
  14. QPI(QuickPath Interconnect)是英特尔开发的高速互联技术,取代了FSB,提供更高的带宽和更低的延迟。
  15. UPI(Ultra Path Interconnect)是英特尔更高级的互联技术,提供比QPI更高的性能和扩展性,适用于更高端的处理器和服务器平台。
  16. DMI(Direct Media Interface)是英特尔用于连接处理器和南桥芯片组之间的接口,用于传输数据和控制信息。DMI相对于QPI和UPI的带宽和性能较低,适用于桌面和移动平台。
  17. RAS: RAS (Reliability, Availability, and Serviceability): 可靠性、可用性和可维护性,是描述系统设计和运行的质量和性能的术语,特别是在服务器和企业级硬件中。
  18. POST(Power On Self Test)是计算机启动时执行的自检程序,用于检测计算机硬件是否正常工作。这过程通常由计算机的BIOS(Basic Input/Output System)执行,它会检查诸如内存、硬盘、键盘、显示器等硬件组件是否正常。如果POST检测到硬件问题,计算机可能会发出蜂鸣声或显示错误信息,提示用户进行修复或更换硬件。
  19. BIOS(Basic Input Output System),即基础输入输出系统,是刻在主板 ROM 芯片上不可篡改的启动程序,BIOS 负责计算系统自检程序(POST,Power On Self Test)和系统自启动程序,因此是计算机系统启动后的第一道程式。由于不可篡改性,故程序存储在 ROM 芯片中,并且在断电后,依然可以维持原有设置。
  20. EFI(Extensible Firmware Interface),可扩展固件接口,由于传统的 BIOS 是基于 16 位处理器开发的汇编程序。
  21. UEFI(Unified Extensible Firmware Interface),统一可扩展固件接口,是 EFI 的规范化版本,也是BIOS的进化版。为便于将UEFI BIOS与传统BIOS区分,传统BIOS又被称为Legacy BIOS。2005年,Intel 将 EFI 交由 UEFI Forum 来推广与发展,EFI 更名 UEFI。UEFI 负责加电自检(POST)、联系操作系统以及提供连接操作系统与硬件的接口。
  22. IPMI(Intelligent Platform Management Interface),IPMI 是一组交互标准管理规范,由Intel、HP、Dell和NEC公司于1998年9月16日共同提出,主要用于服务器系统集群自治,监视服务器的物理健康特征,如温度、电压、风扇工作状态、电源状态等。同时,IPMI还负责记录各种硬件的信息和日志记录,用于提示用户和后续问题的定位。目前,IPMI已经为超过200多家计算机供应商所支持。它可以通过IPMB或其他通信方式与设备通信。
  23. IPMB(Intelligent Platform Management Bus)是IPMI规范中定义的总线协议,用于在IPMI系统中连接各种管理设备。
  24. ICMB(Intelligent Chassis Management Bus)是一种用于管理机箱的总线协议,类似于IPMB,但专门用于机箱级别的管理。简而言之,IPMB是一种总线协议,IPMI是一种管理接口标准,而ICMB是一种用于机箱管理的总线协议。
  25. DCMI(Data Center Manageability Interface)是一种用于管理数据中心硬件的接口标准,旨在提供一致的方式来监控和管理服务器硬件。这标准定义了一组命令和功能,使管理员能够监视服务器的状态、执行远程控制操作以及收集硬件信息。
  26. PLDM(Platform Level Data Model)是一种用于管理和监控计算机系统硬件和软件的标准化数据模型。它提供了一种统一的方式来访问和操作系统中的各种信息,以便实现更好的系统管理和互操作性。PLDM通常用于管理基于固件的设备和组件,以确保系统的稳定性和可靠性。
  27. Redfish是一种开放标准的管理接口,旨在简化和标准化数据中心基础设施的管理。它提供了一种统一的方式来管理服务器、存储和网络设备,使得管理和监控数据中心设备变得更加简单和高效。
  28. SNMP(Simple Network Management Protocol) 是一种用于管理网络设备的标准协议。它允许网络管理员远程监视和管理网络中的设备,收集设备的状态信息以及配置和控制网络设备。 SNMP通过在网络设备上运行代理软件来实现管理功能,并通过管理站点发送请求和接收响应来实现管理操作。
  29. MCTP(Management Component Transport Protocol)是一种管理组件传输协议,用于在计算机系统中管理各种组件,例如固件、BIOS、操作系统等。MCTP 协议定义了一种传输格式,以便在各种总线上进行通信,例如 PCIe、USB 和 SMBus 等。
  30. ACPI(Advanced Configuration and Power Interface),是一种开放标准,用于操作系统与硬件之间的通信,特别是在电源管理方面。 ACPI定义了操作系统如何与系统硬件进行通信以实现高级功能,如电源管理、热插拔设备支持等。ACPI定义了以下几种状态:
    1. S0 状态:全功耗状态,系统处于正常工作状态。
    2. S1 状态:挂起到RAM,系统进入低功耗状态,但仍保持内存内容。
    3. S2 状态:挂起到RAM,比S1更深的低功耗状态,需要更长时间恢复。
    4. S3 状态:睡眠状态,系统关闭大部分硬件,只保留内存和一些必要硬件。
    5. S4 状态:休眠状态,系统关闭所有设备,只保留内存中的数据。
    6. S5 状态:关机状态,系统完全关闭,需要重新启动才能恢复。
  31. SDR(Sensor Data Record)是一种用于记录传感器数据的数据结构或格式。它通常包含有关传感器采集的数据的信息,如时间戳、传感器类型、数据值等。SDR可用于存储、传输和处理传感器数据。
  32. SEL(System Event Log)是一种记录系统事件和硬件故障信息的日志。通常用于记录服务器或计算机系统的运行状态、错误信息、警告以及其他重要事件,以便管理员或系统维护人员进行故障诊断和监控系统健康状态。
  33. Dedicate LAN通常指的是专用局域网,用于特定目的或组织内部使用的局域网。
  34. PWM(脉冲宽度调制)通常在服务器中用来控制风扇的转速,以维持服务器的温度在安全范围内。
  35. Fantach:可以获取风扇转速。
  36. FDT(Flattened Device Tree):在Linux内核启动时,FDT信息是一种描述系统硬件设备和资源配置的数据结构。它在内核启动时被用来初始化设备树,以便内核能够识别和与硬件设备进行交互。FDT信息通常包含了关于处理器、内存、设备节点等硬件信息的描述。
  37. VPD(Vital Product Data):VPD是一种存储在设备中的关键信息,用于标识设备的制造商、型号、序列号等重要属性。这些信息对于设备的管理和识别非常关键。VPD(Vital Product Data)信息通常存储在设备的EEPROM(Electrically Erasable Programmable Read-Only Memory)或类似的非易失性存储器中。这种存储器通常被设计为可以被写入和读取,以便存储设备的关键属性信息,如制造商、型号、序列号等。通过读取这些信息,系统可以准确识别和管理设备。
  38. FRU(Field Replaceable Unit):FRU是指可以在现场更换或维修的设备组件或模块。BMC通常会维护FRU信息,以便在需要更换或维修设备时能够准确识别和定位需要替换的部件。FRU通常包含了设备的物理组件信息,而其中的一部分信息可能包括设备的VPD数据,如制造商、型号、序列号等。这种设计可以帮助管理系统在需要更换或维修设备时准确识别和定位需要替换的部件,并提供关键的设备属性信息。
  39. ambient air temp sensor是环境空气温度传感器的英文名称,用于测量周围环境的温度。
  40. OOB代表“Out of Band”,意为“带外”。在计算机领域中,OOB通常指的是通过独立于主要数据通信路径的方式进行管理、监控或控制设备的能力。例如,通过网络管理接口(如iDRAC、iLO)远程管理服务器就是一种常见的带外管理方式。
  41. I2C NVMe-MI是指基于I2C总线的NVMe管理接口(NVMe Management Interface)。
  42. SOL (Serial Over LAN) 是一种远程管理功能,允许通过网络连接到远程计算机的串行控制台。通过SOL,用户可以在远程计算机上执行类似于本地串行控制台的操作,如访问BIOS设置、操作系统控制台等。
  43. UBM:UBM(Unified Backplane Management)背板是一种用于管理和监控服务器硬件的背板技术。UBM背板允许BMC通过单个接口对多个硬件组件进行管理,提供了统一的管理和监控功能,有助于简化服务器管理和维护。
  44. vGPIO通常指的是虚拟GPIO(General Purpose Input/Output),是一种软件模拟的GPIO接口。它允许软件通过特定的接口模拟硬件上的GPIO操作,用于模拟对物理设备的输入和输出控制。
  45. TPM: Trusted Platform Module,是一种安全芯片,用于存储加密密钥、验证软件的完整性和提供硬件级别的安全功能。
  46. ASD: Automated System Diagnostics,是自动系统诊断,用于自动检测和诊断系统中的问题和故障。
  • 3
    点赞
  • 11
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
BMC(Bounded Model Checking)是一种用于软件验证的形式化技术,可以自动地对给定的软件模型进行验证。它通过将软件模型转化为有限状态机,并生成一个状态转换图来表示这个软件模型。然后,BMC会使用约束求解器来搜索状态转换图中的路径,以找到满足特定性质的路径。这些性质可以是关于软件的正确性、安全性以及其他属性的断言。 Docker是一种开源的容器化平台,可以将应用程序及其依赖项打包成一个独立、可移植的容器。这种容器化的方式使得应用程序在不同的环境中可以快速部署和运行,极大地提高了开发和运维的效率。 将BMC和Docker结合使用,可以将软件验证的过程更加高效和可靠。在传统的软件验证中,使用BMC需要在本地或者服务器上配置特定的环境,而且可能会面临依赖项、版本兼容性等问题。但是,通过将BMC工具和被验证的软件模型打包成Docker容器,可以将验证环境与软件模型一起打包,并在不同的环境中进行部署和运行。 使用BMC Docker可以带来以下好处: 1. 环境一致性:由于使用了Docker容器,可以确保在不同的环境中运行BMC时的环境一致性,避免了由环境差异导致的验证结果不准确问题。 2. 可移植性:使用Docker容器打包BMC工具和软件模型,可以实现在不同的平台和操作系统上进行验证。 3. 提高效率:通过将BMC工具和软件模型打包成容器,可以在需要验证的时候快速部署,并且可以并行地对多个模型进行验证,提高了验证的效率。 4. 便于共享和复用:将BMC工具和软件模型打包成Docker容器后,可以方便地共享和复用,提高了软件验证的可重复性。 综上所述,BMC Docker的使用可以提高软件验证的效率和可靠性,为软件开发人员提供更好的验证手段,同时也推动了软件验证技术的发展。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值