"Java多线程基础-2:简介虚拟地址空间——保障进程间独立性的机制 "

简介: 如何保障进程之间这样的独立性?操作系统采用了“虚拟地址空间”的方式。

我们知道,进程之间是相互独立的,在操作系统级别中,一个进程所执行的程序无法直接访问另一个进程所执行的内存区域(即实现进程间通信比较困难);一个进程运行的失败也不会影响其它进程的运行。这使我们的操作系统功能更加稳定。


如何保障进程之间这样的独立性?操作系统采用了“虚拟地址空间”的方式。


一、每个进程都直接访问物理内存的地址会怎样?

物理内存是一块内存条




内存条上有许多内存颗粒(黑色块状的东西就是内存颗粒),它是内存条最核心的部件,是内存的储存介质。里面有许多的存储单元,类似于“小房间”。每个“小房间”都有编号,即“内存地址”。这时我们假设现在有两个进程,它们分别使用一定的内存资源:



此时,就出现了一个严重的问题:由于进程1和进程2使用的是同一块物理内存,且彼此之间没有约束,那么当进程1代码出现bug(如数组下标越界、野指针等问题时),就可能把进程2内存里的内容也搞坏了。进程1的bug,就很有可能引起进程2也bug。试想你浏览器用着用着,QQ崩了;QQ用着用着,桌面崩了……两个进程之间能直接相互影响,这极大地影响了操作系统整体的稳定性。


因而,虚拟地址空间就是来解决这个麻烦问题的。


二、“虚拟内存空间”是如何解决上述问题的?


现在有进程1和进程2,我们给两个进程分别分配一块虚拟的内存空间。然后,操作系统中提供了一个专门的数据结构:页表,通过页表,实现虚拟地址与实际的物理地址之间的映射。如进程1的虚拟地址空间是 0x00 - 0xff,页表就会将这段虚拟地址空间映射到物理内存上的真实地址 0xaa00 - 0xaaff 。同样的,进程2被分配的虚拟地址也会在页表的映射下对应到真实的物理内存上。



此时,站在这两个进程的角度看,它们的代码中操作的内存地址就是 0x00 - 0xff 这一段。这里访问的内存虽然会被操作系统自动映射到真实的物理内存上,但是进程自身是感知不到实际的物理地址是啥的。如果这时,进程1代码bug (比如数组下标越界,野指针等),就没事了。


因为任何一个内存操作都需要通过页表来“翻译”一下地址。如果出现野指针0x2ff,拿着这个地址去页表上找,发现页表上就没有这个地址!那页表便无法翻译,同时也就无法真正修改物理内存。这样一来,也就不会对别的进程的内存数据造成干扰了。


页表最大的作用就是校验,方便知道当前的虚拟地址是否有效。这样,一个进程崩了,不会对别的进程产生影响;进程之间无法直接干预,操作系统的稳定性也就上来了。


三、简述进程间通信的实现


有的情况下,我们需要进程之间能进行交互,相互配合。


但正如上面提到的,如果每个进程可以直接访问物理内存也即进程间没有隔离性,也就不需要进程间通信。进程1直接把算好的结果写到进程2的内存里就行。


但进程之间是有隔离性的。所谓进程间通信,就是在进程间隔离性的前提下,找一个公共的区域,让两个进程借助这个区域来完成数据交换。


这就好像疫情期间封小区,外面的人进不来,小区里的人也出不去(隔离性)。这时,如果小区里的人要买菜,就让小区外头送菜的人把菜放在保安亭,然后自己也去保安亭拿菜。那此时,这个保安亭就是公共空间,它帮助我们小区里被隔离的人和小区外的人实现了“通信”。


这可以理解为,所谓“公共空间”,就是在进程隔离性的情况下,作出了一些小小的妥协。


操作系统提供的实现进程间通信的方式有很多种,如管道、消息队列、共享内存、信号等等。由于编程语言的特点,C++对这部分的研究会比Java更加细致。因为在Java圈子中,并不是很鼓励多进程编程。Java更多地使用文件和socket这两种方式来完成进程间的通信。


在多线程与多进程编程都能满足并发编程的需求的前提下,Java也更鼓励多线程编程。



