关于SWAP指令用于实现多CPU的互斥信号量
2012-02-03 14:25
567 查看
1楼:提问
atomic load and store operation, allowing a MEMORY semaphore to be loaded and altered
without interruption.
semaphore instructions用于进程同步, 不是很理解。
记得操作系统中进程同步用信号量,底层实现用这个指令?
atomic load and store operation什么意思?
是不是每个cpu都有这种指令/
谢谢
2楼: >>参与讨论
作者: high 于 2006-6-22 13:38:00 发布:
re摘自arm_zhiling.pdf from zlg
arm是risc,对存储器访问只能使用加载和存储指令。
swp是寄存器和存储内容交换的指令,可用于信号量操作,实现系统任务之间的同步或互斥。使用例子如下:
DISP_SEM EQU 0X40002A00
DISPWAIT MOV R1,#0
LDR R0,=DISP_SEM
SWP R1,R1,[R0]
CMP R1,#0
BEQ DISP_WAIT
------------------------以上摘抄
3楼: >>参与讨论
作者: rockos 于 2006-6-23 13:07:00 发布:
re
在单个CPU工作时,这条指令意义不大,因为在单个CPU下禁止多任务访问同一个内存单元可以采用禁止CPU中断的方法实现。
ARM并没有说不支持多CPU结构,在多CPU结构中,比如SMP,禁止中断只能对单个的CPU生效,此时就需要使用这条指令访问互斥信号量了。
4楼: >>参与讨论
作者: rockos 于 2006-6-26 14:58:00 发布:
回复关于SWP指令
OS的底层实现上也不一定会使用这条指令,如上面所说,在单个CPU的情况下,因为没有其它CPU干扰,信号量操作可以采用关闭中断的方法实现。
原子操作,意思就是“不可分割的操作”,这个是OS里的一个基本概念。
ARM SWP指令要求目标寄存器中应当先有一个已知值,在执行后把目标寄存器的内容与目标地址的内容交换,这样就可以用别的指令检查那个地址的值是否处于期望的状态,通常只用于在OS中用于实现互斥信号量。比如:
MUTEX_PORT equ 0x80000000 ; 多CPU共用的旗标内存区
retry
mov r0, #1 ; 试图占用(互斥)信号量
ldr r1, =MUTEX_PORT
swp r0, r0, [r1]
cmp r0, #0 ; 0表示没有别的CPU在这个临界区执行,其它值表示有别的CPU正在这个临界区执行
bne retry
mutex_action ; 占用成功后,这一小段代码是一个临界区操作
....
done
mov r0, #0 ; 释放(互斥)信号量
ldr r1, =MUTEX_PORT
swp r0, r0, [r1]
这一小段代码是支持多处理器的OS中实现多CPU互斥操作(比如,操作就绪任务队列)的一种典型的模式算法,可以看出SWP指令还伴随着一个轮循过程(这个就是多CPU结构1+1<2的重要原因)。尽管ARM指令规定第二个参数中的初始值可以是任意的,通常使用时却只有0和1两个。这条指令不能用于多CPU环境下的同步信号量,多CPU下的同步信号量比互斥信号量还要复杂。
所有支持多处理器结构的CPU中都有类似的指令,或者有替代的实现(如x86 CPU的LOCK指令前缀)。只能单个工作的CPU不需要支持这条指令。
* - 本贴最后修改时间:2006-6-27 9:35:56 修改者:rockos
atomic load and store operation, allowing a MEMORY semaphore to be loaded and altered
without interruption.
semaphore instructions用于进程同步, 不是很理解。
记得操作系统中进程同步用信号量,底层实现用这个指令?
atomic load and store operation什么意思?
是不是每个cpu都有这种指令/
谢谢
2楼: >>参与讨论
作者: high 于 2006-6-22 13:38:00 发布:
re摘自arm_zhiling.pdf from zlg
arm是risc,对存储器访问只能使用加载和存储指令。
swp是寄存器和存储内容交换的指令,可用于信号量操作,实现系统任务之间的同步或互斥。使用例子如下:
DISP_SEM EQU 0X40002A00
DISPWAIT MOV R1,#0
LDR R0,=DISP_SEM
SWP R1,R1,[R0]
CMP R1,#0
BEQ DISP_WAIT
------------------------以上摘抄
3楼: >>参与讨论
作者: rockos 于 2006-6-23 13:07:00 发布:
re
在单个CPU工作时,这条指令意义不大,因为在单个CPU下禁止多任务访问同一个内存单元可以采用禁止CPU中断的方法实现。
ARM并没有说不支持多CPU结构,在多CPU结构中,比如SMP,禁止中断只能对单个的CPU生效,此时就需要使用这条指令访问互斥信号量了。
4楼: >>参与讨论
作者: rockos 于 2006-6-26 14:58:00 发布:
回复关于SWP指令
OS的底层实现上也不一定会使用这条指令,如上面所说,在单个CPU的情况下,因为没有其它CPU干扰,信号量操作可以采用关闭中断的方法实现。
原子操作,意思就是“不可分割的操作”,这个是OS里的一个基本概念。
ARM SWP指令要求目标寄存器中应当先有一个已知值,在执行后把目标寄存器的内容与目标地址的内容交换,这样就可以用别的指令检查那个地址的值是否处于期望的状态,通常只用于在OS中用于实现互斥信号量。比如:
MUTEX_PORT equ 0x80000000 ; 多CPU共用的旗标内存区
retry
mov r0, #1 ; 试图占用(互斥)信号量
ldr r1, =MUTEX_PORT
swp r0, r0, [r1]
cmp r0, #0 ; 0表示没有别的CPU在这个临界区执行,其它值表示有别的CPU正在这个临界区执行
bne retry
mutex_action ; 占用成功后,这一小段代码是一个临界区操作
....
done
mov r0, #0 ; 释放(互斥)信号量
ldr r1, =MUTEX_PORT
swp r0, r0, [r1]
这一小段代码是支持多处理器的OS中实现多CPU互斥操作(比如,操作就绪任务队列)的一种典型的模式算法,可以看出SWP指令还伴随着一个轮循过程(这个就是多CPU结构1+1<2的重要原因)。尽管ARM指令规定第二个参数中的初始值可以是任意的,通常使用时却只有0和1两个。这条指令不能用于多CPU环境下的同步信号量,多CPU下的同步信号量比互斥信号量还要复杂。
所有支持多处理器结构的CPU中都有类似的指令,或者有替代的实现(如x86 CPU的LOCK指令前缀)。只能单个工作的CPU不需要支持这条指令。
* - 本贴最后修改时间:2006-6-27 9:35:56 修改者:rockos
相关文章推荐
- 关于用于静态变量实现singleton的多线程互斥的一点疑问
- 用信号量实现进程互斥示例和解决哲学家就餐问题
- 使用System V信号量实现多线程互斥
- 关于硬盘突破大容量==64位CPU==32位寄存器吗?==读大容量硬盘寄存器中断寄存器也在大空间吗?==基本指令有效吗?==扩展指令有点累!
- 自己动手写CPU之第九阶段(5)——实现加载存储指令4(修改OpenMIPS顶层模块)
- linux 命名信号量实现进程间的互斥与同步
- 关于JVM中方法调用的相关指令,以及解析(Resolution)和分派(Dispatch)的解释——重载的实现原理与重写的实现原理
- 自己动手写CPU之第六阶段(3)——移动操作指令的实现
- Bakery Algorithm的c#实现用于多线程互斥访问临界资源
- taskSpawn( )函数,semBCreate()函数,二进制信号量实现互斥和同步
- 无锁编程[1]__关于CAS等原子操作,用CAS实现互斥锁
- 单指令周期CPU——移动操作指令的实现
- FreeMarker编写一个用于实现分页效果的通用指令
- 关于用信号量Semaphore实现互斥锁Mutex
- 自己动手写CPU之第七阶段(6)——乘累加指令实现思路
- ucos关于互斥信号量
- 自己动手写CPU之第七阶段(11)——除法指令实现过程2
- 关于信号量与线程互斥锁的区别与实现
- AngularJS中关于ng-class指令的几种实现方式详解
- 自己动手写CPU之第六阶段(2)——移动操作指令实现思路