BMC的概念与IPMI的入门使用

BMC带外系统与IPMI

概念

BMC: Baseboard Management Controller即板级管理控制器;
服务器带外管理的核心部件;
维基百科中BMC和IPMI定义如下:
基板管理控制器(BMC)提供IPMI架构中的智能特性。它是嵌入在计算机(通常是服务器)主板上的专用微控制器。 BMC负责管理系统管理软件和平台硬件之间的接口。
BMC(Baseboard Management Controller)与IPMI(Intelligent Platform Management Interface),即基板管理控制器与智能型平台管理接口,是服务器的基本核心功能子系统,负责服务器的硬件状态管理、操作系统管理、健康状态管理、功耗管理等核心功能。
BMC 是独立于服务器系统之外的小型操作系统,是一个集成在主板上的芯片,也有产品是通过 PCIE 等形式插在主板上,对外表现形式只是一个标准的 RJ45 网口,拥有独立 IP 的固件系统。服务器集群一般使用 BMC 指令进行大规模无人值守操作,包括服务器的远程管理、监控、安装、重启等。
IPMI 是一组交互标准管理规范,由 Intel、HP、Dell 和 NEC 公司于1998年9月16日共同提出,主要用于服务器系统集群自治,监视服务器的物理健康特征,如温度、电压、风扇工作状态、电源状态等。同时,IPMI 还负责记录各种硬件的信息和日志记录,用于提示用户和后续问题的定位。目前,IPMI 已经为超过 200 多家计算机供应商所支持。
IPMI 是独立于主机系统 CPU、BIOS/UEFI 和 OS 之外,可独立运行的板上部件,其核心部件即为 BMC。或者说,BMC 与其他组件如 BIOS/UEFI、CPU 等交互,都是经由 IPMI 来完成。在 IPMI 协助下,用户可以远程对关闭的服务器进行启动、重装、挂载 ISO 镜像等。

特点(增强理解)

BMC自有硬件接口(LAN/Serial)和软件(Firmware/Linux);
遵循 IPMI 协议,对外提供统一的访问接口;
作为服务器特有模块,提供温度,电压,风扇,总线监控;提供管理接口,便于进行远程管理服务器
BMC使用独立的Power,在系统关机时依然处于工作状态。

入门使用

使用 IPMI 协议对外提供访问接口ipmitool 是一种用于 IPMI 2.0协议的命令行工具,用于管理和控制 PowerEdge 服务器上的硬件和软件。你可以使用以下步骤来使用 ipmitool:

  1. 安装ipmitool:

    在基于 Debian 的系统上,使用以下命令安装 ipmitool:

    sudo apt-get update
    sudo apt-get install ipmitool
    

    在基于 Red Hat 的系统上,使用以下命令安装 ipmitool:

    sudo yum install ipmitool
    
  2. 查看可用设备:

    使用以下命令查看可用的 IPMI 设备:

    ipmitool lan print
    

    这将列出所有连接到本地网络的设备。

  3. 查看设备详细信息:

    使用以下命令查看指定设备的详细信息:

    ipmitool lan print <device name>
    

    <device name> 替换为要查看的设备名称。

  4. 执行固件更新:

    如果需要更新设备的固件,可以使用以下命令:

    ipmitool lan update <device name>
    

    <device name> 替换为要更新的设备名称。

  5. 其他常用命令:

    • 唤醒设备:

      ipmitool power on <device name>
      

      <device name> 替换为要唤醒的设备名称。

    • 关闭设备:

      ipmitool power off <device name>
      

      <device name> 替换为要关闭的设备名称。

    • 获取设备信息:

      ipmitool lan print <device name>
      

      <device name> 替换为要获取信息的设备名称。

这些是使用 ipmitool 的基本命令。你可以查阅 ipmitool 的手册页(man ipmitool)以获取完整的命令列表和详细说明。

  • 0
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 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、付费专栏及课程。

余额充值