所谓原子性操作指的是:内核保证某系统调用中的所有步骤(操作)作为独立操作而一次性加以执行,其间不会被其他进程或线程所中断。

举个通俗点的例子:你和女朋友OOXX的时候,突然来了个电话,势必会打断你们高潮的兴致,最好的办法就是,你们做这事的时候,把通讯设备关机,就能确保,这次的事情很圆满的完成,这就是一次原子性操作。

在多进程IO过程中,如果操作不具有原子性,就可能会导致数据混乱,相互覆盖等情况。这种现象也叫竞争状态。

所谓竞争状态指的是:操作共享资源的两个进程(或线程),其结果取决于一个无法预期的顺序,因为进程获取的cpu执行时间是不确定的。

1,假想的,以独占方式创建一个文件

下面这段代码,用open和O_CREAT标志演示一个独占方式创建文件, 什么叫独占方式创建文件?  就是该进程始终认为这个文件是他打开的,或者是他创建的

 /*================================================================
* Copyright (C) 2018 . All rights reserved.
*
* 文件名称:bad_exclusive_open.c
* 创 建 者:ghostwu(吴华)
* 创建日期:2018年01月11日
* 描 述:
*
================================================================*/ #include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <stdlib.h>
#include <string.h>
#include <sys/types.h>
#include <unistd.h>
#include <errno.h> int main(int argc, char *argv[])
{
if( argc < || strcmp( argv[], "--help" ) == ){
printf( "usage:%s filename\n", argv[] );
exit( - );
} printf( "pid=%d, %s文件不存在\n", getpid(), argv[] ); int fd = -; fd = open( argv[], O_WRONLY );
if( fd < ){
sleep( );
printf( "pid=%d, 结束睡眠\n", getpid() );
//其他错误原因,导致文件打开失败
if( errno != ENOENT ) {
perror( "open" );
exit( - );
}else {
//文件不存在 导致文件打开失败
fd = open( argv[], O_WRONLY | O_CREAT, S_IRUSR | S_IWUSR );
if( fd < ) {
printf( "文件%s创建失败\n", argv[] );
exit( - );
}
printf( "文件%s,创建并打开成功:fd=%d\n", argv[], fd );
printf( "进程id=%d\n", getpid() );
close( fd );
}
}else {
printf( "文件%s,打开成功:fd=%d\n", argv[], fd );
printf( "进程id=%d\n", getpid() );
close( fd );
} return ;
}

假如,我们要创建一个不存在的test.txt文件。

为了演示方便,在程序第一次判断文件不存在的情况下,让进程挂起( sleep 5 )交出cpu的执行时间,这个时候,我们可以这样测试,两种方法:

1,在另一个终端,登录另一个账户(如root账户),创建test.txt文件

2,在另一个终端,再开启一个进程

方法一:用shell脚本创建一个test.txt,并赋予其他组的权限为rw

createfile.sh

 #!/bin/bash
#创建文件,并改变权限配合测试 touch test.txt
sudo chmod a+rw test.txt

实验结果:左边的进程依然认为这个文件是他创建并打开的!

方法二,在另一个终端,再开一个进程测试

两个进程都认为,test.txt是他们自己创建并打开的

2,如何保证独占方式创建一个文件?

非常简单,只需要把加一个标志O_EXCL,结合O_CREAT

fd = open( argv[], O_WRONLY | O_CREAT | O_EXCL, S_IRUSR | S_IWUSR );

再次按照上面的2种方式测试,得到的结果就是:

如果在sleep期间,别的进程创建了文件,那么该进程会报错

3,seek与write结合,产生相互覆盖

 /*================================================================
* Copyright (C) 2018 . All rights reserved.
*
* 文件名称:seek_file.c
* 创 建 者:ghostwu(吴华)
* 创建日期:2018年01月11日
* 描 述:
*
================================================================*/ #include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <sys/types.h>
#include <unistd.h> #ifndef BUFSIZE
#define BUFSIZE 50
#endif int main(int argc, char *argv[])
{
if( argc < || strcmp( argv[], "--help" ) == ) {
printf( "usage:%s filename w<string>\n", argv[] );
exit( - );
} if( argv[][] != 'w' ) {
printf( "必须以w开头\n" );
exit( - );
} int fd = -;
fd = open( argv[], O_RDWR ); if( fd < ) {
printf( "文件%s打开失败\n", argv[] );
exit( - );
} if ( - == lseek( fd, , SEEK_END ) ) {
printf( "指针移动到尾部失败\n" );
exit( - );
} sleep( ); char buf[BUFSIZE];
ssize_t nwrite; strcpy( buf, &argv[][] ); nwrite = write( fd, buf, strlen( buf ) );
if( - == nwrite ) {
printf( "文件写入失败\n" );
exit( - );
}
printf( "pid=%d,向文件%s写入了%ld个字节\n", getpid(), argv[], nwrite ); return ;
}

如果第一个进程执行到seek与write之间,交出 cpu, 被执行相同代码的第二个进程中断,那么这两个进程在写入数据前都把指针移动到相同的位置,如果一个进程先完成,那么后一个进程会覆盖前面进程写入的数据

试验结果:

第二个进程后结束: 第一个进程写入的123被第二个进程的4567覆盖,产生结果 4567

第一个进程后结束:第一个进程写入的4567被第二个进程的123覆盖,产生结果 1237

如何避免数据覆盖?打开文件时候,加入O_APPEND标志

fd = open( argv[], O_RDWR | O_APPEND );

总结:

1)理解原子性操作

2)理解标志O_CREAT与O_EXCL结合的意义

