任何多进程系统的一个重要特征是并发控制,即防止不同进程同时更改特定数据元素的能力,从而导致损坏。 提供了一个锁管理系统。本文提供了一个概述。
此外,%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 +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)}
本文系转载,前往查看
如有侵权,请联系 cloudcommunity@tencent.com 删除。
本文系转载,前往查看
如有侵权,请联系 cloudcommunity@tencent.com 删除。