写在前面的话:
- 版权声明:本文为博主原创文章,转载请注明出处!
- 博主是一个小菜鸟,并且非常玻璃心!如果文中有什么问题,请友好地指出来,博主查证后会进行更正,啾咪~~
- 每篇文章都是博主现阶段的理解,如果理解的更深入的话,博主会不定时更新文章。
- 本文最后更新时间:2020.4.26
正文开始
概念
原子操作:由多步组成的一个操作。
简单讲就是,有一组操作,把这组操作集合到一起一次完成,中间不被打断;而原子地执行操作是指,要么一次性把这组操作全都执行了,要么一个操作也不执行,不会出现只执行一部分的情况。
举例
例如 open 函数,O_CREATE
指定了若此文件不存在则创建它,而检查文件是否存在和创建文件这两个操作是作为一个原子操作执行的。
假设没有该原子操作,则可能将此过程写成下列程序:
if ((fd = open(pathname, O_WRONLY)) < 0) //打开pathname
{
if (errno == ENOENT)
{
if ((fd = create(path, mode)) < 0) //文件不存在则创建
{
err_sys("create error");
}
}
else
{
err_sys("open error");
}
}
在这里,先调用open函数打开文件,若文件不存在,则调用create函数创建它,但是如果在open和create之间,另一个进程创建了该文件,就会出现问题。
问题具体描述为:在两个函数调用之间,内核是有可能会临时挂起进程的。假设此程序为进程A,在open之后,内核切换了进程,另一个进程B创建了该文件,并且写入了一些数据,内核又进行了进程的切换,此后原进程A执行了create,这时刚刚由进程B写入的数据就会被擦去。
若将open和create的步骤合并到一个原子操作中,就不会出现这样的问题了。
参考
《UNIX环境高级编程(第3版)》