1. 09 Nov, 2011 1 commit
    • Tom Lane's avatar
      Wrap appendrel member outputs in PlaceHolderVars in additional cases. · 57664ed2
      Tom Lane authored
      Add PlaceHolderVar wrappers as needed to make UNION ALL sub-select output
      expressions appear non-constant and distinct from each other.  This makes
      the world safe for add_child_rel_equivalences to do what it does.  Before,
      it was possible for that function to add identical expressions to different
      EquivalenceClasses, which logically should imply merging such ECs, which
      would be wrong; or to improperly add a constant to an EquivalenceClass,
      drastically changing its behavior.  Per report from Teodor Sigaev.
      
      The only currently known consequence of this bug is "MergeAppend child's
      targetlist doesn't match MergeAppend" planner failures in 9.1 and later.
      I am suspicious that there may be other failure modes that could affect
      older release branches; but in the absence of any hard evidence, I'll
      refrain from back-patching further than 9.1.
      57664ed2
  2. 08 Nov, 2011 7 commits
  3. 07 Nov, 2011 4 commits
  4. 06 Nov, 2011 2 commits
  5. 05 Nov, 2011 4 commits
    • Magnus Hagander's avatar
      Update regression tests for \d+ modification · 3a6e4076
      Magnus Hagander authored
      Noted by Tom
      3a6e4076
    • Magnus Hagander's avatar
      ebcadba2
    • Magnus Hagander's avatar
    • Tom Lane's avatar
      Don't assume that a tuple's header size is unchanged during toasting. · 039680af
      Tom Lane authored
      This assumption can be wrong when the toaster is passed a raw on-disk
      tuple, because the tuple might pre-date an ALTER TABLE ADD COLUMN operation
      that added columns without rewriting the table.  In such a case the tuple's
      natts value is smaller than what we expect from the tuple descriptor, and
      so its t_hoff value could be smaller too.  In fact, the tuple might not
      have a null bitmap at all, and yet our current opinion of it is that it
      contains some trailing nulls.
      
      In such a situation, toast_insert_or_update did the wrong thing, because
      to save a few lines of code it would use the old t_hoff value as the offset
      where heap_fill_tuple should start filling data.  This did not leave enough
      room for the new nulls bitmap, with the result that the first few bytes of
      data could be overwritten with null flag bits, as in a recent report from
      Hubert Depesz Lubaczewski.
      
      The particular case reported requires ALTER TABLE ADD COLUMN followed by
      CREATE TABLE AS SELECT * FROM ... or INSERT ... SELECT * FROM ..., and
      further requires that there be some out-of-line toasted fields in one of
      the tuples to be copied; else we'll not reach the troublesome code.
      The problem can only manifest in this form in 8.4 and later, because
      before commit a77eaa6a, CREATE TABLE AS or
      INSERT/SELECT wouldn't result in raw disk tuples getting passed directly
      to heap_insert --- there would always have been at least a junkfilter in
      between, and that would reconstitute the tuple header with an up-to-date
      t_natts and hence t_hoff.  But I'm backpatching the tuptoaster change all
      the way anyway, because I'm not convinced there are no older code paths
      that present a similar risk.
      039680af
  6. 04 Nov, 2011 7 commits
  7. 03 Nov, 2011 12 commits
  8. 02 Nov, 2011 3 commits
    • Tom Lane's avatar
      Avoid scanning nulls at the beginning of a btree index scan. · 1a77f8b6
      Tom Lane authored
      If we have an inequality key that constrains the other end of the index,
      it doesn't directly help us in doing the initial positioning ... but it
      does imply a NOT NULL constraint on the index column.  If the index stores
      nulls at this end, we can use the implied NOT NULL condition for initial
      positioning, just as if it had been stated explicitly.  This avoids wasting
      time when there are a lot of nulls in the column.  This is the reverse of
      the examples given in bugs #6278 and #6283, which were about failing to
      stop early when we encounter nulls at the end of the indexscan.
      1a77f8b6
    • Tom Lane's avatar
      Fix btree stop-at-nulls logic properly. · 882368e8
      Tom Lane authored
      As pointed out by Naoya Anzai, my previous try at this was a few bricks
      shy of a load, because I had forgotten that the initial-positioning logic
      might not try to skip over nulls at the end of the index the scan will
      start from.  We ought to fix that, because it represents an unnecessary
      inefficiency, but first let's get the scan-stop logic back to a safe
      state.  With this patch, we preserve the performance benefit requested
      in bug #6278 for the case of scanning forward into NULLs (in a NULLS
      LAST index), but the reverse case of scanning backward across NULLs
      when there's no suitable initial-positioning qual is still inefficient.
      882368e8
    • Simon Riggs's avatar