Fix up problems in write_auth_file and parsing of the auth file.
authorTom Lane
Tue, 28 Jun 2005 22:16:45 +0000 (22:16 +0000)
committerTom Lane
Tue, 28 Jun 2005 22:16:45 +0000 (22:16 +0000)
In particular, make hba.c cope with zero-length tokens, which it
never did properly before.  Also, enforce rolcanlogin.

src/backend/commands/user.c
src/backend/libpq/hba.c
src/backend/utils/init/flatfiles.c
src/backend/utils/init/miscinit.c

index 0d34e57b258fc2225a1816aea24c115aa03711bb..e1e3e16a3500529010ecad1e76c3eba03b8fec2c 100644 (file)
@@ -6,7 +6,7 @@
  * Portions Copyright (c) 1996-2005, PostgreSQL Global Development Group
  * Portions Copyright (c) 1994, Regents of the University of California
  *
- * $PostgreSQL: pgsql/src/backend/commands/user.c,v 1.153 2005/06/28 19:51:22 tgl Exp $
+ * $PostgreSQL: pgsql/src/backend/commands/user.c,v 1.154 2005/06/28 22:16:44 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -859,6 +859,9 @@ RenameRole(const char *oldname, const char *newname)
    ReleaseSysCache(oldtuple);
    heap_close(rel, NoLock);
 
+   /*
+    * Set flag to update flat auth file at commit.
+    */
    auth_file_update_needed();
 }
 
@@ -902,6 +905,11 @@ GrantRole(GrantRoleStmt *stmt)
                        stmt->grantee_roles, grantee_ids,
                        stmt->admin_opt);
    }
+
+   /*
+    * Set flag to update flat auth file at commit.
+    */
+   auth_file_update_needed();
 }
 
 /*
index 52608eb45371af4c37b9b46a12b712573500604e..03a845eae9930e52ff24819cf64a7e7b76fca42d 100644 (file)
@@ -10,7 +10,7 @@
  *
  *
  * IDENTIFICATION
- *   $PostgreSQL: pgsql/src/backend/libpq/hba.c,v 1.143 2005/06/28 05:08:56 tgl Exp $
+ *   $PostgreSQL: pgsql/src/backend/libpq/hba.c,v 1.144 2005/06/28 22:16:45 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -96,17 +96,23 @@ pg_isblank(const char c)
 
 /*
  * Grab one token out of fp. Tokens are strings of non-blank
- * characters bounded by blank characters, beginning of line, and
- * end of line. Blank means space or tab. Return the token as
- * *buf. Leave file positioned at the character immediately after the
- * token or EOF, whichever comes first. If no more tokens on line,
- * return empty string as *buf and position the file to the beginning
- * of the next line or EOF, whichever comes first. Allow spaces in
- * quoted strings. Terminate on unquoted commas. Handle
- * comments. Treat unquoted keywords that might be role names or
+ * characters bounded by blank characters, commas, beginning of line, and
+ * end of line. Blank means space or tab. Tokens can be delimited by
+ * double quotes (and usually are, in current usage).
+ *
+ * The token, if any, is returned at *buf (a buffer of size bufsz).
+ *
+ * If successful: store null-terminated token at *buf and return TRUE.
+ * If no more tokens on line: set *buf = '\0' and return FALSE.
+ *
+ * Leave file positioned at the character immediately after the token or EOF,
+ * whichever comes first. If no more tokens on line, position the file to the
+ * beginning of the next line or EOF, whichever comes first.
+ *
+ * Handle comments. Treat unquoted keywords that might be role names or
  * database names specially, by appending a newline to them.
  */
