LOCKRET
instrucción: Regresa el seguro al grupo de seguros, dejándolo disponible para futuras
LOCKNEW
requisiciones
.
((PUB
PRI))
LOCKRET
( ID )
ID
es el ID (0 – 7) del seguro a regresar al grupo de seguros.
Explicación
LOCKRET
es uno de las cuatro instrucciones (
para administrar recursos que se definen por usuario y que se consideran mutuamente
LOCKRET
exclusivos.
regresa un seguro por ID, de vuelta al grupo de seguros del hub así
puede reusarse por otros cogs en otro momento. Por ejemplo:
LOCKRET(2)
Este ejemplo regresa el seguro 2 de vuelta al hub. Esto no previene que el cog accese el
seguro 2 posteriormente, solo permite al hub reasignarlo a los cogs que lo llamen en un futuro
LOCKNEW
con
. Las aplicaciones deben escribirse de tal forma que los seguros no se accesen con
LOCKSET
LOCKCLR
o
a menos que estén activos actualmente.
Ver Acerca de los Seguros, Pág. 126, y Reglas Sugeridas para Seguros, Pág. 127 para
información del uso típico de seguros y de instrucciones
Note que los recursos definidos por el usuario no son actualmente asegurados por el hub o el
seguro activado. La característica del seguro solo proporciona un significado para objetos que
cooperativamente aseguran esos recursos. Depende de los objetos en si decidir y tolerar por
las reglas de los seguros usar y que recursos serán gobernados por ellos. Adicionalmente el
hub no asigna directamente un seguro al cog que llamo
marca como que ha sido activado por un cog; cualquier otro cog puede regresar el seguro al
grupo de seguros disponibles. también cualquier cog puede accesar cualquier seguro a través
LOCKCLR
de los comandos
hacer tales cosas no es recomendado generalmente porque puede causar confusión con otros
objetos bien hechos en la aplicación.
LOCKNEW
Ver
, Pág. 126;
2: Spin Language Reference –
LOCKNEW
LOCKSET
y
aun si esos seguros nunca fueron activados. generalmente
LOCKCLR
LOCKSET
, Pág. 124; y
LOCKRET
LOCKSET
,
,
, y
LOCK
xxx.
LOCKNEW
, de alguna manera solo lo
, Pág. 130 para mas información.
LOCKRET
LOCKCLR
) usados