四、理解并发程序的执行 & 状态机视角下的程序执行

最新推荐文章于 2024-01-14 14:59:07 发布
最新推荐文章于 2024-01-14 14:59:07 发布
阅读量384 收藏
点赞数
分类专栏： Jyy-os 文章标签： 多线程 ubuntu linux c语言 c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/eternitykc/article/details/111253558
版权
本文探讨了如何通过状态机模型理解并发程序的执行，强调每个时刻选择一个线程执行指令，并且在共享内存中操作。这种简化的方法有助于分析复杂并发程序，同时提到了使用旗子机制实现线程同步，确保正确进入临界区。
摘要由CSDN通过智能技术生成

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

将上述模型扩展到并发程序：
在这里插入图片描述
多线程有好多个寄存器现场。
在这里插入图片描述
多线程的执行过程，可以看做每一个时刻，都选择一个线程执行一条指令，由于是共享内存的，所以执行的结果会直接反映到内存上
在这里插入图片描述

最低0.47元/天 解锁文章
Eternitykc
关注
专栏目录
操作系统（4）状态机视角下的程序执行
deserts的博客
03-18 555
操作系统（4）状态机视角下的程序执行 有限状态机（Finite-state machine, FSM） 表示有限个状态在一定的条件下发生某个动作导致从一个状态转换到另一个状态的模型。 有限状态机的要素： 有限状态机=有向图 程序=有限状态机 其中，大部分的指令执行结果都是确定，也有少部分的指令执行结果不确定导致会进入多种不确定状态的一种，但状态也是有限的，因为内存能表示的结果也是有限的。 不确定的会导致多个后续状态（rdrand和系统调用等） 不确定的指令举例： x86-64的例子：
12.3-分级并发有限状态机-SMACH
weixin_30902675的博客
07-01 559
机器人复杂行为设计 前言 一个小目标就是让机器人能够漫游并且识别门，开门 机器人复杂行为设计前言参考学习记录学习实践TOC 参考 ros wiki smach documentation smach tutorials ROS: Navigation and Computer Vision/SMACH 学习记录 学...
《游戏编程模式》一7.8　并发状态机
weixin_33842304的博客
05-02 403
本节书摘来异步社区《游戏编程模式》一书中的第7章，第7.8节，作者： 【美】Robert Nystrom （尼斯卓姆） 译者： 赵卫兵 , 许新星 , 姜召阳 , 陈侃 , 屈光辉 , 郑炯彬 责编： 陈冀康，更多章节内容可以访问云栖社区“异步社区”公众号查看。 7.8　并发状态机 我们决定给我们的主角添加持枪功能。当她持枪的时候，她仍然可以：跑、跳和躲...
开始思考基于状态机的并发实现
头脑歪歪
07-21 485
还是坚持Actor模型，从Coroutine的实现方案中也看到一些不足，虽然实现相对简单，对效率有一些影响，自动计算并发、并行的关联能力也显得不足。 开始思考基于状态机的并发实现，初步设想是对逻辑块进行代码分割，通过对函数附加一些信处来通知编译器作一些改变。貌似C++很困难。。权当是玩的吧...
实战并发-使用分布式缓存和有限状态机
xiexiaojing的博客
03-10 563
点击上方「编程一生」，获取更多技术干货！简介 这里的并发不是高并发，只是将正式环境的一小段流量同时打到我的自测环境。一个请求同时多次发送，真正意义上并发处理同一个数...
基于VC++的控制高速球形摄像机旋转的程序
01-09
高速球形摄像机因其灵活性、高清晰度和广泛的视角，广泛应用于各种安全监控场景。本项目是基于Microsoft的Visual C++（简称VC++）开发的一个程序，用于精确控制这类设备的运动。 首先，我们要理解VC++作为一款强大...
构建大规模分布式服务--高并发、高可用架构系列，高质量原创好文
m0_67322837的博客
04-12 1289
当我们在谈论“服务治理”的时候，都在谈论些什么？ 我从业之初接触到的便是一堆基于Webservice、Hessain等实现的跨语言的分布式系统，那是SOA架构和理念十分盛行的时代，我常常听到前辈们在谈论“SOA治理”等高大上的词，但我当时并没有理解何为“治理”，甚至在想：为什么不叫 “管理”呢？在此之前，我仅在小学课本上接触过 “污水治理”这个词。直到近些年互联网企业大规模服务化进程的推进，以Dubbo、Spring Cloud为代表的开源服务框架流行起来，“服务治理”又热门了起来。 那到底何为
多线程调试高手：GDB在并发环境下的高级应用
线程，作为程序执行流的最小单元，在现代操作系统中是支持并发操作的重要基础。在多线程模型中，线程共享程序的资源，例如内存空间和文件描述符，但在执行流上彼此独立，可以并发执行，从而提高程序效率和用户体验。...
白洁血战Node.js并发编程 01 状态机
weixin_33758863的博客
09-09 474
这一篇是这个系列的开篇，没有任何高级内容，就讲讲状态机。 状态机 状态机是模型层面的概念，与编程语言无关。它的目的是为对象行为建模，属于设计范畴。它的基础概念是状态（state）和事件（event）。 对象的内部结构描述为一组状态S1, S2, ... Sn，它的行为的trigger，包括内部的和外部的，描述成为一组事件E1, E2, ....
状态机（有限状态机（Finite State Machine, FSM）、推进自动机（Pushdown Automata）、并发状态机、分层状态机）
Dontla的博客
01-05 1712
状态机是一个抽象概念，主要用来描述对象或系统的行为。在任何给定的时刻，状态机只能处于有限个状态中的一个。当某些条件满足或者某些事件发生时，状态机会从一个状态变为另一个状态，这种变化被称为状态转移。
qt 线程状态机实现并发自动任务
weixin_44075027的博客
07-07 656
【代码】qt 线程状态机实现并发自动任务。
【并发2】理解并发程序的执行
Jancoyan
07-25 673
这是 bilibili-[完结] 2020 南京大学 “操作系统：设计与实现” (蒋炎岩) 的课程笔记 本讲内容： - 串行程序的状态机模型 - 状态机模型的应用 - 并发程序的状态机模型 - 理解并发程序的执行 文章目录串行程序的状态机模型有限状态机（Finite State Machine）x86-64的栗子状态机模型：应用应用(1):Time-Travel Debugging应用(2):Record & Repaly并发程序的状态机模型:star:理解并发程序的执行栗子：实现互斥 串行程.
状态机架构 例1例2
luoai_2666的博客
06-07 340
例1. 周期跳转状态机 状态机有三个状态，IDLE，S1和S2。在IDLE状态，如果en=1，则跳到S1状态，否则保持不变;在S1状态时，保持5个时钟周期后，跳到S2状态; 在S2状态，保持7个时钟周期后，跳回到IDLE状态。 状态转移图 状态转移代码 always@(*) begin case(state_c) IDLE: begin if(idle2s1) state_n = S1; else state_n = state_c; end S1: begin if(s1
状态机总结（简洁）
quanqueen的博客
11-18 2938
状态机简写为 FSM（Finite State Machine），也称为同步有限状态机，我们一般简称为状态机，之所以说“同步”是因为状态机中所有的状态跳转都是在时钟的作用下进行的，而“有限”则是说状态的个数是有限的。状态机的每一个状态代表一个事件，从执行当前事件到执行另一事件我们称之为状态的跳转或状态的转移，我们需要做的就是执行该事件然后跳转到一下时间，这样我们的系统就“活”了，可以正常的运转起来了。
有限状态机以及扩展
u012138730的专栏
02-28 2100
经常会遇到这个词FSM，有限状态机，特别是在讲到游戏AI模块中。正好通过看《游戏编程模式》中的状态模式对有限状态机有了一个初步的了解，文中从普通的有限状态机，到并行状态机，再到层次状态机，最后介绍了下推状态机。这里做一下总结，以后再阅读代码时能做出辨认以及以后能为自己所用。 目录 1.有限状态机 2.并发状态机 3.层次状态机 4.下推状态机 1.有限状态机 有限状态机的...
UML-状态机图（状态图）
最新发布
????
01-14 8371
UML-状态机图基础知识
有限状态机时代终结的10大理由
热门推荐
赖勇浩的编程私伙局
01-28 3万+
有限状态机时代终结的10大理由作者：alexjc译者：赖勇浩（恋花蝶）原文地址：http://aigamedev.com/questions/fsm-age-is-over本文最初发表于恋花蝶的博客（http://blog.csdn.net/lanphaday），如蒙转载，敬请保留全文完整，包括本声明。经过几个月的发展， AiGameDev.com 形成了一个小有气候的
C语言入门--状态机编程
静静流淌的柯溪的博客
05-08 3076
进程并发与中断机制：理解并行执行与调度
例如，编辑文档、QQ聊天、网上浏览和CD音乐欣赏都是并发任务的例子，这些任务可以通过单处理机通过CPU分时的方式实现，通过进程控制块（PCB）来管理程序的执行状态。 进程是操作系统的核心概念，它代表了正在运行的...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值