]> granicus.if.org Git - postgresql/blobdiff - src/include/postgres.h
Centralize definition of integer limits.
[postgresql] / src / include / postgres.h
index f9c5527932e51fc6f6576f530e096ae70d5ca0d2..ff30e05bfc844c94313858ca3319d4f12af97077 100644 (file)
@@ -7,7 +7,7 @@
  * Client-side code should include postgres_fe.h instead.
  *
  *
- * Portions Copyright (c) 1996-2013, PostgreSQL Global Development Group
+ * Portions Copyright (c) 1996-2015, PostgreSQL Global Development Group
  * Portions Copyright (c) 1995, Regents of the University of California
  *
  * src/include/postgres.h
@@ -33,7 +33,7 @@
  *     in the backend environment, but are of no interest outside the backend.
  *
  *     Simple type definitions live in c.h, where they are shared with
- *     postgres_fe.h.  We do that since those type definitions are needed by
+ *     postgres_fe.h.  We do that since those type definitions are needed by
  *     frontend modules that want to deal with binary data transmission to or
  *     from the backend.  Type definitions in this file should be for
  *     representations that never escape the backend, such as Datum or
  */
 
 /*
- * struct varatt_external is a "TOAST pointer", that is, the information
- * needed to fetch a stored-out-of-line Datum. The data is compressed
- * if and only if va_extsize < va_rawsize - VARHDRSZ.  This struct must not
- * contain any padding, because we sometimes compare pointers using memcmp.
+ * struct varatt_external is a traditional "TOAST pointer", that is, the
+ * information needed to fetch a Datum stored out-of-line in a TOAST table.
+ * The data is compressed if and only if va_extsize < va_rawsize - VARHDRSZ.
+ * This struct must not contain any padding, because we sometimes compare
+ * these pointers using memcmp.
  *
  * Note that this information is stored unaligned within actual tuples, so
  * you need to memcpy from the tuple into a local struct variable before
  * you can look at these fields!  (The reason we use memcmp is to avoid
  * having to do that just to detect equality of two TOAST pointers...)
  */
-struct varatt_external
+typedef struct varatt_external
 {
        int32           va_rawsize;             /* Original data size (includes header) */
        int32           va_extsize;             /* External saved size (doesn't) */
        Oid                     va_valueid;             /* Unique ID of value within TOAST table */
        Oid                     va_toastrelid;  /* RelID of TOAST table containing it */
-};
+}      varatt_external;
+
+/*
+ * struct varatt_indirect is a "TOAST pointer" representing an out-of-line
+ * Datum that's stored in memory, not in an external toast relation.
+ * The creator of such a Datum is entirely responsible that the referenced
+ * storage survives for as long as referencing pointer Datums can exist.
+ *
+ * Note that just as for struct varatt_external, this struct is stored
+ * unaligned within any containing tuple.
+ */
+typedef struct varatt_indirect
+{
+       struct varlena *pointer;        /* Pointer to in-memory varlena */
+}      varatt_indirect;
+
+/*
+ * Type tag for the various sorts of "TOAST pointer" datums.  The peculiar
+ * value for VARTAG_ONDISK comes from a requirement for on-disk compatibility
+ * with a previous notion that the tag field was the pointer datum's length.
+ */
+typedef enum vartag_external
+{
+       VARTAG_INDIRECT = 1,
+       VARTAG_ONDISK = 18
+} vartag_external;
+
+#define VARTAG_SIZE(tag) \
+       ((tag) == VARTAG_INDIRECT ? sizeof(varatt_indirect) : \
+        (tag) == VARTAG_ONDISK ? sizeof(varatt_external) : \
+        TrapMacro(true, "unrecognized TOAST vartag"))
 
 /*
  * These structs describe the header of a varlena object that may have been
@@ -86,27 +117,28 @@ typedef union
        struct                                          /* Normal varlena (4-byte length) */
        {
                uint32          va_header;
-               char            va_data[1];
+               char            va_data[FLEXIBLE_ARRAY_MEMBER];
        }                       va_4byte;
        struct                                          /* Compressed-in-line format */
        {
                uint32          va_header;
                uint32          va_rawsize; /* Original data size (excludes header) */
-               char            va_data[1]; /* Compressed data */
+               char            va_data[FLEXIBLE_ARRAY_MEMBER];         /* Compressed data */
        }                       va_compressed;
 } varattrib_4b;
 
 typedef struct
 {
        uint8           va_header;
-       char            va_data[1];             /* Data begins here */
+       char            va_data[FLEXIBLE_ARRAY_MEMBER]; /* Data begins here */
 } varattrib_1b;
 
