[jboss-jira] [JBoss JIRA] Commented: (JGRP-1025) Harden FLUSH

[ https://jira.jboss.org/jira/browse/JGRP-1025?page=com.atlassian.jira.plug... ] Bela Ban commented on JGRP-1025: -------------------------------- [applies to merging as well) - The flush should always be started by the coordinator, or at least by someone in the cluster, but never by a client (as in the state transfer) - A flush should carry a flush-id, which includes the address of the flush leader and an ID - A flush of an already flushed node with the same flush-id succeeds and is a no-op - A flush of a locked node with a different flush-id is rejected - Only the flush leader which started the flush can release the locks - On view changes, we unlock all the flushes which have a flush-id of a crashed member - Second line of defense: start a background task which periodically checks if all locked nodes's flush-ids are still alive members -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira