LCOV - code coverage report
Current view: top level - src/bin/pg_waldump - xactdesc.c (source / functions) Hit Total Coverage
Test: PostgreSQL 13devel Lines: 0 163 0.0 %
Date: 2019-09-22 08:06:49 Functions: 0 7 0.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : /*-------------------------------------------------------------------------
       2             :  *
       3             :  * xactdesc.c
       4             :  *    rmgr descriptor routines for access/transam/xact.c
       5             :  *
       6             :  * Portions Copyright (c) 1996-2019, PostgreSQL Global Development Group
       7             :  * Portions Copyright (c) 1994, Regents of the University of California
       8             :  *
       9             :  *
      10             :  * IDENTIFICATION
      11             :  *    src/backend/access/rmgrdesc/xactdesc.c
      12             :  *
      13             :  *-------------------------------------------------------------------------
      14             :  */
      15             : #include "postgres.h"
      16             : 
      17             : #include "access/transam.h"
      18             : #include "access/xact.h"
      19             : #include "storage/sinval.h"
      20             : #include "storage/standbydefs.h"
      21             : #include "utils/timestamp.h"
      22             : 
      23             : /*
      24             :  * Parse the WAL format of an xact commit and abort records into an easier to
      25             :  * understand format.
      26             :  *
      27             :  * This routines are in xactdesc.c because they're accessed in backend (when
      28             :  * replaying WAL) and frontend (pg_waldump) code. This file is the only xact
      29             :  * specific one shared between both. They're complicated enough that
      30             :  * duplication would be bothersome.
      31             :  */
      32             : 
      33             : void
      34           0 : ParseCommitRecord(uint8 info, xl_xact_commit *xlrec, xl_xact_parsed_commit *parsed)
      35             : {
      36           0 :     char       *data = ((char *) xlrec) + MinSizeOfXactCommit;
      37             : 
      38           0 :     memset(parsed, 0, sizeof(*parsed));
      39             : 
      40           0 :     parsed->xinfo = 0;           /* default, if no XLOG_XACT_HAS_INFO is
      41             :                                  * present */
      42             : 
      43           0 :     parsed->xact_time = xlrec->xact_time;
      44             : 
      45           0 :     if (info & XLOG_XACT_HAS_INFO)
      46             :     {
      47           0 :         xl_xact_xinfo *xl_xinfo = (xl_xact_xinfo *) data;
      48             : 
      49           0 :         parsed->xinfo = xl_xinfo->xinfo;
      50             : 
      51           0 :         data += sizeof(xl_xact_xinfo);
      52             :     }
      53             : 
      54           0 :     if (parsed->xinfo & XACT_XINFO_HAS_DBINFO)
      55             :     {
      56           0 :         xl_xact_dbinfo *xl_dbinfo = (xl_xact_dbinfo *) data;
      57             : 
      58           0 :         parsed->dbId = xl_dbinfo->dbId;
      59           0 :         parsed->tsId = xl_dbinfo->tsId;
      60             : 
      61           0 :         data += sizeof(xl_xact_dbinfo);
      62             :     }
      63             : 
      64           0 :     if (parsed->xinfo & XACT_XINFO_HAS_SUBXACTS)
      65             :     {
      66           0 :         xl_xact_subxacts *xl_subxacts = (xl_xact_subxacts *) data;
      67             : 
      68           0 :         parsed->nsubxacts = xl_subxacts->nsubxacts;
      69           0 :         parsed->subxacts = xl_subxacts->subxacts;
      70             : 
      71           0 :         data += MinSizeOfXactSubxacts;
      72           0 :         data += parsed->nsubxacts * sizeof(TransactionId);
      73             :     }
      74             : 
      75           0 :     if (parsed->xinfo & XACT_XINFO_HAS_RELFILENODES)
      76             :     {
      77           0 :         xl_xact_relfilenodes *xl_relfilenodes = (xl_xact_relfilenodes *) data;
      78             : 
      79           0 :         parsed->nrels = xl_relfilenodes->nrels;
      80           0 :         parsed->xnodes = xl_relfilenodes->xnodes;
      81             : 
      82           0 :         data += MinSizeOfXactRelfilenodes;
      83           0 :         data += xl_relfilenodes->nrels * sizeof(RelFileNode);
      84             :     }
      85             : 
      86           0 :     if (parsed->xinfo & XACT_XINFO_HAS_INVALS)
      87             :     {
      88           0 :         xl_xact_invals *xl_invals = (xl_xact_invals *) data;
      89             : 
      90           0 :         parsed->nmsgs = xl_invals->nmsgs;
      91           0 :         parsed->msgs = xl_invals->msgs;
      92             : 
      93           0 :         data += MinSizeOfXactInvals;
      94           0 :         data += xl_invals->nmsgs * sizeof(SharedInvalidationMessage);
      95             :     }
      96             : 
      97           0 :     if (parsed->xinfo & XACT_XINFO_HAS_TWOPHASE)
      98             :     {
      99           0 :         xl_xact_twophase *xl_twophase = (xl_xact_twophase *) data;
     100             : 
     101           0 :         parsed->twophase_xid = xl_twophase->xid;
     102             : 
     103           0 :         data += sizeof(xl_xact_twophase);
     104             : 
     105           0 :         if (parsed->xinfo & XACT_XINFO_HAS_GID)
     106             :         {
     107           0 :             strlcpy(parsed->twophase_gid, data, sizeof(parsed->twophase_gid));
     108           0 :             data += strlen(data) + 1;
     109             :         }
     110             :     }
     111             : 
     112             :     /* Note: no alignment is guaranteed after this point */
     113             : 
     114           0 :     if (parsed->xinfo & XACT_XINFO_HAS_ORIGIN)
     115             :     {
     116             :         xl_xact_origin xl_origin;
     117             : 
     118             :         /* no alignment is guaranteed, so copy onto stack */
     119           0 :         memcpy(&xl_origin, data, sizeof(xl_origin));
     120             : 
     121           0 :         parsed->origin_lsn = xl_origin.origin_lsn;
     122           0 :         parsed->origin_timestamp = xl_origin.origin_timestamp;
     123             : 
     124           0 :         data += sizeof(xl_xact_origin);
     125             :     }
     126           0 : }
     127             : 
     128             : void
     129           0 : ParseAbortRecord(uint8 info, xl_xact_abort *xlrec, xl_xact_parsed_abort *parsed)
     130             : {
     131           0 :     char       *data = ((char *) xlrec) + MinSizeOfXactAbort;
     132             : 
     133           0 :     memset(parsed, 0, sizeof(*parsed));
     134             : 
     135           0 :     parsed->xinfo = 0;           /* default, if no XLOG_XACT_HAS_INFO is
     136             :                                  * present */
     137             : 
     138           0 :     parsed->xact_time = xlrec->xact_time;
     139             : 
     140           0 :     if (info & XLOG_XACT_HAS_INFO)
     141             :     {
     142           0 :         xl_xact_xinfo *xl_xinfo = (xl_xact_xinfo *) data;
     143             : 
     144           0 :         parsed->xinfo = xl_xinfo->xinfo;
     145             : 
     146           0 :         data += sizeof(xl_xact_xinfo);
     147             :     }
     148             : 
     149           0 :     if (parsed->xinfo & XACT_XINFO_HAS_DBINFO)
     150             :     {
     151           0 :         xl_xact_dbinfo *xl_dbinfo = (xl_xact_dbinfo *) data;
     152             : 
     153           0 :         parsed->dbId = xl_dbinfo->dbId;
     154           0 :         parsed->tsId = xl_dbinfo->tsId;
     155             : 
     156           0 :         data += sizeof(xl_xact_dbinfo);
     157             :     }
     158             : 
     159           0 :     if (parsed->xinfo & XACT_XINFO_HAS_SUBXACTS)
     160             :     {
     161           0 :         xl_xact_subxacts *xl_subxacts = (xl_xact_subxacts *) data;
     162             : 
     163           0 :         parsed->nsubxacts = xl_subxacts->nsubxacts;
     164           0 :         parsed->subxacts = xl_subxacts->subxacts;
     165             : 
     166           0 :         data += MinSizeOfXactSubxacts;
     167           0 :         data += parsed->nsubxacts * sizeof(TransactionId);
     168             :     }
     169             : 
     170           0 :     if (parsed->xinfo & XACT_XINFO_HAS_RELFILENODES)
     171             :     {
     172           0 :         xl_xact_relfilenodes *xl_relfilenodes = (xl_xact_relfilenodes *) data;
     173             : 
     174           0 :         parsed->nrels = xl_relfilenodes->nrels;
     175           0 :         parsed->xnodes = xl_relfilenodes->xnodes;
     176             : 
     177           0 :         data += MinSizeOfXactRelfilenodes;
     178           0 :         data += xl_relfilenodes->nrels * sizeof(RelFileNode);
     179             :     }
     180             : 
     181           0 :     if (parsed->xinfo & XACT_XINFO_HAS_TWOPHASE)
     182             :     {
     183           0 :         xl_xact_twophase *xl_twophase = (xl_xact_twophase *) data;
     184             : 
     185           0 :         parsed->twophase_xid = xl_twophase->xid;
     186             : 
     187           0 :         data += sizeof(xl_xact_twophase);
     188             : 
     189           0 :         if (parsed->xinfo & XACT_XINFO_HAS_GID)
     190             :         {
     191           0 :             strlcpy(parsed->twophase_gid, data, sizeof(parsed->twophase_gid));
     192           0 :             data += strlen(data) + 1;
     193             :         }
     194             :     }
     195             : 
     196             :     /* Note: no alignment is guaranteed after this point */
     197             : 
     198           0 :     if (parsed->xinfo & XACT_XINFO_HAS_ORIGIN)
     199             :     {
     200             :         xl_xact_origin xl_origin;
     201             : 
     202             :         /* no alignment is guaranteed, so copy onto stack */
     203           0 :         memcpy(&xl_origin, data, sizeof(xl_origin));
     204             : 
     205           0 :         parsed->origin_lsn = xl_origin.origin_lsn;
     206           0 :         parsed->origin_timestamp = xl_origin.origin_timestamp;
     207             : 
     208           0 :         data += sizeof(xl_xact_origin);
     209             :     }
     210           0 : }
     211             : 
     212             : static void
     213           0 : xact_desc_commit(StringInfo buf, uint8 info, xl_xact_commit *xlrec, RepOriginId origin_id)
     214             : {
     215             :     xl_xact_parsed_commit parsed;
     216             :     int         i;
     217             : 
     218           0 :     ParseCommitRecord(info, xlrec, &parsed);
     219             : 
     220             :     /* If this is a prepared xact, show the xid of the original xact */
     221           0 :     if (TransactionIdIsValid(parsed.twophase_xid))
     222           0 :         appendStringInfo(buf, "%u: ", parsed.twophase_xid);
     223             : 
     224           0 :     appendStringInfoString(buf, timestamptz_to_str(xlrec->xact_time));
     225             : 
     226           0 :     if (parsed.nrels > 0)
     227             :     {
     228           0 :         appendStringInfoString(buf, "; rels:");
     229           0 :         for (i = 0; i < parsed.nrels; i++)
     230             :         {
     231           0 :             char       *path = relpathperm(parsed.xnodes[i], MAIN_FORKNUM);
     232             : 
     233           0 :             appendStringInfo(buf, " %s", path);
     234           0 :             pfree(path);
     235             :         }
     236             :     }
     237           0 :     if (parsed.nsubxacts > 0)
     238             :     {
     239           0 :         appendStringInfoString(buf, "; subxacts:");
     240           0 :         for (i = 0; i < parsed.nsubxacts; i++)
     241           0 :             appendStringInfo(buf, " %u", parsed.subxacts[i]);
     242             :     }
     243           0 :     if (parsed.nmsgs > 0)
     244             :     {
     245           0 :         standby_desc_invalidations(
     246             :                                    buf, parsed.nmsgs, parsed.msgs, parsed.dbId, parsed.tsId,
     247           0 :                                    XactCompletionRelcacheInitFileInval(parsed.xinfo));
     248             :     }
     249             : 
     250           0 :     if (XactCompletionForceSyncCommit(parsed.xinfo))
     251           0 :         appendStringInfoString(buf, "; sync");
     252             : 
     253           0 :     if (parsed.xinfo & XACT_XINFO_HAS_ORIGIN)
     254             :     {
     255           0 :         appendStringInfo(buf, "; origin: node %u, lsn %X/%X, at %s",
     256             :                          origin_id,
     257           0 :                          (uint32) (parsed.origin_lsn >> 32),
     258           0 :                          (uint32) parsed.origin_lsn,
     259             :                          timestamptz_to_str(parsed.origin_timestamp));
     260             :     }
     261           0 : }
     262             : 
     263             : static void
     264           0 : xact_desc_abort(StringInfo buf, uint8 info, xl_xact_abort *xlrec)
     265             : {
     266             :     xl_xact_parsed_abort parsed;
     267             :     int         i;
     268             : 
     269           0 :     ParseAbortRecord(info, xlrec, &parsed);
     270             : 
     271             :     /* If this is a prepared xact, show the xid of the original xact */
     272           0 :     if (TransactionIdIsValid(parsed.twophase_xid))
     273           0 :         appendStringInfo(buf, "%u: ", parsed.twophase_xid);
     274             : 
     275           0 :     appendStringInfoString(buf, timestamptz_to_str(xlrec->xact_time));
     276           0 :     if (parsed.nrels > 0)
     277             :     {
     278           0 :         appendStringInfoString(buf, "; rels:");
     279           0 :         for (i = 0; i < parsed.nrels; i++)
     280             :         {
     281           0 :             char       *path = relpathperm(parsed.xnodes[i], MAIN_FORKNUM);
     282             : 
     283           0 :             appendStringInfo(buf, " %s", path);
     284           0 :             pfree(path);
     285             :         }
     286             :     }
     287             : 
     288           0 :     if (parsed.nsubxacts > 0)
     289             :     {
     290           0 :         appendStringInfoString(buf, "; subxacts:");
     291           0 :         for (i = 0; i < parsed.nsubxacts; i++)
     292           0 :             appendStringInfo(buf, " %u", parsed.subxacts[i]);
     293             :     }
     294           0 : }
     295             : 
     296             : static void
     297           0 : xact_desc_assignment(StringInfo buf, xl_xact_assignment *xlrec)
     298             : {
     299             :     int         i;
     300             : 
     301           0 :     appendStringInfoString(buf, "subxacts:");
     302             : 
     303           0 :     for (i = 0; i < xlrec->nsubxacts; i++)
     304           0 :         appendStringInfo(buf, " %u", xlrec->xsub[i]);
     305           0 : }
     306             : 
     307             : void
     308           0 : xact_desc(StringInfo buf, XLogReaderState *record)
     309             : {
     310           0 :     char       *rec = XLogRecGetData(record);
     311           0 :     uint8       info = XLogRecGetInfo(record) & XLOG_XACT_OPMASK;
     312             : 
     313           0 :     if (info == XLOG_XACT_COMMIT || info == XLOG_XACT_COMMIT_PREPARED)
     314           0 :     {
     315           0 :         xl_xact_commit *xlrec = (xl_xact_commit *) rec;
     316             : 
     317           0 :         xact_desc_commit(buf, XLogRecGetInfo(record), xlrec,
     318           0 :                          XLogRecGetOrigin(record));
     319             :     }
     320           0 :     else if (info == XLOG_XACT_ABORT || info == XLOG_XACT_ABORT_PREPARED)
     321           0 :     {
     322           0 :         xl_xact_abort *xlrec = (xl_xact_abort *) rec;
     323             : 
     324           0 :         xact_desc_abort(buf, XLogRecGetInfo(record), xlrec);
     325             :     }
     326           0 :     else if (info == XLOG_XACT_ASSIGNMENT)
     327             :     {
     328           0 :         xl_xact_assignment *xlrec = (xl_xact_assignment *) rec;
     329             : 
     330             :         /*
     331             :          * Note that we ignore the WAL record's xid, since we're more
     332             :          * interested in the top-level xid that issued the record and which
     333             :          * xids are being reported here.
     334             :          */
     335           0 :         appendStringInfo(buf, "xtop %u: ", xlrec->xtop);
     336           0 :         xact_desc_assignment(buf, xlrec);
     337             :     }
     338           0 : }
     339             : 
     340             : const char *
     341           0 : xact_identify(uint8 info)
     342             : {
     343           0 :     const char *id = NULL;
     344             : 
     345           0 :     switch (info & XLOG_XACT_OPMASK)
     346             :     {
     347             :         case XLOG_XACT_COMMIT:
     348           0 :             id = "COMMIT";
     349           0 :             break;
     350             :         case XLOG_XACT_PREPARE:
     351           0 :             id = "PREPARE";
     352           0 :             break;
     353             :         case XLOG_XACT_ABORT:
     354           0 :             id = "ABORT";
     355           0 :             break;
     356             :         case XLOG_XACT_COMMIT_PREPARED:
     357           0 :             id = "COMMIT_PREPARED";
     358           0 :             break;
     359             :         case XLOG_XACT_ABORT_PREPARED:
     360           0 :             id = "ABORT_PREPARED";
     361           0 :             break;
     362             :         case XLOG_XACT_ASSIGNMENT:
     363           0 :             id = "ASSIGNMENT";
     364           0 :             break;
     365             :     }
     366             : 
     367           0 :     return id;
     368             : }

Generated by: LCOV version 1.13