fd_hbs: change monitoring processes to use pdb and ref counting

previously, a list of monitor references was used and multiple monitors may have been started

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6779 71766da9-9752-0410-ab17-bfafa751c56a
tests: adapt churn_SUITE and tx_tm_rtm_SUITE to r6777

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6780 71766da9-9752-0410-ab17-bfafa751c56a
fd: fix report_crash not being reported to remote nodes

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6781 71766da9-9752-0410-ab17-bfafa751c56a
RM: do not issue rrepair requests for graceful leave or jump operations

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6782 71766da9-9752-0410-ab17-bfafa751c56a
fd: only send one report_crashed message to a hbs process for each report_crash message

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6783 71766da9-9752-0410-ab17-bfafa751c56a
comm:send_local/2: also check local pid if trace_mpath is active

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6784 71766da9-9752-0410-ab17-bfafa751c56a
RM: reduce node id change overhead

instead of exchanging the whole buffers, only send the own node structure with the new ID to the pred and succ

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6785 71766da9-9752-0410-ab17-bfafa751c56a
rm_tman: do not interpret changing pred or succ ids as churn

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6786 71766da9-9752-0410-ab17-bfafa751c56a
slide: when re-creating a slide, do not (uselessly) update the fd subscription

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6787 71766da9-9752-0410-ab17-bfafa751c56a
type_check_SUITE: add a value creator for the hfs_lhsp:hfs/0 type

A hash function set with an arbitrary number of hash functions may be too large, e.g. if the tester decides for a very big pos_integer() number!

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6788 71766da9-9752-0410-ab17-bfafa751c56a
gossip_load: Add capability to temporarily skip nodes

Add capability to temporarily skip nodes (i.e. ignore them for one round) when
their values are temporarily unknown, e.g. due to load balancing

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6789 71766da9-9752-0410-ab17-bfafa751c56a