-static void
+static bool
 next_token(FILE *fp, char *buf, int bufsz)
 {
    int         c;
@@ -125,7 +131,7 @@ next_token(FILE *fp, char *buf, int bufsz)
    if (c == EOF || c == '\n')
    {
        *buf = '\0';
-       return;
+       return false;
    }
 
    /*
@@ -200,6 +206,8 @@ next_token(FILE *fp, char *buf, int bufsz)
        *buf++ = '\n';
        *buf = '\0';
    }
+
+   return (saw_quote || buf > start_buf);
 }
 
 /*
@@ -207,25 +215,26 @@ next_token(FILE *fp, char *buf, int bufsz)
  *  to  break  apart  the  commas  to  expand  any  file names then
  *  reconstruct with commas.
  *
- * The result is always a palloc'd string.  If it's zero-length then
- * we have reached EOL.
+ * The result is a palloc'd string, or NULL if we have reached EOL.
  */
 static char *
 next_token_expand(const char *filename, FILE *file)
 {
    char        buf[MAX_TOKEN];
    char       *comma_str = pstrdup("");
+   bool        got_something = false;
    bool        trailing_comma;
    char       *incbuf;
    int         needed;
 
    do
    {
-       next_token(file, buf, sizeof(buf));
-       if (!buf[0])
+       if (!next_token(file, buf, sizeof(buf)))
            break;
 
-       if (buf[strlen(buf) - 1] == ',')
+       got_something = true;
+
+       if (strlen(buf) > 0 && buf[strlen(buf) - 1] == ',')
        {
            trailing_comma = true;
            buf[strlen(buf) - 1] = '\0';
@@ -249,6 +258,12 @@ next_token_expand(const char *filename, FILE *file)
        pfree(incbuf);
    } while (trailing_comma);
 
+   if (!got_something)
+   {
+       pfree(comma_str);
+       return NULL;
+   }
+
    return comma_str;
 }
 
@@ -402,7 +417,7 @@ tokenize_file(const char *filename, FILE *file,
        buf = next_token_expand(filename, file);
 
        /* add token to list, unless we are at EOL or comment start */
-       if (buf[0])
+       if (buf)
        {
            if (current_line == NIL)
            {
@@ -423,8 +438,6 @@ tokenize_file(const char *filename, FILE *file,
            current_line = NIL;
            /* Advance line number whenever we reach EOL */
            line_number++;
-           /* Don't forget to pfree the next_token_expand result */
-           pfree(buf);
        }
    }
 }
@@ -462,25 +475,33 @@ get_role_line(const char *role)
 
 
 /*
- * Does member belong to role?
+ * Does user belong to role?
+ *
+ * user is always the name given as the attempted login identifier.
+ * We check to see if it is a member of the specified role name.
  */
 static bool
-check_member(const char *role, const char *member)
+is_member(const char *user, const char *role)
 {
    List      **line;
-   List    **line2;
    ListCell   *line_item;
 
-   if ((line = get_role_line(member)) == NULL)
-       return false;           /* if member not exist, say "no" */
+   if ((line = get_role_line(user)) == NULL)
+       return false;           /* if user not exist, say "no" */
 
-   if ((line2 = get_role_line(role)) == NULL)
-       return false;           /* if role not exist, say "no" */
+   /* A user always belongs to its own role */
+   if (strcmp(user, role) == 0)
+       return true;
 
-   /* skip over the role name, password, valuntil, examine all the members */
-   for_each_cell(line_item, lfourth(*line2))
+   /*
+    * skip over the role name, password, valuntil, examine all the
+    * membership entries
+    */
+   if (list_length(*line) < 4)
+       return false;
+   for_each_cell(line_item, lnext(lnext(lnext(list_head(*line)))))
    {
-       if (strcmp((char *) lfirst(line_item), member) == 0)
+       if (strcmp((char *) lfirst(line_item), role) == 0)
            return true;
    }
 
@@ -488,18 +509,24 @@ check_member(const char *role, const char *member)
 }
 
 /*
- * Check comma member list for a specific role, handle role names.
+ * Check comma-separated list for a match to role, allowing group names.
+ *
+ * NB: param_str is destructively modified!  In current usage, this is
+ * okay only because this code is run after forking off from the postmaster,
+ * and so it doesn't matter that we clobber the stored hba info.
  */
 static bool
-check_role(char *role, char *param_str)
+check_role(const char *role, char *param_str)
 {
    char       *tok;
 
-   for (tok = strtok(param_str, MULTI_VALUE_SEP); tok != NULL; tok = strtok(NULL, MULTI_VALUE_SEP))
+   for (tok = strtok(param_str, MULTI_VALUE_SEP);
+        tok != NULL;
+        tok = strtok(NULL, MULTI_VALUE_SEP))
    {
        if (tok[0] == '+')
        {
-           if (check_member(tok + 1, role))
+           if (is_member(role, tok + 1))
                return true;
        }
        else if (strcmp(tok, role) == 0 ||
@@ -512,13 +539,19 @@ check_role(char *role, char *param_str)
 
 /*
  * Check to see if db/role combination matches param string.
+ *
+ * NB: param_str is destructively modified!  In current usage, this is
+ * okay only because this code is run after forking off from the postmaster,
+ * and so it doesn't matter that we clobber the stored hba info.
  */
 static bool
-check_db(char *dbname, char *role, char *param_str)
+check_db(const char *dbname, const char *role, char *param_str)
 {
    char       *tok;
 
-   for (tok = strtok(param_str, MULTI_VALUE_SEP); tok != NULL; tok = strtok(NULL, MULTI_VALUE_SEP))
+   for (tok = strtok(param_str, MULTI_VALUE_SEP);
+        tok != NULL;
+        tok = strtok(NULL, MULTI_VALUE_SEP))
    {
        if (strcmp(tok, "all\n") == 0)
            return true;
@@ -530,7 +563,7 @@ check_db(char *dbname, char *role, char *param_str)
        else if (strcmp(tok, "samegroup\n") == 0 ||
                 strcmp(tok, "samerole\n") == 0)
        {
-           if (check_member(dbname, role))
+           if (is_member(role, dbname))
                return true;
        }
        else if (strcmp(tok, dbname) == 0)
@@ -981,8 +1014,7 @@ read_pg_database_line(FILE *fp, char *dbname,
 
    if (feof(fp))
        return false;
-   next_token(fp, buf, sizeof(buf));
-   if (!buf[0])
+   if (!next_token(fp, buf, sizeof(buf)))
        return false;
    if (strlen(buf) >= NAMEDATALEN)
        elog(FATAL, "bad data in flat pg_database file");
@@ -1000,8 +1032,7 @@ read_pg_database_line(FILE *fp, char *dbname,
    if (!isdigit((unsigned char) buf[0]))
        elog(FATAL, "bad data in flat pg_database file");
    /* expect EOL next */
-   next_token(fp, buf, sizeof(buf));
-   if (buf[0])
+   if (next_token(fp, buf, sizeof(buf)))
        elog(FATAL, "bad data in flat pg_database file");
    return true;
 }
index 8b129692f45e6ee3513dd1504f5b4be8f0d6c8fe..19d6b69d9833bb96474b0e75b2bc4ae1b530e530 100644 (file)
@@ -23,7 +23,7 @@
  * Portions Copyright (c) 1996-2005, PostgreSQL Global Development Group
  * Portions Copyright (c) 1994, Regents of the University of California
  *
- * $PostgreSQL: pgsql/src/backend/utils/init/flatfiles.c,v 1.9 2005/06/28 05:09:02 tgl Exp $
+ * $PostgreSQL: pgsql/src/backend/utils/init/flatfiles.c,v 1.10 2005/06/28 22:16:45 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
 #include 
 #include 
 
-#include "access/genam.h"
 #include "access/heapam.h"
 #include "access/twophase_rmgr.h"
-#include "catalog/indexing.h"
 #include "catalog/pg_auth_members.h"
 #include "catalog/pg_authid.h"
 #include "catalog/pg_database.h"
@@ -48,7 +46,6 @@
 #include "utils/acl.h"
 #include "utils/builtins.h"
 #include "utils/flatfiles.h"
-#include "utils/fmgroids.h"
 #include "utils/resowner.h"
 #include "utils/syscache.h"
 
@@ -89,7 +86,8 @@ database_file_update_needed(void)
 }
 
 /*
- * Mark flat auth file as needing an update (because pg_auth changed)
+ * Mark flat auth file as needing an update (because pg_authid or
+ * pg_auth_members changed)
  */
 void
 auth_file_update_needed(void)
@@ -119,7 +117,7 @@ database_getflatfilename(void)
 }
 
 /*
- * Get full pathname of auth file.
+ * auth_getflatfilename --- get full pathname of auth file
  *
  * Note that result string is palloc'd, and should be freed by the caller.
  */
@@ -282,9 +280,6 @@ write_database_file(Relation drel)
                 errmsg("could not rename file \"%s\" to \"%s\": %m",
                        tempname, filename)));
 
-   pfree(tempname);
-   pfree(filename);
-
    /*
     * Set the transaction ID wrap limit using the oldest datfrozenxid
     */
@@ -295,14 +290,27 @@ write_database_file(Relation drel)
 
 /*
  * Support for write_auth_file
+ *
+ * The format for the flat auth file is
+ *     "rolename" "password" "validuntil" "memberof" "memberof" ...
+ * Only roles that are marked rolcanlogin are entered into the auth file.
+ * Each role's line lists all the roles (groups) of which it is directly
+ * or indirectly a member.
+ *
+ * The postmaster expects the file to be sorted by rolename.  There is not
+ * any special ordering of the membership lists.
+ *
+ * To construct this information, we scan pg_authid and pg_auth_members,
+ * and build data structures in-memory before writing the file.
  */
 
 typedef struct {
    Oid         roleid;
+   bool        rolcanlogin;
    char*       rolname;
    char*       rolpassword;
    char*       rolvaliduntil;
-   List*       roles_names;
+   List*       member_of;
 } auth_entry;
 
 typedef struct {
@@ -310,6 +318,8 @@ typedef struct {
    Oid         memberid;
 } authmem_entry;
 
+
+/* qsort comparator for sorting auth_entry array by roleid */
 static int
 oid_compar(const void *a, const void *b)
 {
@@ -321,6 +331,7 @@ oid_compar(const void *a, const void *b)
    return 0;
 }
 
+/* qsort comparator for sorting auth_entry array by rolname */
 static int
 name_compar(const void *a, const void *b)
 {
@@ -330,6 +341,7 @@ name_compar(const void *a, const void *b)
    return strcmp(a_auth->rolname,b_auth->rolname);
 }
 
+/* qsort comparator for sorting authmem_entry array by memberid */
 static int
 mem_compar(const void *a, const void *b)
 {
@@ -341,11 +353,12 @@ mem_compar(const void *a, const void *b)
    return 0;
 }
 
+
 /*
  * write_auth_file: update the flat auth file
  */
 static void
-write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
+write_auth_file(Relation rel_authid, Relation rel_authmem)
 {
    char       *filename,
               *tempname;
@@ -361,11 +374,11 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
    int         total_mem = 0;
    int         est_rows;
    auth_entry  *auth_info;
-   authmem_entry  *authmem_info = NULL;
+   authmem_entry *authmem_info;
 
    /*
     * Create a temporary filename to be renamed later.  This prevents the
-    * backend from clobbering the pg_auth file while the postmaster might
+    * backend from clobbering the flat file while the postmaster might
     * be reading from it.
     */
    filename = auth_getflatfilename();
@@ -383,26 +396,35 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
                        tempname)));
 
    /*
-    * Read pg_authid and fill temporary data structures.
+    * Read pg_authid and fill temporary data structures.  Note we must
+    * read all roles, even those without rolcanlogin.
     */
-   totalblocks = RelationGetNumberOfBlocks(rel_auth);
+   totalblocks = RelationGetNumberOfBlocks(rel_authid);
    totalblocks = totalblocks ? totalblocks : 1;
    est_rows = totalblocks * (BLCKSZ / (sizeof(HeapTupleHeaderData)+sizeof(FormData_pg_authid)));
    auth_info = (auth_entry*) palloc(est_rows*sizeof(auth_entry));
 
-   scan = heap_beginscan(rel_auth, SnapshotNow, 0, NULL);
+   scan = heap_beginscan(rel_authid, SnapshotNow, 0, NULL);
    while ((tuple = heap_getnext(scan, ForwardScanDirection)) != NULL)
    {
-       Form_pg_authid pwform = (Form_pg_authid) GETSTRUCT(tuple);
+       Form_pg_authid aform = (Form_pg_authid) GETSTRUCT(tuple);
        HeapTupleHeader tup = tuple->t_data;
        char       *tp;             /* ptr to tuple data */
        long        off;            /* offset in tuple data */
        bits8      *bp = tup->t_bits;   /* ptr to null bitmask in tuple */
        Datum       datum;
 
+       if (curr_role >= est_rows)
+       {
+           est_rows *= 2;
+           auth_info = (auth_entry*)
+               repalloc(auth_info, est_rows*sizeof(auth_entry));
+       }
+
        auth_info[curr_role].roleid = HeapTupleGetOid(tuple);
-       auth_info[curr_role].rolname = pstrdup(NameStr(pwform->rolname));
-       auth_info[curr_role].roles_names = NIL;
+       auth_info[curr_role].rolcanlogin = aform->rolcanlogin;
+       auth_info[curr_role].rolname = pstrdup(NameStr(aform->rolname));
+       auth_info[curr_role].member_of = NIL;
 
        /*
         * We can't use heap_getattr() here because during startup we will
@@ -462,9 +484,6 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
            ereport(LOG,
                    (errmsg("invalid role name \"%s\"",
                            auth_info[curr_role].rolname)));
-           pfree(auth_info[curr_role].rolname);
-           pfree(auth_info[curr_role].rolpassword);
-           pfree(auth_info[curr_role].rolvaliduntil);
            continue;
        }
        if (!name_okay(auth_info[curr_role].rolpassword))
@@ -472,9 +491,6 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
            ereport(LOG,
                    (errmsg("invalid role password \"%s\"",
                            auth_info[curr_role].rolpassword)));
-           pfree(auth_info[curr_role].rolname);
-           pfree(auth_info[curr_role].rolpassword);
-           pfree(auth_info[curr_role].rolvaliduntil);
            continue;
        }
 
@@ -483,10 +499,6 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
    }
    heap_endscan(scan);
 
-   Assert(total_roles <= est_rows);
-
-   qsort(auth_info, total_roles, sizeof(auth_entry), oid_compar);
-
    /*
     * Read pg_auth_members into temporary data structure, too
     */
@@ -500,6 +512,13 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
    {
        Form_pg_auth_members memform = (Form_pg_auth_members) GETSTRUCT(tuple);
 
+       if (curr_mem >= est_rows)
+       {
+           est_rows *= 2;
+           authmem_info = (authmem_entry*)
+               repalloc(authmem_info, est_rows*sizeof(authmem_entry));
+       }
+
        authmem_info[curr_mem].roleid = memform->roleid;
        authmem_info[curr_mem].memberid = memform->member;
        curr_mem++;
@@ -507,35 +526,48 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
    }
    heap_endscan(scan);
 
-   Assert(total_mem <= est_rows);
-
-   qsort(authmem_info, total_mem, sizeof(authmem_entry), mem_compar);
-
-   for (curr_role = 0; curr_role < total_roles; curr_role++)
+   /*
+    * Search for memberships.  We can skip all this if pg_auth_members
+    * is empty.
+    */
+   if (total_mem > 0)
    {
-       int     first_found, last_found, curr_mem;
-       List    *roles_list_hunt = NIL;
-       List    *roles_list = NIL;
-       ListCell *mem = NULL;
-       auth_entry *found_role = NULL, key_auth;
-       authmem_entry key;
-       authmem_entry *found_mem = NULL;
-
-       roles_list_hunt = lappend_oid(roles_list_hunt,
-                                     auth_info[curr_role].roleid);
-
-       while (roles_list_hunt)
+       /*
+        * Sort auth_info by roleid and authmem_info by memberid.
+        */
+       qsort(auth_info, total_roles, sizeof(auth_entry), oid_compar);
+       qsort(authmem_info, total_mem, sizeof(authmem_entry), mem_compar);
+       /*
+        * For each role, find what it belongs to.  We can skip this for
+        * non-login roles.
+        */
+       for (curr_role = 0; curr_role < total_roles; curr_role++)
        {
-           key.memberid = linitial_oid(roles_list_hunt);
-           roles_list_hunt = list_delete_first(roles_list_hunt);
-           if (total_mem)
+           List    *roles_list = NIL;
+           List    *roles_names_list = NIL;
+           List    *roles_list_hunt;
+           ListCell *mem;
+
+           if (!auth_info[curr_role].rolcanlogin)
+               continue;
+
+           roles_list_hunt = list_make1_oid(auth_info[curr_role].roleid);
+           while (roles_list_hunt)
+           {
+               authmem_entry key;
+               authmem_entry *found_mem;
+               int     first_found, last_found, curr_mem;
+
+               key.memberid = linitial_oid(roles_list_hunt);
+               roles_list_hunt = list_delete_first(roles_list_hunt);
                found_mem = bsearch(&key, authmem_info, total_mem,
                                    sizeof(authmem_entry), mem_compar);
-           if (found_mem)
-           {
+               if (!found_mem)
+                   continue;
                /*
-                * bsearch found a match for us; but if there were multiple
-                * matches it could have found any one of them.
+                * bsearch found a match for us; but if there were
+                * multiple matches it could have found any one of them.
+                * Locate first and last match.
                 */
                first_found = last_found = (found_mem - authmem_info);
                while (first_found > 0 &&
@@ -544,59 +576,68 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
                while (last_found + 1 < total_mem &&
                       mem_compar(&key, &authmem_info[last_found + 1]) == 0)
                    last_found++;
-
+               /*
+                * Now add all the new roles to roles_list, as well
+                * as to our list of what remains to be searched.
+                */
                for (curr_mem = first_found; curr_mem <= last_found; curr_mem++)
                {
-                   Oid otherrole = authmem_info[curr_mem].roleid;
+                   Oid rolid = authmem_info[curr_mem].roleid;
 
-                   if (!list_member_oid(roles_list, otherrole))
+                   if (!list_member_oid(roles_list, rolid))
                    {
-                       roles_list = lappend_oid(roles_list,
-                                                otherrole);
-                       roles_list_hunt = lappend_oid(roles_list_hunt,
-                                                     otherrole);
+                       roles_list = lappend_oid(roles_list, rolid);
+                       roles_list_hunt = lappend_oid(roles_list_hunt, rolid);
                    }
                }
            }
-       }
 
-       foreach(mem, roles_list)
-       {
-           key_auth.roleid = lfirst_oid(mem);
-           found_role = bsearch(&key_auth, auth_info, total_roles, sizeof(auth_entry), oid_compar);
-           auth_info[curr_role].roles_names = lappend(auth_info[curr_role].roles_names,found_role->rolname);
+           /*
+            * Convert list of role Oids to list of role names.
+            * We must do this before re-sorting auth_info.
+            */
+           foreach(mem, roles_list)
+           {
+               auth_entry key_auth;
+               auth_entry *found_role;
+
+               key_auth.roleid = lfirst_oid(mem);
+               found_role = bsearch(&key_auth, auth_info, total_roles,
+                                    sizeof(auth_entry), oid_compar);
+               roles_names_list = lappend(roles_names_list,
+                                          found_role->rolname);
+           }
+           auth_info[curr_role].member_of = roles_names_list;
        }
    }
 
+   /*
+    * Now sort auth_info into rolname order for output, and write the file.
+    */
    qsort(auth_info, total_roles, sizeof(auth_entry), name_compar);
 
    for (curr_role = 0; curr_role < total_roles; curr_role++)
    {
-       ListCell *mem = NULL;
-
-       /*----------
-        * The file format is:
-        *  "rolename" "password" "validuntil" "member" "member" ...
-        * where lines are expected to be in order by rolename
-        *----------
-        */
-       fputs_quote(auth_info[curr_role].rolname, fp);
-       fputs(" ", fp);
-       fputs_quote(auth_info[curr_role].rolpassword, fp);
-       fputs(" ", fp);
-       fputs_quote(auth_info[curr_role].rolvaliduntil, fp);
+       auth_entry *arole = &auth_info[curr_role];
 
-       foreach(mem, auth_info[curr_role].roles_names)
+       if (arole->rolcanlogin)
        {
+           ListCell *mem;
+
+           fputs_quote(arole->rolname, fp);
            fputs(" ", fp);
-           fputs_quote(lfirst(mem), fp);
-       }
+           fputs_quote(arole->rolpassword, fp);
+           fputs(" ", fp);
+           fputs_quote(arole->rolvaliduntil, fp);
 
-       fputs("\n", fp);
+           foreach(mem, arole->member_of)
+           {
+               fputs(" ", fp);
+               fputs_quote((char *) lfirst(mem), fp);
+           }
 
-       pfree(auth_info[curr_role].rolname);
-       pfree(auth_info[curr_role].rolpassword);
-       pfree(auth_info[curr_role].rolvaliduntil);
+           fputs("\n", fp);
+       }
    }
 
    if (FreeFile(fp))
@@ -614,11 +655,6 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
                (errcode_for_file_access(),
                 errmsg("could not rename file \"%s\" to \"%s\": %m",
                        tempname, filename)));
-
-   pfree(auth_info);
-   pfree(authmem_info);
-   pfree(tempname);
-   pfree(filename);
 }
 
 
@@ -634,15 +670,15 @@ write_auth_file(Relation rel_auth, Relation rel_authmem, bool startup)
  * scan pg_database to compute the XID wrap limit anyway.
  *
  * In a standalone backend we pass database_only = true to skip processing
- * the user and group files.  We won't need them, and building them could
- * fail if there's something corrupt in those catalogs.
+ * the auth file.  We won't need it, and building it could fail if there's
+ * something corrupt in the authid/authmem catalogs.
  */
 void
 BuildFlatFiles(bool database_only)
 {
    ResourceOwner owner;
    RelFileNode rnode;
-   Relation    rel, rel_auth, rel_authmem;
+   Relation    rel_db, rel_authid, rel_authmem;
 
    /*
     * We don't have any hope of running a real relcache, but we can use
@@ -660,21 +696,24 @@ BuildFlatFiles(bool database_only)
    rnode.relNode = DatabaseRelationId;
 
    /* No locking is needed because no one else is alive yet */
-   rel = XLogOpenRelation(rnode);
-   write_database_file(rel);
+   rel_db = XLogOpenRelation(rnode);
+   write_database_file(rel_db);
 
    if (!database_only)
    {
-       /* hard-wired path to pg_auth */
+       /* hard-wired path to pg_authid */
        rnode.spcNode = GLOBALTABLESPACE_OID;
        rnode.dbNode = 0;
        rnode.relNode = AuthIdRelationId;
-       rel_auth = XLogOpenRelation(rnode);
+       rel_authid = XLogOpenRelation(rnode);
 
+       /* hard-wired path to pg_auth_members */
        rnode.spcNode = GLOBALTABLESPACE_OID;
        rnode.dbNode = 0;
        rnode.relNode = AuthMemRelationId;
        rel_authmem = XLogOpenRelation(rnode);
+
+       write_auth_file(rel_authid, rel_authmem);
    }
 
    CurrentResourceOwner = NULL;
@@ -729,12 +768,17 @@ AtEOXact_UpdateFlatFiles(bool isCommit)
     * of a deadlock here (if we were triggered by a user update of one
     * of the tables, which likely won't have gotten a strong enough lock),
     * so get the locks we need before writing anything.
+    *
+    * For writing the auth file, it's sufficient to ExclusiveLock pg_authid;
+    * we take just regular AccessShareLock on pg_auth_members.
     */
    if (database_file_update_subid != InvalidSubTransactionId)
        drel = heap_open(DatabaseRelationId, ExclusiveLock);
-   if (auth_file_update_subid != InvalidSubTransactionId) {
+
+   if (auth_file_update_subid != InvalidSubTransactionId)
+   {
        arel = heap_open(AuthIdRelationId, ExclusiveLock);
-       mrel = heap_open(AuthMemRelationId, ExclusiveLock);
+       mrel = heap_open(AuthMemRelationId, AccessShareLock);
    }
 
    /* Okay to write the files */
@@ -748,7 +792,7 @@ AtEOXact_UpdateFlatFiles(bool isCommit)
    if (auth_file_update_subid != InvalidSubTransactionId)
    {
        auth_file_update_subid = InvalidSubTransactionId;
-       write_auth_file(arel, mrel, false);
+       write_auth_file(arel, mrel);
        heap_close(arel, NoLock);
        heap_close(mrel, NoLock);
    }
@@ -847,8 +891,6 @@ flatfile_update_trigger(PG_FUNCTION_ARGS)
            database_file_update_needed();
            break;
        case AuthIdRelationId:
-           auth_file_update_needed();
-           break;
        case AuthMemRelationId:
            auth_file_update_needed();
            break;
index 1db2992899697a9d9a1e7be841f284d223e0cef0..be1f6e704962e858314d2d173e9d3bbaf4249804 100644 (file)
@@ -8,7 +8,7 @@
  *
  *
  * IDENTIFICATION
- *   $PostgreSQL: pgsql/src/backend/utils/init/miscinit.c,v 1.143 2005/06/28 05:09:02 tgl Exp $
+ *   $PostgreSQL: pgsql/src/backend/utils/init/miscinit.c,v 1.144 2005/06/28 22:16:45 tgl Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -312,6 +312,7 @@ void
 InitializeSessionUserId(const char *rolename)
 {
    HeapTuple   roleTup;
+   Form_pg_authid rform;
    Datum       datum;
    bool        isnull;
    Oid         roleid;
@@ -330,13 +331,19 @@ InitializeSessionUserId(const char *rolename)
                             0, 0, 0);
    if (!HeapTupleIsValid(roleTup))
        ereport(FATAL,
-               (errcode(ERRCODE_UNDEFINED_OBJECT),
+               (errcode(ERRCODE_INVALID_AUTHORIZATION_SPECIFICATION),
                 errmsg("role \"%s\" does not exist", rolename)));
 
+   rform = (Form_pg_authid) GETSTRUCT(roleTup);
    roleid = HeapTupleGetOid(roleTup);
 
+   if (!rform->rolcanlogin)
+       ereport(FATAL,
+               (errcode(ERRCODE_INVALID_AUTHORIZATION_SPECIFICATION),
+                errmsg("role \"%s\" is not permitted to log in", rolename)));
+
    AuthenticatedUserId = roleid;
-   AuthenticatedUserIsSuperuser = ((Form_pg_authid) GETSTRUCT(roleTup))->rolsuper;
+   AuthenticatedUserIsSuperuser = rform->rolsuper;
 
    SetSessionUserId(roleid);   /* sets CurrentUserId too */