PostgreSQL Source Code git master
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Pages
decode.c File Reference
Include dependency graph for decode.c:

Go to the source code of this file.

Functions

static void DecodeInsert (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
static void DecodeUpdate (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
static void DecodeDelete (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
static void DecodeTruncate (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
static void DecodeMultiInsert (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
static void DecodeSpecConfirm (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
static void DecodeCommit (LogicalDecodingContext *ctx, XLogRecordBuffer *buf, xl_xact_parsed_commit *parsed, TransactionId xid, bool two_phase)
 
static void DecodeAbort (LogicalDecodingContext *ctx, XLogRecordBuffer *buf, xl_xact_parsed_abort *parsed, TransactionId xid, bool two_phase)
 
static void DecodePrepare (LogicalDecodingContext *ctx, XLogRecordBuffer *buf, xl_xact_parsed_prepare *parsed)
 
static void DecodeXLogTuple (char *data, Size len, HeapTuple tuple)
 
static bool FilterPrepare (LogicalDecodingContext *ctx, TransactionId xid, const char *gid)
 
static bool DecodeTXNNeedSkip (LogicalDecodingContext *ctx, XLogRecordBuffer *buf, Oid txn_dbid, RepOriginId origin_id)
 
void LogicalDecodingProcessRecord (LogicalDecodingContext *ctx, XLogReaderState *record)
 
void xlog_decode (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
void xact_decode (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
void standby_decode (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
void heap2_decode (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
void heap_decode (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 
static bool FilterByOrigin (LogicalDecodingContext *ctx, RepOriginId origin_id)
 
void logicalmsg_decode (LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
 

Function Documentation

◆ DecodeAbort()

static void DecodeAbort ( LogicalDecodingContext ctx,
XLogRecordBuffer buf,
xl_xact_parsed_abort parsed,
TransactionId  xid,
bool  two_phase 
)
static

Definition at line 834 of file decode.c.

837{
838 int i;
839 XLogRecPtr origin_lsn = InvalidXLogRecPtr;
840 TimestampTz abort_time = parsed->xact_time;
841 RepOriginId origin_id = XLogRecGetOrigin(buf->record);
842 bool skip_xact;
843
844 if (parsed->xinfo & XACT_XINFO_HAS_ORIGIN)
845 {
846 origin_lsn = parsed->origin_lsn;
847 abort_time = parsed->origin_timestamp;
848 }
849
850 /*
851 * Check whether we need to process this transaction. See
852 * DecodeTXNNeedSkip for the reasons why we sometimes want to skip the
853 * transaction.
854 */
855 skip_xact = DecodeTXNNeedSkip(ctx, buf, parsed->dbId, origin_id);
856
857 /*
858 * Send the final rollback record for a prepared transaction unless we
859 * need to skip it. For non-two-phase xacts, simply forget the xact.
860 */
861 if (two_phase && !skip_xact)
862 {
863 ReorderBufferFinishPrepared(ctx->reorder, xid, buf->origptr, buf->endptr,
865 abort_time, origin_id, origin_lsn,
866 parsed->twophase_gid, false);
867 }
868 else
869 {
870 for (i = 0; i < parsed->nsubxacts; i++)
871 {
872 ReorderBufferAbort(ctx->reorder, parsed->subxacts[i],
873 buf->record->EndRecPtr, abort_time);
874 }
875
876 ReorderBufferAbort(ctx->reorder, xid, buf->record->EndRecPtr,
877 abort_time);
878 }
879
880 /* update the decoding stats */
882}
int64 TimestampTz
Definition: timestamp.h:39
static bool DecodeTXNNeedSkip(LogicalDecodingContext *ctx, XLogRecordBuffer *buf, Oid txn_dbid, RepOriginId origin_id)
Definition: decode.c:1292
int i
Definition: isn.c:77
void UpdateDecodingStats(LogicalDecodingContext *ctx)
Definition: logical.c:1915
static bool two_phase
static char * buf
Definition: pg_test_fsync.c:72
void ReorderBufferAbort(ReorderBuffer *rb, TransactionId xid, XLogRecPtr lsn, TimestampTz abort_time)
void ReorderBufferFinishPrepared(ReorderBuffer *rb, TransactionId xid, XLogRecPtr commit_lsn, XLogRecPtr end_lsn, XLogRecPtr two_phase_at, TimestampTz commit_time, RepOriginId origin_id, XLogRecPtr origin_lsn, char *gid, bool is_commit)
struct ReorderBuffer * reorder
Definition: logical.h:43
TimestampTz xact_time
Definition: xact.h:412
TransactionId * subxacts
Definition: xact.h:419
XLogRecPtr origin_lsn
Definition: xact.h:430
char twophase_gid[GIDSIZE]
Definition: xact.h:428
TimestampTz origin_timestamp
Definition: xact.h:431
#define XACT_XINFO_HAS_ORIGIN
Definition: xact.h:193
uint16 RepOriginId
Definition: xlogdefs.h:65
uint64 XLogRecPtr
Definition: xlogdefs.h:21
#define InvalidXLogRecPtr
Definition: xlogdefs.h:28
#define XLogRecGetOrigin(decoder)
Definition: xlogreader.h:413

References buf, xl_xact_parsed_abort::dbId, DecodeTXNNeedSkip(), i, InvalidXLogRecPtr, xl_xact_parsed_abort::nsubxacts, xl_xact_parsed_abort::origin_lsn, xl_xact_parsed_abort::origin_timestamp, LogicalDecodingContext::reorder, ReorderBufferAbort(), ReorderBufferFinishPrepared(), xl_xact_parsed_abort::subxacts, two_phase, xl_xact_parsed_abort::twophase_gid, UpdateDecodingStats(), xl_xact_parsed_abort::xact_time, XACT_XINFO_HAS_ORIGIN, xl_xact_parsed_abort::xinfo, and XLogRecGetOrigin.

Referenced by xact_decode().

◆ DecodeCommit()

static void DecodeCommit ( LogicalDecodingContext ctx,
XLogRecordBuffer buf,
xl_xact_parsed_commit parsed,
TransactionId  xid,
bool  two_phase 
)
static

Definition at line 663 of file decode.c.

666{
667 XLogRecPtr origin_lsn = InvalidXLogRecPtr;
668 TimestampTz commit_time = parsed->xact_time;
669 RepOriginId origin_id = XLogRecGetOrigin(buf->record);
670 int i;
671
672 if (parsed->xinfo & XACT_XINFO_HAS_ORIGIN)
673 {
674 origin_lsn = parsed->origin_lsn;
675 commit_time = parsed->origin_timestamp;
676 }
677
678 SnapBuildCommitTxn(ctx->snapshot_builder, buf->origptr, xid,
679 parsed->nsubxacts, parsed->subxacts,
680 parsed->xinfo);
681
682 /* ----
683 * Check whether we are interested in this specific transaction, and tell
684 * the reorderbuffer to forget the content of the (sub-)transactions
685 * if not.
686 *
687 * We can't just use ReorderBufferAbort() here, because we need to execute
688 * the transaction's invalidations. This currently won't be needed if
689 * we're just skipping over the transaction because currently we only do
690 * so during startup, to get to the first transaction the client needs. As
691 * we have reset the catalog caches before starting to read WAL, and we
692 * haven't yet touched any catalogs, there can't be anything to invalidate.
693 * But if we're "forgetting" this commit because it happened in another
694 * database, the invalidations might be important, because they could be
695 * for shared catalogs and we might have loaded data into the relevant
696 * syscaches.
697 * ---
698 */
699 if (DecodeTXNNeedSkip(ctx, buf, parsed->dbId, origin_id))
700 {
701 for (i = 0; i < parsed->nsubxacts; i++)
702 {
703 ReorderBufferForget(ctx->reorder, parsed->subxacts[i], buf->origptr);
704 }
705 ReorderBufferForget(ctx->reorder, xid, buf->origptr);
706
707 return;
708 }
709
710 /* tell the reorderbuffer about the surviving subtransactions */
711 for (i = 0; i < parsed->nsubxacts; i++)
712 {
713 ReorderBufferCommitChild(ctx->reorder, xid, parsed->subxacts[i],
714 buf->origptr, buf->endptr);
715 }
716
717 /*
718 * Send the final commit record if the transaction data is already
719 * decoded, otherwise, process the entire transaction.
720 */
721 if (two_phase)
722 {
723 ReorderBufferFinishPrepared(ctx->reorder, xid, buf->origptr, buf->endptr,
725 commit_time, origin_id, origin_lsn,
726 parsed->twophase_gid, true);
727 }
728 else
729 {
730 ReorderBufferCommit(ctx->reorder, xid, buf->origptr, buf->endptr,
731 commit_time, origin_id, origin_lsn);
732 }
733
734 /*
735 * Update the decoding stats at transaction prepare/commit/abort.
736 * Additionally we send the stats when we spill or stream the changes to
737 * avoid losing them in case the decoding is interrupted. It is not clear
738 * that sending more or less frequently than this would be better.
739 */
741}
void ReorderBufferForget(ReorderBuffer *rb, TransactionId xid, XLogRecPtr lsn)
void ReorderBufferCommitChild(ReorderBuffer *rb, TransactionId xid, TransactionId subxid, XLogRecPtr commit_lsn, XLogRecPtr end_lsn)
void ReorderBufferCommit(ReorderBuffer *rb, TransactionId xid, XLogRecPtr commit_lsn, XLogRecPtr end_lsn, TimestampTz commit_time, RepOriginId origin_id, XLogRecPtr origin_lsn)
XLogRecPtr SnapBuildGetTwoPhaseAt(SnapBuild *builder)
Definition: snapbuild.c:286
void SnapBuildCommitTxn(SnapBuild *builder, XLogRecPtr lsn, TransactionId xid, int nsubxacts, TransactionId *subxacts, uint32 xinfo)
Definition: snapbuild.c:932
struct SnapBuild * snapshot_builder
Definition: logical.h:44
TimestampTz xact_time
Definition: xact.h:379
TimestampTz origin_timestamp
Definition: xact.h:405
TransactionId * subxacts
Definition: xact.h:386
char twophase_gid[GIDSIZE]
Definition: xact.h:398
XLogRecPtr origin_lsn
Definition: xact.h:404

References buf, xl_xact_parsed_commit::dbId, DecodeTXNNeedSkip(), i, InvalidXLogRecPtr, xl_xact_parsed_commit::nsubxacts, xl_xact_parsed_commit::origin_lsn, xl_xact_parsed_commit::origin_timestamp, LogicalDecodingContext::reorder, ReorderBufferCommit(), ReorderBufferCommitChild(), ReorderBufferFinishPrepared(), ReorderBufferForget(), SnapBuildCommitTxn(), SnapBuildGetTwoPhaseAt(), LogicalDecodingContext::snapshot_builder, xl_xact_parsed_commit::subxacts, two_phase, xl_xact_parsed_commit::twophase_gid, UpdateDecodingStats(), xl_xact_parsed_commit::xact_time, XACT_XINFO_HAS_ORIGIN, xl_xact_parsed_commit::xinfo, and XLogRecGetOrigin.

Referenced by xact_decode().

◆ DecodeDelete()

static void DecodeDelete ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)
static

Definition at line 1016 of file decode.c.

1017{
1018 XLogReaderState *r = buf->record;
1019 xl_heap_delete *xlrec;
1020 ReorderBufferChange *change;
1021 RelFileLocator target_locator;
1022
1023 xlrec = (xl_heap_delete *) XLogRecGetData(r);
1024
1025 /* only interested in our database */
1026 XLogRecGetBlockTag(r, 0, &target_locator, NULL, NULL);
1027 if (target_locator.dbOid != ctx->slot->data.database)
1028 return;
1029
1030 /* output plugin doesn't look for this origin, no need to queue */
1031 if (FilterByOrigin(ctx, XLogRecGetOrigin(r)))
1032 return;
1033
1034 change = ReorderBufferAllocChange(ctx->reorder);
1035
1036 if (xlrec->flags & XLH_DELETE_IS_SUPER)
1038 else
1040
1041 change->origin_id = XLogRecGetOrigin(r);
1042
1043 memcpy(&change->data.tp.rlocator, &target_locator, sizeof(RelFileLocator));
1044
1045 /* old primary key stored */
1046 if (xlrec->flags & XLH_DELETE_CONTAINS_OLD)
1047 {
1049 Size tuplelen = datalen - SizeOfHeapHeader;
1050
1052
1053 change->data.tp.oldtuple =
1054 ReorderBufferAllocTupleBuf(ctx->reorder, tuplelen);
1055
1056 DecodeXLogTuple((char *) xlrec + SizeOfHeapDelete,
1057 datalen, change->data.tp.oldtuple);
1058 }
1059
1060 change->data.tp.clear_toast_afterwards = true;
1061
1063 change, false);
1064}
size_t Size
Definition: c.h:576
static void DecodeXLogTuple(char *data, Size len, HeapTuple tuple)
Definition: decode.c:1248
static bool FilterByOrigin(LogicalDecodingContext *ctx, RepOriginId origin_id)
Definition: decode.c:570
Assert(PointerIsAligned(start, uint64))
#define XLH_DELETE_CONTAINS_OLD
Definition: heapam_xlog.h:109
#define SizeOfHeapHeader
Definition: heapam_xlog.h:157
#define SizeOfHeapDelete
Definition: heapam_xlog.h:121
#define XLH_DELETE_IS_SUPER
Definition: heapam_xlog.h:105
void ReorderBufferQueueChange(ReorderBuffer *rb, TransactionId xid, XLogRecPtr lsn, ReorderBufferChange *change, bool toast_insert)
HeapTuple ReorderBufferAllocTupleBuf(ReorderBuffer *rb, Size tuple_len)
ReorderBufferChange * ReorderBufferAllocChange(ReorderBuffer *rb)
@ REORDER_BUFFER_CHANGE_INTERNAL_SPEC_ABORT
Definition: reorderbuffer.h:62
@ REORDER_BUFFER_CHANGE_DELETE
Definition: reorderbuffer.h:54
ReplicationSlot * slot
Definition: logical.h:39
ReorderBufferChangeType action
Definition: reorderbuffer.h:81
RelFileLocator rlocator
Definition: reorderbuffer.h:98
union ReorderBufferChange::@110 data
RepOriginId origin_id
Definition: reorderbuffer.h:86
struct ReorderBufferChange::@110::@111 tp
ReplicationSlotPersistentData data
Definition: slot.h:185
void XLogRecGetBlockTag(XLogReaderState *record, uint8 block_id, RelFileLocator *rlocator, ForkNumber *forknum, BlockNumber *blknum)
Definition: xlogreader.c:1981
#define XLogRecGetDataLen(decoder)
Definition: xlogreader.h:416
#define XLogRecGetData(decoder)
Definition: xlogreader.h:415
#define XLogRecGetXid(decoder)
Definition: xlogreader.h:412

References ReorderBufferChange::action, Assert(), buf, ReorderBufferChange::clear_toast_afterwards, ReorderBufferChange::data, ReplicationSlot::data, ReplicationSlotPersistentData::database, RelFileLocator::dbOid, DecodeXLogTuple(), FilterByOrigin(), xl_heap_delete::flags, ReorderBufferChange::oldtuple, ReorderBufferChange::origin_id, LogicalDecodingContext::reorder, REORDER_BUFFER_CHANGE_DELETE, REORDER_BUFFER_CHANGE_INTERNAL_SPEC_ABORT, ReorderBufferAllocChange(), ReorderBufferAllocTupleBuf(), ReorderBufferQueueChange(), ReorderBufferChange::rlocator, SizeOfHeapDelete, SizeOfHeapHeader, LogicalDecodingContext::slot, ReorderBufferChange::tp, XLH_DELETE_CONTAINS_OLD, XLH_DELETE_IS_SUPER, XLogRecGetBlockTag(), XLogRecGetData, XLogRecGetDataLen, XLogRecGetOrigin, and XLogRecGetXid.

Referenced by heap_decode().

◆ DecodeInsert()

static void DecodeInsert ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)
static

Definition at line 890 of file decode.c.

891{
892 Size datalen;
893 char *tupledata;
894 Size tuplelen;
895 XLogReaderState *r = buf->record;
896 xl_heap_insert *xlrec;
897 ReorderBufferChange *change;
898 RelFileLocator target_locator;
899
900 xlrec = (xl_heap_insert *) XLogRecGetData(r);
901
902 /*
903 * Ignore insert records without new tuples (this does happen when
904 * raw_heap_insert marks the TOAST record as HEAP_INSERT_NO_LOGICAL).
905 */
906 if (!(xlrec->flags & XLH_INSERT_CONTAINS_NEW_TUPLE))
907 return;
908
909 /* only interested in our database */
910 XLogRecGetBlockTag(r, 0, &target_locator, NULL, NULL);
911 if (target_locator.dbOid != ctx->slot->data.database)
912 return;
913
914 /* output plugin doesn't look for this origin, no need to queue */
915 if (FilterByOrigin(ctx, XLogRecGetOrigin(r)))
916 return;
917
918 change = ReorderBufferAllocChange(ctx->reorder);
919 if (!(xlrec->flags & XLH_INSERT_IS_SPECULATIVE))
921 else
923 change->origin_id = XLogRecGetOrigin(r);
924
925 memcpy(&change->data.tp.rlocator, &target_locator, sizeof(RelFileLocator));
926
927 tupledata = XLogRecGetBlockData(r, 0, &datalen);
928 tuplelen = datalen - SizeOfHeapHeader;
929
930 change->data.tp.newtuple =
931 ReorderBufferAllocTupleBuf(ctx->reorder, tuplelen);
932
933 DecodeXLogTuple(tupledata, datalen, change->data.tp.newtuple);
934
935 change->data.tp.clear_toast_afterwards = true;
936
938 change,
940}
#define XLH_INSERT_ON_TOAST_RELATION
Definition: heapam_xlog.h:76
#define XLH_INSERT_IS_SPECULATIVE
Definition: heapam_xlog.h:74
#define XLH_INSERT_CONTAINS_NEW_TUPLE
Definition: heapam_xlog.h:75
@ REORDER_BUFFER_CHANGE_INSERT
Definition: reorderbuffer.h:52
@ REORDER_BUFFER_CHANGE_INTERNAL_SPEC_INSERT
Definition: reorderbuffer.h:60
char * XLogRecGetBlockData(XLogReaderState *record, uint8 block_id, Size *len)
Definition: xlogreader.c:2035

References ReorderBufferChange::action, buf, ReorderBufferChange::clear_toast_afterwards, ReorderBufferChange::data, ReplicationSlot::data, ReplicationSlotPersistentData::database, RelFileLocator::dbOid, DecodeXLogTuple(), FilterByOrigin(), xl_heap_insert::flags, ReorderBufferChange::newtuple, ReorderBufferChange::origin_id, LogicalDecodingContext::reorder, REORDER_BUFFER_CHANGE_INSERT, REORDER_BUFFER_CHANGE_INTERNAL_SPEC_INSERT, ReorderBufferAllocChange(), ReorderBufferAllocTupleBuf(), ReorderBufferQueueChange(), ReorderBufferChange::rlocator, SizeOfHeapHeader, LogicalDecodingContext::slot, ReorderBufferChange::tp, XLH_INSERT_CONTAINS_NEW_TUPLE, XLH_INSERT_IS_SPECULATIVE, XLH_INSERT_ON_TOAST_RELATION, XLogRecGetBlockData(), XLogRecGetBlockTag(), XLogRecGetData, XLogRecGetOrigin, and XLogRecGetXid.

Referenced by heap_decode().

◆ DecodeMultiInsert()

static void DecodeMultiInsert ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)
static

Definition at line 1108 of file decode.c.

1109{
1110 XLogReaderState *r = buf->record;
1111 xl_heap_multi_insert *xlrec;
1112 int i;
1113 char *data;
1114 char *tupledata;
1115 Size tuplelen;
1116 RelFileLocator rlocator;
1117
1118 xlrec = (xl_heap_multi_insert *) XLogRecGetData(r);
1119
1120 /*
1121 * Ignore insert records without new tuples. This happens when a
1122 * multi_insert is done on a catalog or on a non-persistent relation.
1123 */
1124 if (!(xlrec->flags & XLH_INSERT_CONTAINS_NEW_TUPLE))
1125 return;
1126
1127 /* only interested in our database */
1128 XLogRecGetBlockTag(r, 0, &rlocator, NULL, NULL);
1129 if (rlocator.dbOid != ctx->slot->data.database)
1130 return;
1131
1132 /* output plugin doesn't look for this origin, no need to queue */
1133 if (FilterByOrigin(ctx, XLogRecGetOrigin(r)))
1134 return;
1135
1136 /*
1137 * We know that this multi_insert isn't for a catalog, so the block should
1138 * always have data even if a full-page write of it is taken.
1139 */
1140 tupledata = XLogRecGetBlockData(r, 0, &tuplelen);
1141 Assert(tupledata != NULL);
1142
1143 data = tupledata;
1144 for (i = 0; i < xlrec->ntuples; i++)
1145 {
1146 ReorderBufferChange *change;
1147 xl_multi_insert_tuple *xlhdr;
1148 int datalen;
1149 HeapTuple tuple;
1150 HeapTupleHeader header;
1151
1152 change = ReorderBufferAllocChange(ctx->reorder);
1154 change->origin_id = XLogRecGetOrigin(r);
1155
1156 memcpy(&change->data.tp.rlocator, &rlocator, sizeof(RelFileLocator));
1157
1159 data = ((char *) xlhdr) + SizeOfMultiInsertTuple;
1160 datalen = xlhdr->datalen;
1161
1162 change->data.tp.newtuple =
1163 ReorderBufferAllocTupleBuf(ctx->reorder, datalen);
1164
1165 tuple = change->data.tp.newtuple;
1166 header = tuple->t_data;
1167
1168 /* not a disk based tuple */
1170
1171 /*
1172 * We can only figure this out after reassembling the transactions.
1173 */
1174 tuple->t_tableOid = InvalidOid;
1175
1176 tuple->t_len = datalen + SizeofHeapTupleHeader;
1177
1178 memset(header, 0, SizeofHeapTupleHeader);
1179
1180 memcpy((char *) tuple->t_data + SizeofHeapTupleHeader, data, datalen);
1181 header->t_infomask = xlhdr->t_infomask;
1182 header->t_infomask2 = xlhdr->t_infomask2;
1183 header->t_hoff = xlhdr->t_hoff;
1184
1185 /*
1186 * Reset toast reassembly state only after the last row in the last
1187 * xl_multi_insert_tuple record emitted by one heap_multi_insert()
1188 * call.
1189 */
1190 if (xlrec->flags & XLH_INSERT_LAST_IN_MULTI &&
1191 (i + 1) == xlrec->ntuples)
1192 change->data.tp.clear_toast_afterwards = true;
1193 else
1194 change->data.tp.clear_toast_afterwards = false;
1195
1197 buf->origptr, change, false);
1198
1199 /* move to the next xl_multi_insert_tuple entry */
1200 data += datalen;
1201 }
1202 Assert(data == tupledata + tuplelen);
1203}
#define SHORTALIGN(LEN)
Definition: c.h:778
#define XLH_INSERT_LAST_IN_MULTI
Definition: heapam_xlog.h:73
#define SizeOfMultiInsertTuple
Definition: heapam_xlog.h:199
#define SizeofHeapTupleHeader
Definition: htup_details.h:185
static void ItemPointerSetInvalid(ItemPointerData *pointer)
Definition: itemptr.h:184
const void * data
#define InvalidOid
Definition: postgres_ext.h:35
ItemPointerData t_self
Definition: htup.h:65
uint32 t_len
Definition: htup.h:64
HeapTupleHeader t_data
Definition: htup.h:68
Oid t_tableOid
Definition: htup.h:66

References ReorderBufferChange::action, Assert(), buf, ReorderBufferChange::clear_toast_afterwards, ReorderBufferChange::data, ReplicationSlot::data, data, ReplicationSlotPersistentData::database, xl_multi_insert_tuple::datalen, RelFileLocator::dbOid, FilterByOrigin(), xl_heap_multi_insert::flags, i, InvalidOid, ItemPointerSetInvalid(), ReorderBufferChange::newtuple, xl_heap_multi_insert::ntuples, ReorderBufferChange::origin_id, LogicalDecodingContext::reorder, REORDER_BUFFER_CHANGE_INSERT, ReorderBufferAllocChange(), ReorderBufferAllocTupleBuf(), ReorderBufferQueueChange(), ReorderBufferChange::rlocator, SHORTALIGN, SizeofHeapTupleHeader, SizeOfMultiInsertTuple, LogicalDecodingContext::slot, HeapTupleData::t_data, xl_multi_insert_tuple::t_hoff, HeapTupleHeaderData::t_hoff, xl_multi_insert_tuple::t_infomask, HeapTupleHeaderData::t_infomask, xl_multi_insert_tuple::t_infomask2, HeapTupleHeaderData::t_infomask2, HeapTupleData::t_len, HeapTupleData::t_self, HeapTupleData::t_tableOid, ReorderBufferChange::tp, XLH_INSERT_CONTAINS_NEW_TUPLE, XLH_INSERT_LAST_IN_MULTI, XLogRecGetBlockData(), XLogRecGetBlockTag(), XLogRecGetData, XLogRecGetOrigin, and XLogRecGetXid.

Referenced by heap2_decode().

◆ DecodePrepare()

static void DecodePrepare ( LogicalDecodingContext ctx,
XLogRecordBuffer buf,
xl_xact_parsed_prepare parsed 
)
static

Definition at line 759 of file decode.c.

761{
762 SnapBuild *builder = ctx->snapshot_builder;
763 XLogRecPtr origin_lsn = parsed->origin_lsn;
764 TimestampTz prepare_time = parsed->xact_time;
765 RepOriginId origin_id = XLogRecGetOrigin(buf->record);
766 int i;
767 TransactionId xid = parsed->twophase_xid;
768
769 if (parsed->origin_timestamp != 0)
770 prepare_time = parsed->origin_timestamp;
771
772 /*
773 * Remember the prepare info for a txn so that it can be used later in
774 * commit prepared if required. See ReorderBufferFinishPrepared.
775 */
776 if (!ReorderBufferRememberPrepareInfo(ctx->reorder, xid, buf->origptr,
777 buf->endptr, prepare_time, origin_id,
778 origin_lsn))
779 return;
780
781 /* We can't start streaming unless a consistent state is reached. */
783 {
785 return;
786 }
787
788 /*
789 * Check whether we need to process this transaction. See
790 * DecodeTXNNeedSkip for the reasons why we sometimes want to skip the
791 * transaction.
792 *
793 * We can't call ReorderBufferForget as we did in DecodeCommit as the txn
794 * hasn't yet been committed, removing this txn before a commit might
795 * result in the computation of an incorrect restart_lsn. See
796 * SnapBuildProcessRunningXacts. But we need to process cache
797 * invalidations if there are any for the reasons mentioned in
798 * DecodeCommit.
799 */
800 if (DecodeTXNNeedSkip(ctx, buf, parsed->dbId, origin_id))
801 {
803 ReorderBufferInvalidate(ctx->reorder, xid, buf->origptr);
804 return;
805 }
806
807 /* Tell the reorderbuffer about the surviving subtransactions. */
808 for (i = 0; i < parsed->nsubxacts; i++)
809 {
810 ReorderBufferCommitChild(ctx->reorder, xid, parsed->subxacts[i],
811 buf->origptr, buf->endptr);
812 }
813
814 /* replay actions of all transaction + subtransactions in order */
815 ReorderBufferPrepare(ctx->reorder, xid, parsed->twophase_gid);
816
817 /*
818 * Update the decoding stats at transaction prepare/commit/abort.
819 * Additionally we send the stats when we spill or stream the changes to
820 * avoid losing them in case the decoding is interrupted. It is not clear
821 * that sending more or less frequently than this would be better.
822 */
824}
uint32 TransactionId
Definition: c.h:623
void ReorderBufferInvalidate(ReorderBuffer *rb, TransactionId xid, XLogRecPtr lsn)
void ReorderBufferPrepare(ReorderBuffer *rb, TransactionId xid, char *gid)
void ReorderBufferSkipPrepare(ReorderBuffer *rb, TransactionId xid)
bool ReorderBufferRememberPrepareInfo(ReorderBuffer *rb, TransactionId xid, XLogRecPtr prepare_lsn, XLogRecPtr end_lsn, TimestampTz prepare_time, RepOriginId origin_id, XLogRecPtr origin_lsn)
SnapBuildState SnapBuildCurrentState(SnapBuild *builder)
Definition: snapbuild.c:277
@ SNAPBUILD_CONSISTENT
Definition: snapbuild.h:50
TransactionId twophase_xid
Definition: xact.h:397

References buf, xl_xact_parsed_commit::dbId, DecodeTXNNeedSkip(), i, xl_xact_parsed_commit::nsubxacts, xl_xact_parsed_commit::origin_lsn, xl_xact_parsed_commit::origin_timestamp, LogicalDecodingContext::reorder, ReorderBufferCommitChild(), ReorderBufferInvalidate(), ReorderBufferPrepare(), ReorderBufferRememberPrepareInfo(), ReorderBufferSkipPrepare(), SNAPBUILD_CONSISTENT, SnapBuildCurrentState(), LogicalDecodingContext::snapshot_builder, xl_xact_parsed_commit::subxacts, xl_xact_parsed_commit::twophase_gid, xl_xact_parsed_commit::twophase_xid, UpdateDecodingStats(), xl_xact_parsed_commit::xact_time, and XLogRecGetOrigin.

Referenced by xact_decode().

◆ DecodeSpecConfirm()

static void DecodeSpecConfirm ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)
static

Definition at line 1212 of file decode.c.

1213{
1214 XLogReaderState *r = buf->record;
1215 ReorderBufferChange *change;
1216 RelFileLocator target_locator;
1217
1218 /* only interested in our database */
1219 XLogRecGetBlockTag(r, 0, &target_locator, NULL, NULL);
1220 if (target_locator.dbOid != ctx->slot->data.database)
1221 return;
1222
1223 /* output plugin doesn't look for this origin, no need to queue */
1224 if (FilterByOrigin(ctx, XLogRecGetOrigin(r)))
1225 return;
1226
1227 change = ReorderBufferAllocChange(ctx->reorder);
1229 change->origin_id = XLogRecGetOrigin(r);
1230
1231 memcpy(&change->data.tp.rlocator, &target_locator, sizeof(RelFileLocator));
1232
1233 change->data.tp.clear_toast_afterwards = true;
1234
1236 change, false);
1237}
@ REORDER_BUFFER_CHANGE_INTERNAL_SPEC_CONFIRM
Definition: reorderbuffer.h:61

References ReorderBufferChange::action, buf, ReorderBufferChange::clear_toast_afterwards, ReorderBufferChange::data, ReplicationSlot::data, ReplicationSlotPersistentData::database, RelFileLocator::dbOid, FilterByOrigin(), ReorderBufferChange::origin_id, LogicalDecodingContext::reorder, REORDER_BUFFER_CHANGE_INTERNAL_SPEC_CONFIRM, ReorderBufferAllocChange(), ReorderBufferQueueChange(), ReorderBufferChange::rlocator, LogicalDecodingContext::slot, ReorderBufferChange::tp, XLogRecGetBlockTag(), XLogRecGetOrigin, and XLogRecGetXid.

Referenced by heap_decode().

◆ DecodeTruncate()

static void DecodeTruncate ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)
static

Definition at line 1070 of file decode.c.

1071{
1072 XLogReaderState *r = buf->record;
1073 xl_heap_truncate *xlrec;
1074 ReorderBufferChange *change;
1075
1076 xlrec = (xl_heap_truncate *) XLogRecGetData(r);
1077
1078 /* only interested in our database */
1079 if (xlrec->dbId != ctx->slot->data.database)
1080 return;
1081
1082 /* output plugin doesn't look for this origin, no need to queue */
1083 if (FilterByOrigin(ctx, XLogRecGetOrigin(r)))
1084 return;
1085
1086 change = ReorderBufferAllocChange(ctx->reorder);
1088 change->origin_id = XLogRecGetOrigin(r);
1089 if (xlrec->flags & XLH_TRUNCATE_CASCADE)
1090 change->data.truncate.cascade = true;
1091 if (xlrec->flags & XLH_TRUNCATE_RESTART_SEQS)
1092 change->data.truncate.restart_seqs = true;
1093 change->data.truncate.nrelids = xlrec->nrelids;
1095 xlrec->nrelids);
1096 memcpy(change->data.truncate.relids, xlrec->relids,
1097 xlrec->nrelids * sizeof(Oid));
1099 buf->origptr, change, false);
1100}
#define XLH_TRUNCATE_RESTART_SEQS
Definition: heapam_xlog.h:127
#define XLH_TRUNCATE_CASCADE
Definition: heapam_xlog.h:126
unsigned int Oid
Definition: postgres_ext.h:30
Oid * ReorderBufferAllocRelids(ReorderBuffer *rb, int nrelids)
@ REORDER_BUFFER_CHANGE_TRUNCATE
Definition: reorderbuffer.h:63
struct ReorderBufferChange::@110::@112 truncate
Oid relids[FLEXIBLE_ARRAY_MEMBER]
Definition: heapam_xlog.h:139

References ReorderBufferChange::action, buf, ReorderBufferChange::cascade, ReorderBufferChange::data, ReplicationSlot::data, ReplicationSlotPersistentData::database, xl_heap_truncate::dbId, FilterByOrigin(), xl_heap_truncate::flags, xl_heap_truncate::nrelids, ReorderBufferChange::nrelids, ReorderBufferChange::origin_id, xl_heap_truncate::relids, ReorderBufferChange::relids, LogicalDecodingContext::reorder, REORDER_BUFFER_CHANGE_TRUNCATE, ReorderBufferAllocChange(), ReorderBufferAllocRelids(), ReorderBufferQueueChange(), ReorderBufferChange::restart_seqs, LogicalDecodingContext::slot, ReorderBufferChange::truncate, XLH_TRUNCATE_CASCADE, XLH_TRUNCATE_RESTART_SEQS, XLogRecGetData, XLogRecGetOrigin, and XLogRecGetXid.

Referenced by heap_decode().

◆ DecodeTXNNeedSkip()

static bool DecodeTXNNeedSkip ( LogicalDecodingContext ctx,
XLogRecordBuffer buf,
Oid  txn_dbid,
RepOriginId  origin_id 
)
static

Definition at line 1292 of file decode.c.

1294{
1295 if (SnapBuildXactNeedsSkip(ctx->snapshot_builder, buf->origptr) ||
1296 (txn_dbid != InvalidOid && txn_dbid != ctx->slot->data.database) ||
1297 FilterByOrigin(ctx, origin_id))
1298 return true;
1299
1300 /*
1301 * We also skip decoding in fast_forward mode. In passing set the
1302 * processing_required flag to indicate that if it were not for
1303 * fast_forward mode, processing would have been required.
1304 */
1305 if (ctx->fast_forward)
1306 {
1307 ctx->processing_required = true;
1308 return true;
1309 }
1310
1311 return false;
1312}
bool SnapBuildXactNeedsSkip(SnapBuild *builder, XLogRecPtr ptr)
Definition: snapbuild.c:304

References buf, ReplicationSlot::data, ReplicationSlotPersistentData::database, LogicalDecodingContext::fast_forward, FilterByOrigin(), InvalidOid, LogicalDecodingContext::processing_required, LogicalDecodingContext::slot, SnapBuildXactNeedsSkip(), and LogicalDecodingContext::snapshot_builder.

Referenced by DecodeAbort(), DecodeCommit(), and DecodePrepare().

◆ DecodeUpdate()

static void DecodeUpdate ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)
static

Definition at line 949 of file decode.c.

950{
951 XLogReaderState *r = buf->record;
952 xl_heap_update *xlrec;
953 ReorderBufferChange *change;
954 char *data;
955 RelFileLocator target_locator;
956
957 xlrec = (xl_heap_update *) XLogRecGetData(r);
958
959 /* only interested in our database */
960 XLogRecGetBlockTag(r, 0, &target_locator, NULL, NULL);
961 if (target_locator.dbOid != ctx->slot->data.database)
962 return;
963
964 /* output plugin doesn't look for this origin, no need to queue */
965 if (FilterByOrigin(ctx, XLogRecGetOrigin(r)))
966 return;
967
968 change = ReorderBufferAllocChange(ctx->reorder);
970 change->origin_id = XLogRecGetOrigin(r);
971 memcpy(&change->data.tp.rlocator, &target_locator, sizeof(RelFileLocator));
972
974 {
975 Size datalen;
976 Size tuplelen;
977
978 data = XLogRecGetBlockData(r, 0, &datalen);
979
980 tuplelen = datalen - SizeOfHeapHeader;
981
982 change->data.tp.newtuple =
983 ReorderBufferAllocTupleBuf(ctx->reorder, tuplelen);
984
985 DecodeXLogTuple(data, datalen, change->data.tp.newtuple);
986 }
987
988 if (xlrec->flags & XLH_UPDATE_CONTAINS_OLD)
989 {
990 Size datalen;
991 Size tuplelen;
992
993 /* caution, remaining data in record is not aligned */
995 datalen = XLogRecGetDataLen(r) - SizeOfHeapUpdate;
996 tuplelen = datalen - SizeOfHeapHeader;
997
998 change->data.tp.oldtuple =
999 ReorderBufferAllocTupleBuf(ctx->reorder, tuplelen);
1000
1001 DecodeXLogTuple(data, datalen, change->data.tp.oldtuple);
1002 }
1003
1004 change->data.tp.clear_toast_afterwards = true;
1005
1007 change, false);
1008}
#define SizeOfHeapUpdate
Definition: heapam_xlog.h:233
#define XLH_UPDATE_CONTAINS_NEW_TUPLE
Definition: heapam_xlog.h:90
#define XLH_UPDATE_CONTAINS_OLD
Definition: heapam_xlog.h:95
@ REORDER_BUFFER_CHANGE_UPDATE
Definition: reorderbuffer.h:53

References ReorderBufferChange::action, buf, ReorderBufferChange::clear_toast_afterwards, ReorderBufferChange::data, ReplicationSlot::data, data, ReplicationSlotPersistentData::database, RelFileLocator::dbOid, DecodeXLogTuple(), FilterByOrigin(), xl_heap_update::flags, ReorderBufferChange::newtuple, ReorderBufferChange::oldtuple, ReorderBufferChange::origin_id, LogicalDecodingContext::reorder, REORDER_BUFFER_CHANGE_UPDATE, ReorderBufferAllocChange(), ReorderBufferAllocTupleBuf(), ReorderBufferQueueChange(), ReorderBufferChange::rlocator, SizeOfHeapHeader, SizeOfHeapUpdate, LogicalDecodingContext::slot, ReorderBufferChange::tp, XLH_UPDATE_CONTAINS_NEW_TUPLE, XLH_UPDATE_CONTAINS_OLD, XLogRecGetBlockData(), XLogRecGetBlockTag(), XLogRecGetData, XLogRecGetDataLen, XLogRecGetOrigin, and XLogRecGetXid.

Referenced by heap_decode().

◆ DecodeXLogTuple()

static void DecodeXLogTuple ( char *  data,
Size  len,
HeapTuple  tuple 
)
static

Definition at line 1248 of file decode.c.

1249{
1250 xl_heap_header xlhdr;
1251 int datalen = len - SizeOfHeapHeader;
1252 HeapTupleHeader header;
1253
1254 Assert(datalen >= 0);
1255
1256 tuple->t_len = datalen + SizeofHeapTupleHeader;
1257 header = tuple->t_data;
1258
1259 /* not a disk based tuple */
1261
1262 /* we can only figure this out after reassembling the transactions */
1263 tuple->t_tableOid = InvalidOid;
1264
1265 /* data is not stored aligned, copy to aligned storage */
1266 memcpy(&xlhdr, data, SizeOfHeapHeader);
1267
1268 memset(header, 0, SizeofHeapTupleHeader);
1269
1270 memcpy(((char *) tuple->t_data) + SizeofHeapTupleHeader,
1272 datalen);
1273
1274 header->t_infomask = xlhdr.t_infomask;
1275 header->t_infomask2 = xlhdr.t_infomask2;
1276 header->t_hoff = xlhdr.t_hoff;
1277}
const void size_t len
uint16 t_infomask
Definition: heapam_xlog.h:153
uint16 t_infomask2
Definition: heapam_xlog.h:152

References Assert(), data, InvalidOid, ItemPointerSetInvalid(), len, SizeOfHeapHeader, SizeofHeapTupleHeader, HeapTupleData::t_data, xl_heap_header::t_hoff, HeapTupleHeaderData::t_hoff, xl_heap_header::t_infomask, HeapTupleHeaderData::t_infomask, xl_heap_header::t_infomask2, HeapTupleHeaderData::t_infomask2, HeapTupleData::t_len, HeapTupleData::t_self, and HeapTupleData::t_tableOid.

Referenced by DecodeDelete(), DecodeInsert(), and DecodeUpdate().

◆ FilterByOrigin()

static bool FilterByOrigin ( LogicalDecodingContext ctx,
RepOriginId  origin_id 
)
inlinestatic

Definition at line 570 of file decode.c.

571{
572 if (ctx->callbacks.filter_by_origin_cb == NULL)
573 return false;
574
575 return filter_by_origin_cb_wrapper(ctx, origin_id);
576}
bool filter_by_origin_cb_wrapper(LogicalDecodingContext *ctx, RepOriginId origin_id)
Definition: logical.c:1197
OutputPluginCallbacks callbacks
Definition: logical.h:53
LogicalDecodeFilterByOriginCB filter_by_origin_cb

References LogicalDecodingContext::callbacks, OutputPluginCallbacks::filter_by_origin_cb, and filter_by_origin_cb_wrapper().

Referenced by DecodeDelete(), DecodeInsert(), DecodeMultiInsert(), DecodeSpecConfirm(), DecodeTruncate(), DecodeTXNNeedSkip(), DecodeUpdate(), and logicalmsg_decode().

◆ FilterPrepare()

static bool FilterPrepare ( LogicalDecodingContext ctx,
TransactionId  xid,
const char *  gid 
)
inlinestatic

Definition at line 547 of file decode.c.

549{
550 /*
551 * Skip if decoding of two-phase transactions at PREPARE time is not
552 * enabled. In that case, all two-phase transactions are considered
553 * filtered out and will be applied as regular transactions at COMMIT
554 * PREPARED.
555 */
556 if (!ctx->twophase)
557 return true;
558
559 /*
560 * The filter_prepare callback is optional. When not supplied, all
561 * prepared transactions should go through.
562 */
563 if (ctx->callbacks.filter_prepare_cb == NULL)
564 return false;
565
566 return filter_prepare_cb_wrapper(ctx, xid, gid);
567}
bool filter_prepare_cb_wrapper(LogicalDecodingContext *ctx, TransactionId xid, const char *gid)
Definition: logical.c:1165
LogicalDecodeFilterPrepareCB filter_prepare_cb

References LogicalDecodingContext::callbacks, OutputPluginCallbacks::filter_prepare_cb, filter_prepare_cb_wrapper(), and LogicalDecodingContext::twophase.

Referenced by xact_decode().

◆ heap2_decode()

void heap2_decode ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)

Definition at line 405 of file decode.c.

406{
407 uint8 info = XLogRecGetInfo(buf->record) & XLOG_HEAP_OPMASK;
408 TransactionId xid = XLogRecGetXid(buf->record);
409 SnapBuild *builder = ctx->snapshot_builder;
410
411 ReorderBufferProcessXid(ctx->reorder, xid, buf->origptr);
412
413 /*
414 * If we don't have snapshot or we are just fast-forwarding, there is no
415 * point in decoding changes.
416 */
418 ctx->fast_forward)
419 return;
420
421 switch (info)
422 {
424 if (SnapBuildProcessChange(builder, xid, buf->origptr))
426 break;
428 {
429 xl_heap_new_cid *xlrec;
430
431 xlrec = (xl_heap_new_cid *) XLogRecGetData(buf->record);
432 SnapBuildProcessNewCid(builder, xid, buf->origptr, xlrec);
433
434 break;
435 }
437
438 /*
439 * Although these records only exist to serve the needs of logical
440 * decoding, all the work happens as part of crash or archive
441 * recovery, so we don't need to do anything here.
442 */
443 break;
444
445 /*
446 * Everything else here is just low level physical stuff we're not
447 * interested in.
448 */
454 break;
455 default:
456 elog(ERROR, "unexpected RM_HEAP2_ID record type: %u", info);
457 }
458}
uint8_t uint8
Definition: c.h:500
static void DecodeMultiInsert(LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
Definition: decode.c:1108
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:225
#define XLOG_HEAP2_MULTI_INSERT
Definition: heapam_xlog.h:64
#define XLOG_HEAP2_REWRITE
Definition: heapam_xlog.h:59
#define XLOG_HEAP_OPMASK
Definition: heapam_xlog.h:42
#define XLOG_HEAP2_PRUNE_VACUUM_SCAN
Definition: heapam_xlog.h:61
#define XLOG_HEAP2_LOCK_UPDATED
Definition: heapam_xlog.h:65
#define XLOG_HEAP2_PRUNE_ON_ACCESS
Definition: heapam_xlog.h:60
#define XLOG_HEAP2_NEW_CID
Definition: heapam_xlog.h:66
#define XLOG_HEAP2_PRUNE_VACUUM_CLEANUP
Definition: heapam_xlog.h:62
#define XLOG_HEAP2_VISIBLE
Definition: heapam_xlog.h:63
void ReorderBufferProcessXid(ReorderBuffer *rb, TransactionId xid, XLogRecPtr lsn)
bool SnapBuildProcessChange(SnapBuild *builder, TransactionId xid, XLogRecPtr lsn)
Definition: snapbuild.c:639
void SnapBuildProcessNewCid(SnapBuild *builder, TransactionId xid, XLogRecPtr lsn, xl_heap_new_cid *xlrec)
Definition: snapbuild.c:689
@ SNAPBUILD_FULL_SNAPSHOT
Definition: snapbuild.h:43
#define XLogRecGetInfo(decoder)
Definition: xlogreader.h:410

References buf, DecodeMultiInsert(), elog, ERROR, LogicalDecodingContext::fast_forward, LogicalDecodingContext::reorder, ReorderBufferProcessXid(), SNAPBUILD_FULL_SNAPSHOT, SnapBuildCurrentState(), SnapBuildProcessChange(), SnapBuildProcessNewCid(), LogicalDecodingContext::snapshot_builder, XLOG_HEAP2_LOCK_UPDATED, XLOG_HEAP2_MULTI_INSERT, XLOG_HEAP2_NEW_CID, XLOG_HEAP2_PRUNE_ON_ACCESS, XLOG_HEAP2_PRUNE_VACUUM_CLEANUP, XLOG_HEAP2_PRUNE_VACUUM_SCAN, XLOG_HEAP2_REWRITE, XLOG_HEAP2_VISIBLE, XLOG_HEAP_OPMASK, XLogRecGetData, XLogRecGetInfo, and XLogRecGetXid.

◆ heap_decode()

void heap_decode ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)

