Commits on Aug 1, 2023

1. mango: introduce strict index selection …

   It is not always beneficial for the performance if the Mango query
   planner tries to assign an index to the selector.  User-specified
   indexes may save the day, but since they are only hints for the
   planner, automated overrides can still happen.
   
   Introduce the concept of "strict index selection" which lets the
   user to request the exclusive use of a specific index.  When it is
   not possible, give up on planning and return an HTTP 400 response
   right away.  This way the user has the chance to learn about the
   missing index, request its creation and try again later.
   
   The feature comes with a configuration toggle.  By default, the
   feature is disabled to maintain backward compatibility, but the
   user may ask for this behavior via the new `use_index_strict`
   query parameter for a specific query.  Note that, similarly,
   `use_index_strict` could be used to disable strict index selection
   temporarily when it is enabled on the server.
   
   Fixes apache#4511

   

   pgj committed Aug 1, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 285ad6d
   • Browse repository at this point

   Copy the full SHA

   285ad6d View commit details

   Browse the repository at this point in the history