

-------------------------------------------------------------------------------------------------------------
Things That Are Being Validated: (PARTIAL LIST!!!!)
	
	+-----------------------+---------------------------------------+-----------------------+
	| CHECK			| DESCRIPTION				| Functions Applied	|
	+-----------------------+---------------------------------------+-----------------------+
	| Call Consistency 	| Ensures that all processes in the 	| All Functions.	|
	|			| communicator have made the same	| (see notes 2 & 3)	| 
	|			| call in a given event.		|			|
	+-----------------------+---------------------------------------+-----------------------+
	| Root Consistency	| Ensures that all processes in the 	| Gather, Gatherv, 	|
	|			| communicator have given the same root.| Scatter, Scatterv,	|
	|			|					| Reduce.		|
	+-----------------------+---------------------------------------+-----------------------+
	| MPI_IN_PLACE 		| Ensures that all processes have either| Allgather, Allgatherv |
	| Consistency		| given or not given the MPI_IN_PLACE 	| Allreduce, 		|
	|			| argument for a buffer.		| Reduce_scatter.	|
	+-----------------------+---------------------------------------+-----------------------+
	| Operator Consistency	| Ensuers that all processes in the 	| Reduce, Allreduce,    |
	|			| communicator have given the same	| Reduce_scatter,	|
	|			| operator.				| Scan, Exscan.		|
	+-----------------------+---------------------------------------+-----------------------+
	| Datatype Signature	| Ensures that all processes in the 	| All Tier 1 Functions.	|
	| Consistency		| communicator have supplied the same	| (see note 2)		|
	| 			| data type (see note 1).		| 			|
	+-----------------------+---------------------------------------+-----------------------+
	| High/Low Consistency	| High Parameter Consistency		| Intercomm_merge	|
	| 			| 					| 			|
	| 			| 					| 			|
	+-----------------------+---------------------------------------+-----------------------+
	| Local Leader 		| Local Leader Parameter Consistency	| Intercomm_create	|
	| Consistency		| 					| 			|
	| 			| 					| 			|
	+-----------------------+---------------------------------------+-----------------------+
	| Tag Consistency	| Tag Parameter Consistency		| Intercomm_create	|
	| 			| 					| 			|
	| 			| 					| 			|
	+-----------------------+---------------------------------------+-----------------------+
	| Dims Consistency	| dims and ndims consistancy		| Cart_create, Cart_map	|
	| 			| 					| 			|
	| 			| 					| 			|
	+-----------------------+---------------------------------------+-----------------------+
	| Graph Consistency	| parameters refering to the graph	| Graph_create,		|
	| 			| 					| Graph_map		|
	| 			| 					| 			|
	+-----------------------+---------------------------------------+-----------------------+

-------------------------------------------------------------------------------------------------------------
Notes: 
		note 1: Using a Datatype Hashing Function as described in [1].
		note 2: Tier 1 Functions:
				Barrier, Bcast, Gather, Gatherv, Scatter, Scatterv, Allgather,
				Allgatherv, Alltoall, Alltoallv, Alltoallw, Reduce, Allreduce,
				Reduce_scatter, Scan, Exscan.
		note 3: Other Functions Being Checked:
				Comm_dup, Comm_create, Comm_split, Intercomm_merge, 
				Intercomm_create, Cart_create, Cart_map, Graph_create, Graph_map, 
				Comm_spawn{_multiple}, Comm_accept, Comm_connect, Comm_disconnect,
				Win_create, Win_fence, File_open, File_set_view, File_set_size,
				File_preallocate, File_set_automicity,  File_{write|read}_shared,
				File_{write|read}_ordered, File_{write|read}_odered_begin,
				File_{write|read}_ordered_begin, File_{write|read}{_at}_all,
				File_{write|read}{_at}_all_begin, File_{write|read}{_at}_all_end.

-------------------------------------------------------------------------------------------------------------
Things That Are Not Being Validated
(need implementation specific help):

	+-----------------------+---------------------------------------+-----------------------+
	| CHECK			| DESCRIPTION				| Functions Afflicted	|
	+-----------------------+---------------------------------------+-----------------------+
	| Group Consistency	| This cannot be checked becuase there	| Comm_create		|
	| 			| is no way to send group data in MPI.	|			|
	| 			| 					|			|
	+-----------------------+---------------------------------------+-----------------------+

	These functions require implementation specific details and are not included in the 
	library due to portability issues.  Mainly for reference.

-------------------------------------------------------------------------------------------------------------
Sources:
	[1] - William Gropp, (2000) "Runtime Checking of Datatype Signatures in MPI." "In Recent 
		Advances in Parallel Virtual Machine and Message Passing Interface. 7th European 
		PVM/MPI Users' Group Meeting", volume 1908 of "Lecture Notes in Computer Science", 
		pp 160-167.