Definition at line 464 of file decode.c.

465{
466 uint8 info = XLogRecGetInfo(buf->record) & XLOG_HEAP_OPMASK;
467 TransactionId xid = XLogRecGetXid(buf->record);
468 SnapBuild *builder = ctx->snapshot_builder;
469
470 ReorderBufferProcessXid(ctx->reorder, xid, buf->origptr);
471
472 /*
473 * If we don't have snapshot or we are just fast-forwarding, there is no
474 * point in decoding data changes.
475 */
477 ctx->fast_forward)
478 return;
479
480 switch (info)
481 {
482 case XLOG_HEAP_INSERT:
483 if (SnapBuildProcessChange(builder, xid, buf->origptr))
484 DecodeInsert(ctx, buf);
485 break;
486
487 /*
488 * Treat HOT update as normal updates. There is no useful
489 * information in the fact that we could make it a HOT update
490 * locally and the WAL layout is compatible.
491 */
493 case XLOG_HEAP_UPDATE:
494 if (SnapBuildProcessChange(builder, xid, buf->origptr))
495 DecodeUpdate(ctx, buf);
496 break;
497
498 case XLOG_HEAP_DELETE:
499 if (SnapBuildProcessChange(builder, xid, buf->origptr))
500 DecodeDelete(ctx, buf);
501 break;
502
504 if (SnapBuildProcessChange(builder, xid, buf->origptr))
505 DecodeTruncate(ctx, buf);
506 break;
507
509
510 /*
511 * Inplace updates are only ever performed on catalog tuples and
512 * can, per definition, not change tuple visibility. Inplace
513 * updates don't affect storage or interpretation of table rows,
514 * so they don't affect logicalrep_write_tuple() outcomes. Hence,
515 * we don't process invalidations from the original operation. If
516 * inplace updates did affect those things, invalidations wouldn't
517 * make it work, since there are no snapshot-specific versions of
518 * inplace-updated values. Since we also don't decode catalog
519 * tuples, we're not interested in the record's contents.
520 *
521 * WAL contains likely-unnecessary commit-time invals from the
522 * CacheInvalidateHeapTuple() call in
523 * heap_inplace_update_and_unlock(). Excess invalidation is safe.
524 */
525 break;
526
528 if (SnapBuildProcessChange(builder, xid, buf->origptr))
530 break;
531
532 case XLOG_HEAP_LOCK:
533 /* we don't care about row level locks for now */
534 break;
535
536 default:
537 elog(ERROR, "unexpected RM_HEAP_ID record type: %u", info);
538 break;
539 }
540}
static void DecodeDelete(LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
Definition: decode.c:1016
static void DecodeInsert(LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
Definition: decode.c:890
static void DecodeTruncate(LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
Definition: decode.c:1070
static void DecodeUpdate(LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
Definition: decode.c:949
static void DecodeSpecConfirm(LogicalDecodingContext *ctx, XLogRecordBuffer *buf)
Definition: decode.c:1212
#define XLOG_HEAP_HOT_UPDATE
Definition: heapam_xlog.h:37
#define XLOG_HEAP_DELETE
Definition: heapam_xlog.h:34
#define XLOG_HEAP_TRUNCATE
Definition: heapam_xlog.h:36
#define XLOG_HEAP_UPDATE
Definition: heapam_xlog.h:35
#define XLOG_HEAP_INPLACE
Definition: heapam_xlog.h:40
#define XLOG_HEAP_LOCK
Definition: heapam_xlog.h:39
#define XLOG_HEAP_INSERT
Definition: heapam_xlog.h:33
#define XLOG_HEAP_CONFIRM
Definition: heapam_xlog.h:38

References buf, DecodeDelete(), DecodeInsert(), DecodeSpecConfirm(), DecodeTruncate(), DecodeUpdate(), elog, ERROR, LogicalDecodingContext::fast_forward, LogicalDecodingContext::reorder, ReorderBufferProcessXid(), SNAPBUILD_FULL_SNAPSHOT, SnapBuildCurrentState(), SnapBuildProcessChange(), LogicalDecodingContext::snapshot_builder, XLOG_HEAP_CONFIRM, XLOG_HEAP_DELETE, XLOG_HEAP_HOT_UPDATE, XLOG_HEAP_INPLACE, XLOG_HEAP_INSERT, XLOG_HEAP_LOCK, XLOG_HEAP_OPMASK, XLOG_HEAP_TRUNCATE, XLOG_HEAP_UPDATE, XLogRecGetInfo, and XLogRecGetXid.

◆ LogicalDecodingProcessRecord()

void LogicalDecodingProcessRecord ( LogicalDecodingContext ctx,
XLogReaderState record 
)

Definition at line 88 of file decode.c.

89{
91 TransactionId txid;
92 RmgrData rmgr;
93
94 buf.origptr = ctx->reader->ReadRecPtr;
95 buf.endptr = ctx->reader->EndRecPtr;
96 buf.record = record;
97
98 txid = XLogRecGetTopXid(record);
99
100 /*
101 * If the top-level xid is valid, we need to assign the subxact to the
102 * top-level xact. We need to do this for all records, hence we do it
103 * before the switch.
104 */
105 if (TransactionIdIsValid(txid))
106 {
108 txid,
109 XLogRecGetXid(record),
110 buf.origptr);
111 }
112
113 rmgr = GetRmgr(XLogRecGetRmid(record));
114
115 if (rmgr.rm_decode != NULL)
116 rmgr.rm_decode(ctx, &buf);
117 else
118 {
119 /* just deal with xid, and done */
121 buf.origptr);
122 }
123}
void ReorderBufferAssignChild(ReorderBuffer *rb, TransactionId xid, TransactionId subxid, XLogRecPtr lsn)
XLogReaderState * reader
Definition: logical.h:42
void(* rm_decode)(struct LogicalDecodingContext *ctx, struct XLogRecordBuffer *buf)
XLogRecPtr EndRecPtr
Definition: xlogreader.h:207
XLogRecPtr ReadRecPtr
Definition: xlogreader.h:206
#define TransactionIdIsValid(xid)
Definition: transam.h:41
static RmgrData GetRmgr(RmgrId rmid)
#define XLogRecGetRmid(decoder)
Definition: xlogreader.h:411
#define XLogRecGetTopXid(decoder)
Definition: xlogreader.h:414

References buf, XLogReaderState::EndRecPtr, GetRmgr(), LogicalDecodingContext::reader, XLogReaderState::ReadRecPtr, LogicalDecodingContext::reorder, ReorderBufferAssignChild(), ReorderBufferProcessXid(), RmgrData::rm_decode, TransactionIdIsValid, XLogRecGetRmid, XLogRecGetTopXid, and XLogRecGetXid.

Referenced by DecodingContextFindStartpoint(), LogicalReplicationSlotHasPendingWal(), LogicalSlotAdvanceAndCheckSnapState(), pg_logical_slot_get_changes_guts(), and XLogSendLogical().

◆ logicalmsg_decode()

void logicalmsg_decode ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)

Definition at line 582 of file decode.c.

583{
584 SnapBuild *builder = ctx->snapshot_builder;
585 XLogReaderState *r = buf->record;
587 uint8 info = XLogRecGetInfo(r) & ~XLR_INFO_MASK;
588 RepOriginId origin_id = XLogRecGetOrigin(r);
589 Snapshot snapshot = NULL;
590 xl_logical_message *message;
591
592 if (info != XLOG_LOGICAL_MESSAGE)
593 elog(ERROR, "unexpected RM_LOGICALMSG_ID record type: %u", info);
594
596
597 /* If we don't have snapshot, there is no point in decoding messages */
599 return;
600
601 message = (xl_logical_message *) XLogRecGetData(r);
602
603 if (message->dbId != ctx->slot->data.database ||
604 FilterByOrigin(ctx, origin_id))
605 return;
606
607 if (message->transactional &&
608 !SnapBuildProcessChange(builder, xid, buf->origptr))
609 return;
610 else if (!message->transactional &&
612 SnapBuildXactNeedsSkip(builder, buf->origptr)))
613 return;
614
615 /*
616 * We also skip decoding in fast_forward mode. This check must be last
617 * because we don't want to set the processing_required flag unless we
618 * have a decodable message.
619 */
620 if (ctx->fast_forward)
621 {
622 /*
623 * We need to set processing_required flag to notify the message's
624 * existence to the caller. Usually, the flag is set when either the
625 * COMMIT or ABORT records are decoded, but this must be turned on
626 * here because the non-transactional logical message is decoded
627 * without waiting for these records.
628 */
629 if (!message->transactional)
630 ctx->processing_required = true;
631
632 return;
633 }
634
635 /*
636 * If this is a non-transactional change, get the snapshot we're expected
637 * to use. We only get here when the snapshot is consistent, and the
638 * change is not meant to be skipped.
639 *
640 * For transactional changes we don't need a snapshot, we'll use the
641 * regular snapshot maintained by ReorderBuffer. We just leave it NULL.
642 */
643 if (!message->transactional)
644 snapshot = SnapBuildGetOrBuildSnapshot(builder);
645
646 ReorderBufferQueueMessage(ctx->reorder, xid, snapshot, buf->endptr,
647 message->transactional,
648 message->message, /* first part of message is
649 * prefix */
650 message->message_size,
651 message->message + message->prefix_size);
652}
#define XLOG_LOGICAL_MESSAGE
Definition: message.h:37
void ReorderBufferQueueMessage(ReorderBuffer *rb, TransactionId xid, Snapshot snap, XLogRecPtr lsn, bool transactional, const char *prefix, Size message_size, const char *message)
Snapshot SnapBuildGetOrBuildSnapshot(SnapBuild *builder)
Definition: snapbuild.c:579
bool transactional
Definition: message.h:23
char message[FLEXIBLE_ARRAY_MEMBER]
Definition: message.h:27

