Age Owner Branch data TLA Line data Source code
1 : : /*-------------------------------------------------------------------------
2 : : *
3 : : * itemptr.c
4 : : * POSTGRES disk item pointer code.
5 : : *
6 : : * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
7 : : * Portions Copyright (c) 1994, Regents of the University of California
8 : : *
9 : : *
10 : : * IDENTIFICATION
11 : : * src/backend/storage/page/itemptr.c
12 : : *
13 : : *-------------------------------------------------------------------------
14 : : */
15 : : #include "postgres.h"
16 : :
17 : : #include "storage/itemptr.h"
18 : :
19 : :
20 : : /*
21 : : * We really want ItemPointerData to be exactly 6 bytes.
22 : : */
23 : : StaticAssertDecl(sizeof(ItemPointerData) == 3 * sizeof(uint16),
24 : : "ItemPointerData struct is improperly padded");
25 : :
26 : : /*
27 : : * ItemPointerEquals
28 : : * Returns true if both item pointers point to the same item,
29 : : * otherwise returns false.
30 : : *
31 : : * Note:
32 : : * Asserts that the disk item pointers are both valid!
33 : : */
34 : : bool
136 peter@eisentraut.org 35 :GNC 21903503 : ItemPointerEquals(const ItemPointerData *pointer1, const ItemPointerData *pointer2)
36 : : {
10416 bruce@momjian.us 37 [ + + ]:CBC 43807006 : if (ItemPointerGetBlockNumber(pointer1) ==
38 [ + + ]: 37430190 : ItemPointerGetBlockNumber(pointer2) &&
39 : 15526687 : ItemPointerGetOffsetNumber(pointer1) ==
40 : 15526687 : ItemPointerGetOffsetNumber(pointer2))
10057 41 : 13402137 : return true;
42 : : else
43 : 8501366 : return false;
44 : : }
45 : :
46 : : /*
47 : : * ItemPointerCompare
48 : : * Generic btree-style comparison for item pointers.
49 : : */
50 : : int32
136 peter@eisentraut.org 51 :GNC 25373717 : ItemPointerCompare(const ItemPointerData *arg1, const ItemPointerData *arg2)
52 : : {
53 : : /*
54 : : * Use ItemPointerGet{Offset,Block}NumberNoCheck to avoid asserting
55 : : * ip_posid != 0, which may not be true for a user-supplied TID.
56 : : */
3274 alvherre@alvh.no-ip. 57 :CBC 25373717 : BlockNumber b1 = ItemPointerGetBlockNumberNoCheck(arg1);
58 : 25373717 : BlockNumber b2 = ItemPointerGetBlockNumberNoCheck(arg2);
59 : :
7142 tgl@sss.pgh.pa.us 60 [ + + ]: 25373717 : if (b1 < b2)
61 : 857853 : return -1;
62 [ + + ]: 24515864 : else if (b1 > b2)
63 : 11442368 : return 1;
3274 alvherre@alvh.no-ip. 64 [ + + ]: 26146992 : else if (ItemPointerGetOffsetNumberNoCheck(arg1) <
65 : 13073496 : ItemPointerGetOffsetNumberNoCheck(arg2))
7142 tgl@sss.pgh.pa.us 66 : 1206819 : return -1;
3274 alvherre@alvh.no-ip. 67 [ + + ]: 23733354 : else if (ItemPointerGetOffsetNumberNoCheck(arg1) >
68 : 11866677 : ItemPointerGetOffsetNumberNoCheck(arg2))
7142 tgl@sss.pgh.pa.us 69 : 9778932 : return 1;
70 : : else
71 : 2087745 : return 0;
72 : : }
73 : :
74 : : /*
75 : : * ItemPointerInc
76 : : * Increment 'pointer' by 1 only paying attention to the ItemPointer's
77 : : * type's range limits and not MaxOffsetNumber and FirstOffsetNumber.
78 : : * This may result in 'pointer' becoming !OffsetNumberIsValid.
79 : : *
80 : : * If the pointer is already the maximum possible values permitted by the
81 : : * range of the ItemPointer's types, then do nothing.
82 : : */
83 : : void
1842 drowley@postgresql.o 84 : 53 : ItemPointerInc(ItemPointer pointer)
85 : : {
86 : 53 : BlockNumber blk = ItemPointerGetBlockNumberNoCheck(pointer);
87 : 53 : OffsetNumber off = ItemPointerGetOffsetNumberNoCheck(pointer);
88 : :
89 [ + + ]: 53 : if (off == PG_UINT16_MAX)
90 : : {
91 [ + + ]: 6 : if (blk != InvalidBlockNumber)
92 : : {
93 : 3 : off = 0;
94 : 3 : blk++;
95 : : }
96 : : }
97 : : else
98 : 47 : off++;
99 : :
100 : 53 : ItemPointerSet(pointer, blk, off);
101 : 53 : }
102 : :
103 : : /*
104 : : * ItemPointerDec
105 : : * Decrement 'pointer' by 1 only paying attention to the ItemPointer's
106 : : * type's range limits and not MaxOffsetNumber and FirstOffsetNumber.
107 : : * This may result in 'pointer' becoming !OffsetNumberIsValid.
108 : : *
109 : : * If the pointer is already the minimum possible values permitted by the
110 : : * range of the ItemPointer's types, then do nothing. This does rely on
111 : : * FirstOffsetNumber being 1 rather than 0.
112 : : */
113 : : void
114 : 78 : ItemPointerDec(ItemPointer pointer)
115 : : {
116 : 78 : BlockNumber blk = ItemPointerGetBlockNumberNoCheck(pointer);
117 : 78 : OffsetNumber off = ItemPointerGetOffsetNumberNoCheck(pointer);
118 : :
119 [ + + ]: 78 : if (off == 0)
120 : : {
121 [ + + ]: 45 : if (blk != 0)
122 : : {
123 : 36 : off = PG_UINT16_MAX;
124 : 36 : blk--;
125 : : }
126 : : }
127 : : else
128 : 33 : off--;
129 : :
130 : 78 : ItemPointerSet(pointer, blk, off);
131 : 78 : }
|