+/* TOAST pointers are a subset of varattrib_1b with an identifying tag byte */
 typedef struct
 {
        uint8           va_header;              /* Always 0x80 or 0x01 */
-       uint8           va_len_1be;             /* Physical length of datum */
-       char            va_data[1];             /* Data (for now always a TOAST pointer) */
+       uint8           va_tag;                 /* Type of datum */
+       char            va_data[FLEXIBLE_ARRAY_MEMBER]; /* Type-specific data */
 } varattrib_1b_e;
 
 /*
@@ -127,9 +159,12 @@ typedef struct
  * The "xxx" bits are the length field (which includes itself in all cases).
  * In the big-endian case we mask to extract the length, in the little-endian
  * case we shift.  Note that in both cases the flag bits are in the physically
- * first byte. Also, it is not possible for a 1-byte length word to be zero;
+ * first byte.  Also, it is not possible for a 1-byte length word to be zero;
  * this lets us disambiguate alignment padding bytes from the start of an
  * unaligned datum.  (We now *require* pad bytes to be filled with zero!)
+ *
+ * In TOAST pointers the va_tag field (see varattrib_1b_e) is used to discern
+ * the specific type and length of the pointer datum.
  */
 
 /*
@@ -161,8 +196,8 @@ typedef struct
        (((varattrib_4b *) (PTR))->va_4byte.va_header & 0x3FFFFFFF)
 #define VARSIZE_1B(PTR) \
        (((varattrib_1b *) (PTR))->va_header & 0x7F)
-#define VARSIZE_1B_E(PTR) \
-       (((varattrib_1b_e *) (PTR))->va_len_1be)
+#define VARTAG_1B_E(PTR) \
+       (((varattrib_1b_e *) (PTR))->va_tag)
 
 #define SET_VARSIZE_4B(PTR,len) \
        (((varattrib_4b *) (PTR))->va_4byte.va_header = (len) & 0x3FFFFFFF)
@@ -170,9 +205,9 @@ typedef struct
        (((varattrib_4b *) (PTR))->va_4byte.va_header = ((len) & 0x3FFFFFFF) | 0x40000000)
 #define SET_VARSIZE_1B(PTR,len) \
        (((varattrib_1b *) (PTR))->va_header = (len) | 0x80)
-#define SET_VARSIZE_1B_E(PTR,len) \
+#define SET_VARTAG_1B_E(PTR,tag) \
        (((varattrib_1b_e *) (PTR))->va_header = 0x80, \
-        ((varattrib_1b_e *) (PTR))->va_len_1be = (len))
+        ((varattrib_1b_e *) (PTR))->va_tag = (tag))
 #else                                                  /* !WORDS_BIGENDIAN */
 
 #define VARATT_IS_4B(PTR) \
@@ -193,8 +228,8 @@ typedef struct
        ((((varattrib_4b *) (PTR))->va_4byte.va_header >> 2) & 0x3FFFFFFF)
 #define VARSIZE_1B(PTR) \
        ((((varattrib_1b *) (PTR))->va_header >> 1) & 0x7F)
-#define VARSIZE_1B_E(PTR) \
-       (((varattrib_1b_e *) (PTR))->va_len_1be)
+#define VARTAG_1B_E(PTR) \
+       (((varattrib_1b_e *) (PTR))->va_tag)
 
 #define SET_VARSIZE_4B(PTR,len) \
        (((varattrib_4b *) (PTR))->va_4byte.va_header = (((uint32) (len)) << 2))
@@ -202,12 +237,12 @@ typedef struct
        (((varattrib_4b *) (PTR))->va_4byte.va_header = (((uint32) (len)) << 2) | 0x02)
 #define SET_VARSIZE_1B(PTR,len) \
        (((varattrib_1b *) (PTR))->va_header = (((uint8) (len)) << 1) | 0x01)
-#define SET_VARSIZE_1B_E(PTR,len) \
+#define SET_VARTAG_1B_E(PTR,tag) \
        (((varattrib_1b_e *) (PTR))->va_header = 0x01, \
-        ((varattrib_1b_e *) (PTR))->va_len_1be = (len))
+        ((varattrib_1b_e *) (PTR))->va_tag = (tag))
 #endif   /* WORDS_BIGENDIAN */
 