3)理解O_APPEND标志

4)理解竞争状态

linux系统编程:IO读写过程的原子性操作实验的更多相关文章

  1. linux系统编程之文件与io(一)

    经过了漫长的学习,C语言相关的的基础知识算是告一段落了,这也是尝试用写博客的形式来学习c语言,回过头来看,虽说可能写的内容有些比较简单,但是个人感觉是有史起来学习最踏实的一次,因为里面的每个实验都是自 ...

  2. linux系统编程之文件与io(五)

    上一节中已经学习了文件描述符的复制,复制方法有三种,其中最后一种fcntl还并未使用到,关于这个函数,不光只有复制文件描述符的功能,还有其它一些用法,本节就对其进行一一剖析: fcntl常用操作: 这 ...

  3. 读书笔记之Linux系统编程与深入理解Linux内核

    前言 本人再看深入理解Linux内核的时候发现比较难懂,看了Linux系统编程一说后,觉得Linux系统编程还是简单易懂些,并且两本书都是讲Linux比较底层的东西,只不过侧重点不同,本文就以Linu ...

  4. Linux 系统编程 学习:01-进程的有关概念 与 创建、回收

    Linux 系统编程 学习:01-进程的有关概念 与 创建.回收 背景 上一讲介绍了有关系统编程的概念.这一讲,我们针对 进程 开展学习. 概念 进程的身份证(PID) 每一个进程都有一个唯一的身份证 ...

  5. Linux 系统编程 学习:11-线程:线程同步

    Linux 系统编程 学习:11-线程:线程同步 背景 上一讲 我们介绍了线程的属性 有关设置.这一讲我们来看线程之间是如何同步的. 额外安装有关的man手册: sudo apt-get instal ...

  6. Linux系统编程【2】——编写who命令

    学到的知识点 通过实现who命令,学到了: 1.使用man命令寻找相关信息 2.基于文件编程 3.体会到c库函数与系统调用的不同 4.加深对缓冲技术的理解 who命令的作用 who命令的使用 在控制终 ...

  7. Linux系统编程温故知新系列 --- 01

    1.大端法与小端法 大端法:按照从最高有效字节到最低有效字节的顺序存储,称为大端法 小端法:按照从最低有效字节到最高有效字节的顺序存储,称为小端法 网际协议使用大端字节序来传送TCP分节中的多字节整数 ...

  8. Linux系统编程@进程通信(一)

    进程间通信概述 需要进程通信的原因: 数据传输 资源共享 通知事件 进程控制 Linux进程间通信(IPC)发展由来 Unix进程间通信 基于System V进程间通信(System V:UNIX系统 ...

  9. Linux系统编程【转】

    转自:https://blog.csdn.net/majiakun1/article/details/8558308 一.Linux系统编程概论 1.1 系统编程基石 syscall: libc:标准 ...

随机推荐

  1. tomcat线程初探

    博主:handsomecui,希望路过的各位大佬留下你们宝贵的意见,在这里祝大家冬至快乐. 缘由: 初探缘由,在业务层想要通过(当前线程的栈)来获取到控制层的类名,然后打日志,可是发现并不能通过当前线 ...

  2. RobotFramework自动化测试框架-移动手机自动化测试Element Attribute Should Match关键字的使用

    Element Attribute Should Match 关键字用来判断元素的属性值是否和预期值匹配,该关键字接收四个参数[ locator | attr_name | match_pattern ...

  3. 回溯法之求n个集合的幂集

    幂集:有一个集合A,集合A的幂集是由集合A的全部子集所组成的集合. 集合中的每一个元素仅仅有两种状态:属于幂集的元素集或不属于幂集的元素集. 集合{1,2,3},用一棵二叉树来表示. 递归函数 voi ...

  4. Git版本号控制 为什么那么复杂 头大 (忍不住强烈吐槽)

    想把自己的源代码保存到云端.想到了用Github.com,然后便開始看怎么使用GIT. 一開始,没有接触之前,想的非常easy的.应该就跟SVN几乎相同吧.写好了提交就能够了. 只是使用了之后才发现根 ...

  5. JVM垃圾收集相关经常使用參数

    參 数 描 述 UseSerialGC 虚拟机执行在Client 模式下的默认值,打开此开关后,使用Serial + Serial Old 的收集器组合进行内存回收 UseParNewGC 打开此开关 ...

  6. 注册Azure AD 应用程序

    作者:陈希章 发表于2017年3月22日 在此前的文章中,我给大家介绍了分别用Graph 浏览器以及第三方工具(POSTMAN)快速体验Microsoft Graph的功能,其中有一个重要的环节就是, ...

  7. 前端笔记---塌陷top

    一.在设置盒子div的子元素的外边框margin-top,子元素属性不起作用,父元素下沉: <!DOCTYPE html> <html lang="en"> ...

  8. python __getattr__ 巧妙应用

    在之前的文章有提到__getattr__函数的作用: 如果属性查找(attribute lookup)在实例以及对应的类中(通过__dict__)失败, 那么会调用到类的__getattr__函数, ...

  9. KVO的内部实现以及使用

    转载自:http://www.cocoachina.com/applenews/devnews/2014/0107/7667.html   KVO是实现Cocoa Bindings的基础,它提供了一种 ...

  10. Java8函数之旅 (八) - 组合式异步编程

    前言 随着多核处理器的出现,如何轻松高效的进行异步编程变得愈发重要,我们看看在java8之前,使用java语言完成异步编程有哪些方案. JAVA8之前的异步编程 继承Thead类,重写run方法 实现 ...