[pgpool-committers: 6477] pgpool: Add health check statistics collection/display feature.

[Tatsuo Ishii]

Add health check statistics collection/display feature.

The health check process now collects statistics data such as number
of total health check performed, number of health check retry count
and health check duration and so on in the shared memory area. This
commit also adds new "show pool_health_check_stats" SQL
command. Corresponding PCP command and pgpool_adm function will be
added in subsequent commit.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=154d826b73a526042fde49618508383237f6d096

Modified Files
--------------
doc/src/sgml/ref/allfiles.sgml             |   3 +-
doc/src/sgml/reference.sgml                |   2 +-
doc/src/sgml/version.sgml                  |   2 +-
src/include/pcp/libpcp_ext.h               |  26 ++++
src/include/pool.h                         |  27 +++-
src/include/utils/pool_process_reporting.h |   5 +-
src/main/health_check.c                    | 121 ++++++++++++++-
src/main/pgpool_main.c                     |   4 +
src/protocol/pool_proto_modules.c          |  11 +-
src/utils/pool_process_reporting.c         | 231 ++++++++++++++++++++++++++++-
10 files changed, 422 insertions(+), 10 deletions(-)