银行取款[多线程]{使用volatile修饰共享变量,但此场景并不保证线程同步}

经典例子:老婆(朱丽叶)老公(罗密欧),使用银行卡和存折,或者网银等,同时对同一账户操作的安全问题。

此处用多线程实现,同时取款的模拟实现,使用volatile修饰共享变量,但此场景并不保证线程同步,查看取款安全隐患问题,代码如下:

我学习地址(Thanks for auther):

Java 理论与实践: 正确使用 Volatile 变量

java中volatile关键字的含义

--------------------------------------------------------------------------------------------------------------------------------------

java语言内在两种同步机制:同步块(或方法)和 volatile 变量。都是为了实现代码线程的安全性。
在JVM运行内存中JVM栈中,对每个线程都分配一个线程栈(保存线程变量信息),当线程运行访问某个对象的值时,首先通过对象引用找到对应堆内存的变量的值,
然后把堆内存变量的具体值加载(load)到线程本地内存才能中,建立一个变量的副本。之后,线程就不再和对象在堆内存变量的值有关系,而直接修改副本变量的值,在修改修改副本变量的值0完的某一时刻(线程退出之前),
自动把线程变量副本的值回写到对象在堆中的变量中。这样堆中的对象的值就发生变化了。
普通变量:从主存读取(read)加载(load)变量值到当前工作内存,(执行代码,改变变量的值使用赋值写内存[use-asign-store])(可多次),最终工作内存数据(write)内存变量值,此并非原子性,如果主存的值发生修改,线程工作内存的值已经加载,不会产生改变,所以预期结果不一样。
volatile变量:JVM保证主内存加载到线程工作内存中的值时最新的。
线程1和线程2开始运行,读取加载volatile变量[如banlance],发现主存为banlance=500,则都加载最新这个值,
线程1修改banlance的值write到主存中,主存中的变为banlance=400,则线程2,由于已经进行read和load在进行运算后,也会更新主存banlance=400,即使用volatile修饰,还是会出现并发的问题。
用volatile修饰的变量,线程在每次使用变量的时候,都会读取变量修改后的最的值。volatile很容易被误用,用来进行原子性操作。
锁两种主要特性:互斥(mutual exclusion)和可见性(visibility)。
互斥即一次只允许一个线程持有某个特定的锁,因此可使用该特性实现对共享数据的协调访问协议,一次就只有一个线程能够使用该共享数据。
可见即它必须确保前线程释放锁之前对共享数据做出的更改对于随后获得该锁的另一个线程是可见的,如果没有同步机制提供的这种可见性保证,线程看到的共享变量可能是修改前的值或不一致的值,这将引发许多严重问题。
Volatile 变量具有synchronized的可见性特性,但是不具备原子特性。
Volatile 变量,出于简易性或可伸缩性的考虑,您可能倾向于使用 volatile 变量而不是锁。
volatile 变量不会像锁那样造成线程阻塞,因此也很少造成可伸缩性问题。
在某些情况下,如果读操作远远大于写操作,volatile 变量还可以提供优于锁的性能优势。
volatile关键字为域变量的访问提供了一种免锁机制,使用volatile修饰域相当于告诉虚拟机该域可能会被其他线程更新,因此每次使用该域就要重新计算,而不是使用寄存器中的值,volatile不会提供任何原子操作,它也不能用

--------------------------------------------------------------------------------------------------------------------------------------

银行账户:volatile int banlance

package com.tsxs.bank;
//银行账户
public class BankAccountVolatile {
	//volatile 余额
	private volatile int balance = 500;
	//查询
	public int getBalance(){
		return banlance;
	}
	//取款
	public void withdraw(int amount){
		banlance = banlance - amount;
	}
	//存款
	public void deposit(int amount){
		banlance = banlance + amount;
	}
}

线程方法:

package com.tsxs.syncmethods;

import com.tsxs.bank.BankAccountVolatile;

public class VolatileField implements Runnable{
	//所有Thread多线程线程都共享Runnable(接口对象)和account对象,volatile int banlance
	private BankAccountVolatile account = new BankAccountVolatile();
	@Override
	public void run() {
		for(int i = 0; i< 5; i++){			//总共取款5次
			makeWithdraw(100);			//每次取款100
			if(account.getBalance() < 0){
				System.out.println(""+Thread.currentThread().getName()+"   透支了!");
			}
		}
	}

