Thread: Fundamental error in "no WAL log" index/file creation stuff

Fundamental error in "no WAL log" index/file creation stuff

From
Tom Lane
Date:
I believe I have figured out the problem behind the recent reports we've
been seeing of "index is not a btree" errors.  Here's how to reproduce
it (in 8.0 or HEAD):

-- drop database test if present
checkpoint;
create database test;
\c test
create table t1 ( name varchar(20) primary key );
-- kill -9 either current session or bgwriter, to force XLOG replay
-- now reconnect to test
vacuum t1;
ERROR:  index "t1_pkey" is not a btree

On investigation, the filesystem shows t1_pkey exists but has size 0.

The reason for this is that the only entry in the XLOG concerning
t1_pkey is an "smgr create" record --- we didn't XLOG any of the
data inserted into the index, and particularly not the metapage.

Why is that a problem, if we fsynced the index?  Because *replay of
CREATE DATABASE drops and recreates the entire database directory*.
This is not trivial to avoid, because the only way to generate the
new database is to copy from another database, and it's very hard
to tell what to copy if we want it done selectively.

It seems our choices are (a) somehow fix things so CREATE DATABASE
replay doesn't have to zap the whole directory, (b) force a checkpoint
immediately after any CREATE DATABASE, so that we never have to replay
one except in a PITR situation, or (c) abandon non-WAL-logged index
and table builds.
        regards, tom lane


Re: Fundamental error in "no WAL log" index/file creation stuff

From
Tom Lane
Date:
I wrote:
> It seems our choices are (a) somehow fix things so CREATE DATABASE
> replay doesn't have to zap the whole directory, (b) force a checkpoint
> immediately after any CREATE DATABASE, so that we never have to replay
> one except in a PITR situation, or (c) abandon non-WAL-logged index
> and table builds.

Having overcome my initial dismay at missing such a fundamental problem,
I've thought harder about it and concluded that (b) is clearly the thing
to do.

I think it would take a wholesale redesign of the CREATE DATABASE
mechanism to do (a).  While there are a number of ugly things about
CREATE DATABASE that could perhaps be fixed with a redesign,
I don't currently have any good idea about how to do it right.
In any case this path wouldn't be an acceptable backpatch for the 8.0
branch.

(c) is clearly not the direction we really wish to take, either.

Also, I realized that there is an entirely independent problem that (b)
will protect us against.  Consider this scenario:
create database acopy;\c template1create table bozo(f1 int);-- now system crashes and replays WAL

After this sequence it is possible for "acopy" to contain the table
"bozo", because the replay of the CREATE DATABASE will copy whatever
is on disk in template1.  (You can actually duplicate this in 8.0
and HEAD, if you wait long enough for the bgwriter to write the
catalog changes, but not long enough for a checkpoint to happen.)

Accordingly, I've committed (b) into 8.0 and HEAD.  (Earlier branches
are not at risk because they didn't WAL-log CREATE DATABASE at all.)

This might be sufficient reason to release an 8.0.4 pretty soon.
        regards, tom lane


Re: Fundamental error in "no WAL log" index/file creation stuff

From
Greg Stark
Date:
Tom Lane <tgl@sss.pgh.pa.us> writes:

> > (b) force a checkpoint
> > immediately after any CREATE DATABASE, so that we never have to replay
> > one except in a PITR situation

So wouldn't this mean that any CREATE DATABASE won't work properly in PITR?

-- 
greg



Re: Fundamental error in "no WAL log" index/file creation stuff

From
"Michael Paesold"
Date:
Greg Stark wrote:

> Tom Lane <tgl@sss.pgh.pa.us> writes:
>
>> > (b) force a checkpoint
>> > immediately after any CREATE DATABASE, so that we never have to replay
>> > one except in a PITR situation
>
> So wouldn't this mean that any CREATE DATABASE won't work properly in 
> PITR?

As I understand it: no. Because with PITR turned on there are no 
"non-WAL-logged index
and table builds". Therefore the indexes and tables are WAL-logged and will 
be recreated correctly.

I hope this is correct information :-)

Best Regards,
Michael Paesold 



Re: Fundamental error in "no WAL log" index/file creation

