1. 02 Apr, 2018 4 commits
    • Tom Lane's avatar
      Remove contrib/jsonb_plpython's tests for infinity and NaN conversions. · 6278a2a2
      Tom Lane authored
      These tests don't work reliably with pre-2.6 Python versions, since
      Python code like float('inf') was not guaranteed to work before that,
      even granting an IEEE-compliant platform.
      
      Since there's no explicit handling of these cases in jsonb_plpython,
      we're not adding any real code coverage by testing them, and thus
      it doesn't seem to make sense to go to any great lengths to work
      around the test instability.
      
      Discussion: https://postgr.es/m/E1f1AMU-00031c-9N@gemulon.postgresql.org
      6278a2a2
    • Tom Lane's avatar
      Teach configure --with-python to report the Python version number. · beff4bb9
      Tom Lane authored
      We already do this for Perl and some other interesting tools, so it
      seems sensible to do it for Python as well, especially since the
      sub-release number is never determinable from other configure output
      and even the major/minor numbers may not be clear without excavation
      in config.log.
      
      While at it, get rid of the code's assumption that both the major and
      minor numbers contain exactly one digit.  That will foreseeably be
      broken by Python 3.10 in perhaps four or five years.  That's far enough
      out that we probably don't need to back-patch this.
      
      Discussion: https://postgr.es/m/2186.1522681145@sss.pgh.pa.us
      beff4bb9
    • Peter Eisentraut's avatar
      Make be-secure-common.c more consistent for future SSL implementations · 2764d5dc
      Peter Eisentraut authored
      Recent commit 8a3d9425 has introduced be-secure-common.c, which is aimed
      at including backend-side APIs that can be used by any SSL
      implementation.  The purpose is similar to fe-secure-common.c for the
      frontend-side APIs.
      
      However, this has forgotten to include check_ssl_key_file_permissions()
      in the move, which causes a double dependency between be-secure.c and
      be-secure-openssl.c.
      
      Refactor the code in a more logical way.  This also puts into light an
      API which is usable by future SSL implementations for permissions on SSL
      key files.
      
      Author: Michael Paquier <michael@paquier.xyz>
      2764d5dc
    • Robert Haas's avatar
      postgres_fdw: Push down partition-wise aggregation. · 7e0d64c7
      Robert Haas authored
      Since commit 7012b132, postgres_fdw
      has been able to push down the toplevel aggregation operation to the
      remote server.  Commit e2f1eb0e made
      it possible to break down the toplevel aggregation into one
      aggregate per partition.  This commit lets postgres_fdw push down
      aggregation in that case just as it does at the top level.
      
      In order to make this work, this commit adds an additional argument
      to the GetForeignUpperPaths FDW API.  A matching argument is added
      to the signature for create_upper_paths_hook.  Third-party code using
      either of these will need to be updated.
      
      Also adjust create_foreignscan_plan() so that it picks up the correct
      set of relids in this case.
      
      Jeevan Chalke, reviewed by Ashutosh Bapat and by me and with some
      adjustments by me.  The larger patch series of which this patch is a
      part was also reviewed and tested by Antonin Houska, Rajkumar
      Raghuwanshi, David Rowley, Dilip Kumar, Konstantin Knizhnik, Pascal
      Legrand, and Rafia Sabih.
      
      Discussion: http://postgr.es/m/CAM2+6=V64_xhstVHie0Rz=KPEQnLJMZt_e314P0jaT_oJ9MR8A@mail.gmail.com
      Discussion: http://postgr.es/m/CAM2+6=XPWujjmj5zUaBTGDoB38CemwcPmjkRy0qOcsQj_V+2sQ@mail.gmail.com
      7e0d64c7
  2. 01 Apr, 2018 4 commits
    • Tom Lane's avatar
      0b11a674
    • Andres Freund's avatar
      Fix non-portable use of round(). · 686d399f
      Andres Freund authored
      round() is from C99.  Use rint() instead.  There are behavioral
      differences between round() and rint(), but they should not matter to
      the Bloom filter optimal_k() function.  We already assume POSIX
      behavior for rint(), so there is no question of rint() not using
      "rounds towards nearest" as its rounding mode.
      
      Cleanup from commit 51bc2717.
      
      Per buildfarm member thrips.
      
      Author: Peter Geoghegan
      Discussion: https://postgr.es/m/CAH2-Wzn76eCGUonARy-wrVtMHsf+4cvbK_oJAWTLfORTU5ki0w@mail.gmail.com
      686d399f
    • Andres Freund's avatar
      Add amcheck verification of heap relations belonging to btree indexes. · 7f563c09
      Andres Freund authored
      Add a new, optional, capability to bt_index_check() and
      bt_index_parent_check():  check that each heap tuple that should have an
      index entry does in fact have one.  The extra checking is performed at
      the end of the existing nbtree checks.
      
      This is implemented by using a Bloom filter data structure.  The
      implementation performs set membership tests within a callback (the same
      type of callback that each index AM registers for CREATE INDEX).  The
      Bloom filter is populated during the initial index verification scan.
      
      Reusing the CREATE INDEX infrastructure allows the new verification
      option to automatically benefit from the heap consistency checks that
      CREATE INDEX already performs.  CREATE INDEX does thorough sanity
      checking of HOT chains, so the new check actually manages to detect
      problems in heap-only tuples.
      
      Author: Peter Geoghegan
      Reviewed-By: Pavan Deolasee, Andres Freund
      Discussion: https://postgr.es/m/CAH2-Wzm5VmG7cu1N-H=nnS57wZThoSDQU+F5dewx3o84M+jY=g@mail.gmail.com
      7f563c09
    • Andres Freund's avatar
      Add Bloom filter implementation. · 51bc2717
      Andres Freund authored
      A Bloom filter is a space-efficient, probabilistic data structure that
      can be used to test set membership.  Callers will sometimes incur false
      positives, but never false negatives.  The rate of false positives is a
      function of the total number of elements and the amount of memory
      available for the Bloom filter.
      
      Two classic applications of Bloom filters are cache filtering, and data
      synchronization testing.  Any user of Bloom filters must accept the
      possibility of false positives as a cost worth paying for the benefit in
      space efficiency.
      
      This commit adds a test harness extension module, test_bloomfilter.  It
      can be used to get a sense of how the Bloom filter implementation
      performs under varying conditions.
      
      This is infrastructure for the upcoming "heapallindexed" amcheck patch,
      which verifies the consistency of a heap relation against one of its
      indexes.
      
      Author: Peter Geoghegan
      Reviewed-By: Andrey Borodin, Michael Paquier, Thomas Munro, Andres Freund
      Discussion: https://postgr.es/m/CAH2-Wzm5VmG7cu1N-H=nnS57wZThoSDQU+F5dewx3o84M+jY=g@mail.gmail.com
      51bc2717
  3. 31 Mar, 2018 8 commits
    • Andrew Dunstan's avatar
      Small cleanups in fast default code. · ed698643
      Andrew Dunstan authored
      Problems identified by Andres Freund and Haribabu Kommi
      ed698643
    • Tom Lane's avatar
      Fix assorted issues in parallel vacuumdb. · 94173d3e
      Tom Lane authored
      Avoid storing the result of PQsocket() in a pgsocket variable; it's
      declared as int, and the no-socket test is properly written as "x < 0"
      not "x == PGINVALID_SOCKET".  This accidentally had no bad effect
      because we never got to init_slot() with a bad connection, but it's
      still wrong.
      
      Actually, it seems like we should avoid storing the result for a long
      period at all.  The function's not so expensive that it's worth avoiding,
      and the existing coding technique here would fail if anyone tried to
      PQreset the connection during the life of the program.  Hence, just
      re-call PQsocket every time we construct a select(2) mask.
      
      Speaking of select(), GetIdleSlot imagined that it could compute the
      select mask once and continue to use it over multiple calls to
      select_loop(), which is pretty bogus since that would stomp on the
      mask on return.  This could only matter if the function's outer loop
      iterated more than once, which is unlikely (it'd take some connection
      receiving data, but not enough to complete its command).  But if it
      did happen, we'd acquire "tunnel vision" and stop watching the other
      connections for query termination, with the effect of losing parallelism.
      
      Another way in which GetIdleSlot could lose parallelism is that once
      PQisBusy returns false, it would lock in on that connection and do
      PQgetResult until that returns NULL; in some cases that could result
      in blocking.  (Perhaps this can never happen in vacuumdb due to the
      limited set of commands that it can issue, but I'm not quite sure
      of that, and even if true today it's not a future-proof assumption.)
      Refactor the code to do that properly, so that it risks blocking in
      PQgetResult only in cases where we need to wait anyway.
      
      Another loss-of-parallelism problem, which *is* easily demonstrable,
      is that any setup queries issued during prepare_vacuum_command() were
      always issued on the last-to-be-created connection, whether or not
      that was idle.  Long-running operations on that connection thus
      prevented issuance of additional operations on the other ones, except
      in the limited cases where no preparatory query was needed.  Instead,
      wait till we've identified a free connection and use that one.
      
      Also, avoid core dump due to undersized malloc request in the case
      that no tables are identified to be vacuumed.
      
      The bogus no-socket test was noted by CharSyam, the other problems
      identified in my own code review.  Back-patch to 9.5 where parallel
      vacuumdb was introduced.
      
      Discussion: https://postgr.es/m/CAMrLSE6etb33-192DTEUGkV-TsvEcxtBDxGWG1tgNOMnQHwgDA@mail.gmail.com
      94173d3e
    • Tom Lane's avatar
      Fix portability and translatability issues in commit 64f85894. · 5635c7aa
      Tom Lane authored
      Compilation failed for lack of an #ifdef on builds without
      pg_strong_random().  Also fix relevant error messages to meet
      project style guidelines.
      
      Fabien Coelho, further adjusted by me
      
      Discussion: https://postgr.es/m/32390.1522464534@sss.pgh.pa.us
      5635c7aa
    • Tom Lane's avatar
      Portability fix for commit 9a895462. · b0c90c85
      Tom Lane authored
      So far as I can find, NI_MAXHOST isn't actually required anywhere by
      POSIX.  Nonetheless, commit 9a895462 supposed that it could rely on
      having that symbol without any ceremony at all.  We do have a hack
      for providing it if the platform doesn't, in getaddrinfo.h, so fix
      the problem by #including that file.  Per buildfarm.
      b0c90c85
    • Andres Freund's avatar
      Remove PARTIAL_LINKING build mode. · a4ebbd27
      Andres Freund authored
      In 9956ddc1, ten years ago, the
      current objfile.txt based linking model was introduced.  It's time to
      retire the old SUBSYS.o based model.
      
      This primarily is pertinent because the bitcode files for LLVM based
      inlining are not produced when using PARTIAL_LINKING. It does not seem
      worth to fix PARTIAL_LINKING to support that.
      
      Author: Andres Freund
      Discussion: https://postgr.es/m/20180121204356.d5oeu34jetqhmdv2@alap3.anarazel.de
      a4ebbd27
    • Tatsuo Ishii's avatar
      Fix bug with view locking code. · 1b26bd40
      Tatsuo Ishii authored
      LockViewRecurese() obtains view relation using heap_open() and passes
      it to get_view_query() to get view info. It immediately closes the
      relation then uses the returned view info by calling
      LockViewRecurse_walker().  Since get_view_query() returns a pointer
      within the relcache, the relcache should be kept until
      LockViewRecurse_walker() returns. Otherwise the relation could point
      to a garbage memory area.
      
      Fix is moving the heap_close() call after LockViewRecurse_walker().
      
      Problem reported by Tom Lane (buildfarm is unhappy, especially prion
      since it enables -DRELCACHE_FORCE_RELEASE cpp flag), fix by me.
      1b26bd40
    • Andres Freund's avatar
      Add SKIP_LOCKED option to RangeVarGetRelidExtended(). · 3e256e55
      Andres Freund authored
      This will be used for VACUUM (SKIP LOCKED).
      
      Author: Nathan Bossart
      Reviewed-By: Michael Paquier and Andres Freund
      Discussion: https://postgr.es/m/20180306005349.b65whmvj7z6hbe2y@alap3.anarazel.de
      3e256e55
    • Andres Freund's avatar
      Combine options for RangeVarGetRelidExtended() into a flags argument. · d87510a5
      Andres Freund authored
      A followup patch will add a SKIP_LOCKED option. To avoid introducing
      evermore arguments, breaking existing callers each time, introduce a
      flags argument. This'll no doubt break a few external users...
      
      Also change the MISSING_OK behaviour so a DEBUG1 debug message is
      emitted when a relation is not found.
      
      Author: Nathan Bossart
      Reviewed-By: Michael Paquier and Andres Freund
      Discussion: https://postgr.es/m/20180306005349.b65whmvj7z6hbe2y@alap3.anarazel.de
      d87510a5
  4. 30 Mar, 2018 13 commits
  5. 29 Mar, 2018 11 commits