当前位置:网站首页>锁定和并发控制(一)
锁定和并发控制(一)
2022-08-02 15:57:00 【用户7741497】
任何多进程系统的一个重要特征是并发控制,即防止不同进程同时更改特定数据元素的能力,从而导致损坏。 提供了一个锁管理系统。本文提供了一个概述。
此外,%Persistent
类提供了一种控制对象并发访问的方法,即 %OpenId()
的并发参数和该类的其他方法。这些方法最终使用本文讨论的 ObjectScript LOCK
命令。所有持久对象都继承这些方法。同样,系统会自动对 INSERT
、UPDATE
和 DELETE
操作执行锁定(除非指定 %NOLOCK
关键字)。
%Persistent
类还提供方法 %GetLock()
、%ReleaseLock()
、%LockId()
、%UnlockId()
、%LockExtent()
和 %UnlockExtent()
。
介绍
基本的锁定机制是 LOCK
命令。此命令的目的是延迟一个进程中的活动,直到另一个进程发出可以继续进行的信号。
锁本身并不能阻止活动行为。锁定仅按约定起作用:它要求相互竞争的进程都使用相同的锁定名称实现锁定。例如,下面描述了一个常见的场景:
- 进程
A
发出LOCK
命令, 创建一个锁(默认情况下,一个独占锁)。通常,进程A
然后对global
中的节点进行更改。详细信息是特定于应用程序的。 - 进程
B
发出具有相同锁名称的LOCK
命令。因为存在一个现有的排他锁,所以进程B
暂停。具体来说,LOCK
命令不返回,并且不能执行连续的代码行。 - 当进程
A
释放锁时,进程B
中的LOCK
命令最终返回,进程B继续。通常,进程B
然后对同一global
中的节点进行更改。
锁名称
LOCK
命令的参数之一是锁名称。锁名称是任意的,但按照通用约定,程序员使用与要锁定的项目名称相同的锁名称。通常要锁定的项目是global或global的一个节点。因此锁名称通常看起来像global名称的名称或全局节点的名称。 (本文只讨论以脱字符开头的锁名称,因为这些是最常见的;有关名称不以脱字符(^
)开头的锁的详细信息,请参阅 ObjectScript 参考中的“LOCK
”。)
形式上,锁名称遵循与局部变量和全局变量相同的命名约定,如使用 ObjectScript 中的“变量”一章所述。与变量一样,锁名称区分大小写并且可以有下标。不要使用进程私有的global名称作为锁名称(无论如何都不需要这样的锁,因为根据定义,只有一个进程可以访问这样的全局)。
提示:由于锁定按约定工作并且锁定名称是任意的,因此无需在创建具有相同名称的锁定之前定义给定变量。
由于分配和管理内存的方式,锁名称的形式会影响性能。锁定针对使用下标的锁定名称进行了优化。一个例子是 ^sample.person(id)
。
相反并未针对锁名称进行优化,例如 ^name_concatenated_identifier
。非下标锁名称也可能导致与 ECP 相关的性能问题。
锁表
维护系统范围的内存表,记录所有当前锁和拥有它们的进程。此表(锁定表)可通过管理门户访问,可以在其中查看锁定并(在极少数情况下,如果需要)删除它们。请注意,任何给定的进程都可以拥有多个具有不同锁名称的锁(甚至可以拥有多个具有相同锁名称的锁)。
当一个进程结束时,系统会自动释放该进程拥有的所有锁。因此,通常不需要通过管理门户移除锁,除非出现应用程序错误。
锁定表不能超过固定大小,可以使用 locksiz
设置指定该大小。因此,锁表可能会被填满,这样就不可能再有锁了。如果发生这种情况,会将以下消息写入 messages.log
文件:
LOCK TABLE FULL
填充锁表一般不认为是应用程序错误; IRIS 还提供了一个锁队列,进程等待直到有空间将它们的锁添加到锁表中。 (但是,死锁被认为是应用程序编程错误。请参阅本文后面的“避免死锁”。)
锁和阵列
锁定阵列时,可以锁定整个阵列或阵列中的一个或多个节点。锁定阵列节点时,会阻止其他进程锁定从属于该节点的任何节点。其他进程也被阻止锁定锁定节点的直接祖先。
隐式锁不包含在锁表中,因此不会影响锁表的大小。
锁排队算法按接收到的顺序将相同锁名的所有锁排队,即使没有直接的资源争用。
使用 LOCK 命令
本节讨论如何使用 LOCK
命令添加和删除锁。
添加增量锁
要添加锁,请使用 LOCK
命令,如下所示:
LOCK +lockname
其中 lockname
是文字锁名称。加号(+
)创建增量锁,这是常见的场景;
该命令执行以下操作:
- 尝试将给定的锁添加到锁表中。也就是说,这个条目被添加到锁队列中。
- 暂停执行,直到可以获取锁为止。
有不同类型的锁,它们的行为不同。要添加非默认锁类型的锁,请使用以下变体:
LOCK +lockname#locktype
其中 locktype
是用双引号括起来的一串锁类型代码;
注意一个给定的进程可以添加多个同名的增量锁;这些锁可以是不同的类型,也可以是相同的类型。
添加具有超时的增量锁
如果使用不当,增量锁可能会导致称为死锁的不良情况,稍后将在“避免死锁”中讨论。避免死锁的一种方法是在创建锁时指定超时时间。为此,请按如下方式使用 LOCK
命令:
LOCK +lockname#locktype :timeout
其中 timeout
是以秒为单位的超时时间。冒号前的空格是可选的。如果将超时指定为 0
, 会尝试添加锁(但请参阅下面的注释)。
该命令执行以下操作:
- 尝试将给定的锁添加到锁表中。也就是说,这个条目被添加到锁队列中。
- 暂停执行,直到可以获取锁或超时期限结束,以先到者为准。
- 设置
$TEST
特殊变量的值。如果获得锁,将$TEST
设置为1
。否则,将$TEST
设置为0
。
这意味着如果使用 timeout
参数,代码接下来应该检查 $TEST
特殊变量的值并使用该值来选择是否继续。下面显示了一个示例:
Lock +^ROUTINE(routinename):0
If '$TEST { Return $$$ERROR("Cannot lock the routine: ",routinename)}
边栏推荐
猜你喜欢
随机推荐
word公式复制到另一个word当中出现图片解决方案
JZ69 跳台阶
NC52 有效括号序列
Break the stereotype, DIY is your own unique mall
let块级作用域,var变量提升
06-线程池(3大方法、7大参数,4种拒绝策略)
RowBounds实现分页
[LeetCode]剑指 Offer 54. 二叉搜索树的第k大节点
开始使用 NVIDIA Jetson Orin 上的深度学习加速器
AI智能剪辑,仅需2秒一键提取精彩片段
ICML/ICLR'22 推荐系统论文梳理
3.NVIDIA Deepstream开发指南中文版--Deepstream 环境配置
“行泊一体”的火爆与现实困境
JZ70 矩形覆盖
品牌方发行NFT时,应如何考量实用性?
A tour of gRPC: 06 - gRPC client straming
坚持自主创新 线控底盘领军企业英创汇智获数亿元B+轮融资
想要白嫖正则是吧?这一次给你个够!
AI+BI+可视化,Sugar BI架构深度剖析
JZ15 二进制中1的个数