论坛徽章:: 0

电梯直达

1楼 [收藏(0)] [报告]

发表于 2013-01-15 11:09 |只看该作者 |倒序浏览

看毛德操书上册595页说：写文件时首先根据写入位置计算出写入位置所在块号，然后在缓冲区找对应的缓冲块，找到后看其内容是否与设备上一致，若不一致，则先读入从而使得一致，然后开始写文件。
问题：假设进程B刚刚写过文件S的缓冲块100，尚未同步到磁盘，现在进程A也要写文件S的缓冲块100，他发现不一致，于是从磁盘读入，这不是把B写的内容丢失了吗？
同样，如果是自己刚刚写过，写过的内容还没有同步到磁盘，自己又写一次，也会丢失上次写的内容啊。
为什么要从磁盘读入呢，内存中的才是最新的啊？

请教大家，给予指点啊，谢谢。

文库|博客

frogsu

丰衣足食

论坛徽章:: 0

2楼 [报告]

发表于 2013-01-15 13:03 |只看该作者

本帖最后由 frogsu 于 2013-01-15 13:13 编辑

hongyueer 发表于 2013-01-15 11:09
看毛德操书上册595页说：写文件时首先根据写入位置计算出写入位置所在块号，然后在缓冲区找对应的缓冲块，找 ...

感觉你所描述了这个现象应该这样分析：首先进程B要将一段数据写入磁盘中，它必须将被写入的页通过buffers映射到文件的逻辑块和磁盘的逻辑块,并且进行判断将要写入范围内的与磁盘逻辑块内容不一致的块读入缓存页；然后将用户数据拷贝到该页中，提交需写入磁盘的缓存页，并将该页中待写入的块置Uptodate,说明缓存页中的相应块与磁盘逻辑块内容一致; 最后等待会该该页的写更新的完成。如果在这过程中有A进程也进行了写，这就存在了写冲突的问题了。但内核应该会有一种机制例如页的锁机制等先保证A进程的完成。然后，让B进程进行与A相同的写操作过程，即应该在进程A操作与B进程操作之间肯定会有个sync动作。

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

frogsu

丰衣足食

论坛徽章:: 0

3楼 [报告]

发表于 2013-01-16 18:46 |只看该作者

hongyueer 发表于 2013-01-15 11:09
看毛德操书上册595页说：写文件时首先根据写入位置计算出写入位置所在块号，然后在缓冲区找对应的缓冲块，找 ...

这两天看了内存相关的书，感觉上次的回答不太对，首先按照你的说法：“进程B刚刚写过文件S的缓冲块100，尚未同步到磁盘” ，那么这个缓冲块100存在肯定存在于cache里面。由于进程A也要写文件S的缓冲块100，这时会发生缺页异常，但块100已经在cache里面了，就会直接从cache里取，应该是直接修改了块100的内容，覆盖了B的修改，而不是从磁盘读入，把B写的内容丢失。