• ARM指令集—SWP指令


    ARM指令集—SWP指令


    SWP和SWPB是ARM指令集中对存储单元的原子操作。即对存储单元的一次读和一次不可被切割。

    SWP和SWPB分别完毕存储器和寄存器之间 一个字(32bit)和一个字节(8bit)的数据交换。

    SWP指令主要是完毕ARM体系架构处理器的同步操作。在Linux操作系统中实现信号量的操作。可是此指令在ARMv6架构后就没有採用了,而是通过扩展的LDREX和STREX实现。本片文章主要介绍SWP的功能,对于LDREX和STREX以后再介绍。

    SWP的指令格式例如以下:

    SWP {}{B}  Rd,  Rm,  [Rn]



    当中Rd是目的寄存器,从存储器中读到的值存放于此寄存器中

    Rm寄存器是操作数。会将此寄存器中的值存放于存储单元中

    [Rn]是寄存器间接寻址,Rn保存的是某个存储单元的地址

    如果[Rn]中存放的是信号量。当某程序要改动信号量时,则会调用SWP指令完毕对信号量的操作,即对这个存储单元的读和写是一个原子操作。不会被打断,命令的运行步骤例如以下图1所看到的:

    图1

    当多个程序要訪问他们共享的资源时,我们必需要做好同步机制以保证数据的安全。通常,共享的资源能够是一段共享内存或者是外部设备。訪问这些资源的能够使CPU、进程或者是线程。

    为了完毕同步机制,会採用一个原子变量来保存资源的状态。

    比例如以下图2所看到的,用一个二元信号量(0或者1)来实现共享资源的同步,当进程A 和 进程B都要訪问信号量Semaphore。


    图2

    对于A进程。先訪问到信号量Semaphore发现状态可用,应该立即会改动Semaphore的状态。告诉其它进程此资源正在被使用。可是可能因为时间片恰好用完,系统调度到进程B。

    进程B訪问到信号量时发现状态也可用。于是改动Semaphore告诉其它进程此资源正在被使用,等到系统再次调度到进程A时,进程A却不知道进程B已改动了Semaphore而且使用了公共资源,于是接着上次未完毕的任务,開始改动Semaphore而且開始使用公共资源。因此。遇到这种情况的话,信号量形同虚设并没有起到同步的作用。

    所以假设使用SWP指令,通过上面的介绍,SWP指令时完毕对存储单元的一次读和写的原子操作。就能够避免这种情况。


    以下的汇编代码是通过SWP实现相互排斥的样例

    EXPORT lock_mutex_swp

    lock_mutex_swp PROC

    LDR r2, =locked

    SWP r1, r2, [r0]              ; Swap R2 with location [R0], [R0] value placed in R1

    CMP r1, r2                      ; Check if memory value was ‘locked’

    BEQ lock_mutex_swp       ; If so, retry immediately

    BX lr                               ; If not, lock successful, return

    ENDP

    EXPORT unlock_mutex_swp

    unlock_mutex_swp

    LDR r1, =unlocked

    STR r1, [r0]                    ; Write value ‘unlocked’ to location [R0]

    BX lr

    ENDP

    当然,除了上面的情况,还可能因为中断的产生导致读和写的操作被打断。

    在一些任务比較简单的系统中,能够在关键的代码中利用禁止中断的方式来保证对数据操作的原子性,然而对于如今复杂的多任务操作系统,禁止中断的做法显然不是有效的解决方法。

    所以SWP通过特殊的訪问方式,不须要禁止中断。可是这样也会延长中断的响应时间。随着处理器的高速发展,多核处理器已经显示出了强大的优势,同步的问题显得更加明显。如图3所看到的,一个系统由一个Cortex-A8和Cortex-M4组成。他们都会訪问一同一段存储空间。

                
    图3

    SWP指令在这样的模式下。就显得非常尴尬了,假设依旧採用原来的特殊訪问模式,可能会大大减少多核处理的性能。

    所以从ARMv6架构以后。不再使用SWP指令实现同步的功能,而是添加了LDREX和STREX指令完毕相关的操作。

    具体使用情况,会在LDREX和STREX的文章中具体说明。

  • 相关阅读:
    mongo 查询某个字段的值不为空列表!
    pdftohtml的使用
    Activiti数据库表结构(表详细版)
    ElasticSearch在linux上安装部署
    构建Spring Web应用程序—关于spring中的validate注解后台校验的解析
    构建Spring Web应用程序—SpringMVC详解
    高级装配—运行时注入
    高级装配—bean的作用域
    高级装配—条件化的Bean
    高级装配—配置profile bean
  • 原文地址:https://www.cnblogs.com/cynchanpin/p/7306482.html
Copyright © 2020-2023  润新知