	/**
	 * makeWithdraw 账户取款
	 * @param amount 取款金额<br />
	 * 打印log记录取款过程
	 * */
	private void makeWithdraw(int amount){
		if(account.getBalance() >= amount){			//如果余额足够则取款
			System.out.println(""+Thread.currentThread().getName()+"   准备取款!");
			try {
				Thread.sleep(500);
			} catch (InterruptedException e) {
				System.out.println(Thread.currentThread().getName()+"   准备取款,等待0.5s线程中断!"+e.getMessage());
			}
			account.withdraw(amount);
			System.out.println(""+Thread.currentThread().getName()+"   完成"+amount+"取款!余额为"+account.getBalance());
		}else{			//余额不足则提示
			System.out.println(""+"余额不足以支付"+Thread.currentThread().getName()+amount+"   的取款,余额为"+account.getBalance());
		}
	}
}

测试代码:

package com.tsxs.test;

import org.junit.Test;

import com.tsxs.syncmethods.CodeLock;
import com.tsxs.syncmethods.NoSync;
import com.tsxs.syncmethods.SyncBlock;
import com.tsxs.syncmethods.SyncMethod;
import com.tsxs.syncmethods.VolatileField;

public class TreadSyncTest {

//	@Test
//	public void test() {
/*Junit不适合多线程并发测试。
    因为线程还在激活状态的时候,Junit已经执行完成。
	在Junit的TestRunner中,它没有被设计成搜寻Runnable实例,
	并且等待这些线程发出报告,它只是执行它们并且忽略了它们的存在。
	综上,不可能在Junit中编写和维护多线程的单元测试。
}*/
	public static void main(String[] args) {
		//实现Runnable:所有Thread多线程线程都共享Runnable(接口对象)
//		NoSync target =new NoSync();
//		SyncMethod target = new SyncMethod();
//		SyncBlock target = new SyncBlock();
//		CodeLock target = new CodeLock();
		VolatileField target = new VolatileField();
		//创建李琦和他老婆两个线程实现取款(同时)
		Thread lq = new Thread(target);
		lq.setName("罗密欧");
		Thread lqwf = new Thread(target);
		lqwf.setName("朱丽叶");
		//调用Thread对象的start()方法,启动线程,执行run()方法(OS)
		lq.start();
		lqwf.start();
	}
}

 

测试结果:

罗密欧   准备取款!
朱丽叶   准备取款!
罗密欧   完成100取款!余额为300
朱丽叶   完成100取款!余额为300
罗密欧   准备取款!
朱丽叶   准备取款!
罗密欧   完成100取款!余额为100
朱丽叶   完成100取款!余额为100
罗密欧   准备取款!
朱丽叶   准备取款!
朱丽叶   完成100取款!余额为0
余额不足以支付朱丽叶100   的取款,余额为0
余额不足以支付朱丽叶100   的取款,余额为0
罗密欧   完成100取款!余额为0
余额不足以支付罗密欧100   的取款,余额为0
余额不足以支付罗密欧100   的取款,余额为0

分析结果,可见:

双线程总共取款10次,账户总额为500.

取款结果:取款成功600元,余额显示不对,取款流程不对。

现实中,此取款代码是有严重bug的,上边数据对于银行是不安全的,个人也会带来不必要的麻烦。

时间: 2024-11-10 00:39:14

银行取款[多线程]{使用volatile修饰共享变量,但此场景并不保证线程同步}的相关文章

银行取款[多线程]{使用ThreadLocal管理共享变量,但此场景并不保证线程同步}

经典例子:老婆(朱丽叶)老公(罗密欧),使用银行卡和存折,或者网银等,同时对同一账户操作的安全问题. 此处用多线程实现,同时取款的模拟实现,使用ThreadLocal管理共享变量,但此场景并不保证线程同步,查看取款安全隐患问题,代码如下: ----------------------------------------------------------------------------------------------------------------------------------

银行取款[多线程]{使用重入锁Lock接口ReentrantLock锁确保线程同步}