-#define VARHDRSZ_SHORT                 1
+#define VARHDRSZ_SHORT                 offsetof(varattrib_1b, va_data)
 #define VARATT_SHORT_MAX               0x7F
 #define VARATT_CAN_MAKE_SHORT(PTR) \
        (VARATT_IS_4B_U(PTR) && \
@@ -215,7 +250,7 @@ typedef struct
 #define VARATT_CONVERTED_SHORT_SIZE(PTR) \
        (VARSIZE(PTR) - VARHDRSZ + VARHDRSZ_SHORT)
 
-#define VARHDRSZ_EXTERNAL              2
+#define VARHDRSZ_EXTERNAL              offsetof(varattrib_1b_e, va_data)
 
 #define VARDATA_4B(PTR)                (((varattrib_4b *) (PTR))->va_4byte.va_data)
 #define VARDATA_4B_C(PTR)      (((varattrib_4b *) (PTR))->va_compressed.va_data)
@@ -249,26 +284,33 @@ typedef struct
 #define VARSIZE_SHORT(PTR)                                     VARSIZE_1B(PTR)
 #define VARDATA_SHORT(PTR)                                     VARDATA_1B(PTR)
 
-#define VARSIZE_EXTERNAL(PTR)                          VARSIZE_1B_E(PTR)
+#define VARTAG_EXTERNAL(PTR)                           VARTAG_1B_E(PTR)
+#define VARSIZE_EXTERNAL(PTR)                          (VARHDRSZ_EXTERNAL + VARTAG_SIZE(VARTAG_EXTERNAL(PTR)))
 #define VARDATA_EXTERNAL(PTR)                          VARDATA_1B_E(PTR)
 
 #define VARATT_IS_COMPRESSED(PTR)                      VARATT_IS_4B_C(PTR)
 #define VARATT_IS_EXTERNAL(PTR)                                VARATT_IS_1B_E(PTR)
+#define VARATT_IS_EXTERNAL_ONDISK(PTR) \
+       (VARATT_IS_EXTERNAL(PTR) && VARTAG_EXTERNAL(PTR) == VARTAG_ONDISK)
+#define VARATT_IS_EXTERNAL_INDIRECT(PTR) \
+       (VARATT_IS_EXTERNAL(PTR) && VARTAG_EXTERNAL(PTR) == VARTAG_INDIRECT)
 #define VARATT_IS_SHORT(PTR)                           VARATT_IS_1B(PTR)
 #define VARATT_IS_EXTENDED(PTR)                                (!VARATT_IS_4B_U(PTR))
 
 #define SET_VARSIZE(PTR, len)                          SET_VARSIZE_4B(PTR, len)
 #define SET_VARSIZE_SHORT(PTR, len)                    SET_VARSIZE_1B(PTR, len)
 #define SET_VARSIZE_COMPRESSED(PTR, len)       SET_VARSIZE_4B_C(PTR, len)
-#define SET_VARSIZE_EXTERNAL(PTR, len)         SET_VARSIZE_1B_E(PTR, len)
+
+#define SET_VARTAG_EXTERNAL(PTR, tag)          SET_VARTAG_1B_E(PTR, tag)
 
 #define VARSIZE_ANY(PTR) \
-       (VARATT_IS_1B_E(PTR) ? VARSIZE_1B_E(PTR) : \
+       (VARATT_IS_1B_E(PTR) ? VARSIZE_EXTERNAL(PTR) : \
         (VARATT_IS_1B(PTR) ? VARSIZE_1B(PTR) : \
          VARSIZE_4B(PTR)))
 
+/* Size of a varlena data, excluding header */
 #define VARSIZE_ANY_EXHDR(PTR) \
-       (VARATT_IS_1B_E(PTR) ? VARSIZE_1B_E(PTR)-VARHDRSZ_EXTERNAL : \
+       (VARATT_IS_1B_E(PTR) ? VARSIZE_EXTERNAL(PTR)-VARHDRSZ_EXTERNAL : \
         (VARATT_IS_1B(PTR) ? VARSIZE_1B(PTR)-VARHDRSZ_SHORT : \
          VARSIZE_4B(PTR)-VARHDRSZ))
 
@@ -458,7 +500,7 @@ typedef Datum *DatumPtr;
 
 /*
  * MultiXactIdGetDatum
- *             Returns datum representation for a multixact identifier.
+ *             Returns datum representation for a multixact identifier.
  */
 
 #define MultiXactIdGetDatum(X) ((Datum) SET_4_BYTES((X)))
@@ -639,15 +681,12 @@ extern Datum Float8GetDatum(float8 X);
  */
 
 /*
- * These declarations supports the assertion-related macros in c.h.
- * assert_enabled is here because that file doesn't have PGDLLIMPORT in the
- * right place, and ExceptionalCondition must be present, for the backend only,
- * even when assertions are not enabled.
+ * Backend only infrastructure for the assertion-related macros in c.h.
+ *
+ * ExceptionalCondition must be present even when assertions are not enabled.
  */
-extern PGDLLIMPORT bool assert_enabled;
-
 extern void ExceptionalCondition(const char *conditionName,
                                         const char *errorType,
-                        const char *fileName, int lineNumber) __attribute__((noreturn));
+                        const char *fileName, int lineNumber) pg_attribute_noreturn;
 
 #endif   /* POSTGRES_H */