1. 19 Jun, 2019 7 commits
  2. 18 Jun, 2019 3 commits
    • Andres Freund's avatar
      Fix memory corruption/crash in ANALYZE. · 23224563
      Andres Freund authored
      This fixes an embarrassing oversight I (Andres) made in 737a292b,
      namely missing two place where liverows/deadrows were used when
      converting those variables to pointers, leading to incrementing the
      pointer, rather than the value.
      
      It's not that actually that easy to trigger a crash: One needs tuples
      deleted by the current transaction, followed by a tuple deleted in
      another session, all in one page. Which is presumably why this hasn't
      been noticed before.
      
      Reported-By: Steve Singer
      Author: Steve Singer
      Discussion: https://postgr.es/m/c7988239-d42c-ddc4-41db-171b23b35e4f@ssinger.info
      23224563
    • Alvaro Herrera's avatar
      Avoid spurious deadlocks when upgrading a tuple lock · 8b21b416
      Alvaro Herrera authored
      This puts back reverted commit de87a084, with some bug fixes.
      
      When two (or more) transactions are waiting for transaction T1 to release a
      tuple-level lock, and transaction T1 upgrades its lock to a higher level, a
      spurious deadlock can be reported among the waiting transactions when T1
      finishes.  The simplest example case seems to be:
      
      T1: select id from job where name = 'a' for key share;
      Y: select id from job where name = 'a' for update; -- starts waiting for T1
      Z: select id from job where name = 'a' for key share;
      T1: update job set name = 'b' where id = 1;
      Z: update job set name = 'c' where id = 1; -- starts waiting for T1
      T1: rollback;
      
      At this point, transaction Y is rolled back on account of a deadlock: Y
      holds the heavyweight tuple lock and is waiting for the Xmax to be released,
      while Z holds part of the multixact and tries to acquire the heavyweight
      lock (per protocol) and goes to sleep; once T1 releases its part of the
      multixact, Z is awakened only to be put back to sleep on the heavyweight
      lock that Y is holding while sleeping.  Kaboom.
      
      This can be avoided by having Z skip the heavyweight lock acquisition.  As
      far as I can see, the biggest downside is that if there are multiple Z
      transactions, the order in which they resume after T1 finishes is not
      guaranteed.
      
      Backpatch to 9.6.  The patch applies cleanly on 9.5, but the new tests don't
      work there (because isolationtester is not smart enough), so I'm not going
      to risk it.
      
      Author: Oleksii Kliukin
      Discussion: https://postgr.es/m/B9C9D7CD-EB94-4635-91B6-E558ACEC0EC3@hintbits.com
      Discussion: https://postgr.es/m/2815.1560521451@sss.pgh.pa.us
      8b21b416
    • Thomas Munro's avatar
      Prevent Parallel Hash Join for JOIN_UNIQUE_INNER. · aca127c1
      Thomas Munro authored
      WHERE EXISTS (...) queries cannot be executed by Parallel Hash Join
      with jointype JOIN_UNIQUE_INNER, because there is no way to make a
      partial plan totally unique.  The consequence of allowing such plans
      was duplicate results from some EXISTS queries.
      
      Back-patch to 11.  Bug #15857.
      
      Author: Thomas Munro
      Reviewed-by: Tom Lane
      Reported-by: Vladimir Kriukov
      Discussion: https://postgr.es/m/15857-d1ba2a64bce0795e%40postgresql.org
      aca127c1
  3. 17 Jun, 2019 6 commits
  4. 16 Jun, 2019 3 commits
  5. 15 Jun, 2019 4 commits
    • Tomas Vondra's avatar
      Fix incorrect CREATE STATISTICS example in docs · 7f44efa1
      Tomas Vondra authored
      The example was incorrectly using parantheses around the list of columns, so
      just drop them.
      
      Reported-By: Robert Haas
      Discussion: https://postgr.es/m/CA%2BTgmoZZEMAqWMAfvLHZnK57SoxOutgvE-ALO94WsRA7zZ7wyQ%40mail.gmail.com
      7f44efa1
    • Tomas Vondra's avatar
      Add pg_stats_ext view for extended statistics · aa087ec6
      Tomas Vondra authored
      Regular per-column statistics are stored in pg_statistics catalog, which
      is however rather difficult to read, so we also have pg_stats view with
      a human-reablable version of the data.
      
      For extended statistic the catalog was fairly easy to read, so we did
      not have such human-readable view so far.  Commit 9b6babfa2d however did
      split the catalog into two, which makes querying harder.  Furthermore,
      we want to show the multi-column MCV list in a way similar to per-column
      stats (and not as a bytea value).
      
      This commit introduces pg_stats_ext view, joining the two catalogs and
      massaging the data to produce human-readable output similar to pg_stats.
      It also considers RLS and access privileges - the data is shown only when
      the user has access to all columns the extended statistic is defined on.
      
      Bumped CATVERSION due to adding new system view.
      
      Author: Dean Rasheed, with improvements by me
      Reviewed-by: Dean Rasheed, John Naylor
      Discussion: https://postgr.es/m/CAEZATCUhT9rt7Ui%3DVdx4N%3D%3DVV5XOK5dsXfnGgVOz_JhAicB%3DZA%40mail.gmail.com
      aa087ec6
    • Tomas Vondra's avatar
      Rework the pg_statistic_ext catalog · 6cbfb784
      Tomas Vondra authored
      Since extended statistic got introduced in PostgreSQL 10, there was a
      single catalog pg_statistic_ext storing both the definitions and built
      statistic.  That's however problematic when a user is supposed to have
      access only to the definitions, but not to user data.
      
      Consider for example pg_dump on a database with RLS enabled - if the
      pg_statistic_ext catalog respects RLS (which it should, if it contains
      user data), pg_dump would not see any records and the result would not
      define any extended statistics.  That would be a surprising behavior.
      
      Until now this was not a pressing issue, because the existing types of
      extended statistic (functional dependencies and ndistinct coefficients)
      do not include any user data directly.  This changed with introduction
      of MCV lists, which do include most common combinations of values.
      
      The easiest way to fix this is to split the pg_statistic_ext catalog
      into two - one for definitions, one for the built statistic values.
      The new catalog is called pg_statistic_ext_data, and we're maintaining
      a 1:1 relationship with the old catalog - either there are matching
      records in both catalogs, or neither of them.
      
      Bumped CATVERSION due to changing system catalog definitions.
      
      Author: Dean Rasheed, with improvements by me
      Reviewed-by: Dean Rasheed, John Naylor
      Discussion: https://postgr.es/m/CAEZATCUhT9rt7Ui%3DVdx4N%3D%3DVV5XOK5dsXfnGgVOz_JhAicB%3DZA%40mail.gmail.com
      6cbfb784
    • Andrew Gierth's avatar
      Prefer timezone name "UTC" over alternative spellings. · e3846a00
      Andrew Gierth authored
      tzdb 2019a made "UCT" a link to the "UTC" zone rather than a separate
      zone with its own abbreviation. Unfortunately, our code for choosing a
      timezone in initdb has an arbitrary preference for names earlier in
      the alphabet, and so it would choose the spelling "UCT" over "UTC"
      when the system is running on a UTC zone.
      
      Commit 23bd3cec was backpatched in order to address this issue, but
      that code helps only when /etc/localtime exists as a symlink, and does
      nothing to help on systems where /etc/localtime is a copy of a zone
      file (as is the standard setup on FreeBSD and probably some other
      platforms too) or when /etc/localtime is simply absent (giving UTC as
      the default).
      
      Accordingly, add a preference for the spelling "UTC", such that if
      multiple zone names have equally good content matches, we prefer that
      name before applying the existing arbitrary rules. Also add a slightly
      lower preference for "Etc/UTC"; lower because that preserves the
      previous behaviour of choosing the shorter name, but letting us still
      choose "Etc/UTC" over "Etc/UCT" when both exist but "UTC" does
      not (not common, but I've seen it happen).
      
      Backpatch all the way, because the tzdb change that sparked this issue
      is in those branches too.
      e3846a00
  6. 14 Jun, 2019 9 commits
  7. 13 Jun, 2019 8 commits
    • Tom Lane's avatar
      Avoid combinatorial explosion in add_child_rel_equivalences(). · d25ea012
      Tom Lane authored
      If an EquivalenceClass member expression includes variables from
      multiple appendrels, then instead of producing one substituted
      expression per child relation as intended, we'd create additional
      child expressions for combinations of children of different appendrels.
      This happened because the child expressions generated while considering
      the first appendrel were taken as sources during substitution of the
      second appendrel, and so on.  The extra expressions are useless, and are
      harmless unless there are too many of them --- but if you have several
      appendrels with a thousand or so members each, it gets bad fast.
      
      To fix, consider only original (non-em_is_child) EC members as candidates
      to be expanded.  This requires the ability to substitute directly from a
      top parent relation's Vars to those of an indirect descendant relation,
      but we already have that in adjust_appendrel_attrs_multilevel().
      
      Per bug #15847 from Feike Steenbergen.  This is a longstanding misbehavior,
      but it's only worth worrying about when there are more appendrel children
      than we've historically considered wise to use.  So I'm not going to take
      the risk of back-patching this.
      
      Discussion: https://postgr.es/m/15847-ea3734094bf8ae61@postgresql.org
      d25ea012
    • Alvaro Herrera's avatar
      Avoid spurious deadlocks when upgrading a tuple lock · de87a084
      Alvaro Herrera authored
      When two (or more) transactions are waiting for transaction T1 to release a
      tuple-level lock, and transaction T1 upgrades its lock to a higher level, a
      spurious deadlock can be reported among the waiting transactions when T1
      finishes.  The simplest example case seems to be:
      
      T1: select id from job where name = 'a' for key share;
      Y: select id from job where name = 'a' for update; -- starts waiting for X
      Z: select id from job where name = 'a' for key share;
      T1: update job set name = 'b' where id = 1;
      Z: update job set name = 'c' where id = 1; -- starts waiting for X
      T1: rollback;
      
      At this point, transaction Y is rolled back on account of a deadlock: Y
      holds the heavyweight tuple lock and is waiting for the Xmax to be released,
      while Z holds part of the multixact and tries to acquire the heavyweight
      lock (per protocol) and goes to sleep; once X releases its part of the
      multixact, Z is awakened only to be put back to sleep on the heavyweight
      lock that Y is holding while sleeping.  Kaboom.
      
      This can be avoided by having Z skip the heavyweight lock acquisition.  As
      far as I can see, the biggest downside is that if there are multiple Z
      transactions, the order in which they resume after X finishes is not
      guaranteed.
      
      Backpatch to 9.6.  The patch applies cleanly on 9.5, but the new tests don't
      work there (because isolationtester is not smart enough), so I'm not going
      to risk it.
      
      Author: Oleksii Kliukin
      Discussion: https://postgr.es/m/B9C9D7CD-EB94-4635-91B6-E558ACEC0EC3@hintbits.com
      de87a084
    • Tom Lane's avatar
      Mark ReplicationSlotCtl as PGDLLIMPORT. · 3c8f8f6e
      Tom Lane authored
      Also MyReplicationSlot, in branches where it wasn't already.
      
      This was discussed in the thread that resulted in c572599c, but
      for some reason nobody pulled the trigger.  Now that we have another
      request for the same thing, we should just do it.
      
      Craig Ringer
      
      Discussion: https://postgr.es/m/CAMsr+YFTsq-86MnsNng=mPvjjh5EAbzfMK0ptJPvzyvpFARuRg@mail.gmail.com
      Discussion: https://postgr.es/m/345138875.20190611151943@cybertec.at
      3c8f8f6e
    • Alvaro Herrera's avatar
      Fix double-word typos · b9768458
      Alvaro Herrera authored
      Discussion: https://postgr.es/m/20190612184527.GA24266@alvherre.pgsql
      Reviewed-by: Michaël Paquier
      b9768458
    • Bruce Momjian's avatar
      doc: PG 12 relnotes: update wording on truncate/vacuum item · 4f41a722
      Bruce Momjian authored
      This item prevents unauthorized locking of relations, and the previous
      wording was unclear.
      
      Reported-by: Michael Paquier
      
      Discussion: https://postgr.es/m/20190522072651.GC1278@paquier.xyz
      4f41a722
    • Etsuro Fujita's avatar
      postgres_fdw: Account for triggers in non-direct remote UPDATE planning. · 8b6da83d
      Etsuro Fujita authored
      Previously, in postgresPlanForeignModify, we planned an UPDATE operation
      on a foreign table so that we transmit only columns that were explicitly
      targets of the UPDATE, so as to avoid unnecessary data transmission, but
      if there were BEFORE ROW UPDATE triggers on the foreign table, those
      triggers might change values for non-target columns, in which case we
      would miss sending changed values for those columns.  Prevent optimizing
      away transmitting all columns if there are BEFORE ROW UPDATE triggers on
      the foreign table.
      
      This is an oversight in commit 7cbe57c3 which added triggers on foreign
      tables, so apply the patch all the way back to 9.4 where that came in.
      
      Author: Shohei Mochizuki
      Reviewed-by: Amit Langote
      Discussion: https://postgr.es/m/201905270152.x4R1q3qi014550@toshiba.co.jp
      8b6da83d
    • Tom Lane's avatar
      Doc: fix bogus example. · 7dc6ae37
      Tom Lane authored
      This wasn't incorrect SQL, but it was doing cm-to-inch conversion
      backward, so it might confuse readers.
      
      Per bug #15849 from TAKATSUKA Haruka.
      
      Discussion: https://postgr.es/m/15849-37ad0c561a836107@postgresql.org
      7dc6ae37
    • Tom Lane's avatar
      Doc: improve description of allowed spellings for Boolean input. · 9729c936
      Tom Lane authored
      datatype.sgml failed to explain that boolin() accepts any unique
      prefix of the basic input strings.  Indeed it was actively misleading
      because it called out a few minimal prefixes without mentioning that
      there were more valid inputs.
      
      I also felt that it wasn't doing anybody any favors by conflating
      SQL key words, valid Boolean input, and string literals containing
      valid Boolean input.  Rewrite in hopes of reducing the confusion.
      
      Per bug #15836 from Yuming Wang, as diagnosed by David Johnston.
      Back-patch to supported branches.
      
      Discussion: https://postgr.es/m/15836-656fab055735f511@postgresql.org
      9729c936