经典例子:老婆(朱丽叶)老公(罗密欧),使用银行卡和存折,或者网银等,同时对同一账户操作的安全问题.  此处用多线程实现,同时取款的模拟实现,使用使用Lock接口ReentrantLock锁确保线程同步,查看取款安全隐患问题,代码如下: -----------------------------------------------------------------------------------------------------------------------------------

银行取款[多线程]{使用同步方法确保线程同步}

  经典例子:老婆(朱丽叶)老公(罗密欧),使用银行卡和存折,或者网银等,同时对同一账户操作的安全问题.  此处用多线程实现,同时取款的模拟实现,使用同步方法确保线程同步,查看取款安全隐患问题,代码如下: -------------------------------------------------------------------------------------------------------------------------------------------  * 线程同步

银行取款[多线程]{使用同步代码块确保线程同步}

经典例子:老婆(朱丽叶)老公(罗密欧),使用银行卡和存折,或者网银等,同时对同一账户操作的安全问题. 此处用多线程实现,同时取款的模拟实现,使用同步代码块确保线程同步,查看取款安全隐患问题,代码如下: --------------------------------------------------------------------------------------------------------------------------------------  * 线程同步 :使用同步块

银行取款[多线程]{未进行线程同步}(junit不适合多线程并发单元测试)

        由于计算机多任务.多进程.多线程的支持,使得计算机资源的服务效率提高,服务器对请求的也使用线程来相应,所有,代码中涉及到同时对共享数据的操作,将在 多线程环境中操作数据,导致数据安全问题.      经典例子:老婆(朱丽叶)老公(罗密欧),使用银行卡和存折,或者网银等,同时对同一账户操作的安全问题.      如果要保证多线程下数据安全,就要实现线程同步(例如:一间小厕所,就得有一个锁,保证同一时间为一个人服务).其他文章讲: 此处用多线程实现,同时取款的模拟实现,未进行线程同步

windows lua 多线程 线程同步

今天在改一个程序,改成部分逻辑用lua写,这个程序是多线程的.将程序中部分逻辑改成lua之后,各种非法访问内存错误,各种奇奇怪怪的问题,不分时间,不分地点的出现崩溃.从调用堆栈来看,基本都是使用lua造成的.在多线程中使用lua_newthread得到的lus_State仍然有时候程序会崩溃.基本上可以确定为多线程中操作lua 的问题了. 前几天我转载的一篇文章,文章写了关于lua多线程的作法.作法有二 1.每一个线程函数用lua_newthread产生一个新的lua_state 以后对lua操

并行编程之多线程共享非volatile变量,会不会可能导致线程while死循环

背景 大家都知道线程之间共享变量要用volatile关键字.但是,如果不用volatile来标识,会不会导致线程死循环?比如下面的伪代码: static int flag = -1; void thread1(){ while(flag > 0){ //wait or do something } } void thread2(){ //do something flag = -1; } 线程1,线程2同时运行,线程2退出之后,线程1会不会有可能因为缓存等原因,一直死循环? 真实的世界 第一个坑

银行存取款模型的线程同步问题

  关于线程同步,网上也有很多资料,不过不同的人理解也不大一样,最近在研究这个问题的时候回想起大学课本上的一个经典模型,即银行存取款模型,通过这个模型,我个人感觉解释起来还是比较清楚的.本文结合自己的思考对该模型进行一个简单的模拟,阐述一下我对线程同步的理解. 场景模拟   接下来使用java对该问题进行模拟.在研究这个问题时会忽略掉现实系统中的很多其他属性,通过一个最简单的余额问题来看线程同步,这里首先创建三个类. 1.卡类,同时卡类提供三个方法,获取余额.存款以及取款. public cla

关于 volatile 修饰在数组上的可见性问题

问题描述 使用volatile修饰符时,大家都知道被它修饰的属性都有可见性的特性,如果将volatile修饰在数组上,按我的理解是:它只对引用这个数组的属性本身有效,而对这个数组里面引用的对象,是没有效果的.但是现在问题来了,我在做试验时,发现在它对数组里面引用的对象也有效果,我的代码如下,大家帮忙看看是什么原因.代码一:publicclassTest{privateStringname;publicTest(Stringname){this.name=name;}publicStringget