Thread: pgsql: Remove redundant PGPROC.lockGroupLeaderIdentifier field.

pgsql: Remove redundant PGPROC.lockGroupLeaderIdentifier field.

From
Tom Lane
Date:
Remove redundant PGPROC.lockGroupLeaderIdentifier field.

We don't really need this field, because it's either zero or redundant with
PGPROC.pid.  The use of zero to mark "not a group leader" is not necessary
since we can just as well test whether lockGroupLeader is NULL.  This does
not save very much, either as to code or data, but the simplification seems
worthwhile anyway.

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/73bf8715aa7430bd003516bde448507fbe789c05

Modified Files
--------------
src/backend/storage/lmgr/README | 37 +++++++++++++++++++------------------
src/backend/storage/lmgr/proc.c | 12 ++++++------
src/include/storage/proc.h      |  1 -
3 files changed, 25 insertions(+), 25 deletions(-)