References buf, ReplicationSlot::data, ReplicationSlotPersistentData::database, xl_logical_message::dbId, elog, ERROR, LogicalDecodingContext::fast_forward, FilterByOrigin(), xl_logical_message::message, xl_logical_message::message_size, xl_logical_message::prefix_size, LogicalDecodingContext::processing_required, LogicalDecodingContext::reorder, ReorderBufferProcessXid(), ReorderBufferQueueMessage(), LogicalDecodingContext::slot, SNAPBUILD_CONSISTENT, SNAPBUILD_FULL_SNAPSHOT, SnapBuildCurrentState(), SnapBuildGetOrBuildSnapshot(), SnapBuildProcessChange(), SnapBuildXactNeedsSkip(), LogicalDecodingContext::snapshot_builder, xl_logical_message::transactional, XLOG_LOGICAL_MESSAGE, XLogRecGetData, XLogRecGetInfo, XLogRecGetOrigin, and XLogRecGetXid.

◆ standby_decode()

void standby_decode ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)

Definition at line 359 of file decode.c.

360{
361 SnapBuild *builder = ctx->snapshot_builder;
362 XLogReaderState *r = buf->record;
363 uint8 info = XLogRecGetInfo(r) & ~XLR_INFO_MASK;
364
366
367 switch (info)
368 {
370 {
372
373 SnapBuildProcessRunningXacts(builder, buf->origptr, running);
374
375 /*
376 * Abort all transactions that we keep track of, that are
377 * older than the record's oldestRunningXid. This is the most
378 * convenient spot for doing so since, in contrast to shutdown
379 * or end-of-recovery checkpoints, we have information about
380 * all running transactions which includes prepared ones,
381 * while shutdown checkpoints just know that no non-prepared
382 * transactions are in progress.
383 */
385 }
386 break;
388 break;
390
391 /*
392 * We are processing the invalidations at the command level via
393 * XLOG_XACT_INVALIDATIONS. So we don't need to do anything here.
394 */
395 break;
396 default:
397 elog(ERROR, "unexpected RM_STANDBY_ID record type: %u", info);
398 }
399}
void ReorderBufferAbortOld(ReorderBuffer *rb, TransactionId oldestRunningXid)
void SnapBuildProcessRunningXacts(SnapBuild *builder, XLogRecPtr lsn, xl_running_xacts *running)
Definition: snapbuild.c:1128
#define XLOG_INVALIDATIONS
Definition: standbydefs.h:36
#define XLOG_STANDBY_LOCK
Definition: standbydefs.h:34
#define XLOG_RUNNING_XACTS
Definition: standbydefs.h:35
TransactionId oldestRunningXid
Definition: standbydefs.h:53

References buf, elog, ERROR, xl_running_xacts::oldestRunningXid, LogicalDecodingContext::reorder, ReorderBufferAbortOld(), ReorderBufferProcessXid(), SnapBuildProcessRunningXacts(), LogicalDecodingContext::snapshot_builder, XLOG_INVALIDATIONS, XLOG_RUNNING_XACTS, XLOG_STANDBY_LOCK, XLogRecGetData, XLogRecGetInfo, and XLogRecGetXid.

◆ xact_decode()

void xact_decode ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)

Definition at line 201 of file decode.c.

