Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
Heikki Linnakangas <[EMAIL PROTECTED]> writes: > I believe Itagaki-san's motivation for tackling this in the LDC patch > was the fact that it can fsync the same file many times, and in the > worst case go to an endless loop, and adding delays inside the loop > makes it much more likely. After that is fixed, I doubt any of the > optimizations of trying to avoid extra fsyncs make any difference in > real applications, and we should just keep it simple, especially if we > back-patch it. I looked at the dynahash code and noticed that new entries are attached to the *end* of their hashtable chain. While this maybe should be changed to link them at the front, the implication at the moment is that without a cycle counter it would still be possible to loop indefinitely because we'd continue to revisit the same file(s) after removing their hashtable entries. I think you'd need a constant stream of requests for more than one file falling into the same hash chain, but it certainly seems like a potential risk. I'd prefer a solution that adheres to the dynahash API's statement that it's unspecified whether newly-added entries will be visited by hash_seq_search, and will in fact not loop even if they always are visited. > That said, I'm getting tired of this piece of code :). Me too. regards, tom lane ---(end of broadcast)--- TIP 9: In versions below 8.0, the planner will ignore your desire to choose an index scan if your joining column's datatypes do not match
Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
Tom Lane wrote: Heikki Linnakangas <[EMAIL PROTECTED]> writes: Ok. Perhaps we should not use the canceled-flag but just remove the entry from pendingOpsTable like we used to when mdsync_in_progress isn't set. I'm not thrilled about that; it seems overly intricate, and won't the LDC patch make it mostly useless anyway (because of time-extended checkpointing)? Not quite useless, but definitely less useful, depending on how long the checkpoints are stretched and how much of the time is allocated to fsyncing (the defaults in the latest LDC patch was 20%). OTOH, this doesn't seem like a very performance sensitive codepath anyway, so we should just stick to the simplest thing that works. I think there's one little bug in the patch: 1. AbsorbFsyncRequests is called. A FORGET message is received, and an entry in the hash table is marked as canceled 2. Another relation with the same relfilenode is created. This can happen after OID wrap-around 3. RememberFsyncRequest is called for the new relation. The old entry is still in the hash table, marked with the canceled-flag, so it's not touched. Good point. I was wondering what to do with an already-canceled entry, but didn't think of that scenario. I think your fix is not quite right: if we clear a pre-existing cancel flag then we do need to set cycle_ctr, because this is effectively an all-new request. Hmm, I guess. Though not setting it just makes us fsync the file earlier than necessary, which isn't too bad either. I believe Itagaki-san's motivation for tackling this in the LDC patch was the fact that it can fsync the same file many times, and in the worst case go to an endless loop, and adding delays inside the loop makes it much more likely. After that is fixed, I doubt any of the optimizations of trying to avoid extra fsyncs make any difference in real applications, and we should just keep it simple, especially if we back-patch it. That said, I'm getting tired of this piece of code :). I'm happy to have any of the discussed approaches committed soon and move on. -- Heikki Linnakangas EnterpriseDB http://www.enterprisedb.com ---(end of broadcast)--- TIP 7: You can help support the PostgreSQL project by donating at http://www.postgresql.org/about/donate
Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
Heikki Linnakangas <[EMAIL PROTECTED]> writes: > Ok. Perhaps we should not use the canceled-flag but just remove the > entry from pendingOpsTable like we used to when mdsync_in_progress isn't > set. I'm not thrilled about that; it seems overly intricate, and won't the LDC patch make it mostly useless anyway (because of time-extended checkpointing)? > I think there's one little bug in the patch: > 1. AbsorbFsyncRequests is called. A FORGET message is received, and an > entry in the hash table is marked as canceled > 2. Another relation with the same relfilenode is created. This can > happen after OID wrap-around > 3. RememberFsyncRequest is called for the new relation. The old entry is > still in the hash table, marked with the canceled-flag, so it's not touched. Good point. I was wondering what to do with an already-canceled entry, but didn't think of that scenario. I think your fix is not quite right: if we clear a pre-existing cancel flag then we do need to set cycle_ctr, because this is effectively an all-new request. regards, tom lane ---(end of broadcast)--- TIP 1: if posting/reading through Usenet, please send an appropriate subscribe-nomail command to [EMAIL PROTECTED] so that your message can get through to the mailing list cleanly
Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
Tom Lane wrote: Heikki Linnakangas <[EMAIL PROTECTED]> writes: My first thought is that the cycle_ctr just adds extra complexity. The canceled-flag really is the key in Takahiro-san's patch, so we don't need the cycle_ctr anymore. We don't have to have it in the sense of the code not working without it, but it probably pays for itself by eliminating useless fsyncs. The overhead for it in my proposed implementation is darn near zero in the non-error case. Also, Takahiro-san mentioned at one point that he was concerned to avoid useless fsyncs because of some property of the LDC patch --- I wasn't too clear on what, but maybe he can explain. Ok. Perhaps we should not use the canceled-flag but just remove the entry from pendingOpsTable like we used to when mdsync_in_progress isn't set. We might otherwise accumulate a lot of canceled entries in the hash table if checkpoint interval is long and relations are created and dropped as part of normal operation. I think there's one little bug in the patch: 1. AbsorbFsyncRequests is called. A FORGET message is received, and an entry in the hash table is marked as canceled 2. Another relation with the same relfilenode is created. This can happen after OID wrap-around 3. RememberFsyncRequest is called for the new relation. The old entry is still in the hash table, marked with the canceled-flag, so it's not touched. The fsync request for the new relation is masked by the old canceled entry. The trivial fix is to always clear the flag on step 3: --- md.c2007-04-11 08:18:08.0 +0100 +++ md.c.new2007-04-12 09:21:00.0 +0100 @@ -1161,9 +1161,9 @@ &found); if (!found) /* new entry, so initialize it */ { - entry->canceled = false; entry->cycle_ctr = mdsync_cycle_ctr; } + entry->canceled = false; /* * NB: it's intentional that we don't change cycle_ctr if the entry * already exists. The fsync request must be treated as old, even -- Heikki Linnakangas EnterpriseDB http://www.enterprisedb.com ---(end of broadcast)--- TIP 1: if posting/reading through Usenet, please send an appropriate subscribe-nomail command to [EMAIL PROTECTED] so that your message can get through to the mailing list cleanly
Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
Heikki Linnakangas <[EMAIL PROTECTED]> writes: > My first thought is that the cycle_ctr just adds extra complexity. The > canceled-flag really is the key in Takahiro-san's patch, so we don't > need the cycle_ctr anymore. We don't have to have it in the sense of the code not working without it, but it probably pays for itself by eliminating useless fsyncs. The overhead for it in my proposed implementation is darn near zero in the non-error case. Also, Takahiro-san mentioned at one point that he was concerned to avoid useless fsyncs because of some property of the LDC patch --- I wasn't too clear on what, but maybe he can explain. regards, tom lane ---(end of broadcast)--- TIP 4: Have you searched our list archives? http://archives.postgresql.org
Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
Tom Lane wrote: I wrote: Actually, on second look I think the key idea here is Takahiro-san's introduction of a cancellation flag in the hashtable entries, to replace the cases where AbsorbFsyncRequests can try to delete entries. What that means is mdsync() doesn't need an outer retry loop at all: I fooled around with this idea and came up with the attached patch. It seems to do what's intended but could do with more eyeballs and testing before committing. Comments please? I'm traveling today, but I'll take a closer look at it tomorrow morning. My first thought is that the cycle_ctr just adds extra complexity. The canceled-flag really is the key in Takahiro-san's patch, so we don't need the cycle_ctr anymore. -- Heikki Linnakangas EnterpriseDB http://www.enterprisedb.com ---(end of broadcast)--- TIP 1: if posting/reading through Usenet, please send an appropriate subscribe-nomail command to [EMAIL PROTECTED] so that your message can get through to the mailing list cleanly
Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
I wrote: > I fooled around with this idea and came up with the attached patch. > It seems to do what's intended but could do with more eyeballs and > testing before committing. Comments please? Earlier I said that I didn't want to back-patch this change, but on looking at the CVS history I'm reconsidering. The performance problem originates from the decision some time ago to do an AbsorbFsyncRequests every so often during the mdsync loop; without that, and assuming no actual failures, there isn't any absorption of new requests before mdsync can complete. Originally that code only existed in 8.2.x, but very recently we back-patched it into 8.1.x as part of fixing the file-deletion-on-Windows problem. This means that 8.1.x users could see a performance degradation upon updating to 8.1.8 from prior subreleases, which wouldn't make them happy. So I'm now thinking we ought to back-patch into 8.2.x and 8.1.x, but of course that makes it even more urgent that we test the patch thoroughly. regards, tom lane ---(end of broadcast)--- TIP 6: explain analyze is your friend
Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
I wrote: > Actually, on second look I think the key idea here is Takahiro-san's > introduction of a cancellation flag in the hashtable entries, to > replace the cases where AbsorbFsyncRequests can try to delete entries. > What that means is mdsync() doesn't need an outer retry loop at all: I fooled around with this idea and came up with the attached patch. It seems to do what's intended but could do with more eyeballs and testing before committing. Comments please? (Note: I ignored my own advice not to reindent. Sorry ...) regards, tom lane *** src/backend/storage/smgr/md.c.orig Wed Jan 17 11:25:01 2007 --- src/backend/storage/smgr/md.c Tue Apr 10 16:38:27 2007 *** *** 122,135 BlockNumber segno; /* which segment */ } PendingOperationTag; typedef struct { PendingOperationTag tag;/* hash table key (must be first!) */ ! int failures; /* number of failed attempts to fsync */ } PendingOperationEntry; static HTAB *pendingOpsTable = NULL; typedef enum /* behavior for mdopen & _mdfd_getseg */ { --- 122,140 BlockNumber segno; /* which segment */ } PendingOperationTag; + typedef uint16 CycleCtr; /* can be any convenient integer size */ + typedef struct { PendingOperationTag tag;/* hash table key (must be first!) */ ! boolcanceled; /* T => request canceled, not yet removed */ ! CycleCtrcycle_ctr; /* mdsync_cycle_ctr when request was made */ } PendingOperationEntry; static HTAB *pendingOpsTable = NULL; + static CycleCtr mdsync_cycle_ctr = 0; + typedef enum /* behavior for mdopen & _mdfd_getseg */ { *** *** 856,926 /* *mdsync() -- Sync previous writes to stable storage. - * - * This is only called during checkpoints, and checkpoints should only - * occur in processes that have created a pendingOpsTable. */ void mdsync(void) { ! boolneed_retry; if (!pendingOpsTable) elog(ERROR, "cannot sync without a pendingOpsTable"); /* !* The fsync table could contain requests to fsync relations that have !* been deleted (unlinked) by the time we get to them. Rather than !* just hoping an ENOENT (or EACCES on Windows) error can be ignored, !* what we will do is retry the whole process after absorbing fsync !* request messages again. Since mdunlink() queues a "revoke" message !* before actually unlinking, the fsync request is guaranteed to be gone !* the second time if it really was this case. DROP DATABASE likewise !* has to tell us to forget fsync requests before it starts deletions. */ ! do { ! HASH_SEQ_STATUS hstat; ! PendingOperationEntry *entry; ! int absorb_counter; ! need_retry = false; /* !* If we are in the bgwriter, the sync had better include all fsync !* requests that were queued by backends before the checkpoint REDO !* point was determined. We go that a little better by accepting all !* requests queued up to the point where we start fsync'ing. */ ! AbsorbFsyncRequests(); ! absorb_counter = FSYNCS_PER_ABSORB; ! hash_seq_init(&hstat, pendingOpsTable); ! while ((entry = (PendingOperationEntry *) hash_seq_search(&hstat)) != NULL) { /* !* If fsync is off then we don't have to bother opening the file !* at all. (We delay checking until this point so that changing !* fsync on the fly behaves sensibly.) */ ! if (enableFsync) { SMgrRelation reln; MdfdVec*seg; /* -* If in bgwriter, we want to absorb pending requests every so -* often to prevent overflow of the fsync request queue. This -* could result in deleting the current entry out from under -* our hashtable scan, so the procedure is to fall out of the -* scan and start over from the top of the function. -*/ - if (--absorb_counter <= 0) - { - need_retry = true; - break; -
Re: [HACKERS] [PATCHES] Fix mdsync never-ending loop problem
I wrote: > This patch looks fairly sane to me; I have a few small gripes about > coding style but that can be fixed while applying. Heikki, you were > concerned about the cycle-ID idea; do you have any objection to this > patch? Actually, on second look I think the key idea here is Takahiro-san's introduction of a cancellation flag in the hashtable entries, to replace the cases where AbsorbFsyncRequests can try to delete entries. What that means is mdsync() doesn't need an outer retry loop at all: the periodic AbsorbFsyncRequests calls are not a hazard, and retry of FileSync failures can be handled as an inner loop on the single failing table entry. (We can make the failure counter a local variable, too, instead of needing space in every hashtable entry.) And with that change, it's no longer possible for an incoming stream of fsync requests to keep mdsync from terminating. It might fsync more than it really needs to, but it won't repeat itself, and it must reach the end of the hashtable eventually. So we don't actually need the cycle counter at all. It might be worth having the cycle counter anyway just to avoid doing "useless" fsync work. I'm not sure about this. If we have a cycle counter of say 32 bits, then it's theoretically possible for an fsync to fail 2^32 consecutive times and then be skipped on the next try, allowing a checkpoint to succeed that should not have. We can fix that with a few more lines of logic to detect a wrapped-around value, but is it worth the trouble? regards, tom lane ---(end of broadcast)--- TIP 5: don't forget to increase your free space map settings