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

最新推荐文章于 2025-08-06 12:17:37 发布
原创 最新推荐文章于 2025-08-06 12:17:37 发布 · 478 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#多线程 #ubuntu #linux #c语言 #c++

本文探讨了如何通过状态机模型理解并发程序的执行，强调每个时刻选择一个线程执行指令，并且在共享内存中操作。这种简化的方法有助于分析复杂并发程序，同时提到了使用旗子机制实现线程同步，确保正确进入临界区。

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

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

最低0.47元/天 解锁文章
操作系统（4）状态机视角下的程序执行
deserts的博客
03-18 664
操作系统（4）状态机视角下的程序执行 有限状态机（Finite-state machine, FSM） 表示有限个状态在一定的条件下发生某个动作导致从一个状态转换到另一个状态的模型。 有限状态机的要素： 有限状态机=有向图 程序=有限状态机 其中，大部分的指令执行结果都是确定，也有少部分的指令执行结果不确定导致会进入多种不确定状态的一种，但状态也是有限的，因为内存能表示的结果也是有限的。 不确定的会导致多个后续状态（rdrand和系统调用等） 不确定的指令举例： x86-64的例子：
UML状态机 测试用例生成实例
ZigZag_Garden的博客
03-09 943
状态机图是系统设计、实现活动中常见的输出物。通过自动生成技术获得测试用例集，可以对状态机实现更好的测试覆盖。在实际工程中，当该技术适用时，将大大减少人工编写用例的工作量，提高测试覆盖度。
12.3-分级并发有限状态机-SMACH
weixin_30902675的博客
07-01 622
机器人复杂行为设计 前言 一个小目标就是让机器人能够漫游并且识别门，开门 机器人复杂行为设计前言参考学习记录学习实践TOC 参考 ros wiki smach documentation smach tutorials ROS: Navigation and Computer Vision/SMACH 学习记录 学...
《游戏编程模式》一7.8　并发状态机
weixin_33842304的博客
05-02 503
本节书摘来异步社区《游戏编程模式》一书中的第7章，第7.8节，作者： 【美】Robert Nystrom （尼斯卓姆） 译者： 赵卫兵 , 许新星 , 姜召阳 , 陈侃 , 屈光辉 , 郑炯彬 责编： 陈冀康，更多章节内容可以访问云栖社区“异步社区”公众号查看。 7.8　并发状态机 我们决定给我们的主角添加持枪功能。当她持枪的时候，她仍然可以：跑、跳和躲...
开始思考基于状态机的并发实现
头脑歪歪
07-21 568
还是坚持Actor模型，从Coroutine的实现方案中也看到一些不足，虽然实现相对简单，对效率有一些影响，自动计算并发、并行的关联能力也显得不足。 开始思考基于状态机的并发实现，初步设想是对逻辑块进行代码分割，通过对函数附加一些信处来通知编译器作一些改变。貌似C++很困难。。权当是玩的吧...
23、状态机与并发编程：UML视角下的对象行为建模
最新发布
w1x2y3的博客
08-06 33
本文从UML视角探讨了状态机与并发编程在对象行为建模中的应用。详细阐述了状态机的基础概念及其在对象生命周期建模中的作用，并介绍了并发编程中活动对象、进程和线程的建模方式。同时分析了并发系统中的同步问题及解决方法，并结合智能交通系统的实例展示了状态机与并发编程的综合应用。文章旨在帮助开发者更好地使用UML进行系统建模，提升系统的正确性与高效性。
基于模型检查的并发Java程序错误检测研究
文章强调了并发编程带来的复杂性，指出多线程环境下程序执行路径的高度不确定性使得传统QA手段难以覆盖所有可能的状态组合，从而导致许多潜在错误被遗漏。 该研究采用的形式化验证技术——模型检查，是一种系统化的...
操作系统核心概念与多道程序并发性解析
在单一处理机环境下，多道程序的执行是在**同一时间间隔内**进行的（第4题），而非严格意义上的“同一时刻”，这是区分并发与并行的关键所在。由于程序之间需要共享有限的资源，因此必须存在有效的调度机制来协调各...
实战并发-使用分布式缓存和有限状态机
xiexiaojing的博客
03-10 651
点击上方「编程一生」，获取更多技术干货！简介 这里的并发不是高并发，只是将正式环境的一小段流量同时打到我的自测环境。一个请求同时多次发送，真正意义上并发处理同一个数...
操作系统学习笔记：并发：多处理器编程模型1：C语言状态机与汇编语言状态机、状态迁移
风不归的乐园
06-28 1113
操作系统学习笔记：并发：多处理器编程模型1：C语言状态机与汇编语言状态机、状态迁移
白洁血战Node.js并发编程 01 状态机
weixin_33758863的博客
09-09 568
这一篇是这个系列的开篇，没有任何高级内容，就讲讲状态机。 状态机 状态机是模型层面的概念，与编程语言无关。它的目的是为对象行为建模，属于设计范畴。它的基础概念是状态（state）和事件（event）。 对象的内部结构描述为一组状态S1, S2, ... Sn，它的行为的trigger，包括内部的和外部的，描述成为一组事件E1, E2, ....
状态机（有限状态机（Finite State Machine, FSM）、推进自动机（Pushdown Automata）、并发状态机、分层状态机）
Dontla的博客
01-05 2612
状态机是一个抽象概念，主要用来描述对象或系统的行为。在任何给定的时刻，状态机只能处于有限个状态中的一个。当某些条件满足或者某些事件发生时，状态机会从一个状态变为另一个状态，这种变化被称为状态转移。
状态机（有限状态机、并发状态机、层次状态机）
gamedaybyday2的博客
07-20 1471
2. 可以知道状态from-to，知道是从哪个状态向哪个状态进行切换，可以进行一些前置操作，例如在游戏暂停时重新开始游戏，可以在切换前重置游戏数据。使用状态机，可以避免使用if-else/switch-case进行逻辑的条件判断，导致代码臃肿，难以维护，扩展性差。游戏状态：初始化、开始、暂停、恢复、下一波敌人、3选1技能、失败、胜利、退出游戏等。但是角色的状态，行走、攻击、跳跃等是可以并行的，例如行走并攻击，跳跃并攻击。游戏流程的状态是单一的，从初始化，开始，结束等状态都只会同时存在一个。
qt 线程状态机实现并发自动任务
weixin_44075027的博客
07-07 801
【代码】qt 线程状态机实现并发自动任务。
【并发2】理解并发程序的执行
Jancoyan
07-25 820
这是 bilibili-[完结] 2020 南京大学 “操作系统：设计与实现” (蒋炎岩) 的课程笔记 本讲内容： - 串行程序的状态机模型 - 状态机模型的应用 - 并发程序的状态机模型 - 理解并发程序的执行 文章目录串行程序的状态机模型有限状态机（Finite State Machine）x86-64的栗子状态机模型：应用应用(1):Time-Travel Debugging应用(2):Record & Repaly并发程序的状态机模型:star:理解并发程序的执行栗子：实现互斥 串行程.
状态机总结（简洁）
quanqueen的博客
11-18 3524
状态机简写为 FSM（Finite State Machine），也称为同步有限状态机，我们一般简称为状态机，之所以说“同步”是因为状态机中所有的状态跳转都是在时钟的作用下进行的，而“有限”则是说状态的个数是有限的。状态机的每一个状态代表一个事件，从执行当前事件到执行另一事件我们称之为状态的跳转或状态的转移，我们需要做的就是执行该事件然后跳转到一下时间，这样我们的系统就“活”了，可以正常的运转起来了。
状态机
Chydison
04-22 445
原文链接: http://blog.youkuaiyun.com/xgbing/article/details/2784127有限状态机（Finite State Machine或者Finite State Automata)是软件领域中一种重要的工具，很多东西的模型实际上就是有限状态机。最近看了一些游戏编程AI的材料，感觉游戏中的AI，第一要说的就是有限状态机来实现精灵的AI，然后才是A*寻路，其他学术界讨论
状态机架构 例1例2
luoai_2666的博客
06-07 430
例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
有限状态机以及扩展
u012138730的专栏
02-28 2334
经常会遇到这个词FSM，有限状态机，特别是在讲到游戏AI模块中。正好通过看《游戏编程模式》中的状态模式对有限状态机有了一个初步的了解，文中从普通的有限状态机，到并行状态机，再到层次状态机，最后介绍了下推状态机。这里做一下总结，以后再阅读代码时能做出辨认以及以后能为自己所用。 目录 1.有限状态机 2.并发状态机 3.层次状态机 4.下推状态机 1.有限状态机 有限状态机的...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值