内核里同时下发两个bio写到同一磁盘地址的情况分析

yuanbor

现在有一个内核模块，同时存在多个流程将一个512Bytes的结构体更新到磁盘对应的位置上，如果两个流程更新同一个结构体就会出现两个bio写到同一磁盘地址的情况。
如果先修改结构体的流程形成的bio先写入磁盘中，这样没有问题，但是因为存在io调度，可能造成后修改结构体的流程先写入磁盘，这就出现了问题：磁盘中的结构体与内存中的最新的结构体是不一致的。
测试表明：采用WRITE_BARRIER不会出现这个问题，也就是能很好地保序；但是使用WRITE_SYNC就不行，偶尔会发生不一致的情况。

现在的问题是multipath做出来的分区不支持WRITE_BARRIER，而使用WRITE_SYNC又会出现不一致的情况，请教各位内核达人该如何解决这个问题，多谢多谢。

yjc17

你是怎么确定，是那个线程先发起写的呢？

如果两个时间相差特别小的话。 我觉得这种还是在上层作同步较好

raintung

在__make__request  里做了合并调度算法，
使用BARRIER，不会做bio的调度，每个bio对应到一个request，然后         elevator indicated where it wants this request to be inserted at elevator_merge time，插入到队列中

而不使用BARRIER，是会用电梯调度算法，至于用哪个看你的配置。
但make__request 使用了queue的锁，也就是能保证在队列里调度的先后顺序，难道是调度算法出的问题？

queue是q = bdev_get_queue(bio->bi_bdev);
return bdev->bd_disk->queue;是disk里的queue.