From
Jan Wieck
Date:
On 6/25/2005 6:58 PM, Tom Lane wrote:
> I wrote:
>> It seems our choices are (a) somehow fix things so CREATE DATABASE
>> replay doesn't have to zap the whole directory, (b) force a checkpoint
>> immediately after any CREATE DATABASE, so that we never have to replay
>> one except in a PITR situation, or (c) abandon non-WAL-logged index
>> and table builds.
> 
> Having overcome my initial dismay at missing such a fundamental problem,
> I've thought harder about it and concluded that (b) is clearly the thing
> to do.
> 
> I think it would take a wholesale redesign of the CREATE DATABASE
> mechanism to do (a).  While there are a number of ugly things about
> CREATE DATABASE that could perhaps be fixed with a redesign,
> I don't currently have any good idea about how to do it right.
> In any case this path wouldn't be an acceptable backpatch for the 8.0
> branch.

One way of redesigning CREATE DATABASE would be to build the new 
database directory from scratch using bki files. Doing so would lose the 
current template mechanism, but that can easily be redesigned into a 
utility that creates a bki file set from any existing database. The 
other annoyance this redesign would fix is the createdb failures because 
the template DB is in use.


Jan

-- 
#======================================================================#
# It's easier to get forgiveness for being wrong than for being right. #
# Let's break this rule - forgive me.                                  #
#================================================== JanWieck@Yahoo.com #


Re: Fundamental error in "no WAL log" index/file creation stuff

From
Tom Lane
Date:
Jan Wieck <JanWieck@Yahoo.com> writes:
> One way of redesigning CREATE DATABASE would be to build the new 
> database directory from scratch using bki files. Doing so would lose the 
> current template mechanism, but that can easily be redesigned into a 
> utility that creates a bki file set from any existing database.

Not so easily as all that.  The .bki mechanism is pretty darn restricted
as to what it can generate, because of the limitations of bootstrap
mode.  (And when you are starting up without pg_proc or pg_type, it's
not trivial to remove those restrictions either.)

