内核宏之—DIV_ROUND_UP(向上取整)&&virt_to_page&&GRUB,UEFI

简介: 内核宏之—DIV_ROUND_UP(向上取整)&&virt_to_page&&GRUB,UEFI

一、DIV_ROUND_UP(向上取整)

在linux\kernel.h中,有这么一个宏:

#define DIV_ROUND_UP(n,d) (((n) + (d) - 1) / (d))

意为向上取整,网上解释如下:

1. 问题

A,B都是整数并且 A>1, B>1

求 ┌ A/B ┐ 即 A/B 的上取整。

当 A/B 整除,往上取整返回值 为 A/B。

当 不整除,返回值是 int(A/B) + 1

这个算法的一个应用:如果你有一个动态增长的缓冲区,增长的步长是 B,

某一次缓冲区申请的大小是 A,这个时候,就可以用这个算法,计算出缓冲区的一个合

适大小了,正好可以容纳A,并且不会过于得多,多余部分不会比B多。

2. 方法

int( (A+B-1)/B )

3. HUNTON 的证明

上取整用UP表示

由于A>1、B>1,且A、B都是整数,所以可以设A=NB+M

其中N为非负整数,M为0到B-1的数,则

A/B = N + M/B
(A+B-1)/B = N + 1 + (M – 1)/B;

当M为0时,

UP(A/B) = N,
int((A+B-1)/B) = N + int(1 – 1/B) = N

当M为1到B-1的数时,0 <= M-1 <= B-2

UP(A/B) = N + 1,
int((A+B-1)/B) = N + 1 + int((M-1)/B) = N + 1

所以对A>1、B>1的整数A、B都有:

UP(A/B) = int((A+B-1)/B)

二、virt_to_page

  • virt_to_page(虚拟地址)
  • virt_to_page 从一个内核虚地址得到该页的描述结构 struct page *
  • offset_in_page(虚拟地址)

三、GRUB,UEFI

ATF–>UEFI–>GRUB–>OS

1、Grub

GNU GRUB 和GRUB是GRand Unified Bootloader的缩写,它是一个多重操作系统启动管理器。用来引导不同系统,如windows,linux。

开机出现GRUB引导主要原因是,一般现在的电脑现在都不再是legacy BIOS引导,而是UEFI这种快速启动的引导方式,在硬件的BOOT权限设置时,一般有legacy first和UEFI first这两个选项,若是采用legacy first的话一般是不会出现GRUB界面的,因为grub多用于引导LINUX系统,此时boot是优先导入LINUX。但是如果改为UEFI first的话,开机GRUB丢失引导项,出现GRUB界面。

2、UEFI

uefi是一种更快捷快速的电脑启动配置,它的全称是“统一可扩展固件接口”(Unified Extensible Firmware Interface)

要详细了解uefi之前,我们不得不从bios说起。大家都知道电脑中有一个bios设置,它主要负责开机时检测硬件功能和引导操作系统启动的功能。而uefi则是用于操作系统自动从预启动的操作环境,加载到一种操作系统上从而节省开机时间。

3、UEFI/Legacy启动模式区分

  • (1)进入系统查看
    运行cmd,然后输入 bcdedit /enum {current} 执行,如果 path 中给出的路径是 winload.efi ,则说明系统是通过 UEFI 模式启动的了
  • (2)开机时查看
    在开机的时候,如果显示开机画面是主板的logo,底下加上一个转圈,这应该就是UEFI启动。如果是出现系统开机画面时才出现转圈则是传统BIOS启动
  • (3)进入系统查看
    首先同时按下电脑的win键和r键,打开“运行”(或者直接在开始菜单中打开“运行”)

然后再输入msinfo32,点击确定。

然后就打开了系统信息的窗口。

查看 ”BIOS模式”,写的是UEFI就是UEFI,legacy就是传统BIOS启动。

参考文献:

https://www.cnblogs.com/cmembd/p/3493597.html

https://www.cnblogs.com/tanrong/p/7764285.html

目录
相关文章
|
6月前
|
Linux
嵌入式Linux系统(NUC980)tf卡出错处理errors=remount-ro改为errors=continue
嵌入式Linux系统(NUC980)tf卡出错处理errors=remount-ro改为errors=continue
132 1
|
Linux
【Linux】关于Bad magic number in super-block 当尝试打开/dev/sda1 时找不到有效的文件系统超级块
【Linux】关于Bad magic number in super-block 当尝试打开/dev/sda1 时找不到有效的文件系统超级块
372 0
|
缓存 算法 Linux
linux通过free查看内存解析和swap的设置
linux通过free查看内存解析和swap的设置
linux通过free查看内存解析和swap的设置
文件系统里面没有 /dev/input/mice 文件的解决办法
文件系统里面没有 /dev/input/mice 文件的解决办法
278 0
文件系统里面没有 /dev/input/mice 文件的解决办法
Linux: 2>/dev/null 解决大量屏幕输出
Linux: 2>/dev/null 解决大量屏幕输出
Linux: 2>/dev/null 解决大量屏幕输出
|
5G Shell
Jetson-Nano对Swap交换空间进行增加和删除
Jetson-Nano对Swap交换空间进行增加和删除
429 0
Jetson-Nano对Swap交换空间进行增加和删除
|
Linux
【Linux】使用 parted 创建大于 2T 的分区
【Linux】使用 parted 创建大于 2T 的分区
401 0
【Linux】使用 parted 创建大于 2T 的分区
程序人生 - 戴森 Dyson HD01 和 HD03 区别?
程序人生 - 戴森 Dyson HD01 和 HD03 区别?
265 0
程序人生 - 戴森 Dyson HD01 和 HD03 区别?