Reworking WAL locking - Mailing list pgsql-hackers

From Simon Riggs
Subject Reworking WAL locking
Date
Msg-id 1202996658.16770.664.camel@ebony.site
Whole thread Raw
Responses Re: Reworking WAL locking  (Tom Lane <tgl@sss.pgh.pa.us>)
Re: Reworking WAL locking  (Tom Lane <tgl@sss.pgh.pa.us>)
Re: Reworking WAL locking  (Bruce Momjian <bruce@momjian.us>)
List pgsql-hackers
Paul van den Bogaard (Sun) suggested to me that we could use more than
two WAL locks to improve concurrency. I think its possible to introduce
such a scheme with some ease. All mods within xlog.c

The scheme below requires an extra LWlock per WAL buffer.

Locking within XLogInsert() would look like this:

Calculate length of data to be inserted.
Calculate initial CRC

LWLockAcquire(WALInsertLock, LW_EXCLUSIVE)

Reserve space to write into. 
LSN = current Insert pointer
Move pointer forward by length of data to be inserted, acquiring
WALWriteLock if required to ensure space is available.

LWLockAcquire(LSNGetWALPageLockId(LSN), LW_SHARED);

Note that we don't lock every page, just the first one of the set we
want, but we hold it until all page writes are complete.

LWLockRelease(WALInsertLock);

finish calculating CRC
write xlog into reserved space
LWLockRelease(LSNGetWALPageLockId(LSN));

XLogWrite() will then try to get a conditional LW_EXCLUSIVE lock
sequentially on each page it plans to write. It keeps going until it
fails to get the lock, then writes. Callers of XLogWrite will never be
able to pass a backend currently performing the wal buffer fill.

We write whole page at a time.

Next time, we do a regular lock wait on the same page, so that we always
get a page eventually.

This requires us to get 2 locks for an XLogInsert rather than just one.
However the second lock is always acquired with zero-wait time when the
wal_buffers are sensibly sized. Overall this should reduce wait time for
the WALInsertLock since it seems likely that each actual filling of WAL
buffers will effect different cache lines and are very likely to be able
to be performed in parallel.

Sounds good to me.

Any objections/comments before this can be tried out? 

--  Simon Riggs 2ndQuadrant  http://www.2ndQuadrant.com 



pgsql-hackers by date:

Previous
From: Martijn van Oosterhout
Date:
Subject: Re: wishlist for 8.4
Next
From: Bernd Helmle
Date:
Subject: Re: Show INHERIT in \du