c - 帮助理解宏观

Question

我在理解 MTD 驱动程序中的一些代码时遇到问题

#define ROUNDUP(x, y)       ((((x)+((y)-1))/(y))*(y))
...
static struct mtd_partition my_parts[] =
{
   {
      .name = "boot",
      .size = 0,
      .offset = 0,
      .mask_flags = MTD_WRITEABLE
   },
   {
      .name = "linux",
      .size = 0,
      .offset = 0
   },
   {
       .name = "rootfs",
       .size = 0,
       .offset = 0,
       .mask_flags = MTD_WRITEABLE
   },
   {
       .name = "nvram",
       .size = 0,
       .offset = 0
   },
   {
       .name = 0,
       .size = 0,
       .offset = 0
   }
}
...

i = (sizeof(bcm947xx_parts)/sizeof(struct mtd_partition)) - 2;

bcm947xx_parts[i].size = ROUNDUP(NVRAM_SPACE, mtd->erasesize);
bcm947xx_parts[i].offset = size - bcm947xx_parts[i].size;

所以这是我的问题:1)为什么要对分区的大小进行四舍五入？2)你能帮助理解四舍五入的工作原理吗？3) 同一平台上引导加载程序中的闪存驱动程序不对这个特定分区进行舍入，因此闪存布局在内核端和引导加载程序中具有不同的偏移量。这是什么原因？

提前感谢您提出宝贵意见!

Answer 1

(1) 闪存是其删除大小的倍数。 (显然。至少，引用的代码是这样告诉我的。)这意味着 NVRAM 的末尾与接下来的内容之间存在间隙。这个间隙小于一个删除大小的大小。在闪存中，不将两个具有不同重写计划的对象放在一个删除 block 中很方便——更改任何一个对象都需要闪存存储 Controller 将 block 复制到临时存储，对存储应用部分更新，删除 block ( slow-ish)，并将更新的 block 写入主存储。 (它可以重用一个不同的先前删除的 block ，并将其线程返回到原始 block 的位置。但这被认为是一种高科技优化。)

(2) 如何解析宏:

((((x)+((y)-1))/(y))*(y))

第 1 步，删除参数周围的括号，以确保作为参数传递的复杂表达式不会由于运算符优先级而突然以意外方式重新绑定(bind)。

(((x+(y-1))/y)*y)

第 2 步，移除显然具有指定优先级的操作的偏执括号。

(x+y-1)/y*y

第 3 步，使用 C 语言解析规则，而不是代数规则。如果 x 和 y 是整数类型(您的代码中没有足够的信息来确定这一点)，则除法是整数除法，因此从 C 翻译成数学。

 floor((x+y-1)/y)*y

第四步，阅读。如果 x 是 y 的倍数，那么由于 y-1 太小而不能成为 y 的倍数，因此该操作只返回 x。如果 x 比 y 的倍数大 1，则 +y-1 将分子推到下一个 y 的倍数上，结果是恰好大于 x 的 y 的最小倍数。事实上，如果 x 介于 1 more 和 y-1 more than y 的倍数之间，“+y-1”会将分子向上推到下一个 y 的倍数，向上舍入的结果是 y 的最小倍数比 x。

因此，我们发现 ROUNDUP(x,y) 将 x 向上舍入为恰好大于或等于 x 的 y 的最小倍数。此外，此宏不止一次计算其第二个参数:不要将具有副作用的表达式放在第二个槽中，除非您希望这些副作用在每次调用时发生三次。 (考虑 int i = 3; ROUNDUP(6,i++) 并想知道在 i 的三个增量中的每一个之前和之后评估哪些子表达式。)

(3) 不知道。没有人告诉引导加载程序编写者 NVRAM 的大小只有 erasesize 的倍数吗？