关于gen_fsm 的一些理解

最新推荐文章于 2021-03-23 19:31:36 发布
原创 最新推荐文章于 2021-03-23 19:31:36 发布 · 365 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。 

gen_fsm module                    Callback module
--------------                    ---------------
gen_fsm:start_link                -----> Module:init/1

gen_fsm:send_event                -----> Module:StateName/2

gen_fsm:send_all_state_event      -----> Module:handle_event/3

gen_fsm:sync_send_event           -----> Module:StateName/3

gen_fsm:sync_send_all_state_event -----> Module:handle_sync_event/4

-                                 -----> Module:handle_info/3

-                                 -----> Module:terminate/3

-                                 -----> Module:code_change/4
 

1：gen_fsm 可以应用状态机，看了yourihua的 
Erlang OTP设计原则Gen_Fsm行为 有感。 proc_lib:start_link(

 

     gen_fsm:start_link  -> gen:start ->gen:do_spawn ->proc_lib_start_link  -> 其实都是通过apply(M,F,A)  最后这是mod:init(Arg) ,所以gen_fsm:start_link 里面代码就有mod:init .
 

 


  
gen_fsm:start_link                -----> Module:init/1

  

  
gen_fsm:send_event                -----> Module:StateName/2  是init 通过初始化 {ok,static,State }, static 就是StateName,   所以就调用调了 Module:StateName/2  再次调用就可以改变状态了。
其实是通过下面实现的，
Event这是 gen_fsm:send_event/2 向gen_fsm 发送的状态
dispatch({'$gen_event', Event}, Mod, StateName, StateData) ->
    Mod:StateName(Event, StateData);
dispatch({'$gen_all_state_event', Event}, Mod, StateName, StateData) ->
    Mod:handle_event(Event, StateName, StateData);
dispatch({'$gen_sync_event', From, Event}, Mod, StateName, StateData) ->
    Mod:StateName(Event, From, StateData);
dispatch({'$gen_sync_all_state_event', From, Event},
	 Mod, StateName, StateData) ->
    Mod:handle_sync_event(Event, From, StateName, StateData);
dispatch({timeout, Ref, {'$gen_timer', Msg}}, Mod, StateName, StateData) ->
    Mod:StateName({timeout, Ref, Msg}, StateData);
dispatch({timeout, _Ref, {'$gen_event', Event}}, Mod, StateName, StateData) ->
    Mod:StateName(Event, StateData);
dispatch(Info, Mod, StateName, StateData) ->
    Mod:handle_info(Info, StateName, StateData).



  

  

  

  

  

  

 

                

        

    


  



    



                



	

		

			

				
					
Erlang中gen_fsm补充理解

				
			

			

				

					Nicer_feng's blog
				

				

					03-25
					
					479
					
				

			

		

		

			
				
查阅发现fsm几年前已经被statem代替了，但对于erlang的behavior还不是太熟悉，还是要多练，今天看到一个简单易懂的例子，拿过来解析一下。

			
		

	



                

            
              



	

		

			

				
					
Erlang 源码分析之 Gen_Server

				
			

			

				

					GitChat
				

				

					11-06
					
					1091
					
				

			

		

		

			
				
众所周知 Erlang/OTP 是一个具有高并发、低延时、高容错等特性的平台。
其三大 Behaviour :

Gen_ Server（客户端服务器）； 
Gen_ Fsm（有限状态机）；    
Gen_ Event（事件通知），是其坚如磐石的系统的基石。     

本场 Chat 将透过源码分析其中 Gen_Server 的实现原理并管中一窥 Erlang 的设计思想。
本场 Chat 主...

			
		

	



              


  
              

                


	

		

			

				
					
erlang四大behaviour之二-gen_fsm

				
			

			

				

					游戏码农的专栏
				

				

					01-16
					
					7816
					
				

			

		

		

			
				
来源：http://www.cnblogs.com/puputu/articles/1701012.html
今天介绍erlang的一个非常重要的behaviour，就是gen_fsm-有限状态机，有限状态机的作用非常之多，比如文本解析，模式匹配、游戏逻辑等等方面的处理都是它的强项，所以这个behaviour非常之重要


1. 有限状态机

有限状态机可以用下面这个公式来表达

			
		

	





	

		

			

				
					
gen_fsm 练习

				
			

			

				

					undefined
				

				

					03-23
					
					317
					
				

			

		

		

			
				
最近学习四大行为模式，跟着网上照葫芦画瓢，其中过程挺有意思的。

练习目标：

一个上锁的密码门，密码输错三次则锁定5秒，强行输入则状态锁死，输入正确密码则打开门




%%%-------------------------------------------------------------------
%%% @author 
%%% @copyright (C) 2020
%%% @doc
%%%     
%%% @end 
%%% Created : 2021/3/23-16-57
%%..

			
		

	



		

			
		



	

		

			

				
					
gen_server 和 gen_fsm 的区别和应用--erlang

				
			

			

				

					little 小样
				

				

					07-11
					
					675
					
				

			

		

		

			
				
erlang 里 gen_server 与gen_fsm 的异同
深入的思考和了解可以提升自己对编程的理解

			
		

	





	

		

			

				
					
Erlang/OTP之gen_fsm行为模式

				
			

			

				

					weixin_34138139的博客
				

				

					01-21
					
					129
					
				

			

		

		

			
				
2019独角兽企业重金招聘Python工程师标准>>>   
                                        
         ...

			
		

	





	

		

			

				
					
gen_fsm例子

				
			

			

				

					KOOK
				

				

					09-13
					
					1013
					
				

			

		

		

			
				
《Erlang OTP in action》一书完全略过了对gen_fsm的介绍，因为作者认为这是一个很少会用的的behaviour。但是最近看riak_core源代码的时候，发现它的vnode实现是基于gen_fsm的。Erlang/OTP官方文档，介绍gen_fsm有限状态机的例子代码不全，而且代码的逻辑似乎有问题。当然可能官方认为例子太简单了，我们会自动补全。不过如果每过一段时间重看代码总得

			
		

	





	

		

			

				
					
gen_fsm

				
			

			

				

					chixi2610的博客
				

				

					06-05
					
					282
					
				

			

		

		

			
				
有限状态机（问什么从来没有提过无限状态机，请知道的朋友不吝赐教）的官方文档定义是： 
 
 State(S) x Event(E) -> Actions(A), State(S') 
 If we are in state S and the event E occurs, we...

			
		

	





	

		

			

				
					
gen_fsm的例子

				
			

			

				

					好记性不如烂博客
				

				

					03-12
					
					546
					
				

			

		

		

			
				
《Erlang OTP in action》一书完全略过了对gen_fsm的介绍，因为作者认为这是一个很少会用的的behaviour。但是最近看riak_core源代码的时候，发现它的vnode实现是基于gen_fsm的。Erlang/OTP官方文档（在[url=http://www.erlang.org/doc/design_principles/fsm.html]这里[/url]）介绍gen_...

			
		

	





	

		

			

				
					
基于Erlang的gen_tcp聊天室代码,功能完整

				
			

			

				

					04-13
				

			

		

		

			
				
- 处理连接请求，为每个新连接创建一个新的进程（通常是一个gen_server或gen_fsm行为）。 - 注册和登录逻辑，处理用户认证请求。 - 监听和转发消息，确保消息在正确用户间传递。 - 错误处理和异常恢复，确保系统的...

			
		

	





	

		

			

				
					
LAB_6v1_pulse_vhdl_gen_源码

				
			

			

				

					10-02
				

			

		

		

			
				
"LAB_6v1_pulse_vhdl_gen_源码" 提供的是一个使用VHDL编写的脉冲发生器的源代码。脉冲发生器在数字电路中扮演着重要角色，它能够产生具有特定时序和特性的脉冲信号，这些信号在各种应用场景中，如计时、触发、同步等...

			
		

	





	

		

			

				
					
使用kerl 管理 erlang 版本

				
			

			

				

					
				

				

					01-07
					
					718
					
				

			

		

		

			
				
以前 用kerl  在这一步  kerl build R16B03 r16b03  总报错 
  configure: error: No curses library functions found
  configure: error: /bin/bash '/home/bryanhunter/.kerl/builds/r14b04/otp_src_R14B04/erts/configur

			
		

	





	

		

			

				
					
erlang不同节点进程如何通讯的

				
			

			

				

					
				

				

					09-12
					
					453
					
				

			

		

		

			
				
这个问题

			
		

	





	

		

			

				
					
erlang 九九乘法

				
			

			

				

					
				

				

					03-07
					
					405
					
				

			

		

		

			
				
erlang打印九九乘法，不知道怎么打印，想到就是c语言里面的for 循环
下面c 的九九乘法


 #include


int main()
{
  int i; //乘数
  int j; //被乘数
  int ji; //积

 
 for(i = 1; i
    for(j = 1; j
     {
    
      ji = i * j;


			
		

	





	

		

			

				
					
erlang 的分布式笔记

				
			

			

				

					
				

				

					03-19
					
					382
					
				

			

		

		

			
				
20140319 erlang分布式编程
   
    为何需要分布式编程：
                  1：效率
                        我们把程序分成多个部分，并行地运行在不同机器上，这可以让程序 执行的更快。
                  2：可靠性
                        通过把一个系统分布运行到所若干机器上，我们

			
		

	





	

		

			

				
					
erlang 求今天是星期几

				
			

			

				

					
				

				

					09-26
					
					362
					
				

			

		

		

			
				
{Date, _} = calendar:local_time(),
    calendar:day_of_the_week(Date).

			
		

	





	

		

			

				
					
erlang 杂事

				
			

			

				

					
				

				

					10-02
					
					344
					
				

			

		

		

			
				
学erlnag

			
		

	





	

		

			

				
					

                                      Int      Switch   Leak      Total
Hierarchy                             Power    Power    Power     Power    %
--------------------------------------------------------------------------------
tongque_dig_top                       1.02e-02 5.28e-03 5.39e-07  1.55e-02 100.0
  U4_adco_compe (adco_compe_0)        6.90e-03 2.93e-03 1.98e-07  9.83e-03  63.5
  U2_regspace_top (regspace_top_0)    2.55e-03 5.75e-04 3.01e-07  3.13e-03  20.2
  U5_out_mux (out_mux_0)              3.85e-04 1.31e-04 7.73e-09  5.17e-04   3.3
  U3_main_fsm (main_fsm_0)            3.12e-05    0.000 2.05e-09  3.12e-05   0.2
  U0_rst_gen (rst_gen_0)              2.85e-05    0.000 5.34e-10  2.85e-05   0.2
  U1_spi_top (spi_top_0)                 0.000    0.000 5.90e-09  5.90e-09   0.0
以上是一个ptpx的功耗分析报告，为什么所有次二级的功耗加起来不是等于100%的？

					
最新发布

				
			

			

				

					08-16
				

			

		

		

			
				
<think>我们正在处理一个关于PrimeTime PX (ptpx) 功耗分析报告的问题。用户注意到报告中次级功耗的总和并不等于100%。这通常是由于报告中的功耗分类和计算方式导致的。下面我将逐步解释可能的原因。

### 1. **功耗分类**
   ptpx的功耗报告通常将总功耗分为几个主要类别：
   - **Internal Power** (内部功耗)：由单元内部翻转引起。
   - **Switching Power** (开关功耗)：由互连线上的电容充放电引起。
   - **Leakage Power** (静态功耗)：由晶体管漏电流引起。
   - 其他可能的分类，如**Clock Power**（时钟功耗）等。

   在报告中，这些类别可能被进一步细分为次级类别（sub-levels）。例如，内部功耗可能按不同的单元类型或层次结构进行细分。

### 2. **次级功耗总和与总功耗的关系**
   次级功耗（sub-level power）通常是指某个主要功耗类别下的细分项。例如，内部功耗可能被细分为：
   - 组合逻辑内部功耗
   - 时序单元内部功耗

   但是，**总功耗（Total Power）** 是所有这些主要类别的总和：
   $$ \text{Total Power} = \text{Internal Power} + \text{Switching Power} + \text{Leakage Power} + \cdots $$

   而次级功耗（sub-level）只是某个主要类别下的细分。因此，当我们说“次级功耗总和”时，我们指的是某个主要类别（如内部功耗）下的所有细分项的总和。这个总和应该等于该主要类别的值，而不是总功耗的100%。

### 3. **为什么次级功耗总和不等于100%？**
   用户观察到次级功耗的总和（例如，内部功耗下的所有子项）不等于100%。这可能有以下原因：

   - **次级功耗仅针对一个主要类别**：用户可能正在查看某个主要类别（如内部功耗）下的次级分类，并期望这些次级分类的总和等于整个设计的功耗的100%。但实际上，它们只应该等于该主要类别的100%。例如，内部功耗的次级分类总和应等于内部功耗的值，而不是总功耗的值。

   - **存在未归类的功耗**：有时，工具可能无法将某些功耗分配到具体的次级类别中，导致有部分功耗未被计入次级分类。这可能是由于设计中的一些特殊结构或未标注功耗的单元造成的。

   - **四舍五入误差**：报告中的数字通常经过四舍五入显示，因此多个次级功耗的显示值之和可能与主要类别的显示值有微小差异（但通常应该非常接近）。

   - **层次结构的影响**：如果设计具有层次结构，功耗报告可能按层次组织。在这种情况下，子模块的功耗总和可能不等于父模块的功耗，因为父模块本身可能还有一些顶层的功耗（如顶层互连线）未被分配到子模块中。

### 4. **如何验证**
   - 检查报告中的主要功耗类别（如Internal, Switching, Leakage）的值。
   - 然后，检查某个主要类别下的次级功耗的总和，看是否等于该主要类别的值（而不是总功耗的值）。
   - 如果次级功耗总和与主要类别值有差异（且不是四舍五入造成的），则需要检查是否有功耗未被归类。可以查看报告是否有“unattributed”或“unknown”等项。

### 5. **示例**
   假设一个报告如下：
   ```
   Total Power = 100 mW
     Internal Power = 60 mW
        Sub-level 1 = 30 mW
        Sub-level 2 = 20 mW
        Sub-level 3 = 10 mW   (这里总和=60 mW, 等于Internal Power)
     Switching Power = 30 mW
        Sub-level 1 = 15 mW
        Sub-level 2 = 15 mW   (总和=30 mW)
     Leakage Power = 10 mW
        Sub-level 1 = 10 mW
   ```

   在这个例子中，每个主要类别下的次级功耗总和都等于该主要类别的值。而总功耗是这三个主要类别的总和（60+30+10=100 mW）。

   如果用户将内部功耗的三个次级功耗相加（30+20+10=60 mW）并期望它等于总功耗的100%（即100 mW），那显然是不正确的。因为它只占总功耗的60%。

### 6. **其他可能原因**
   - **时钟网络功耗**：时钟网络功耗有时会被单独列出，或者包含在开关功耗中。如果用户没有将时钟功耗考虑在内，可能会导致困惑。
   - **多电压域**：如果设计中有多个电压域，功耗报告可能会按电压域分开报告。用户需要确保在同一个电压域内进行次级功耗的累加。
   - **功耗计算选项**：ptpx在计算功耗时，有一些选项（如`-verbose`）可以显示更详细的信息。检查这些选项是否启用，以确保报告完整。

### 结论
次级功耗的总和应该等于其所属的主要功耗类别的值，而不是总功耗的100%。用户需要明确自己正在查看的是哪个主要类别的次级分类，并检查该主要类别的值是否等于其次级分类的总和。如果存在差异，可能是由于四舍五入、未归类的功耗或报告配置问题导致。

§§相关问题§§
1. 如何配置ptpx以生成更详细的功耗报告？
2. ptpx中如何处理多电压域的功耗分析？
3. 如何减少ptpx功耗分析中的未归类功耗？
4. 如何验证ptpx功耗报告的准确性？</think>### 理解 ptpx 功耗报告中次级功耗总和不等于 100% 的原因

在 PrimeTime PX (ptpx) 功耗分析报告中，次级功耗（sub-level power）的总和与总功耗比例不一致是常见现象，主要由以下原因造成：

---

#### 1. **功耗分类层级差异**
   - **总功耗** = 动态功耗（开关 + 内部） + 静态功耗（泄漏） + 其他特殊功耗（如时钟树）[^1]。
   - **次级功耗** 仅针对特定类别（如内部功耗的子项），其总和只占**所属父类别的 100%**，而非全局总功耗的 100%。  
   **示例**：  
   $$ \text{内部功耗} = \text{子项 A} + \text{子项 B} = 100\% \\ \text{但} \frac{\text{内部功耗}}{\text{总功耗}} \neq 100\% $$

---

#### 2. **未归类的功耗（Unattributed Power）**
   ptpx 可能无法将部分功耗分配到具体模块或单元，导致：
   - 未归类的功耗单独列出，不参与次级分类的求和。
   - 常见于：
     - 顶层互连线的开关功耗
     - 未标注功耗的 IP 核
     - 功耗计算中的近似误差

---

#### 3. **功耗计算精度问题**
   - 四舍五入误差：次级功耗的小数位四舍五入后，总和可能略低于或高于 100%。
   - 工具内部计算：ptpx 可能使用不同精度的算法计算不同层级的功耗（如模块级用快速估算，单元级用精确模型）。

---

#### 4. **层次化设计的影响**
   - 若设计包含层次化模块（Hierarchical Blocks）：
     - 父模块功耗可能包含子模块功耗**之外**的额外开销（如模块间布线）。
     - 子模块功耗总和 ≠ 父模块功耗，导致比例失调。

---

#### 5. **特殊功耗项的独立统计**
   - 某些功耗项（如时钟网络功耗）可能被单独报告：
     $$ \text{总功耗} = \text{次级功耗总和} + \text{时钟功耗} + \text{未归类功耗} $$
   - 这些独立项不参与次级分类的百分比计算。

---

### 解决方案建议
1. **检查报告配置**  
   确保 `report_power` 命令启用 `-verbose` 选项，显示所有未归类功耗：
   ```tcl
   report_power -hierarchy -verbose > power.rpt
   ```

2. **验证功耗源**  
   核对是否遗漏了以下独立项：
   - `Clock Network Power`
   - `Blackbox Power`（未建模 IP）
   - `Constant Net Power`

3. **统一精度设置**  
   在功耗计算时指定精度（如 `set_power_calculation_options -decimal_places 4`），减少四舍五入误差。

4. **分层对比**  
   逐层检查父模块与子模块的功耗关系：
   ```tcl
   report_power -blocks [get_cells *]  # 遍历所有子模块
   ```

---

### 典型报告示例
| **Category**       | **Power (mW)** | **% Total** |
|---------------------|----------------|-------------|
| **Internal**        | 50             | 40%         |
|    ↳ Sub-level A    | 30             | 24%         |
|    ↳ Sub-level B    | 20             | 16%         |
| **Switching**       | 40             | 32%         |
| **Leakage**         | 15             | 12%         |
| **Clock Network**   | 10             | 8%          |
| **Unattributed**    | 5              | 4%          |
| **Total**           | 120            | 100%        |

> 📌 注意：次级功耗（A+B=40%）总和为内部功耗的 100%，但仅占总功耗的 40%，其余由其他独立项组成。

---

			
		

	



              




          




        



    





    



      

      

        
      

      





	

		评论	
	

  
	




  

    

      添加红包
      
    

    

      

        
        

          
          
        

        
请填写红包祝福语或标题

      

      

        
        

          
          个
        

        
红包个数最小为10个

      

      

        
        

          
          元
        

        
红包金额最低5元

      

      

        
        

          当前余额3.43元
          前往充值 >
        

      

      

        

          需支付：10.00元
        

        
        
      

    

  





  

    
    
  

  

    
    
  








  

    

      

        

          

            
            
成就一亿技术人!

          

          

        

        

          

          

            领取后你会自动成为博主和红包主的粉丝
            规则
          

        

      

      

        

          

            
              
            
            

              
hope_wisdom
 发出的红包
            

          

        

        

          

          

          

        

      

    

    

  



      
      

      
实付元

      
使用余额支付

      

        

          

            
            点击重新获取
          

        

        
扫码支付

      

      

        
          
            
          
          
        
      

      

        
        钱包余额
          0
          

            
            

              

                
抵扣说明：

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

              

            

          

      

      余额充值