前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >快看,i++真的不安全

快看,i++真的不安全

作者头像
FunTester
发布2019-07-27 18:43:31
3990
发布2019-07-27 18:43:31
举报
文章被收录于专栏:FunTester

上期文章讲到“i++;”本身是一个线程不安全的操作,原因是操作不是原子性的,存在取值和赋值的两个过程,但是究竟怎么会不安全呢?本期借助一个“vmlens”的项目来演示为何会发生线程不安全的情况。文末是vmlens简介。

测试代码:

代码语言:javascript
复制
public class TestCounter {  private volatile int i = 0;  @Interleave  public void increment() {   i++;    }  @Test  public void testUpdate() throws InterruptedException  {    Thread first = new Thread( () ->   {increment();} ) ;    Thread second = new Thread( () ->   {increment();} ) ;    first.start();    second.start();    first.join();    second.join();      }    @After  public void checkResult() {    assertEquals( 2 , i );  }  }

重要的是pom.xml文件配置:

代码语言:javascript
复制
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">  <modelVersion>4.0.0</modelVersion>  <groupId>com.vmlens</groupId>  <artifactId>examples</artifactId>  <version>0.0.1-SNAPSHOT</version>  <packaging>jar</packaging>
  <name>examples</name>  <url>http://maven.apache.org</url>
 <pluginRepositories>  <pluginRepository>    <id>vmlens</id>    <url>http://vmlens.com/download</url>  </pluginRepository></pluginRepositories>

  <properties>    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>  </properties>
  <dependencies>       <dependency>      <groupId>com.vmlens</groupId>      <artifactId>annotation</artifactId>      <version>1.0.2</version>      <scope>test</scope>    </dependency>        <dependency>      <groupId>junit</groupId>      <artifactId>junit</artifactId>      <version>4.8.2</version>      <scope>test</scope>    </dependency>  </dependencies>   <build>    <pluginManagement>    <plugins>             <plugin>        <groupId>org.apache.maven.plugins</groupId>        <artifactId>maven-compiler-plugin</artifactId>        <version>3.5.1</version>        <configuration>          <source>1.8</source>          <target>1.8</target>        </configuration>      </plugin>    </plugins> </pluginManagement>   <plugins>        <plugin>        <groupId>org.apache.maven.plugins</groupId>        <artifactId>maven-surefire-plugin</artifactId>        <version>3.0.0-M3</version>        <configuration>          <includes>            <include>none</include>          </includes>        </configuration>      </plugin>   <plugin>        <groupId>com.vmlens</groupId>        <artifactId>interleave</artifactId>        <version>1.0.4</version>        <!-- start regression test -->        <configuration>          <trimStackTrace>false</trimStackTrace>                  <includes>    <include>com.vmlens.examples.doNotCombine.TestCounter</include>          </includes>        </configuration>           </plugin>      </plugins>  </build>  </project>

接下来是vmlens的报告:

从图中我们可以看出在两个线程同时执行“i++;”的时候,两个线程都先后读取到了i的值“0”,然后先后完成了计算“i+1”,最后又先后给i赋值“1”,导致测试用例执行失败。


介绍一下这个插件:

“vmlens”是一款测试java多线程的工具。

1. 需要测试多个线程访问相同内存位置或监视器的应用程序的所有部分。vmlens显示多个线程访问相同内存位置或监视器的所有位置。

2. vmlens插入等待,在测试期间通知指令并重新运行测试,直到测试所有线程交错。这与数据竞争和死锁的自动检测一起导致系统和可重复的测试。

3. 通过查看多个线程以何种方式访问相同状态,您可以减少共享状态的数量。

4. 较少共享状态意味着需要较少的同步监视器。

下面是作者托马斯原文:

代码语言:javascript
复制
Hello!
Do you love to write bug-free software? Me too!
It always bothers me when I can not test something. That's why I created vmlens, a tool to test multithreaded java.
Now 4 years and countless tests later vmlens enables you to test multi-threaded java systematic and reproducible. And like vmlens now let my completely test vmlens, vmlens let you test the multithreaded part of your application
Enjoy writing concurrent software secured by tests.
Cheers, Thomas
本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2019-07-22,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 FunTester 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档