BMC简介

1. 概述

BMC, BaseboardManagement Controller, 用来管理服务器上的硬件。

比如,我们操作一台服务器,通常都是用ssh远程连接。登录ssh,我们需要变更网卡地址,命令service network restart, 过了一会儿发现连不上了。可能是配置错了,访问不了了。那么怎么办?这个时候就需要重新配置,然后重启服务了。呼哧呼哧找网管要门禁卡,再跑到机房,再在这一堆一堆的服务器中找到目标机器,然后本地操作修正。

如果使用BMC,就可以解决这个问题,它提供了远程管理硬件的功能。

 

2. 配置和使用

那么BMC是怎么实现的呢?以曙光服务器为例,机器后面有两个网口,一个用于共享网络,另一个用于专用网络。共享网络就是指我们正常使用的网络,而专用网络是用来访问BMC。

每个服务器出厂之后,就像路由器一样,自带一套管理系统。这个系统是相对服务器操作独立存在,而管理其硬件,比如电源,风扇,存储,CPU等等。

 

那我们怎么登陆这个管理系统呢?

这里用到了一个命令ipmitool。

ipmitool lan 使用来配置网络信息,

ipmitool lan print 1 可以查看当前BMC的ip,我们可以通过这个IP访问管理界面。

修改命令 ipmitool lan set 1 ipaddr x.x.x.x

(这里的1,是指通道号)

 

接下来确认,专用网络连通,就是把专用网口用网线连到交换机上。这样我们就可以远程访问BMC了。

 

3. 总结

BMC的管理功能是非常强大了,就相当于机器就在你面前。可以修改BIOS,修改介质启动顺序,可以修改风扇转速,可以统计耗电信息等等。它也提供一整套的命令,比如ipmicmd ipmievd ipmilan ipmish ipmi_sim ipmitool ipmi_ui等。可以方便的帮助我们管理服务器。

 

 

 

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、付费专栏及课程。

余额充值