PostgreSQL Source Code  git master
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Pages
itup.h
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * itup.h
4  * POSTGRES index tuple definitions.
5  *
6  *
7  * Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
8  * Portions Copyright (c) 1994, Regents of the University of California
9  *
10  * src/include/access/itup.h
11  *
12  *-------------------------------------------------------------------------
13  */
14 #ifndef ITUP_H
15 #define ITUP_H
16 
17 #include "access/tupdesc.h"
18 #include "access/tupmacs.h"
19 #include "storage/bufpage.h"
20 #include "storage/itemptr.h"
21 
22 /*
23  * Index tuple header structure
24  *
25  * All index tuples start with IndexTupleData. If the HasNulls bit is set,
26  * this is followed by an IndexAttributeBitMapData. The index attribute
27  * values follow, beginning at a MAXALIGN boundary.
28  *
29  * Note that the space allocated for the bitmap does not vary with the number
30  * of attributes; that is because we don't have room to store the number of
31  * attributes in the header. Given the MAXALIGN constraint there's no space
32  * savings to be had anyway, for usual values of INDEX_MAX_KEYS.
33  */
34 
35 typedef struct IndexTupleData
36 {
37  ItemPointerData t_tid; /* reference TID to heap tuple */
38 
39  /* ---------------
40  * t_info is laid out in the following fashion:
41  *
42  * 15th (high) bit: has nulls
43  * 14th bit: has var-width attributes
44  * 13th bit: AM-defined meaning
45  * 12-0 bit: size of tuple
46  * ---------------
47  */
48 
49  unsigned short t_info; /* various info about tuple */
50 
51 } IndexTupleData; /* MORE DATA FOLLOWS AT END OF STRUCT */
52 
54 
56 {
57  bits8 bits[(INDEX_MAX_KEYS + 8 - 1) / 8];
59 
61 
62 /*
63  * t_info manipulation macros
64  */
65 #define INDEX_SIZE_MASK 0x1FFF
66 #define INDEX_AM_RESERVED_BIT 0x2000 /* reserved for index-AM specific
67  * usage */
68 #define INDEX_VAR_MASK 0x4000
69 #define INDEX_NULL_MASK 0x8000
70 
71 #define IndexTupleSize(itup) ((Size) ((itup)->t_info & INDEX_SIZE_MASK))
72 #define IndexTupleHasNulls(itup) ((((IndexTuple) (itup))->t_info & INDEX_NULL_MASK))
73 #define IndexTupleHasVarwidths(itup) ((((IndexTuple) (itup))->t_info & INDEX_VAR_MASK))
74 
75 
76 /* routines in indextuple.c */
77 extern IndexTuple index_form_tuple(TupleDesc tupleDescriptor,
78  const Datum *values, const bool *isnull);
79 extern IndexTuple index_form_tuple_context(TupleDesc tupleDescriptor,
80  const Datum *values, const bool *isnull,
83  TupleDesc tupleDesc);
84 extern void index_deform_tuple(IndexTuple tup, TupleDesc tupleDescriptor,
85  Datum *values, bool *isnull);
86 extern void index_deform_tuple_internal(TupleDesc tupleDescriptor,
87  Datum *values, bool *isnull,
88  char *tp, bits8 *bp, int hasnulls);
90 extern IndexTuple index_truncate_tuple(TupleDesc sourceDescriptor,
91  IndexTuple source, int leavenatts);
92 
93 
94 /*
95  * Takes an infomask as argument (primarily because this needs to be usable
96  * at index_form_tuple time so enough space is allocated).
97  */
98 static inline Size
99 IndexInfoFindDataOffset(unsigned short t_info)
100 {
101  if (!(t_info & INDEX_NULL_MASK))
102  return MAXALIGN(sizeof(IndexTupleData));
103  else
104  return MAXALIGN(sizeof(IndexTupleData) + sizeof(IndexAttributeBitMapData));
105 }
106 
107 #ifndef FRONTEND
108 
109 /* ----------------
110  * index_getattr
111  *
112  * This gets called many times, so we macro the cacheable and NULL
113  * lookups, and call nocache_index_getattr() for the rest.
114  *
115  * ----------------
116  */
117 static inline Datum
118 index_getattr(IndexTuple tup, int attnum, TupleDesc tupleDesc, bool *isnull)
119 {
120  Assert(PointerIsValid(isnull));
121  Assert(attnum > 0);
122 
123  *isnull = false;
124 
125  if (!IndexTupleHasNulls(tup))
126  {
127  if (TupleDescAttr(tupleDesc, attnum - 1)->attcacheoff >= 0)
128  {
129  return fetchatt(TupleDescAttr(tupleDesc, attnum - 1),
130  (char *) tup + IndexInfoFindDataOffset(tup->t_info)
131  + TupleDescAttr(tupleDesc, attnum - 1)->attcacheoff);
132  }
133  else
134  return nocache_index_getattr(tup, attnum, tupleDesc);
135  }
136  else
137  {
138  if (att_isnull(attnum - 1, (bits8 *) tup + sizeof(IndexTupleData)))
139  {
140  *isnull = true;
141  return (Datum) NULL;
142  }
143  else
144  return nocache_index_getattr(tup, attnum, tupleDesc);
145  }
146 }
147 
148 #endif
149 
150 /*
151  * MaxIndexTuplesPerPage is an upper bound on the number of tuples that can
152  * fit on one index page. An index tuple must have either data or a null
153  * bitmap, so we can safely assume it's at least 1 byte bigger than a bare
154  * IndexTupleData struct. We arrive at the divisor because each tuple
155  * must be maxaligned, and it must have an associated line pointer.
156  *
157  * To be index-type-independent, this does not account for any special space
158  * on the page, and is thus conservative.
159  *
160  * Note: in btree non-leaf pages, the first tuple has no key (it's implicitly
161  * minus infinity), thus breaking the "at least 1 byte bigger" assumption.
162  * On such a page, N tuples could take one MAXALIGN quantum less space than
163  * estimated here, seemingly allowing one more tuple than estimated here.
164  * But such a page always has at least MAXALIGN special space, so we're safe.
165  */
166 #define MaxIndexTuplesPerPage \
167  ((int) ((BLCKSZ - SizeOfPageHeaderData) / \
168  (MAXALIGN(sizeof(IndexTupleData) + 1) + sizeof(ItemIdData))))
169 
170 #endif /* ITUP_H */
static Datum values[MAXATTR]
Definition: bootstrap.c:151
#define MAXALIGN(LEN)
Definition: c.h:816
#define Assert(condition)
Definition: c.h:863
#define PointerIsValid(pointer)
Definition: c.h:768
uint8 bits8
Definition: c.h:524
size_t Size
Definition: c.h:610
void index_deform_tuple(IndexTuple tup, TupleDesc tupleDescriptor, Datum *values, bool *isnull)
Definition: indextuple.c:456
IndexTuple index_truncate_tuple(TupleDesc sourceDescriptor, IndexTuple source, int leavenatts)
Definition: indextuple.c:576
#define IndexTupleHasNulls(itup)
Definition: itup.h:71
#define INDEX_NULL_MASK
Definition: itup.h:68
struct IndexAttributeBitMapData IndexAttributeBitMapData
IndexTupleData * IndexTuple
Definition: itup.h:53
IndexTuple CopyIndexTuple(IndexTuple source)
Definition: indextuple.c:547
static Datum index_getattr(IndexTuple tup, int attnum, TupleDesc tupleDesc, bool *isnull)
Definition: itup.h:117
IndexAttributeBitMapData * IndexAttributeBitMap
Definition: itup.h:60
void index_deform_tuple_internal(TupleDesc tupleDescriptor, Datum *values, bool *isnull, char *tp, bits8 *bp, int hasnulls)
Definition: indextuple.c:479
IndexTuple index_form_tuple_context(TupleDesc tupleDescriptor, const Datum *values, const bool *isnull, MemoryContext context)
Definition: indextuple.c:65
struct IndexTupleData IndexTupleData
Datum nocache_index_getattr(IndexTuple tup, int attnum, TupleDesc tupleDesc)
Definition: indextuple.c:241
IndexTuple index_form_tuple(TupleDesc tupleDescriptor, const Datum *values, const bool *isnull)
Definition: indextuple.c:44
static Size IndexInfoFindDataOffset(unsigned short t_info)
Definition: itup.h:98
int16 attnum
Definition: pg_attribute.h:74
#define INDEX_MAX_KEYS
static rewind_source * source
Definition: pg_rewind.c:89
uintptr_t Datum
Definition: postgres.h:64
tree context
Definition: radixtree.h:1835
bits8 bits[(INDEX_MAX_KEYS+8 - 1)/8]
Definition: itup.h:57
ItemPointerData t_tid
Definition: itup.h:37
unsigned short t_info
Definition: itup.h:49
#define TupleDescAttr(tupdesc, i)
Definition: tupdesc.h:92
static bool att_isnull(int ATT, const bits8 *BITS)
Definition: tupmacs.h:26
#define fetchatt(A, T)
Definition: tupmacs.h:46