HIT Software Construction Lab6引发出来对锁的问题的探究
前言
做完lab5开始做lab6了鸭,哈工大计算机学院的学生永不停歇。在做lab6的时候,我在想移动猴子是锁一整个ladder(ADT)还是只锁一个ladder的一个域Monkey数组呢?这两个好像差不多,然后就开始思考锁一个对象和锁其中一个域有什么区别?如果锁了对象对于方法调用有什么影响?回想起上课老师讲的一个类的synchronized方法之间是mutual excluded我就不太明白这到底是怎么回事
我问了隔壁大佬如果锁了对象,类似于:
synchronized (object) {
...
}
这样的做法,两个线程能不能同时调用一个对象的方法,大佬给我的答案是不可以。
但是又回想起上课的时候老师给我们做了练习,大致如下:
List<String> list = ArrayList<>();
synchronized(list){
...
}
在这个例子中别的线程是可以同时调用list.get()方法的
然后再问大佬,大佬就跟我说了一堆我听不懂的东西,然后说自己去吃饭去了,让我自己理解一下
凭借我足以过六一儿童节的智商我表示无法理解这件事
然后我就做了些实验。
实验内容
实验一
如果在两个线程中,A线程中用锁锁了一个对象a,B线程没有锁a,然后调用a的方法,会发生什么?我就用刚刚那个list作为实验内容,代码如下:
public class ServiceA extends Thread {
private List<String> list;
public ServiceA(List<String> list) {
super();
this.list = list;
}
public void run() {
System.out.println("here is thread a runnning");
synchronized (list) {
for(int i = 0;i<100;i++) {
list.add(String.valueOf(i));
System.out.println("thread a added "+i);
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
}
}
}
}
}
public class ServiceB extends Thread{
private List<String> list;
public ServiceB(List<String> list) {
super();
this.list = list;
}
public void run() {
System.out.println("here is thread b runnning");
System.out.println(list.get(0));
}
}
简单解释一下这两个类,可以看出ServiceA的操作是一个mutator,ServiceB的操作是一个observer接下来的main函数中我会把同一个list传入这两个类的实例中,然后让这两个类作为两个线程跑,且A会在B之前跑,我在A中每次插入之后都会让这个线程sleep,强迫系统调度B线程,如果能同时调用这两个方法的话A中的输出会穿插着B中的输出
接下来是main函数:
public class SynchronizedTestMain {
public static void main(String[] args) {
List<String> list = new ArrayList<>();
ServiceA a = new ServiceA(list);
ServiceB b = new ServiceB(list);
a.start();
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
}
b.start();
}
}
失误了……应该少设置点i的,但是结果很明显,如果在一个线程中用synchronized锁住了一个对象,另一个线程是可以调用这个对象的方法的
那么大佬的归不太可能出错的咯,大佬什么意思呢?由此我做了实验二
实验二
我把ServiceB中的语句也用synchronized包起来:
public class ServiceB extends Thread{
private List<String> list;
public ServiceB(List<String> list) {
super();
this.list = list;
}
public void run() {
System.out.println("here is thread b runnning");
synchronized (list) {
System.out.println(list.get(0));
}
}
}
结果就是顺序执行
这里虽然输出了threadB在运行,但是并没有输出list的第一个元素,说明被block了(才不是我写代码失误然后懒得改了哼!)
那么结论已经出来了,如果两个线程同时锁了一个对象,那么一次只有一个线程能够使用这个对象的方法,如果只有一个线程锁了,另一个线程是能够使用这个对象的方法的。
照这个理论来说,两个线程是不可以分别同时使用一个对象的两个synchronized方法的,因为synchronized方法相当于在函数体最外围包一个synchronized(this){}
那么就来做实验看看吧~
实验三
public class TextExample {
String text = "text";
public synchronized void insert(String ins, int pos) {
System.out.println("here is "+Thread.currentThread().getName()+" inserting");
System.out.println("now "+Thread.currentThread().getName()+" starts sleeping");
try {
int i = 0;
while(i<3) {
Thread.sleep(1000);
System.out.println(Thread.currentThread().getName()+" has slept for "+i+" secs");
i++;
}
} catch(InterruptedException e) {
}
text = text.substring(0,pos)+ins+text.substring(pos);
System.out.println("now "+ Thread.currentThread().getName()+" has finished inserting");
}
public synchronized void delete(int pos, int len) {
System.out.println("here is "+Thread.currentThread().getName()+" deleting");
System.out.println("now "+Thread.currentThread().getName()+" starts sleeping");
try {
int i = 0;
while(i<3) {
Thread.sleep(1000);
System.out.println(Thread.currentThread().getName()+" has slept for "+i+" secs");
i++;
}
} catch(InterruptedException e) {
}
text = text.substring(0, pos)+text.substring(pos+len);
System.out.println("now "+ Thread.currentThread().getName()+" has finished deleting");
}
}
public class ThreadExample extends Thread {
private TextExample txteg;
private int choice;
public ThreadExample(TextExample txteg, int i) {
super();
this.txteg = txteg;
choice = i;
}
@Override
public void run() {
if(choice == 1) {
txteg.insert("====", 2);
}
else if(choice == 2) {
txteg.delete(2, 4);
}
}
}
public class SynchronizedExampleTest {
public static void main(String[] args) {
TextExample textExample = new TextExample();
ThreadExample threadExample1 = new ThreadExample(textExample, 1);
threadExample1.setName("thread1");
ThreadExample threadExample2 = new ThreadExample(textExample, 2);
threadExample2.setName("thread2");
threadExample1.start();
try {
Thread.sleep(1000);
}catch(InterruptedException e) {
}
threadExample2.start();
}
}
这次我用了老师上课给的synchronized方法的例子,具体见MIT 6.031 Reading 21
我在textExample里面让他多睡了一会儿然后输出,方便观察,如果能同时运行的话,输出应该是在1睡的时候2能够对字符串进行修改,否则2只能等1睡完才能对字符串进行修改
顺序执行,说明我之前想的没错,问题完美解决~
结语
这三个实验得出来的结论如下:
- 如果两个线程A和B同时锁了一个对象Object,那么一次只有一个线程能够使用Object的方法,如果只有一个线程,比如A锁了Object,另一个线程B没有锁Object,那么B是能够使用Object的方法的。
- 两个线程不能同时使用一个对象的两个synchronized方法,因为synchronized方法相当于在函数体外面包一个synchronized(this){}
这次实验做下来感觉很舒服,自己探索问题并且得出结论的感觉真的很棒,虽然这个问题好像很基础的样子,我可真是太菜了……
果然老师说的有什么问题不懂java都能告诉我答案,想不明白就去做实验吧~
手动分割线
经过和FGS同学的探讨之后,他提供给了我一个新的角度去理解这个问题,我觉得很不错:
本质上说synchronized(Object){A}锁的就是代码块A,可以将Object看作是一个钥匙,用来开这个锁,一个钥匙一次只能在一个线程的手上。
如果两个线程,比如A和B都用了同一个锁锁住了各自的代码块,假设A先抢到了钥匙,那么没抢到钥匙的那个线程B就得等抢到钥匙的那个线程A先执行完自己代码块当中的内容后,A将钥匙归还,B才能拿到钥匙,才能执行自己代码块中的内容。
锁本质上锁的是对代码块中的内容的权限,所以就算换一个对象锁也没什么问题。这也就解释了为什么如果线程B中不用锁锁上,是不影响调用Object的方法的。
HIT Software Construction Lab6引发出来对锁的问题的探究的更多相关文章
- HIT Software Construction Lab 5_经验总结
前言: 终于写完lab5了,这次lab5是基于lab3的一次实验,主要是王忠杰老师提供了4个大约有50w行的大文件让我们根据自己所选应用读取其中两个并且创建轨道系统. 这次lab5优化的我很崩溃,因为 ...
- HIT Software Construction Lab 3
2019年春季学期 计算机学院<软件构造>课程 Lab 3实验报告 姓名 刘帅 学号 班号 1703008 电子邮件 1609192321@qq.com 手机号码 目录 1 实验目标概 ...
- HIT Software Construction Lab 2
2019年春季学期 计算机学院<软件构造>课程 Lab 2实验报告 姓名 刘帅 学号 班号 1703008 电子邮件 1609192321@qq.com 手机号码 目录 1 实验目标概 ...
- Oracle 唯一主键引发的行锁
SQL> create table test(id int PRIMARY KEY, name char(10)); 表已创建. Session 1: SQL> select * from ...
- Software Construction内容归纳
本篇博文是对于2020春季学期<软件构造>课程的总结归纳,由于原先编辑于word,格式不方便直接导入该博客,可以到本人github中进行自取. https://github.com/zqy ...
- SQLServer锁的基础问题探究
SqlServer需要在执行操作前对目标资源获取所有权,那么久发生锁定,是一个逻辑概念.为了保证事务的ACID特性设计的一种机制. 在多用户并发操作数据时,为了出现不一致的数据,锁定是必须的机制.使用 ...
- BP-Wrapper:无锁竞争的缓存替换算法系统框架
BP-Wrapper:无锁竞争的替换算法系统框架 最近看了一个golang的高性能缓存ristretto,该缓存可以很好地实现如下功能: Concurrent High cache-hit ratio ...
- [转]了解SQL Server锁争用:NOLOCK 和 ROWLOCK 的秘密_Mr_Indigo的空间
了解SQL Server锁争用:NOLOCK 和 ROWLOCK 的秘密 关系型数据库,如SQL Server,使用锁来避免多用户修改数据时的并发冲突.当一组数据被某个用户锁定时,除非第一个用户结束修 ...
- 了解SQL Server锁争用:NOLOCK 和 ROWLOCK 的秘密
关系型数据库,如SQL Server,使用锁来避免多用户修改数据时的并发冲突.当一组数据被某个用户锁定时,除非第一个用户结束修改并释放锁,否则其他用户就无法修改该组数据. 有些数据库,包括SQL Se ...
随机推荐
- Oracle存储过程给变量赋值的方法
截止到目前我发现有三种方法可以在存储过程中给变量进行赋值: 1.直接法 := 如:v_flag := 0; 2.select into 如:假设变量名为v_flag,select count( ...
- Deutsch lernen (01)
Was macht Martin? - Um 8.00 Uhr steht martin auf. aufstehen - aufstand - ist aufgestanden 起床 Um 6 Uh ...
- 读书笔记「Python编程:从入门到实践」_5.if语句
5.1 一个简单示例 cars = ['audi', 'bmw', 'subaru', 'toyota'] for car in cars: if car == 'bmw': print(car.up ...
- 说说web缓存-强缓存、协商缓存
网上关于WEB缓存的文章很多,今天汇总一下. 为什么要用缓存 一般针对静态资源如CSS,JS,图片等使用缓存,原因如下: 请求更快:通过将内容缓存在本地浏览器或距离最近的缓存服务器(如CDN),在不影 ...
- taglib遍历foreach循环list集合
第一部导入jstl.jar 第二步进行list传输: package com.aaa.servlet; import com.aaa.dao.IUserDAO; import com.aaa.dao. ...
- Tomcat 服务器中jsp页面乱码
<Connector port="80" protocol="HTTP/1.1" connectionTimeout=&quo ...
- BZOJ 1146: [CTSC2008]网络管理Network 带修改主席树_树套树_DFS序
Description M公司是一个非常庞大的跨国公司,在许多国家都设有它的下属分支机构或部门.为了让分布在世界各地的N个 部门之间协同工作,公司搭建了一个连接整个公司的通信网络.该网络的结构由N个路 ...
- 上传菜品数据&生成点餐二维码
基础数据上传 在门店助手打开数据上传功能,点击上传到微餐厅3.0,,即将门店本地的基础数据上传到线上. 注意1:上传前,需要在线下系统维护好基础数据 注意2:线下基础数据发生更改时,需要手动在门店助手 ...
- CSS 利用transform达到居中效果
<body> <div class="center"> .... </div> </body> 让left和top都是50%,这在水 ...
- SSH框架下单元测试的实现
SSH框架下单元测试的实现 实现的功能 实现了部门的增删改查 对Action进行了单元测试 对Service 进行了单元测试,通过mock的方式实现. 实现的步骤 一.对Action层的单元测试实现 ...