sorted_cluster-20100928.patch
application/octet-stream
Filename: sorted_cluster-20100928.patch
Type: application/octet-stream
Part: 0
Patch
Same data as JSON:
GET /api/v1/attachments/:id/patch
the parsed metadata as JSON — format, series position, per-file stats; never the diff bytes.
API reference →
Format: unified
| File | + | − |
|---|---|---|
| doc/src/sgml/ref/cluster.sgml | 0 | 0 |
| src/backend/commands/cluster.c | 0 | 0 |
| src/backend/optimizer/path/costsize.c | 0 | 0 |
| src/backend/utils/sort/tuplesort.c | 0 | 0 |
| src/include/optimizer/cost.h | 0 | 0 |
| src/include/utils/tuplesort.h | 0 | 0 |
diff --git a/doc/src/sgml/ref/cluster.sgml b/doc/src/sgml/ref/cluster.sgml
index 4b64195..81c8f9f 100644
*** a/doc/src/sgml/ref/cluster.sgml
--- b/doc/src/sgml/ref/cluster.sgml
*************** CLUSTER [VERBOSE]
*** 128,138 ****
</para>
<para>
! During the cluster operation, a temporary copy of the table is created
! that contains the table data in the index order. Temporary copies of
! each index on the table are created as well. Therefore, you need free
! space on disk at least equal to the sum of the table size and the index
! sizes.
</para>
<para>
--- 128,167 ----
</para>
<para>
! The planner can choose between two different methods to cluster the table:
! <itemizedlist spacing="compact">
! <listitem><para>index scan</para></listitem>
! <listitem><para>table scan followed by sort</para></listitem>
! </itemizedlist>
! </para>
!
! <para>
! In the first case, during the cluster operation, a temporary copy of the
! table is created that contains the table data in the index order.
! Temporary copies of each index on the table are created as well. Therefore,
! you need free space on disk at least equal to the sum of the table size and
! the index sizes.
! </para>
!
! <para>
! In the second case, a full table scan is followed by a sort operation.
! The method is faster than the first one when the table is highly fragmented.
! You need twice disk space of the sum in the case. In addition to the free
! space needed by the previous case, this approach may also need a temporary
! disk sort file which can be as big as the original table.
! </para>
!
! <para>
! The planner tries to choose a faster method in them base on the information
! below. It is advisable to run <xref linkend="sql-analyze"> on the table
! before clustering it, and to set the resource consumption parameters to
! sensible values, especially <xref linkend="guc-maintenance-work-mem">.
! Otherwise, the planner might make poor choices of the clustering method to use.
! <itemizedlist spacing="compact">
! <listitem><para>statistics on the table</para></listitem>
! <listitem><para>resource consumption config (see <xref linkend="runtime-config-resource">)</para></listitem>
! <listitem><para>planner method configuration (see <xref linkend="runtime-config-query-enable">)</para></listitem>
! </itemizedlist>
</para>
<para>
*************** CLUSTER [VERBOSE]
*** 149,184 ****
Otherwise, the planner might make poor choices of query plans.
</para>
- <para>
- There is another way to cluster data. The
- <command>CLUSTER</command> command reorders the original table by
- scanning it using the index you specify. This can be slow
- on large tables because the rows are fetched from the table
- in index order, and if the table is disordered, the
- entries are on random pages, so there is one disk page
- retrieved for every row moved. (<productname>PostgreSQL</productname> has
- a cache, but the majority of a big table will not fit in the cache.)
- The other way to cluster a table is to use:
-
- <programlisting>
- CREATE TABLE <replaceable class="parameter">newtable</replaceable> AS
- SELECT * FROM <replaceable class="parameter">table</replaceable> ORDER BY <replaceable class="parameter">columnlist</replaceable>;
- </programlisting>
-
- which uses the <productname>PostgreSQL</productname> sorting code
- to produce the desired order;
- this is usually much faster than an index scan for disordered data.
- Then you drop the old table, use
- <command>ALTER TABLE ... RENAME</command>
- to rename <replaceable class="parameter">newtable</replaceable> to the
- old name, and recreate the table's indexes.
- The big disadvantage of this approach is that it does not preserve
- OIDs, constraints, foreign key relationships, granted privileges, and
- other ancillary properties of the table — all such items must be
- manually recreated. Another disadvantage is that this way requires a sort
- temporary file about the same size as the table itself, so peak disk usage
- is about three times the table size instead of twice the table size.
- </para>
</refsect1>
<refsect1>
--- 178,183 ----
diff --git a/src/backend/commands/cluster.c b/src/backend/commands/cluster.c
index a2a2bbf..8445e02 100644
*** a/src/backend/commands/cluster.c
--- b/src/backend/commands/cluster.c
***************
*** 36,41 ****
--- 36,42 ----
#include "commands/trigger.h"
#include "commands/vacuum.h"
#include "miscadmin.h"
+ #include "optimizer/cost.h"
#include "storage/bufmgr.h"
#include "storage/procarray.h"
#include "storage/smgr.h"
***************
*** 49,54 ****
--- 50,56 ----
#include "utils/snapmgr.h"
#include "utils/syscache.h"
#include "utils/tqual.h"
+ #include "utils/tuplesort.h"
/*
*************** static void copy_heap_data(Oid OIDNewHea
*** 69,74 ****
--- 71,79 ----
int freeze_min_age, int freeze_table_age,
bool *pSwapToastByContent, TransactionId *pFreezeXid);
static List *get_tables_to_cluster(MemoryContext cluster_context);
+ static void deform_and_rewrite_tuple(HeapTuple tuple, TupleDesc oldTupDesc,
+ TupleDesc newTupDesc, Datum *values, bool *isnull,
+ bool newRelHasOids, RewriteState rwstate);
*************** copy_heap_data(Oid OIDNewHeap, Oid OIDOl
*** 759,764 ****
--- 764,771 ----
TransactionId OldestXmin;
TransactionId FreezeXid;
RewriteState rwstate;
+ bool use_sort;
+ Tuplesortstate *tuplesort;
/*
* Open the relations we need.
*************** copy_heap_data(Oid OIDNewHeap, Oid OIDOl
*** 850,878 ****
* tuples that still need to be copied, we scan with SnapshotAny and use
* HeapTupleSatisfiesVacuum for the visibility test.
*/
! if (OldIndex != NULL)
{
heapScan = NULL;
indexScan = index_beginscan(OldHeap, OldIndex,
SnapshotAny, 0, (ScanKey) NULL);
}
else
{
heapScan = heap_beginscan(OldHeap, SnapshotAny, 0, (ScanKey) NULL);
indexScan = NULL;
}
for (;;)
{
HeapTuple tuple;
- HeapTuple copiedTuple;
Buffer buf;
bool isdead;
- int i;
CHECK_FOR_INTERRUPTS();
! if (OldIndex != NULL)
{
tuple = index_getnext(indexScan, ForwardScanDirection);
if (tuple == NULL)
--- 857,906 ----
* tuples that still need to be copied, we scan with SnapshotAny and use
* HeapTupleSatisfiesVacuum for the visibility test.
*/
! if (OldIndex != NULL && OldIndex->rd_rel->relam == BTREE_AM_OID)
! {
! /*
! * Check to see if a scan-and-sort would be less expensive than
! * an index scan.
! */
! Cost indexScanCost,
! seqScanAndSortCost;
!
! cost_index_scan_vs_seqscansort(OIDOldHeap, OIDOldIndex,
! &indexScanCost, &seqScanAndSortCost,
! maintenance_work_mem);
! use_sort = seqScanAndSortCost < indexScanCost;
! }
! else
! use_sort = false;
!
! if (OldIndex != NULL && !use_sort)
{
heapScan = NULL;
indexScan = index_beginscan(OldHeap, OldIndex,
SnapshotAny, 0, (ScanKey) NULL);
+ tuplesort = NULL;
}
else
{
heapScan = heap_beginscan(OldHeap, SnapshotAny, 0, (ScanKey) NULL);
indexScan = NULL;
+ if (use_sort)
+ tuplesort = tuplesort_begin_rawheap(OldIndex, oldTupDesc,
+ maintenance_work_mem, false);
+ else
+ tuplesort = NULL;
}
for (;;)
{
HeapTuple tuple;
Buffer buf;
bool isdead;
CHECK_FOR_INTERRUPTS();
! if (indexScan != NULL)
{
tuple = index_getnext(indexScan, ForwardScanDirection);
if (tuple == NULL)
*************** copy_heap_data(Oid OIDNewHeap, Oid OIDOl
*** 951,995 ****
continue;
}
! /*
! * We cannot simply copy the tuple as-is, for several reasons:
! *
! * 1. We'd like to squeeze out the values of any dropped columns, both
! * to save space and to ensure we have no corner-case failures. (It's
! * possible for example that the new table hasn't got a TOAST table
! * and so is unable to store any large values of dropped cols.)
! *
! * 2. The tuple might not even be legal for the new table; this is
! * currently only known to happen as an after-effect of ALTER TABLE
! * SET WITHOUT OIDS.
! *
! * So, we must reconstruct the tuple from component Datums.
! */
! heap_deform_tuple(tuple, oldTupDesc, values, isnull);
! /* Be sure to null out any dropped columns */
! for (i = 0; i < natts; i++)
! {
! if (newTupDesc->attrs[i]->attisdropped)
! isnull[i] = true;
! }
! copiedTuple = heap_form_tuple(newTupDesc, values, isnull);
! /* Preserve OID, if any */
! if (NewHeap->rd_rel->relhasoids)
! HeapTupleSetOid(copiedTuple, HeapTupleGetOid(tuple));
! /* The heap rewrite module does the rest */
! rewrite_heap_tuple(rwstate, tuple, copiedTuple);
! heap_freetuple(copiedTuple);
}
! if (OldIndex != NULL)
index_endscan(indexScan);
! else
heap_endscan(heapScan);
/* Write out any remaining tuples, and fsync if needed */
end_heap_rewrite(rwstate);
--- 979,1025 ----
continue;
}
! if (tuplesort != NULL)
! tuplesort_putrawtuple(tuplesort, tuple);
! else
! deform_and_rewrite_tuple(tuple, oldTupDesc, newTupDesc,
! values, isnull,
! NewHeap->rd_rel->relhasoids, rwstate);
! }
! /*
! * In scan-and-sort mode, read all tuples from tuplestore and write out
! * them into the new relation.
! */
! if (tuplesort != NULL)
! {
! tuplesort_performsort(tuplesort);
! for (;;)
! {
! HeapTuple tuple;
! bool shouldfree;
! CHECK_FOR_INTERRUPTS();
! tuple = tuplesort_getrawtuple(tuplesort, true, &shouldfree);
! if (tuple == NULL)
! break;
! deform_and_rewrite_tuple(tuple, oldTupDesc, newTupDesc,
! values, isnull,
! NewHeap->rd_rel->relhasoids, rwstate);
! if (shouldfree)
! heap_freetuple(tuple);
! }
}
! if (indexScan != NULL)
index_endscan(indexScan);
! if (heapScan != NULL)
heap_endscan(heapScan);
+ if (tuplesort != NULL)
+ tuplesort_end(tuplesort);
/* Write out any remaining tuples, and fsync if needed */
end_heap_rewrite(rwstate);
*************** get_tables_to_cluster(MemoryContext clus
*** 1488,1490 ****
--- 1518,1565 ----
return rvs;
}
+
+ static void
+ deform_and_rewrite_tuple(HeapTuple tuple,
+ TupleDesc oldTupDesc, TupleDesc newTupDesc,
+ Datum *values, bool *isnull,
+ bool newRelHasOids, RewriteState rwstate)
+ {
+ HeapTuple copiedTuple;
+ int i;
+
+ /*
+ * We cannot simply copy the tuple as-is, for several reasons:
+ *
+ * 1. We'd like to squeeze out the values of any dropped columns, both
+ * to save space and to ensure we have no corner-case failures. (It's
+ * possible for example that the new table hasn't got a TOAST table
+ * and so is unable to store any large values of dropped cols.)
+ *
+ * 2. The tuple might not even be legal for the new table; this is
+ * currently only known to happen as an after-effect of ALTER TABLE
+ * SET WITHOUT OIDS.
+ *
+ * So, we must reconstruct the tuple from component Datums.
+ */
+
+ heap_deform_tuple(tuple, oldTupDesc, values, isnull);
+
+ /* Be sure to null out any dropped columns */
+ for (i = 0; i < newTupDesc->natts; i++)
+ {
+ if (newTupDesc->attrs[i]->attisdropped)
+ isnull[i] = true;
+ }
+
+ copiedTuple = heap_form_tuple(newTupDesc, values, isnull);
+
+ /* Preserve OID, if any */
+ if (newRelHasOids)
+ HeapTupleSetOid(copiedTuple, HeapTupleGetOid(tuple));
+
+ /* The heap rewrite module does the rest */
+ rewrite_heap_tuple(rwstate, tuple, copiedTuple);
+
+ heap_freetuple(copiedTuple);
+ }
diff --git a/src/backend/optimizer/path/costsize.c b/src/backend/optimizer/path/costsize.c
index 53aa62f..55ec4dc 100644
*** a/src/backend/optimizer/path/costsize.c
--- b/src/backend/optimizer/path/costsize.c
***************
*** 76,81 ****
--- 76,82 ----
#include "optimizer/cost.h"
#include "optimizer/pathnode.h"
#include "optimizer/placeholder.h"
+ #include "optimizer/plancat.h"
#include "optimizer/planmain.h"
#include "optimizer/restrictinfo.h"
#include "parser/parsetree.h"
*************** static double approx_tuple_count(Planner
*** 140,145 ****
--- 141,149 ----
static void set_rel_width(PlannerInfo *root, RelOptInfo *rel);
static double relation_byte_size(double tuples, int width);
static double page_size(double tuples, int width);
+ static void cost_sort_with_mem(Path *path, PlannerInfo *root,
+ List *pathkeys, Cost input_cost, double tuples, int width,
+ double limit_tuples, int sort_mem);
/*
*************** cost_sort(Path *path, PlannerInfo *root,
*** 1112,1123 ****
List *pathkeys, Cost input_cost, double tuples, int width,
double limit_tuples)
{
Cost startup_cost = input_cost;
Cost run_cost = 0;
double input_bytes = relation_byte_size(tuples, width);
double output_bytes;
double output_tuples;
! long work_mem_bytes = work_mem * 1024L;
if (!enable_sort)
startup_cost += disable_cost;
--- 1116,1137 ----
List *pathkeys, Cost input_cost, double tuples, int width,
double limit_tuples)
{
+ cost_sort_with_mem(path, root, pathkeys, input_cost, tuples, width,
+ limit_tuples, work_mem);
+ }
+
+ static void
+ cost_sort_with_mem(Path *path, PlannerInfo *root,
+ List *pathkeys, Cost input_cost, double tuples, int width,
+ double limit_tuples, int sort_mem)
+ {
+
Cost startup_cost = input_cost;
Cost run_cost = 0;
double input_bytes = relation_byte_size(tuples, width);
double output_bytes;
double output_tuples;
! long work_mem_bytes = sort_mem * 1024L;
if (!enable_sort)
startup_cost += disable_cost;
*************** cost_qual_eval_walker(Node *node, cost_q
*** 2672,2677 ****
--- 2686,2764 ----
(void *) context);
}
+ /*
+ * cost_index_scan_vs_seqscansort
+ * Estimates and returns the cost of an full-index scan and a sort after
+ * a sequential scan.
+ */
+ void
+ cost_index_scan_vs_seqscansort(Oid tableOid,
+ Oid indexOid,
+ Cost *indexScanCost,
+ Cost *seqScanAndSortCost,
+ int sort_mem)
+ {
+ RelOptInfo *rel;
+ PlannerInfo *root;
+ Query *query;
+ PlannerGlobal *glob;
+ RangeTblEntry *rte;
+ ListCell *index;
+ IndexPath *indexScanPath;
+ Path *seqScanAndSortPath;
+
+ /* make a dummy planner */
+ glob = makeNode(PlannerGlobal);
+
+ query = makeNode(Query);
+ query->resultRelation = 0;
+
+ root = makeNode(PlannerInfo);
+ root->parse = query;
+ root->glob = glob;
+
+ rel = makeNode(RelOptInfo);
+ rel->reloptkind = RELOPT_BASEREL;
+ rel->relid = 1;
+ rel->rtekind = RTE_RELATION;
+ get_relation_info(root, tableOid, false, rel);
+ rel->rows = rel->tuples;
+
+ root->total_table_pages = rel->pages;
+
+ rte = makeNode(RangeTblEntry);
+ rte->rtekind = RTE_RELATION;
+ rte->relid = tableOid;
+
+ root->simple_rel_array_size = 2;
+ root->simple_rte_array = (RangeTblEntry **)
+ palloc0(root->simple_rel_array_size * sizeof(RangeTblEntry *));
+ root->simple_rte_array[1] = rte;
+
+ /* estimate the cost of seq scan + sort */
+ seqScanAndSortPath = create_seqscan_path(NULL, rel);
+ cost_sort_with_mem(seqScanAndSortPath, root, NULL,
+ seqScanAndSortPath->total_cost, rel->tuples,
+ rel->width, -1, sort_mem);
+
+ /* estimate the cost of index scan */
+ indexScanPath = NULL;
+ foreach(index, rel->indexlist)
+ {
+ IndexOptInfo *indexInfo = (IndexOptInfo*) lfirst(index);
+ if (indexInfo->indexoid == indexOid)
+ {
+ indexScanPath = create_index_path(root, indexInfo, NULL, NULL,
+ ForwardScanDirection, NULL);
+ break;
+ }
+ }
+ Assert(indexScanPath != NULL);
+
+ *indexScanCost = indexScanPath->path.total_cost;
+ *seqScanAndSortCost = seqScanAndSortPath->total_cost;
+ }
+
/*
* adjust_semi_join
diff --git a/src/backend/utils/sort/tuplesort.c b/src/backend/utils/sort/tuplesort.c
index cf0a583..4ed6ecc 100644
*** a/src/backend/utils/sort/tuplesort.c
--- b/src/backend/utils/sort/tuplesort.c
***************
*** 104,109 ****
--- 104,110 ----
#include "access/nbtree.h"
#include "catalog/pg_amop.h"
#include "catalog/pg_operator.h"
+ #include "catalog/index.h"
#include "commands/tablespace.h"
#include "miscadmin.h"
#include "pg_trace.h"
***************
*** 115,126 ****
--- 116,129 ----
#include "utils/rel.h"
#include "utils/syscache.h"
#include "utils/tuplesort.h"
+ #include "executor/executor.h"
/* sort-type codes for sort__start probes */
#define HEAP_SORT 0
#define INDEX_SORT 1
#define DATUM_SORT 2
+ #define RAWHEAP_SORT 3
/* GUC variables */
#ifdef TRACE_SORT
*************** struct Tuplesortstate
*** 366,371 ****
--- 369,378 ----
int datumTypeLen;
bool datumTypeByVal;
+ /* These are specific to the rawheap subcase: */
+ EState *estate;
+ IndexInfo *indexInfo;
+
/*
* Resource snapshot for time of sort start.
*/
*************** static void writetup_heap(Tuplesortstate
*** 450,455 ****
--- 457,470 ----
static void readtup_heap(Tuplesortstate *state, SortTuple *stup,
int tapenum, unsigned int len);
static void reversedirection_heap(Tuplesortstate *state);
+ static int comparetup_rawheap(const SortTuple *a, const SortTuple *b,
+ Tuplesortstate *state);
+ static void copytup_rawheap(Tuplesortstate *state, SortTuple *stup, void *tup);
+ static void writetup_rawheap(Tuplesortstate *state, int tapenum, SortTuple *stup);
+ static void readtup_rawheap(Tuplesortstate *state, SortTuple *stup,
+ int tapenum, unsigned int len);
+ static void extract_keys_rawheap(Tuplesortstate *state, SortTuple *stup,
+ HeapTuple tuple);
static int comparetup_index_btree(const SortTuple *a, const SortTuple *b,
Tuplesortstate *state);
static int comparetup_index_hash(const SortTuple *a, const SortTuple *b,
*************** tuplesort_begin_common(int workMem, bool
*** 549,554 ****
--- 564,572 ----
state->result_tape = -1; /* flag that result tape has not been formed */
+ /* set estate to NULL, so we don't try to free it later if not used */
+ state->estate = NULL;
+
MemoryContextSwitchTo(oldcontext);
return state;
*************** tuplesort_begin_datum(Oid datumType,
*** 762,767 ****
--- 780,845 ----
return state;
}
+ Tuplesortstate *
+ tuplesort_begin_rawheap(Relation indexRel, TupleDesc tupDesc,
+ int workMem, bool randomAccess)
+ {
+ Tuplesortstate *state = tuplesort_begin_common(workMem, randomAccess);
+ MemoryContext oldcontext;
+
+ TupleTableSlot *existing_slot;
+ ExprContext *econtext;
+
+ Assert(indexRel->rd_rel->relam == BTREE_AM_OID);
+
+ oldcontext = MemoryContextSwitchTo(state->sortcontext);
+
+ #ifdef TRACE_SORT
+ if (trace_sort)
+ elog(LOG,
+ "begin tuple sort: nkeys = %d, workMem = %d, randomAccess = %c",
+ RelationGetNumberOfAttributes(indexRel), workMem, randomAccess ? 't' : 'f');
+ #endif
+
+ state->nKeys = RelationGetNumberOfAttributes(indexRel);
+
+ TRACE_POSTGRESQL_SORT_START(RAWHEAP_SORT, false, state->nKeys, workMem, randomAccess);
+
+ state->comparetup = comparetup_rawheap;
+ state->copytup = copytup_rawheap;
+ state->writetup = writetup_rawheap;
+ state->readtup = readtup_rawheap;
+ state->reversedirection = reversedirection_heap;
+
+ state->indexInfo = BuildIndexInfo(indexRel);
+ state->indexScanKey = _bt_mkscankey_nodata(indexRel);
+ state->enforceUnique = false;
+
+ state->tupDesc = tupDesc; /* assume we need not copy tupDesc */
+
+ if (state->indexInfo->ii_Expressions != NULL)
+ {
+ /* allocate the vars used by FormIndexDatum */
+ state->estate = CreateExecutorState();
+
+ /*
+ * Need a TupleTableSlot to put existing tuples in.
+ *
+ * To use FormIndexDatum, we have to make the econtext's scantuple point
+ * to this slot. Be sure to save and restore caller's value for
+ * scantuple.
+ */
+ existing_slot = MakeSingleTupleTableSlot(tupDesc);
+
+ econtext = GetPerTupleExprContext(state->estate);
+ econtext->ecxt_scantuple = existing_slot;
+ }
+
+ MemoryContextSwitchTo(oldcontext);
+
+ return state;
+ }
+
/*
* tuplesort_set_bound
*
*************** tuplesort_end(Tuplesortstate *state)
*** 849,854 ****
--- 927,935 ----
*/
TRACE_POSTGRESQL_SORT_DONE(state->tapeset != NULL, 0L);
#endif
+ if (state->estate != NULL)
+ ExecDropSingleTupleTableSlot(GetPerTupleExprContext(state->estate)->ecxt_scantuple);
+
MemoryContextSwitchTo(oldcontext);
*************** tuplesort_putdatum(Tuplesortstate *state
*** 980,985 ****
--- 1061,1088 ----
}
/*
+ * Accept one tuple while collecting input data for sort.
+ *
+ * Note that the input data is always copied; the caller need not save it.
+ */
+ void
+ tuplesort_putrawtuple(Tuplesortstate *state, HeapTuple tup)
+ {
+ MemoryContext oldcontext = MemoryContextSwitchTo(state->sortcontext);
+ SortTuple stup;
+
+ /*
+ * Copy the given tuple into memory we control, and decrease availMem.
+ * Then call the common code.
+ */
+ COPYTUP(state, &stup, (void *) tup);
+
+ puttuple_common(state, &stup);
+
+ MemoryContextSwitchTo(oldcontext);
+ }
+
+ /*
* Shared code for tuple and datum cases.
*/
static void
*************** tuplesort_getdatum(Tuplesortstate *state
*** 1482,1487 ****
--- 1585,1609 ----
}
/*
+ * Fetch the next tuple in either forward or back direction. Returns NULL if
+ * no more tuples. If *should_free is set, the caller must pfree the returned
+ * tuple when done with it.
+ */
+ HeapTuple
+ tuplesort_getrawtuple(Tuplesortstate *state, bool forward, bool *should_free)
+ {
+ MemoryContext oldcontext = MemoryContextSwitchTo(state->sortcontext);
+ SortTuple stup;
+
+ if (!tuplesort_gettuple_common(state, forward, &stup, should_free))
+ stup.tuple = NULL;
+
+ MemoryContextSwitchTo(oldcontext);
+
+ return stup.tuple;
+ }
+
+ /*
* tuplesort_merge_order - report merge order we'll use for given memory
* (note: "merge order" just means the number of input tapes in the merge).
*
*************** reversedirection_datum(Tuplesortstate *s
*** 3079,3084 ****
--- 3201,3387 ----
}
/*
+ * Routines specialized for raw on-disk HeapTuples. These are only used when
+ * we need visibility information for cases like CLUSTER. Otherwise we should
+ * use other more effective methods that manipulate tuples as MinimalTuples.
+ */
+ static int
+ comparetup_rawheap(const SortTuple *a, const SortTuple *b, Tuplesortstate *state)
+ {
+ ScanKey scanKey = state->indexScanKey;
+ HeapTuple ltup;
+ HeapTuple rtup;
+ TupleDesc tupDesc;
+ int nkey;
+ int32 compare;
+
+ /* Allow interrupting long sorts */
+ CHECK_FOR_INTERRUPTS();
+
+ /* Compare the leading sort key */
+ compare = inlineApplySortFunction(&scanKey->sk_func,
+ scanKey->sk_flags,
+ a->datum1, a->isnull1,
+ b->datum1, b->isnull1);
+ if (compare != 0)
+ return compare;
+
+ /* Compare additional sort keys */
+ ltup = (HeapTuple) a->tuple;
+ rtup = (HeapTuple) b->tuple;
+
+ if (state->indexInfo->ii_Expressions == NULL)
+ {
+ /* if not expression index, just get the proper heap_getattr */
+
+ tupDesc = state->tupDesc;
+ scanKey++;
+
+ for (nkey = 1; nkey < state->nKeys; nkey++, scanKey++)
+ {
+ Datum datum1,
+ datum2;
+ bool isnull1,
+ isnull2;
+
+ datum1 = heap_getattr(ltup, state->indexInfo->ii_KeyAttrNumbers[nkey], tupDesc, &isnull1);
+ datum2 = heap_getattr(rtup, state->indexInfo->ii_KeyAttrNumbers[nkey], tupDesc, &isnull2);
+
+ compare = inlineApplySortFunction(&scanKey->sk_func,
+ scanKey->sk_flags,
+ datum1, isnull1,
+ datum2, isnull2);
+ if (compare != 0)
+ return compare;
+ }
+ }
+ else
+ {
+ /*
+ * in the expression index case, we get all the values/nulls:
+ * it would be faster to get only the required ones, but it would mean
+ * copy&paste from FormIndexDatum
+ */
+
+ Datum l_existing_values[INDEX_MAX_KEYS];
+ bool l_existing_isnull[INDEX_MAX_KEYS];
+ Datum r_existing_values[INDEX_MAX_KEYS];
+ bool r_existing_isnull[INDEX_MAX_KEYS];
+ TupleTableSlot *ecxt_scantuple;
+
+ ecxt_scantuple = GetPerTupleExprContext(state->estate)->ecxt_scantuple;
+
+ ExecStoreTuple(ltup, ecxt_scantuple, InvalidBuffer, false);
+ FormIndexDatum(state->indexInfo, ecxt_scantuple, state->estate,
+ l_existing_values, l_existing_isnull);
+
+ ExecStoreTuple(rtup, ecxt_scantuple, InvalidBuffer, false);
+ FormIndexDatum(state->indexInfo, ecxt_scantuple, state->estate,
+ r_existing_values, r_existing_isnull);
+
+ for (nkey = 1; nkey < state->nKeys; nkey++, scanKey++)
+ {
+ compare = inlineApplySortFunction(&scanKey->sk_func,
+ scanKey->sk_flags,
+ l_existing_values[nkey],
+ l_existing_isnull[nkey],
+ r_existing_values[nkey],
+ r_existing_isnull[nkey]);
+ if (compare != 0)
+ return compare;
+ }
+ }
+
+ return 0;
+ }
+
+ static void
+ copytup_rawheap(Tuplesortstate *state, SortTuple *stup, void *tup)
+ {
+ HeapTuple tuple = (HeapTuple) tup;
+
+ /* copy the tuple into sort storage */
+ stup->tuple = (void *) heap_copytuple(tuple);
+ USEMEM(state, GetMemoryChunkSpace(stup->tuple));
+
+ extract_keys_rawheap(state, stup, tuple);
+ }
+
+ static void
+ writetup_rawheap(Tuplesortstate *state, int tapenum, SortTuple *stup)
+ {
+ HeapTuple tuple = (HeapTuple) stup->tuple;
+ int tuplen = tuple->t_len + HEAPTUPLESIZE;
+
+ LogicalTapeWrite(state->tapeset, tapenum,
+ &tuplen, sizeof(tuplen));
+ LogicalTapeWrite(state->tapeset, tapenum,
+ (char *) tuple + sizeof(tuplen),
+ HEAPTUPLESIZE - sizeof(tuplen));
+ LogicalTapeWrite(state->tapeset, tapenum, tuple->t_data, tuple->t_len);
+ if (state->randomAccess) /* need trailing length word? */
+ LogicalTapeWrite(state->tapeset, tapenum, &tuplen, sizeof(tuplen));
+
+ FREEMEM(state, GetMemoryChunkSpace(tuple));
+ heap_freetuple(tuple);
+ }
+
+ static void
+ readtup_rawheap(Tuplesortstate *state, SortTuple *stup,
+ int tapenum, unsigned int tuplen)
+ {
+ HeapTuple tuple = (HeapTuple) palloc(tuplen);
+
+ USEMEM(state, GetMemoryChunkSpace(tuple));
+
+ tuple->t_len = tuplen - HEAPTUPLESIZE;
+ if (LogicalTapeRead(state->tapeset, tapenum,
+ (char *) tuple + sizeof(tuplen),
+ HEAPTUPLESIZE - sizeof(tuplen)) != HEAPTUPLESIZE - sizeof(tuplen))
+ elog(ERROR, "unexpected end of data");
+ tuple->t_data = (HeapTupleHeader) ((char *) tuple + HEAPTUPLESIZE);
+ if (LogicalTapeRead(state->tapeset, tapenum,
+ tuple->t_data, tuple->t_len) != tuple->t_len)
+ elog(ERROR, "unexpected end of data");
+ if (state->randomAccess) /* need trailing length word? */
+ if (LogicalTapeRead(state->tapeset, tapenum, &tuplen,
+ sizeof(tuplen)) != sizeof(tuplen))
+ elog(ERROR, "unexpected end of data");
+
+ stup->tuple = tuple;
+ extract_keys_rawheap(state, stup, tuple);
+ }
+
+ static void
+ extract_keys_rawheap(Tuplesortstate *state, SortTuple *stup, HeapTuple tuple)
+ {
+ /* set up first-column key value */
+ if (state->indexInfo->ii_Expressions == NULL)
+ {
+ /* no expression index, just get the key datum value */
+ stup->datum1 = heap_getattr((HeapTuple) stup->tuple,
+ state->indexInfo->ii_KeyAttrNumbers[0],
+ state->tupDesc,
+ &stup->isnull1);
+ }
+ else
+ {
+ /* Extract the index column values and nulls from the existing tuple. */
+ Datum existing_values[INDEX_MAX_KEYS];
+ bool existing_isnull[INDEX_MAX_KEYS];
+ TupleTableSlot *ecxt_scantuple;
+
+ ecxt_scantuple = GetPerTupleExprContext(state->estate)->ecxt_scantuple;
+ ExecStoreTuple(tuple, ecxt_scantuple, InvalidBuffer, false);
+ FormIndexDatum(state->indexInfo, ecxt_scantuple, state->estate,
+ existing_values, existing_isnull);
+
+ stup->datum1 = existing_values[0];
+ stup->isnull1 = existing_isnull[0];
+ }
+ }
+
+ /*
* Convenience routine to free a tuple previously loaded into sort memory
*/
static void
diff --git a/src/include/optimizer/cost.h b/src/include/optimizer/cost.h
index 63641b9..be60654 100644
*** a/src/include/optimizer/cost.h
--- b/src/include/optimizer/cost.h
*************** extern void cost_hashjoin(HashPath *path
*** 110,115 ****
--- 110,117 ----
extern void cost_subplan(PlannerInfo *root, SubPlan *subplan, Plan *plan);
extern void cost_qual_eval(QualCost *cost, List *quals, PlannerInfo *root);
extern void cost_qual_eval_node(QualCost *cost, Node *qual, PlannerInfo *root);
+ extern void cost_index_scan_vs_seqscansort(Oid tableOid, Oid indexOid,
+ Cost *indexScanCost, Cost *seqScanAndSortCost, int sort_mem);
extern void set_baserel_size_estimates(PlannerInfo *root, RelOptInfo *rel);
extern void set_joinrel_size_estimates(PlannerInfo *root, RelOptInfo *rel,
RelOptInfo *outer_rel,
diff --git a/src/include/utils/tuplesort.h b/src/include/utils/tuplesort.h
index d879ff0..b215bb5 100644
*** a/src/include/utils/tuplesort.h
--- b/src/include/utils/tuplesort.h
*************** extern Tuplesortstate *tuplesort_begin_i
*** 64,69 ****
--- 64,72 ----
extern Tuplesortstate *tuplesort_begin_datum(Oid datumType,
Oid sortOperator, bool nullsFirstFlag,
int workMem, bool randomAccess);
+ extern Tuplesortstate *tuplesort_begin_rawheap(Relation indexRel,
+ TupleDesc tupDesc,
+ int workMem, bool randomAccess);
extern void tuplesort_set_bound(Tuplesortstate *state, int64 bound);
*************** extern void tuplesort_puttupleslot(Tuple
*** 72,77 ****
--- 75,81 ----
extern void tuplesort_putindextuple(Tuplesortstate *state, IndexTuple tuple);
extern void tuplesort_putdatum(Tuplesortstate *state, Datum val,
bool isNull);
+ extern void tuplesort_putrawtuple(Tuplesortstate *state, HeapTuple tup);
extern void tuplesort_performsort(Tuplesortstate *state);
*************** extern IndexTuple tuplesort_getindextupl
*** 81,86 ****
--- 85,92 ----
bool *should_free);
extern bool tuplesort_getdatum(Tuplesortstate *state, bool forward,
Datum *val, bool *isNull);
+ extern HeapTuple tuplesort_getrawtuple(Tuplesortstate *state, bool forward,
+ bool *should_free);
extern void tuplesort_end(Tuplesortstate *state);