I thought for a bit about1. Clone newdb from template0 (which we assume doesn't change)2. pg_dump template1 |
pg_restorenewdb
 
but pg_dump isn't terribly fast, and in any case this still has issues
--- eg, if DBA has dropped the public schema in template1, it will fail
to propagate that fact.
        regards, tom lane


Re: Fundamental error in "no WAL log" index/file creation

From
Andrew Dunstan
Date:

Jan Wieck wrote:

>
> One way of redesigning CREATE DATABASE would be to build the new 
> database directory from scratch using bki files. Doing so would lose 
> the current template mechanism, but that can easily be redesigned into 
> a utility that creates a bki file set from any existing database. The 
> other annoyance this redesign would fix is the createdb failures 
> because the template DB is in use.


This one should be largely fixed by provision of another default 
connection target, which is in the pipeline.

cheers

andrew


Re: Fundamental error in "no WAL log" index/file creation stuff

From
Tom Lane
Date:
Greg Stark <gsstark@mit.edu> writes:
> Tom Lane <tgl@sss.pgh.pa.us> writes:
>> (b) force a checkpoint
>> immediately after any CREATE DATABASE, so that we never have to replay
>> one except in a PITR situation

> So wouldn't this mean that any CREATE DATABASE won't work properly in PITR?

It works fine in a rollforward situation.  However see the note I added
to backup.sgml:
    If a CREATE DATABASE command is executed while a base backup is    being taken, and then the template database that
theCREATE    DATABASE copied is modified while the base backup is still in    progress, it is possible that recovery
willcause those    modifications to be propagated into the created database as    well. This is of course undesirable.
Toavoid this risk, it is best    not to modify any template databases while taking a base backup.
 

I don't see anything much we can do about this except add the warning;
we cannot say which state of the template database will be picked up
by the filesystem backup.
        regards, tom lane


Re: Fundamental error in "no WAL log" index/file creation

From
Tom Lane
Date:
Andrew Dunstan <andrew@dunslane.net> writes:
> Jan Wieck wrote:
>> The other annoyance this redesign would fix is the createdb failures 
>> because the template DB is in use.

> This one should be largely fixed by provision of another default 
> connection target, which is in the pipeline.

Yeah, but that's a workaround not a solution.  It's still one of the
issues I would like to see fixed by a still-hypothetical CREATE DATABASE
redesign.

There are many more-pressing problems of course, so I don't see anything
being done about CREATE DATABASE for a good while.
        regards, tom lane


Re: Fundamental error in "no WAL log" index/file creation stuff

From
"Jim C. Nasby"
Date:
Would it be possible to rollback from WAL? My thought is this:

CREATE DATABASE is logged in WAL
If a replay of that CREATE DATABASE is performed, the template database
used is copied
Any modifications to the template database that occured after the CREATE
DATABASE are rolled back in the new database
WAL replay continues

Would this resolve the PITR issues with CREATE DATABASE?
-- 
Jim C. Nasby, Database Consultant               decibel@decibel.org 
Give your computer some brain candy! www.distributed.net Team #1828

Windows: "Where do you want to go today?"
Linux: "Where do you want to go tomorrow?"
FreeBSD: "Are you guys coming, or what?"


Re: Fundamental error in "no WAL log" index/file creation stuff

From
"Qingqing Zhou"
Date:
"Tom Lane" <tgl@sss.pgh.pa.us> writes
> > So wouldn't this mean that any CREATE DATABASE won't work properly in
PITR?
>
> It works fine in a rollforward situation.


Since there is no xlog replay mechanism to CREATE INDEX (bottom-up method),
so CREATE INDEX won't get replayed in PITR?

This seems also true for SET TABLESPACE command.

Regards,
Qingqing




Re: Fundamental error in "no WAL log" index/file creation stuff

From
Tom Lane
Date:
"Qingqing Zhou" <zhouqq@cs.toronto.edu> writes:
> Since there is no xlog replay mechanism to CREATE INDEX (bottom-up method),
> so CREATE INDEX won't get replayed in PITR?

On what do you base either part of that statement?
        regards, tom lane


Re: Fundamental error in "no WAL log" index/file creation stuff

From
"Qingqing Zhou"
Date:
"Tom Lane" <tgl@sss.pgh.pa.us> writes
> > Since there is no xlog replay mechanism to CREATE INDEX (bottom-up
method),
> > so CREATE INDEX won't get replayed in PITR?
>
> On what do you base either part of that statement?
>

I see _bt_load() still relies on smgrimmedsync() to assure a correct disk
image of the btree after a crash.

As you found out, this won't work if we do a CREATE DATABASE + CREATE INDEX
and system crashes. If you forced a checkpoint, then CREATE DATABASE won't
get replayed after the crashed, so the btree disk image is still there, then
the problem is solved in this case.

However, if we take a physical copy of the database, then do CREATE DATABASE
+ CREATE INDEX again, and we want to rollforward, from my understanding of
current _bt_load() code, I don't see anywhere to get the btree disk image
again.

Regards,
Qingqing




Re: Fundamental error in "no WAL log" index/file

From
Simon Riggs
Date:
On Thu, 2005-08-04 at 10:56 +0800, Qingqing Zhou wrote:
> "Tom Lane" <tgl@sss.pgh.pa.us> writes
> > > Since there is no xlog replay mechanism to CREATE INDEX (bottom-up
> method),
> > > so CREATE INDEX won't get replayed in PITR?
> >
> > On what do you base either part of that statement?

I have learnt that Tom means: read the code. :-)

CREATE INDEX doesn't produce xlog records *except* when you use PITR, so
PITR does work correctly.

Tom's earlier warning about CREATE DATABASE stands...

Best Regards, Simon Riggs



Re: Fundamental error in "no WAL log" index/file

From
"Qingqing Zhou"
Date:
"Simon Riggs" <simon@2ndquadrant.com> writes
>
> I have learnt that Tom means: read the code. :-)
>
> CREATE INDEX doesn't produce xlog records *except* when you use PITR, so
> PITR does work correctly.
>
   wstate.btws_use_wal = XLogArchivingActive() && !wstate.index->rd_istemp;

Ah-oh, that's true ;-)

Regards,
Qingqing