进程的同步和异步、进程互斥

一、进程同步和异步 

  1. 同步(Synchronous): 同步指的是程序按照顺序执行,一个操作完成后才能进行下一个操作。在多进程或多线程的环境中,同步意味着一个进程(或线程)在执行某个任务时,其他进程(或线程)必须等待直到这个任务完成,然后才能继续执行。例如,在多线程编程中,如果一个线程在执行一个耗时的操作,其他线程就会被阻塞,直到该操作完成。这有助于确保数据的一致性,但可能导致程序的性能下降。

  2. 异步(Asynchronous) 异步指的是程序可以在执行某个任务时同时执行其他任务,而不需要等待前一个任务完成。在异步编程中,一个任务的执行不会阻塞其他任务的执行。在异步编程中,常使用回调函数、Promise、async/await 等机制来处理异步操作。这有助于提高程序的性能,特别是在涉及网络请求、文件操作等可能耗时的任务时。

同步亦称直接制约关系,它是指为完成某种任务而建立的两个或多个进程,这些进程因为需要在某些位置上协调它们的工作次序而产生的制约关系。进程间的直接制约关系就是源于它们之间的相互合作。 

二、进程互斥

  • 进程同步和异步通常用于控制任务的执行顺序,而进程互斥用于管理对共享资源的访问,防止并发访问导致数据不一致或其他问题。
  • 异步编程可能涉及到回调、Promise、async/await 等机制,而同步编程可能会使用阻塞或非阻塞的调用方式。
  • 在实际应用中,常常需要综合考虑同步、异步和互斥的机制,以确保多任务之间的正确协作和共享资源的安全访问。

 三、 进程互斥软件方法实现

 1. 单标志法

单标志法是一种简单的进程互斥方法,基于共享的标志来确保在任意时刻只有一个进程能够访问临界区(共享资源)。

  1. 共享标志: 创建一个共享的标志,通常是一个全局的布尔变量。

  2. 进程检查标志: 进程在进入临界区之前,首先检查标志的状态。

  3. 进程进入临界区: 如果标志为假(表示临界区未被占用),则进程将标志设为真,表示临界区现在被占用,然后进入临界区执行相应的操作。

  4. 进程离开临界区: 进程在完成对临界区的操作后,将标志重新设为假,表示临界区已经空闲。

          这种方法的主要问题是忙等待,即在等待标志变为假的过程中,进程需要不断地检查标志状态,占用了系统资源。为了解决这个问题,可以使用其他更复杂的同步机制,如信号量或互斥锁,这些机制可以在标志为假之前将进程挂起,不再需要忙等待。 

2. 双标志先检查法 

       "双标志先检查法" 是一种常见的进程互斥方法,通常用于多线程或多进程编程中,以确保在共享资源上的互斥访问。在这种方法中,使用两个标志来实现互斥,其中一个标志用于指示是否可以进入临界区,另一个标志用于指示是否有其他线程或进程正在访问临界区。

 3. 双标志后检查法

 4. Peterson算法

Peterson算法是一种用于实现两个进程之间互斥访问临界区的经典算法,由Gary L. Peterson于1981年提出。该算法基于两个关键的共享变量,它使用“轮流使用共享资源”和“意向表示”两个概念来确保互斥访问。

 四、 进程互斥的硬件实现方法

1. 中断屏蔽方法

2. TestAndSet指令

3. Swap指令 

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/266300.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

STM32MP157D-DK1开发板固件烧录

本篇介绍STM32MP157D-DK1开发板如何烧录官方固件。 1 开发板基础硬件介绍 1.1 常用接口 板子上的各种接口功如下,本篇固件烧录,主要用的接口包括: CN6:供电接口B2:复位按键CN11:ST-LINK USB&#xff08…

【QT入门】基础知识

一.认识Qt qt是一套应用程序开发库,与MFC不同是跨平台的开发类库,主要用来开发图形界面。完全面向对象容易扩展。 优点:1.封装性强,简单易学 2.跨平台 3.独立编译为本地代码 二.qt工程 1.常见的工程文件有这两种…

4fiddler抓包工具的使用

一、定义 1.1 抓包的定义 说明:客户端向服务器发送请求以及服务器响应客户端的请求,都是以数据包来传递的。 抓包(packet capture):通过工具拦截客户端与服务器交互的数据包 1.2 fiddler的介绍 Fiddler是一个http协议调试代理工具&#…

计算机丢失msvcp140dll怎么恢复?快速解决dll缺失问题

在计算机使用过程中,我们经常会遇到一些错误提示,其中之一就是“msvcp140dll丢失”。msvcp140.dll是一个动态链接库文件,它包含了许多C标准库函数的实现。这些动态链接库文件是程序运行所必需的,它们包含了许多函数和资源&#xf…

TCP协议实现一对一聊天与UDP协议实现群聊

tcp一对一聊天: 服务端代码 import java.io.BufferedReader; import java.io.IOException; import java.io.InputStreamReader; import java.io.PrintWriter; import java.net.ServerSocket; import java.net.Socket; import java.util.Scanner;/*** 发送消息线程…

银河麒麟v10系统SSH远程管理及切换root用户的操作方法

📚📚 🏅我是默,一个在CSDN分享笔记的博主。📚📚 ​​ 🌟在这里,我要推荐给大家我的专栏《Linux》。🎯🎯 🚀无论你是编程小白,还是有一…

word一键接受所有修订并保留修订痕迹

目的:让word修订插入的内容在接受修订后保留痕迹。 文章目录 目的:让word修订插入的内容在接受修订后保留痕迹。1. 打开批注的word文件2. 同时按住:*AltF11*,然后右键:Normal -->插入--> 模块3. 在出现的代码框中…

Go json 差异比较 json-diff(RFC6902)

Go json 差异比较 json-diff(RFC 6902) 毕业设计中过程中为了比较矢量图的差异而依据 RFC 6902 编写的一个包,现已开源: Json-diff 使用 go get -u github.com/520MianXiangDuiXiang520/json-diff序列化与反序列化 与官方 json 包的序列化和反序列化不…

手把手教你玩转ESP8266(原理+驱动)

在嵌入式开发中,无线通信的方式有很多,其中 WIFI 是绕不开的话题。说到 WIFI 通信,就不得不提 ESP8266了。 ESP8266 是一款高性能的 WIFI 串口模块,实现透明传输。只要有一定的串口知识,不需要知道 WIFI 原理就可以上…

C语言中的一维数组与二维数组

目录 一维数组数组的创建初始化使用在内存中的存储 二维数组创建初始化使用在内存中的存储 数组越界 一维数组 数组的创建 数组是一组相同类型元素的集合。 int arr1[10]; char arr3[10]; float arr4[10]; double arr5[10];下面这个数组能否成功创建? int count…

建筑可视化数据大屏汇总,UI源文件(PC端大屏设计)

酷炫的大屏设计让数据更好的展现,方便业务人员分析数据,辅助领导决策。现在分享大屏Photoshop源文件,以下为部分截图示意。 划重点:文末可获得完整素材包~ 01 科技建筑平台数据可视化 02 建筑公司可视化数据汇总平台 03 深蓝…

字符统计[c]

#include<stdio.h> #include<string.h> int main() {int a,b,c;abc0;char s[100];int i0;while(1){i;scanf("%c",&s[i]);if(s[i]?)break;}for(int k1;k<i;k){if(s[k]>48&&s[k]<57){a;//数字}else if((s[k]>65&&s[k]<…