202{
203 SnapBuild *builder = ctx->snapshot_builder;
204 ReorderBuffer *reorder = ctx->reorder;
205 XLogReaderState *r = buf->record;
207
208 /*
209 * If the snapshot isn't yet fully built, we cannot decode anything, so
210 * bail out.
211 */
213 return;
214
215 switch (info)
216 {
217 case XLOG_XACT_COMMIT:
219 {
220 xl_xact_commit *xlrec;
222 TransactionId xid;
223 bool two_phase = false;
224
225 xlrec = (xl_xact_commit *) XLogRecGetData(r);
226 ParseCommitRecord(XLogRecGetInfo(buf->record), xlrec, &parsed);
227
229 xid = XLogRecGetXid(r);
230 else
231 xid = parsed.twophase_xid;
232
233 /*
234 * We would like to process the transaction in a two-phase
235 * manner iff output plugin supports two-phase commits and
236 * doesn't filter the transaction at prepare time.
237 */
238 if (info == XLOG_XACT_COMMIT_PREPARED)
239 two_phase = !(FilterPrepare(ctx, xid,
240 parsed.twophase_gid));
241
242 DecodeCommit(ctx, buf, &parsed, xid, two_phase);
243 break;
244 }
245 case XLOG_XACT_ABORT:
247 {
248 xl_xact_abort *xlrec;
250 TransactionId xid;
251 bool two_phase = false;
252
253 xlrec = (xl_xact_abort *) XLogRecGetData(r);
254 ParseAbortRecord(XLogRecGetInfo(buf->record), xlrec, &parsed);
255
257 xid = XLogRecGetXid(r);
258 else
259 xid = parsed.twophase_xid;
260
261 /*
262 * We would like to process the transaction in a two-phase
263 * manner iff output plugin supports two-phase commits and
264 * doesn't filter the transaction at prepare time.
265 */
266 if (info == XLOG_XACT_ABORT_PREPARED)
267 two_phase = !(FilterPrepare(ctx, xid,
268 parsed.twophase_gid));
269
270 DecodeAbort(ctx, buf, &parsed, xid, two_phase);
271 break;
272 }
274
275 /*
276 * We assign subxact to the toplevel xact while processing each
277 * record if required. So, we don't need to do anything here. See
278 * LogicalDecodingProcessRecord.
279 */
280 break;
282 {
283 TransactionId xid;
284 xl_xact_invals *invals;
285
286 xid = XLogRecGetXid(r);
287 invals = (xl_xact_invals *) XLogRecGetData(r);
288
289 /*
290 * Execute the invalidations for xid-less transactions,
291 * otherwise, accumulate them so that they can be processed at
292 * the commit time.
293 */
294 if (TransactionIdIsValid(xid))
295 {
296 if (!ctx->fast_forward)
298 buf->origptr,
299 invals->nmsgs,
300 invals->msgs);
302 buf->origptr);
303 }
304 else if (!ctx->fast_forward)
306 invals->nmsgs,
307 invals->msgs);
308
309 break;
310 }
312 {
314 xl_xact_prepare *xlrec;
315
316 /* ok, parse it */
317 xlrec = (xl_xact_prepare *) XLogRecGetData(r);
319 xlrec, &parsed);
320
321 /*
322 * We would like to process the transaction in a two-phase
323 * manner iff output plugin supports two-phase commits and
324 * doesn't filter the transaction at prepare time.
325 */
326 if (FilterPrepare(ctx, parsed.twophase_xid,
327 parsed.twophase_gid))
328 {
330 buf->origptr);
331 break;
332 }
333
334 /*
335 * Note that if the prepared transaction has locked [user]
336 * catalog tables exclusively then decoding prepare can block
337 * till the main transaction is committed because it needs to
338 * lock the catalog tables.
339 *
340 * XXX Now, this can even lead to a deadlock if the prepare
341 * transaction is waiting to get it logically replicated for
342 * distributed 2PC. This can be avoided by disallowing
343 * preparing transactions that have locked [user] catalog
344 * tables exclusively but as of now, we ask users not to do
345 * such an operation.
346 */
347 DecodePrepare(ctx, buf, &parsed);
348 break;
349 }
350 default:
351 elog(ERROR, "unexpected RM_XACT_ID record type: %u", info);
352 }
353}
static void DecodeAbort(LogicalDecodingContext *ctx, XLogRecordBuffer *buf, xl_xact_parsed_abort *parsed, TransactionId xid, bool two_phase)
Definition: decode.c:834
static bool FilterPrepare(LogicalDecodingContext *ctx, TransactionId xid, const char *gid)
Definition: decode.c:547
static void DecodeCommit(LogicalDecodingContext *ctx, XLogRecordBuffer *buf, xl_xact_parsed_commit *parsed, TransactionId xid, bool two_phase)
Definition: decode.c:663
static void DecodePrepare(LogicalDecodingContext *ctx, XLogRecordBuffer *buf, xl_xact_parsed_prepare *parsed)
Definition: decode.c:759
void ReorderBufferXidSetCatalogChanges(ReorderBuffer *rb, TransactionId xid, XLogRecPtr lsn)
void ReorderBufferAddInvalidations(ReorderBuffer *rb, TransactionId xid, XLogRecPtr lsn, Size nmsgs, SharedInvalidationMessage *msgs)
void ReorderBufferImmediateInvalidation(ReorderBuffer *rb, uint32 ninvalidations, SharedInvalidationMessage *invalidations)
SharedInvalidationMessage msgs[FLEXIBLE_ARRAY_MEMBER]
Definition: xact.h:305
int nmsgs
Definition: xact.h:304
TransactionId twophase_xid
Definition: xact.h:427
#define XLOG_XACT_COMMIT_PREPARED
Definition: xact.h:172
#define XLOG_XACT_INVALIDATIONS
Definition: xact.h:175
#define XLOG_XACT_PREPARE
Definition: xact.h:170
#define XLOG_XACT_COMMIT
Definition: xact.h:169
#define XLOG_XACT_OPMASK
Definition: xact.h:179
#define XLOG_XACT_ABORT
Definition: xact.h:171
#define XLOG_XACT_ASSIGNMENT
Definition: xact.h:174
#define XLOG_XACT_ABORT_PREPARED
Definition: xact.h:173
void ParseCommitRecord(uint8 info, xl_xact_commit *xlrec, xl_xact_parsed_commit *parsed)
Definition: xactdesc.c:35
void ParseAbortRecord(uint8 info, xl_xact_abort *xlrec, xl_xact_parsed_abort *parsed)
Definition: xactdesc.c:141
void ParsePrepareRecord(uint8 info, xl_xact_prepare *xlrec, xl_xact_parsed_prepare *parsed)
Definition: xactdesc.c:239

References buf, DecodeAbort(), DecodeCommit(), DecodePrepare(), elog, ERROR, LogicalDecodingContext::fast_forward, FilterPrepare(), xl_xact_invals::msgs, xl_xact_invals::nmsgs, ParseAbortRecord(), ParseCommitRecord(), ParsePrepareRecord(), LogicalDecodingContext::reorder, ReorderBufferAddInvalidations(), ReorderBufferImmediateInvalidation(), ReorderBufferProcessXid(), ReorderBufferXidSetCatalogChanges(), SNAPBUILD_FULL_SNAPSHOT, SnapBuildCurrentState(), LogicalDecodingContext::snapshot_builder, TransactionIdIsValid, two_phase, xl_xact_parsed_commit::twophase_gid, xl_xact_parsed_abort::twophase_gid, xl_xact_parsed_commit::twophase_xid, xl_xact_parsed_abort::twophase_xid, XLOG_XACT_ABORT, XLOG_XACT_ABORT_PREPARED, XLOG_XACT_ASSIGNMENT, XLOG_XACT_COMMIT, XLOG_XACT_COMMIT_PREPARED, XLOG_XACT_INVALIDATIONS, XLOG_XACT_OPMASK, XLOG_XACT_PREPARE, XLogRecGetData, XLogRecGetInfo, and XLogRecGetXid.

◆ xlog_decode()

void xlog_decode ( LogicalDecodingContext ctx,
XLogRecordBuffer buf 
)

Definition at line 129 of file decode.c.

130{
131 SnapBuild *builder = ctx->snapshot_builder;
132 uint8 info = XLogRecGetInfo(buf->record) & ~XLR_INFO_MASK;
133
135 buf->origptr);
136
137 switch (info)
138 {
139 /* this is also used in END_OF_RECOVERY checkpoints */
142 SnapBuildSerializationPoint(builder, buf->origptr);
143
144 break;
146
147 /*
148 * a RUNNING_XACTS record will have been logged near to this, we
149 * can restart from there.
150 */
151 break;
153 {
154 xl_parameter_change *xlrec =
156
157 /*
158 * If wal_level on the primary is reduced to less than
159 * logical, we want to prevent existing logical slots from
160 * being used. Existing logical slots on the standby get
161 * invalidated when this WAL record is replayed; and further,
162 * slot creation fails when wal_level is not sufficient; but
163 * all these operations are not synchronized, so a logical
164 * slot may creep in while the wal_level is being reduced.
165 * Hence this extra check.
166 */
167 if (xlrec->wal_level < WAL_LEVEL_LOGICAL)
168 {
169 /*
170 * This can occur only on a standby, as a primary would
171 * not allow to restart after changing wal_level < logical
172 * if there is pre-existing logical slot.
173 */
176 (errcode(ERRCODE_OBJECT_NOT_IN_PREREQUISITE_STATE),
177 errmsg("logical decoding on standby requires \"wal_level\" >= \"logical\" on the primary")));
178 }
179 break;
180 }
181 case XLOG_NOOP:
182 case XLOG_NEXTOID:
183 case XLOG_SWITCH:
184 case XLOG_BACKUP_END:
186 case XLOG_FPW_CHANGE:
188 case XLOG_FPI:
191 break;
192 default:
193 elog(ERROR, "unexpected RM_XLOG_ID record type: %u", info);
194 }
195}
int errcode(int sqlerrcode)
Definition: elog.c:854
int errmsg(const char *fmt,...)
Definition: elog.c:1071
#define ereport(elevel,...)
Definition: elog.h:149
#define XLOG_RESTORE_POINT
Definition: pg_control.h:75
#define XLOG_FPW_CHANGE
Definition: pg_control.h:76
#define XLOG_CHECKPOINT_REDO
Definition: pg_control.h:82
#define XLOG_OVERWRITE_CONTRECORD
Definition: pg_control.h:81
#define XLOG_FPI
Definition: pg_control.h:79
#define XLOG_FPI_FOR_HINT
Definition: pg_control.h:78
#define XLOG_NEXTOID
Definition: pg_control.h:71
#define XLOG_NOOP
Definition: pg_control.h:70
#define XLOG_CHECKPOINT_SHUTDOWN
Definition: pg_control.h:68
#define XLOG_SWITCH
Definition: pg_control.h:72
#define XLOG_BACKUP_END
Definition: pg_control.h:73
#define XLOG_PARAMETER_CHANGE
Definition: pg_control.h:74
#define XLOG_CHECKPOINT_ONLINE
Definition: pg_control.h:69
#define XLOG_END_OF_RECOVERY
Definition: pg_control.h:77
void SnapBuildSerializationPoint(SnapBuild *builder, XLogRecPtr lsn)
Definition: snapbuild.c:1476
bool RecoveryInProgress(void)
Definition: xlog.c:6522
@ WAL_LEVEL_LOGICAL
Definition: xlog.h:76

References Assert(), buf, elog, ereport, errcode(), errmsg(), ERROR, RecoveryInProgress(), LogicalDecodingContext::reorder, ReorderBufferProcessXid(), SnapBuildSerializationPoint(), LogicalDecodingContext::snapshot_builder, xl_parameter_change::wal_level, WAL_LEVEL_LOGICAL, XLOG_BACKUP_END, XLOG_CHECKPOINT_ONLINE, XLOG_CHECKPOINT_REDO, XLOG_CHECKPOINT_SHUTDOWN, XLOG_END_OF_RECOVERY, XLOG_FPI, XLOG_FPI_FOR_HINT, XLOG_FPW_CHANGE, XLOG_NEXTOID, XLOG_NOOP, XLOG_OVERWRITE_CONTRECORD, XLOG_PARAMETER_CHANGE, XLOG_RESTORE_POINT, XLOG_SWITCH, XLogRecGetData, XLogRecGetInfo, and XLogRecGetXid.