Brevet FR2637998A1 — publié le 19900420

SYSTEME DE TRAITEMENT DU VERROUILLAGE La présente invention se rapporte à un système de traitement de verrouillage connectant des appareils de commande de système dont chacun est connecté à une pluralité de processeurs. Pour donner un exemple de système de traitement de verrouillage par l'art antérieur, on peut se référer au brevet U.S. No. 4 308 580. Dans ce système, les données relatives au verrouillage sont tenues dans une unité de mémoire principale (MMU) 3 connectée à des multiprocesseurs 1 et 2. Les données sont lues dans la mémoire MMU 3 en réponse à une demande de verrouillage ou à une demande de déverrouillage. Les données relatives au verrouillage sont mémorisées dans la mémoire MMU 3 après un jugement concernant le verrouillage ou après fusion des données relatives au verrouillage, de sorte que le système rendu non opérationnel peut être dévrerrouillé. Toutefois, ce système peut interdire l'accès en mémoire depuis un autre processeur dans une situation de concurrence entre mémoires puisqu'il nécessite un accès à la mémoire MMU 3 en réponse au traitement du jugement concernant le verrouillage ou au déverrouillage. En outre, du fait que l'accès en mémoire MMU 3 prend du temps, il s'écoule un temps comparativement long entre la génération de la demande de verrouillage et l'achèvement du jugement concernant le verrouillage. Ce système présente en outre l'inconvénient de ne pas pouvoir rendre des jugements consécutifs concernant le verrouillage. Un but de la présente invention est de proposer un système de traitement du verrouillage qui soit exempt des inconvénients ci-dessus et qui permette de réduire la quantité de matériel informatique nécessaire pour transférer les données pour le traitement du verrouillage. Un autre but de l'invention est de proposer un système de traitement du verrouillage qui soit exempt des inconvénients ci-dessus et qui soit capable de vérifier rapidement l'état d'ensemble du verrouillage avec une commande simplifiée. Un autre but encore de l'invention est de proposer un système de traitement du verrouillage qui soit exempt des inconvénients ci-dessus et qui soit capable d'effectuer un traitement du verrouillage toujours actualisé et consécutif. Un système conforme à un aspect de l'invention est un système de traitement du verrouillage connectant une pluralité d'appareils de commande de système dont chacun est connecté à une pluralité de processeurs et comporte une fonction de verrouillage sous sa commande exclusive, comportant: des premiers moyens de mémorisation de l'information relative au verrouillage pour mémoriser l'information, relative au verrouillage, en provenance d'un processeur connecté à l'appareil de commande du système propre; des moyens de transfert pour transférer mutuellement, entre l'appareil de commande du système propre et l'appareil de commande d'un autre système qui lui est connecté, l'information, relative au verrouillage, en provenance de processeurs connectés à l'appareil de commande de chaque système;; des seconds moyens de mémorisation de l'information relative au verrouillage pour mémoriser l'information relative au verrouillage en provenance d'un processeur connecté à l'appareil de commande de l'autre système par l'intermédiaire des moyens de transfert; des moyens pour juger l'état de verrouillage du système propre pour juger, sur la base de l'information relative au verrouillage en provenance des premiers moyens de mémorisation de l'information relative au verrouillage, si le verrouillage du système propre a été satisfaisant ou non; et des moyens de juger l'état de verrouillage de l'autre système pour juger, sur la base de l'information relative au verrouillage en provenance desdits seconds moyens de mémorisation de l'information relative au verrouillage, si le verrouillage de l'autre système a été ou non satisfaisant. La conception, les caractéristiques et les avantages de la présente invention apparaitront mieux à partir de la description détaillée qui suit prise en liaison avec les dessins joints sur lesquels: - la figure 1 représente un système applicable à l'invention; - la figure 2 représente la disposition de la partie essentielle d'une réalisation préférée de l'invention; - la figure 3 représente la disposition du circuit 108 de jugement concernant le verrouillage du système propre, représenté sur la figure 2; - la figure 4 représente la disposition ' du registre 106 d'octet de verrouillage, représenté sur la figure 2; - la figure 5 représente la disposition du circuit 105 de préparation des données relatives au verrouillage de l'autre système et le registre 107 des données relatives au verrouillage de l'autre système, représentés sur la figure 2;; - la figure 6 représente la disposition du circuit 109 de jugement concernant le verrouillage de l'autre système, représenté sur la figure 2; et - la figure 7 représente la disposition du circuit 104 de jugement concernant une situation de concurrence, représenté sur la figure 2. Sur les figures, les mêmes repères désignent respectivement les mêmes éléments constituants. En se reportant à la figure 1, un système de traitement du verrouillage applicable à la ésente invention comporte des processeurs arithmétiques 23 et 24 et des unités d'entrée/sortie 25 et 26 pour générer des demandes de verrouillage; un processeur de diagnostic 27, une unité de mémoire principale (MMU) 28; une unité de commande du système 10, connectée à ces unités 23-28 pour recevoir des demandes de verrouillage en provenance des unités 23-26; des processeurs arithmétiques 33 et 34 et des unités d'entrée/sortie pour générer des demandes de verrouillage; un processeur de diagnostic 37, une unité de mémoire principale NMU 38, et une unité de commande du système 11, connectée aux unités 3338 et à l'unité 10 de commande du système pour recevoir des demandes de verrouillage en provenance des unités 33-36. Dans ce système, les unités 10 et 11 de commande de système transfèrent entre elles des demandes de verrouillage en provenance des unités 23-26 et 33636, respectivement, pour rendre un jugement, concernant le verrouillage, pour chaque unité et pour tenir l'information de verrouillage. En se reportant aux figures l et 2 ensemble, les unités 10 et 11 de commande de système, qui constituent la partie essentielle d'une réalisation préférée de la présente invention, sont connectées l'une à l'autre. On va les décrire ci-dessous en supposant que l'unité 10 de commande de système soit l'unité correspondant au système propre et que l'unité 11 de commande de système soit celle de l'autre système. En se reportant maintenant à la figure 2 seule, l'unité de commande de système comporte un registre 101 des données relatives au verrouillage pour mémoriser les données relatives au verrouillage; un registre 102 du signal indiquant le verrouillage pour mémoriser un signal indiquant le verrouillage pour le système propre; un registre 103 du signal indiquant le verrouillage de l'autre système pour mémoriser un signal, indiquant le verrouillage, en provenance de l'unité 11 de commande de l'autre système; un circuit 104 de jugement concernant une situation de concurrence pour, lorsque des demandes de verrouillage sont simultanément émises par l'un et l'autre système, rendre un jugement concernant la situation de concurrence en verrouillage entre les demandes de verrouillage ou concernant une situation de concurrence en déverrouillage entre une demande de verrouillage et une demande de déverrouillage en accord avec les signaux d'indication provenant des registres 102 et 103, et pour générer un signal de situation de concurrence en verrouillage ou un signal de situation de concurrence en déverrouillage; un circuit 105 de préparation des données relatives au verrouillage de l'autre système pour générer des données relatives au verrouillage pour l'autre système lors d'un verrouillage ou d'un déverrouillage satisfaisant; un registre 106 d'octet de verrouillage sensible à un signal de verrouillage satisfaisant de l'autre système, en provenance d'une ligne 1080 ou à une demande de déverrouillage du système propre en provenance de 1 unité 10 par l'intermédiaire d'une ligne 101 pour mémoriser l'octet de verrouillage correspondant, en dehors des données de verrouillage provenant du registre 101, avec une valeur indiquée par le signal, indiquant les données relatives au verrouillage de l'autre système, en provenance du registre 102; un registre 107 des données relatives au verrouillage de l'autre système, sensible à un signal de verrouillage satisfaisant de l'autre système en provenance d'une ligne 1090 ou à un signal indiquant le verrouillage de l'autre système en provenance de l'unité 11 par l'intermédiaire d'une ligne 111 pour mémoriser les données provenant de l'autre circuit 105 de préparation des données relatives au verrouillage; un circuit 108 de jugement concernant le verrouillage du système propre pour juger si le système propre a été ou non verrouillé de façon satisfaisante, sur la base de l'octet de verrouillage en provenance du registre 106 d'octet de verrouillage, du signal indiquant le signal du système propre en provenance du circuit 102 d'indication du verrouillage, du signal de situation de concurrence en verrouillage et du signal de situation de concurrence en déverrouillage en provenance du circuit 104 de jugement concernant la situation de concurrence, et du signal de demande de verrouillage du système propre en provenance de l'unité 10 par l'intermédiaire d'une ligne 100, et ce circ.uit 108 étant sensible au verrouillage satisfaisant du système propre pour générer sur la ligne 1080 un signal de verrouillage satisfaisant du système propre; et comporte aussi un circuit 109 de jugement concernant le verrouillage de l'autre système pour juger si l'autre système a été ou non verrouillé de façon satisfaisante, sur la base de l'octet de verrouillage provenant du registre 106 d'octet de verrouillage, des données relatives au verrouillage de l'autre système en provenance du registre 107 de données relatives au verrouillage de l'autre système, du signal indiquant le verrouillage de l'autre système et provenant du circuit 103 d'indication de verrouillage de l'autre système, du signal de situation de concurrence en verrouillage et du signal de situation de concurrence en déverrouillage provenant du circuit 104 de jugement concernant une situation de verrouillage, et du signal de demande de verrouillage de l'autre système en provenance de l'unité ll par l'intermédiaire d'une ligne 110, et ce circuit 109 étant sensible au verrouillage satisfaisant de l'autre système pour générer sur la ligne 1090 un signal de verrouillage satisfaisant de l'autre système. On va maintenant décrire en détail le fonction -nement de la réalisation préférée de la présente invention en se référant aux dessins. En se référant aux figures 1 et 2, lorsqu'une demande, ou des demandes, de verrouillage en provenance d'au moins l'un des processeurs 23 à 26 parviennent à l'unité 10 de commande du système propre, le circuit 108 de jugement concernant le verrouillage du système propre juge si le système propre a été ou non verrouillé de façon satisfaisante, sur la base de l'octet de verrouillage en provenance du registre 106 d'octet de verrouillage par l'inter médiaire d'une ligne 60, du signal indiquant le verrouillage du système propre, en provenance du circuit 102 d'indication de verrouillage par l'intermédiaire d'une ligne 1020, du signal de situation de concurrence en verrouillage et du signal de situation de concurrence en déverrouillage en provenance du circuit 104 de jugement concernant une situation de concurrence par l'intermédiaire des lignes 1040 et 1041, respectivement, des données relatives au verrouillage de l'autre système en provenance du registre 107 par l'intermédiaire d'une ligne 1070, et du signal de demande de verrouillage du système propre en provenance de l'unité 10 par l'intermédiaire de la ligne 100. On va maintenant décrire en détail cette action en jugement en se référant aux figures 2 et 3. En se référant à la figure 3, le circuit 108 de jugement concernant le verrouillage du système propre juge si le sytème propre a été ou non verrouillé de façon satisfaisante. Un verrouillage satisfaisant signifie que l'octet indiqué par le signal d'indication de verrouillage n'a pas la valeur indiquant le verrouillage au moment où le verrouillage est demandé, c' est-à-dire que l'octet de verrouillage indiqué a la valeur "G". Par conséquent, le produit logique du signal d'indication de verrouillage fourni par' l'intermédiaire de la ligne 1020 et de l'octet de verrouillage fourni par l'intermédiaire de la ligne 1060 est fourni perungroupe de portes ET 10810 10 & n. De même, le produit logique des données relatives au verrouillage de l'autre système, fournies par le registre 107 de données relatives au verrouillage de l'autre système par l'intermédiaire de la ligne 1070 et du signal d'indication du verrouillage fournie par l'intermédiaire de la ligne 1020 est fourni par un autre groupe de portes ET 1820-1.082n. Puis la non-disjonction du signal ET provenant du groupe de portes ET 10810-1081n et de celui provenant du groupe de portes ET 10820-1082n est fournie par une porte NON OU 1085. Si un signal logique "1" 1' Par conséquent, si le signal de sortie de la bascule F/F 1083 est un "1" logique, la priorité est donnée à l'autre système et si c'est un "0" logique, c'est le système propre qui a la priorité. La non-conjonction du signal de situation de concurrence en verrouillage fourni par le circuit 104 de jugement concernant une situation de concurrence, par l'intermédiaire de la ligne 1040, et du signal de sortie de la bascule F/F 1083 donnant la priorité en cas de concurrence est fournie par la porte NON ET 1084. Cette porte NON ET interdit un verrouillage satisfaisant. Si aucune de ces interdictions n'est faite par une porte ET 1087, un signal de verrouillage satisfaisant du système propre sera généré sur la ligne 1080. En réponse à ce système de verrouillage satisfaisant du système propre, le registre 106 d'octet de verrouillage mémorise, parmi les données relatives au verrouillage et provenant du registre 101 par l'intermédiaire d'une ligne 1010, l'octet de verrouillage correspondant avec une valeur indiquée par le signal indiquant le verrouillage du système propre, fournie par le registre 102 par l'intermédiaire de la ligne 1020. En se reportant maintenant aux figures 2 et 4, la somme logique du signal de verrouillage satisfaisant du système propre, fourni par le circuit 108 de jugement concernant le verrouillage du système propre, par l'intermédiaire de la ligne 1080, et du signal de demande de déverrouillage du système propre fourni par l'intermédiaire de la ligne 101, est fournie par une porte OU 1061. Le produit logique de ce signal OU et du signal indiquant le verrouillage et fourni par l'intermédiaire de la ligne 1020 est fourni par un groupe de portes ET 10620-1062,. Avec cette conjonction logique comme signal validé, les octets de verrouillage fournis par l'intermédiaire de la ligne 1010 sont validés dans les registres 10630-1063n de la bascule F/F. Les unités 23-2-6 représentées sur la figure 1, qui sont les sources de demande, fournissent à l'origine des données de verrouillage de valeur logique "O".Par conséquent, le registre 106 d'octet de verrouillage mémorise des octets de verrouillagè de valeur logique "O" en réponse à une demande de déverrouillage. En se reportant aux figures 1 et 2, les demandes en provenance des processeurs 33-36 connectés à l'unité 11 de commande de l'autre système sont traitées par l'autre système. Toutefois, pour que le système propre puisse faire écho à ces demandes, le signal indiquant le verrouillage, provenant du registre 112 d'indication de verrouillage de l'unité 11 de commande de l'autre système, est transmis à l'unité 10. Ce signal indiquant le verrouillage est mémorisé dans le registre 103 d'indication de verrouillage de l'autre système. Puis les données relatives au verrouillage de l'autre système sont préparées par le circuit 105 de préparation des données relatives au verrouillage de l'autre système, au moment du verrouillage satisfaisant, et au moment du déverrouillage, et les données relatives au verrouillage de l'autre système ainsi préparées sont mémorisées dans le registre 107 des données relatives au verrouillage de l'autre système. On va décrire ci-dessous en détail cette opération en se référant aux figures 2 et 5. En se référant aux figures 2 et 5, la non-conjonction du signal, ou des signaux, de demande de verrouillage en provenance de l'autre système (d'au moins l'un des processeurs 33-36 de la figure 1) par l'intermédiaire de la ligne 111 et du signal indiquant le verrouillage de l'autre système, en provenance du circuit 103 indiquant le verrouillage de l'autre système, par l'intermédiaire d'une ligne 1030, est fournie par un groupe de portes NON ET 10510-1051n.De même la somme logique des données, relatives au verrouillage de l'autre système, en provenance du registre 107 de don-nées relatives au verrouillage de l'autre système, par l'intermédiaire de la ligne 1070, et du signal indiquant le verrouillage de l'autre système en provenance du registre 103 indiquant le verrouillage de l'autre système, par l'intermédiaire de la ligne 1030, est fournie par un groupe de portes OU 10520-1052n. Puis, le produit logique du signal de sortie du groupe de portes OU 10520-1052n et de celui du groupe de portes NON ET 10510-1051n est fourni par un groupe de portes ET 10530-1053n. Par conséquent, si un verrouillage est demandé, la somme logique des données relatives au verrouillage de l'autre système et du signal indiquant le verrouillage de l'autre système sera fournie par le groupe de portes OU 10520-1052n, tandis que, si un déverrouillage est demandé, la valeur indiquée par le signal indiquant le verrouillage de l'autre système deviendra "O", et dans tous les autres cas une fusion se produira de sorte que les données relatives au verrouillage de l'autre système seront émise sous la forme qu'elles ont. Les données relatives au verrouillage de l'autre système ainsi générées sont mémorisées dans le registre 107 de données relatives au verrouillage de l'autre système. Par conséquent, le signal validé est la conjonction logique OU, fournie par une porte OU 1071, d'un signal de demande de déverrouillage fourni par l'autre système par l'intermédiaire de la ligne 111 et d'un signal de verrouillage satisfaisant de l'autre système fourni par le circuit 109 de jugement concernant le verrouillage de l'autre système, par l'intermédiaire de la ligne 1090. Ce signal de verrouillage satifaisant de l'autre système est préparé de la façon suivante. En se référant aux figures 2 et 6, le produit logique des données relatives au verrouillage de l'autre système et fournies par le registre 107 de données relatives au verrouillage de l'autre système, par l'intermédiaire de la ligne 1070, et du signal indiquant le verrouillage de l'autre système et fourni par le registre 103 d'indication de l'autre système, par l'intermédiaire de la ligne 1030, est fourni par un groupe de portes ET 10910-lQ9ln. De même, le produit logique du signal indiquant le verrouillage de cet autre système et de l'octet de verrouillage provenant du registre 106 d'octet de verrouillage, par l'intermédiaire de la ligne 1060, est fourni par un autre groupe de portes ET 10920-1092n. Puis, la non-disjonction des signaux de sortie de ces groupes de portes ET 10910-1091, et 10920-1092n est fournie par une porte NON OU 1093. Par conséquent, les produits logiques du signal indiquant le verrouillage de l'autre système et des bits des données et de l'octet de verrouillage de l'autre système sont fournis et, en cas de non coincidence, le signal de sortie de la porte NON OU 1093 sera "1" pour donner un signal indiquant un verrouillage satisfaisant. Par contre, si un signal de situation de concurrence en déverrouillage est fourni par -le circuit 105 de jugement conernant une situation de concurrence, par l'intermédiaire de la ligne 1041, le signal de verrouillage satisfaisant est bloqué par une porte ET 1097 par l'intermédiaire d'une ligne 1094. Une bascule F/F 1095 donnant la priorité en cas 'de concurrence assure la même fonction que la bascule F/F 1083 du circuit 108 de jugement concernant le verrouillage du système propre. Par conséquent, les deux bascules F./F 1095 et 1083 peuvent être la même. La non-conjonction du signal de situation de concurrence en verrouillage fourni par le circuit 104 de jugement concernant une situation de concurrence, par l'intermédiaire de la ligne 1040, et du signal de sortie de la bascule F/F 1095 est fournie par une porte NON OU 1096. Cette porte NON OU bloque un signal indiquant un verrouillage satisfaisant. A moins que' ces blocages ne soient rendus effectifs -par la porte ET 1097, un signal de verrouillage satisfaisant du système propre sera généré sur la ligne 1090. On va maintenant décrire en détail la façon dont sont préparés le signal de situation de concurrence en verrouillage fourni au circuit 108 de jugement concernant le verrouillage du système propre et au circuit 109 de jugement concernant le verrouillage de l'autre système, par l'intermédiaire de la ligne 1040, ainsi que les signaux de situation de concurrence en déverrouillage fournis par l'intermédiaire de la ligne 1041. En se reportant aux figures 2 et 7, le produit logique du signal indiquant le verrouillage et fourni par le registre 102 d'indication de verrouillage, par l'intermédiaire de la ligne 1020, et du signal indiquant le verrouillage de l'autre système et fourni par le registre 103 indiquant le verrouillage de l'autre système, par l'intermédiaire de la ligne 1030, est fourni par un groupe de portes ET 104101041n. Les sommes logiques des conjonctions logiques qui en résultent sont fournies par une porte OU 1042. Par conséquent, si les demandes de verrouillage proviennent simultanément du système propre et d'un autre système, ou bien si une demande de verrouil#lage et une demande de déverrouillage se présentent en même temps, et si même une indication de verrouillage relative au système propre et une indication relative à l'autre système se recouvrent en valeur de bits, il se produira une situation de concurrence. Ce circuit 104 de jugement concernant une situation de concurrence reçoit les produits logiques, bit à bit, du signal indiquant le verrouillage du système propre et du signal indiquant le verrouillage de l'autre système et, s'il y- a coincidence dans au moins une paire correspondante de bits, le signal de sortie de ladite porte OU 0142 sera "1" pour indiquer la survenance d'une situation de concurrence. Le produit logique de la demande de verrouillage du système propre par l'intermédiaire de la ligne 100 et de la demande de verrouillage de l'autre sytème fournie par l'intermédiaire de la ligne 110, est fourni par une porte ET 1043. Ensuite, le produit logique de la conjonction provenant de la porte ET 1043 et du signal de sortie de la porte OU 1042 est fourni par une porte ET 10444. Le signal de situation de concurrence en verrouillage fourni par cette porte ET par l'intermédiaire de la ligne 1040 indique qu'une situation de concurrence en verrouillage est survenue du fait de la concurrence entre la demande de verrouillage du système propre et la demande de verrouillage de l'autre système. Il y a un autre type de situation de concurrence qui est une situation de concurrence en déverrouillage entre une demande de verrouillage et une demande de déverrouillage. Par conséquent, le produit logique du signal de verrouillage de l'autre système fourni par l'intermédiaire de la - ligne 110 et du signal de déverrouillage du système propre fourni par l'intermédiaire de la ligne 101 est fourni par une porte ET 1045. De même, le produit logique du signal de verrouillage du système propre fourni par l'intermédiaire de la ligne 100 et le signal de déverrouillage de l'autre système fourni par l'intermédiaire de la ligne 111 est fourni par une porte ET 1046. La somme logique des signaux de sortie des portes ET 1045 et 1046 est fournie par une porte OU 1047.Puis, le produit logique des signaux de sortie des portes OU 1047 et 1042 est fourni par une porte ET 1048. Un signal de situation de concurrence en verrouillage généré par la porte ET 1048 sur la ligne 1041 indique une situation de concurrence en déverrouillage résultant d'une situation de. concurrence soit entre une demande de verrouillage de l'autre système et une demande de déverrouillage du système propre, soit entre une demande de verrouillage du système propre et une demande de déverrouillage de l'autre système. En l'absence de situation de concurrence, le jugement concernant le verrouillage est rendu à la fois pour le système propre et pour l'autre système. L'une des caractéristiques de la présente invention est la condition nécessaire selon laquelle chacune des unités 10 et 11 de commande de système retient les demandes de verrouillage provenant des processeurs connectés au système propre et, en même temps, les demandes de verrouillage provenant des processeurs d'un autre système, par l'intermédiaire des unités 10 et 11 de commande de l'autre système. Une autre caractéristique de l'invention est l'existence de moyens de jugement 108 et 109 sensibles aux demandes de verrouillage ainsi retenues pour juger que les bits indiqués par les indications de verrouillage n'ont pas la valeur indiquant le verrouillage. Ces caractéristiques permettent de se passer d'une grande partie de l'information qu'il faudrait autrement transférer aux fins de verrouillage entre les unités de commande de système et permettent donc de se passer d'une grande partie du matériel informatique qui serait autrement nécessaire aux fins de transfert. La présente invention sert en outre à simplifier la commande du fait que l'on peut vérifier l'état de verrouillage de l'ensemble du système en examinant le contenu de seulement une unité de commande de système. Du fait qu'il n'y a pas de délai de transfert, l'information, relative au verrouillage, qui y est retenue est toujours actualisée et autorise des verrouillages consécutifs. R E V E N D I C A T I O N système de traitement du verrouillage connectant une pluralité d'appareils de commande de système dont chacun est connecté à une pluralité de processeurs et comporte une fonction de verrouillage sous sa commande exclusive, comportant: des premiers moyens (102) de mémorisation de l'information relative au verrouillage pour mémoriser l'information, relative au verrouillage, en provenance d'un processeur connecté à l'appareil de commande du système propre; des moyens (106, 107) de transfert pour transférer mutuellement, entre l'appareil de commande du système propre -et l'appareil de commande d'un autre système qui lui est connecté, l'information, relative au verrouillage, en provenance de processeurs connectés à l'appareil de commande de chaque système; ; des seconds moyens (103) de mémorisation de l'information relative au verrouillage pour mémoriser l'information relative au verrouillage en provenance d'un processeur connecté audit appareil de commande de l'autre système par l'intermédiaire desdits moyens de transfert; des moyens (108) de juger l'état de verrouillage du système propre pour juger, sur la base de l'information relative au verrouillage en provenance desdits premiers moyens de mémorisation de l'information relative au verrouillage, si le verrouillage du système propre a été satisfaisant ou non; et des moyens (109) de juger l'état de verrouillage de l'autre système pour juger, sur la base de l'information relative au verrouillage en provenance desdits seconds moyens de mémorisation de l'information relative au verrouillage, si le verrouillage de l'autre système a été ou non satisfaisant.