相关文章
|
存储 Linux API
【Linux进程概念】—— 操作系统中的“生命体”,计算机里的“多线程”
在计算机系统的底层架构中,操作系统肩负着资源管理与任务调度的重任。当我们启动各类应用程序时,其背后复杂的运作机制便悄然展开。程序,作为静态的指令集合,如何在系统中实现动态执行?本文带你一探究竟!
【Linux进程概念】—— 操作系统中的“生命体”,计算机里的“多线程”
|
10月前
|
人工智能 安全 Java
Go与Java泛型原理简介
本文介绍了Go与Java泛型的实现原理。Go通过单态化为不同类型生成函数副本,提升运行效率;而Java则采用类型擦除,将泛型转为Object类型处理,保持兼容性但牺牲部分类型安全。两种机制各有优劣,适用于不同场景。
554 24
|
存储 缓存 算法
JVM简介—1.Java内存区域
本文详细介绍了Java虚拟机运行时数据区的各个方面,包括其定义、类型(如程序计数器、Java虚拟机栈、本地方法栈、Java堆、方法区和直接内存)及其作用。文中还探讨了各版本内存区域的变化、直接内存的使用、从线程角度分析Java内存区域、堆与栈的区别、对象创建步骤、对象内存布局及访问定位,并通过实例说明了常见内存溢出问题的原因和表现形式。这些内容帮助开发者深入理解Java内存管理机制,优化应用程序性能并解决潜在的内存问题。
737 29
JVM简介—1.Java内存区域
|
10月前
|
人工智能 Java
java中static关键字简介
`static`关键字用于修饰类的成员变量和方法,使其属于类而非对象。静态成员可通过类名直接访问,无需实例化对象。静态方法只能访问静态成员,不能直接访问非静态成员或使用`this`关键字。此外,静态代码块在类首次加载时执行且仅执行一次,适用于初始化操作。
255 0
|
Java Linux API
课时3:Java简介(Java主要特点)
本文介绍了Java的主要特点及其运行机制。Java结合了编译型和解释型语言的优点,通过Java虚拟机(JVM)实现跨平台移植,简化了不同操作系统间的开发流程。Java的特点包括可移植性、简单易用、支持多线程编程、自动垃圾收集和面向对象编程。随着硬件技术的发展,Java的性能问题已大大改善,成为行业标准之一,广泛应用于各种商用平台开发。
374 1
|
自然语言处理 Java 关系型数据库
Java mysql根据很长的富文本如何自动获取简介
通过使用Jsoup解析富文本并提取纯文本,然后根据需要生成简介,可以有效地处理和展示长文本内容。该方法简单高效,适用于各种应用场景。希望本文对您在Java中处理富文本并生成简介的需求提供实用的指导和帮助。
298 9
|
开发框架 移动开发 Java
课时2:Java简介(Java发展概述)
课时2:Java简介(Java发展概述) 摘要: 1. Java基础知识:介绍Java作为编程语言及其思想。 2. Java的发展历史:从1991年GREEN项目到1995年正式推出,历经网景公司、HotJava浏览器等关键节点。 3. Java的版本信息:涵盖从JDK 1.0到JDK 1.8的主要版本及特性,如Lambda表达式和模块化支持。
373 0
|
存储 Java C语言
课时11:Java数据类型简介
本文介绍了Java中的数据类型划分,主要分为基本数据类型和引用数据类型。基本数据类型包括数值型(整型、浮点型)、布尔型和字符型,每种类型有固定的默认值和存储范围。引用数据类型涉及内存使用,如数组、类和接口,默认值为Null。文中还提供了不同类型的选择原则,帮助开发者在实际编程中合理选用数据类型。
168 0
|
Oracle Java Unix
课时1:认识Java(Java发展简介)
课时1:认识Java(Java发展简介)。主讲人李兴华介绍了Java的起源、发展历程及其广泛应用。Java由Sun公司开发,最初为嵌入式系统设计,后演变为三大方向:Java SE、Java ME和Java EE。尽管面临版权争议等挑战,Java仍是最流行的编程语言之一,广泛应用于大型企业及互联网平台开发。
204 0
|
安全 Java Kotlin
Java多线程——synchronized、volatile 保障可见性
Java多线程中,`synchronized` 和 `volatile` 关键字用于保障可见性。`synchronized` 保证原子性、可见性和有序性,通过锁机制确保线程安全;`volatile` 仅保证可见性和有序性,不保证原子性。代码示例展示了如何使用 `synchronized` 和 `volatile` 解决主线程无法感知子线程修改共享变量的问题。总结:`volatile` 确保不同线程对共享变量操作的可见性,使一个线程修改后,其他线程能立即看到最新值。
375 7

热门文章

最新文章