1.当线程没有拿到资源时,用户态和内核态的一个切换
在操作系统
中,进程
和线程
是执行程序的基本单位。为了管理这些单位,操作系统使用了一种称为“进程状态”的机制,其中包括用户态和内核态
两种状态。这两种状态代表了进程或线程在执行时的不同权限和上下文。
用户态(User Mode): 当进程或线程在用户态下运行时,它们只能访问受限的资源,例如它们自己的内存空间、文件、网络等。这是为了保护系统的稳定性和安全性,防止进程或线程意外地或恶意地访问其他进程或系统的核心资源。
**内核态(Kernel Mode):**当进程或线程需要执行一些特权操作,如访问硬件、修改其他进程的内存或执行系统调用时,它们会切换到内核态。在内核态下,进程或线程具有更高的权限,可以访问系统的核心资源。
现在,关于线程没有拿到资源时从内核态到用户态的转换:
当线程尝试获取某个资源(如内存、文件、网络套接字等)但未能成功时(例如,由于资源不足或资源已被其他线程占用),线程可能会执行一个系统调用,请求操作系统帮助获取该资源。这个系统调用会导致线程从用户态切换到内核态。在内核态下,操作系统会检查资源的情况,并决定是否满足线程的请求。如果资源不可用或无法满足线程的需求,操作系统会返回一个错误码给线程,告诉它无法获取资源。
一旦线程收到了这个错误码,它就知道它没有成功获取资源。然后,操作系统会将线程从内核态切换回用户态,让线程继续执行。
这种从用户态到内核态的转换和切换是操作系统管理和调度进程或线程的基本机制之一。它允许操作系统对进程或线程的行为进行监控和控制,确保系统的稳定性和安全性。
2.Synchronized
1.synchronized能保证原子性,有序性,可见性:
2.1加锁原理:
synchronized加锁原理:使用synchronized之后,当执行同步代码块前首先要先执行monitorenter指令,退出的时候monitorexit指令 ,其关键就是必须要对对象的监视器monitor进行获取 ,当线程获取monitor后才能继续往下执行,否则就只能等待。而这个获取的过程是互斥的,即同一时刻只有一个线程能够获取到monitor 。
2.2monitor 到底是什么?
Monitor在Java中是一个用于实现线程同步的机制,通常与synchronized关键字关联。Monitor内部包含了一个对象头(Object Header)和一块同步代码块。当线程尝试进入同步代码块时,它首先需要获得对象的monitor锁。如果锁被其他线程持有,则当前线程会被阻塞,直到获得锁为止。
具体来说,1.
当一个线程尝试进入synchronized代码块时,它会尝试获取对象的锁。这个锁的状态信息
存储在对象的对象头
中。如果锁是偏向锁或轻量级锁,并且可以由当前线程获取,那么线程就会继续执行同步代码块。——>2.``如果锁已经升级为重量级锁
,或者当前线程无法获取轻量级锁,那么就会涉及到Monitor的机制
。
在这种情况下,对象的对象头会被修改为指向一个Monitor对象(在JVM内部实现),这个Monitor对象包含了等待队列和锁的所有者信息。当前线程如果无法获取锁,就会被放入Monitor的等待队列中阻塞等待。当锁被释放时,Monitor会负责唤醒等待队列中的一个线程,并让它尝试获取锁。
2.2.1对象头里面有什么?
1.Mark Word:用于存储对象自身的运行时数据,如·哈希码(HashCode)、GC分代年龄、锁状态标志
、线程持有的锁
、偏向线程ID
、偏向时间戳等
。这些信息都是用于Java对象的内存管理和并发控制。
2.Klass Word (或称为元数据类型指针):指向对象的类元数据(也就是方法区中的类型信息),虚拟机通过这个指针来确定这个对象是哪个类的实例。
可以通过这个指针——>对应的类对象(这个类对象可以找到InstanceKlass)——>字节码文件加载到内存时就会得到Class对象(也就是镜像类),里面有InstanceKlass的地址,指向InstanceKlass(保存在方法区),从而获取字节码文件中的内容(也就是各种类信息)
2.2.2KlassWord指针和反射的区别:
1.反射:是Java提供的一种能力,允许程序在运行时获取和操作对象的内部属性、方法等信息。它通常涉及到使用java.lang.reflect包中的类,如Class、Method、Field等;它允许程序在运行时动态地访问和操作这些类元数据。例如,通过反射,您可以获取一个对象的Class对象,然后进一步获取该类的所有方法、字段、构造函数等信息,甚至可以动态地调用方法和访问字段。
2.KlassWord:过程是Java对象实例化时的一部分,涉及到对象头的Klass Word(或称为元数据类型指针)和类元数据的加载。这个过程发生在对象创建时,由JVM自动处理,用于确定对象所属的类,以及该类在方法区中的元数据。这是Java对象模型的一部分,用于支持对象的类型识别和类型安全。
2.3 synchronized并发获取锁的过程
2.3.1 在多个线程竞争synchronized锁资源时,是公平还是非公平?那你是如何理解这种现象
synchronized关键字的非公平性确实可能导致线程饥饿的情况。当一个线程尝试获取synchronized锁时,它不会等待其他已经等待很久的线程,而是会立即尝试获取锁。如果它成功获取了锁,那么即使有其他线程已经在等待队列中等待了很长时间,它们也必须继续等待
2.4 synchronized的优化
2.4.1首先阐述 偏向锁和轻量型锁以及重量型锁之间的转换:
1.偏向锁(Biased Locking):
当同步代码块第一次被访问时,JVM会尝试使用偏向锁。在对象头中记录当前线程的ID,作为偏向锁。偏向锁是为了减少无竞争的锁获取和释放的开销。如果同步代码块在后续的执行中没有被其他线程访问,那么偏向锁就会持续保持。
2.轻量级锁(Lightweight Locking):
当同步代码块出现竞争时(即多个线程尝试同时访问),偏向锁会升级为轻量级锁(轻量级锁是通过在对象头
中存储一个指向线程栈
中锁记录
的指针
来实现的——>如果此时原来的线程不再持有该锁
,新的线程
通过CAS
操作尝试将对象头的锁记录
指针指向自己的锁记录
,从而获取锁)。轻量级锁是为了减少线程挂起和恢复的开销。在轻量级锁下,线程会尝试通过自旋(忙等待)的方式获取锁,而不是直接阻塞。如果自旋成功,则线程获得锁并执行同步代码块。如果自旋失败(即锁仍被其他线程持有),则轻量级锁可能会进一步升级为重量级锁(锁膨胀)。
Cas的本质就是比较对象头并且交换(有性能损耗,看对象头中的锁状态是00否);——>就像反书包一样,每次都得翻一下书包看一下是否是自己名字
3.重量级锁(Heavyweight Locking):
当轻量级锁自旋超过一定的次数(通常取决于JVM的实现和配置)或者有其他线程在等待获取锁时,轻量级锁会升级为重量级锁。重量级锁会导致线程阻塞,并在需要时由操作系统进行调度。重量级锁的开销相对较大,因为它涉及到线程的挂起和恢复。
1.如果两个或更多的线程同时尝试获取轻量级锁,并且自旋等待(忙等待)超过了预设的次数,或者有一个线程已经持有锁而其他线程在等待,轻量级锁就会膨胀为重量级锁。
2.在这个过程中,对象头会发生变化,不再直接指向线程的锁记录,而是指向一个Monitor对象。
Monitor对象包含了等待队列(EntryList)和持有锁的线程(owner)等信息。
3.未能获取锁的线程会被放入Monitor的等待队列中,并阻塞等待锁的释放。
4.当持有锁的线程释放锁时,它会通过Monitor的机制来唤醒等待队列中的一个线程,该线程随后会尝试获取锁并继续执行。