O_DIRECT与gcsfuse的go程序中实现内存页面对齐

什么是O_DIRECT?

open() 时传 O_DIRECT,之后该 fd 的 read()/write() 走"直接 I/O"------数据在用户缓冲区与设备/文件系统之间直接搬运,不经过内核页缓存。

其文件偏移(offset)、传输长度(length)、缓冲区起始地址(buffer)都要对齐。若任意一条被违反,read()/write() 都会返回 EINVAL

为什么O_DIRECT必须对齐?

页缓存路径为什么没这个要求?因为页缓存里的页天然页对齐,写回时由内核整理成规整请求。而 O_DIRECT 把用户的任意地址缓冲直接组装进 bio 提交给块设备:

块设备的 DMA 引擎以扇区(512B)/逻辑块为最小搬运单位;

一个 bio 必须由整扇区描述(起始扇区、扇区数);

若 offset/length/缓冲地址不是扇区整数倍,请求无法无歧义地映射到设备扇区,块层也无法拆分或修补(DIO 语义要求"用户缓冲即设备数据",不做读-改-写)。

所以内核的立场是:做不到精确对齐就干脆拒绝(EINVAL),而不是悄悄帮你补。

gcsfuse如何处理O_DIRECT的场景

Go程序在通过make申请内存时,不会保证返回地址对齐,分配器可能返回任意地址。例如:

go 复制代码
buf := make([]byte, 4096)
uintptr(unsafe.Pointer(&buf[0])) % 4096  // 可能不为 0

有的场景下业务需要内存地址页面对齐的buffer。例如Linux O_DIRECT对缓冲有硬性对齐要求:绕过页面缓存直接与块设备/网络层做DMA,要求缓冲区地址、文件偏移、传输长度三者都对齐到逻辑快大小(安全标准做法是对齐到页大小4096)。违反任意一条,read()/write()都直接返回EINVAL

因此凡是做O_DIRECT I/O的地方都需要实现"内存页对齐地址"的功能。例如如下gcsfuse中的实现:

go 复制代码
// GetMemoryAlignedBuffer creates a buffer([]byte) of size bufferSize aligned to
// memory address in multiple of alignSize.
func GetMemoryAlignedBuffer(bufferSize int64, alignSize int64) (buffer []byte, err error) {
	if bufferSize == 0 {
		return make([]byte, 0), nil
	}
	if alignSize == 0 {
		return make([]byte, bufferSize), nil
	}

	// Create and align buffer
	createAndAlignBuffer := func() ([]byte, error) {
		newBuffer := make([]byte, bufferSize+alignSize)
		l := int64(uintptr(unsafe.Pointer(&newBuffer[0])) % uintptr(alignSize))
		skipOffset := alignSize - l
		newBuffer = newBuffer[skipOffset : skipOffset+bufferSize]

		// Check if buffer is aligned or not
		l = int64(uintptr(unsafe.Pointer(&newBuffer[0])) % uintptr(alignSize))
		if l != 0 {
			return nil, fmt.Errorf("failed to align buffer")
		}
		return newBuffer, nil
	}

	// Though we haven't seen any error while aligning buffer but still it is safer
	// to attempt few times in case alignment fails.
	for range 3 {
		buffer, err = createAndAlignBuffer()
		if err == nil {
			return buffer, err
		}
	}
	return buffer, err
}

其本质上是把make多分配的alignSize字节作为"缓冲垫",从实际起点挪到下一个页边界开始用:

  1. 多分配alignSize字节,保证整个bufferSize + alignSize区间内必然存在一个从对齐地址开始的bufferSize长窗口--无论base落在对齐周期的哪个相位,都能在[base, base+alginSize)内找到下一个对齐点。
  2. 计算跳转量。l = base mod alignSize,获取到当前make出来的buffer的内存地址,mod 对齐大小,则可以获取当前buffer内存地址的页内偏移。注意当l == 0时(即本身已经对齐),会整段跳过--正确但浪费一个周期。
  3. 获得跳转偏移:skipOffset := alignSize -l
  4. 切割已申请的buffer,通过在调整逻辑地址的方式来实现"只使用已经被对齐的内存页"的效果:newBuffer = newBuffer[skipOffset : skipOffset+bufferSize]
相关推荐
光电的一只菜鸡1 小时前
高通tuning中eis需要调什么
java·开发语言·前端
兔兔兔兔11 小时前
记录C++ 12
开发语言·c++
丰锋ff1 小时前
基于 Qt 的智能门禁系统(三)
开发语言·qt
消费知多少2 小时前
解析勤策签约大西洋焊接费用核销实践案例
开发语言·c#
马可家的菠萝2 小时前
收藏不是终点:一个真正有用的个人知识库,至少要完成“收集 → 理解 → 行动”
前端·后端·架构
东小西2 小时前
【SAA实战】第 2 篇:模型与消息——ReactAgent 怎么挑模型、怎么传消息
java·后端·spring
LabVIEW开发2 小时前
LabVIEW按段拆分TDMS文件的格式边界与重构
开发语言·数据库·重构·labview·labview知识·labview功能·labview程序
qo_tn2 小时前
Docker_02-容器操作_11-怎样进入容器执行命令
后端
架构精进之路2 小时前
Claude Code 深度使用指南:从"会用"到"用好"的7个进阶心法
后端·openai·ai编程