[bug #2944] Incorrect synchronization in java.util.logging.ErrorManager

[nobody]

=================== BUG #2944: LATEST MODIFICATIONS ==================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=2944&group_id=85

Changes by: Sascha Brawer <address@hidden>
Date: Mon 10/20/2003 at 10:35 (GMT)

            What     | Removed                   | Added
---------------------------------------------------------------------------
         Assigned to | None                      | brawer
              Status | Open                      | Accepted




=================== BUG #2944: FULL BUG SNAPSHOT ===================


Submitted by: davidholmes             Project: classpath                    
Submitted on: Wed 03/26/2003 at 16:27
Severity:  5 - Major                  Resolution:  None                     
Assigned to:  brawer                  Status:  Accepted                     
Platform Version:  None               

Summary:  Incorrect synchronization in java.util.logging.ErrorManager

Original Submission:  ErrorManager.error is a method that should only be 
executed once. To achieve this a field is set so that subsequent invocations 
return immediately. Synchronization is needed to ensure that only one thread 
successfully makes the single call that sets the field.



To avoid synchronization on every call to error() a form of double-checked 
locking is used. However, the double-checked locking idiom does not work unless 
combined with the use of volatile variables (and even then that depends on the 
usage until the new Java Memory Model is finalised and adopted).



In this case the everUsed field must be marked as volatile so that all threads 
are guaranteed to see the value set in it by the thread that successfully 
acquires the lock.



A second issue is that the lock used is that of the ErrorManager class object. 
This forces threads using different ErrorManager objects to serialize through 
the same lock. This is unnecessary. The lock used can simply be that of 'this', 
or a private Object used solely for locking purposes.



Follow-up Comments
*******************

-------------------------------------------------------
Date: Wed 03/26/2003 at 16:37       By: davidholmes
Can someone please delete the duplicate reports 2945, 2946 and 2947.



The bug submission system seems to have a glitch with browser refreshes. After 
submitting the bug I went "back" to the bug list page. Browser says the page 
has expired and will "repost" the form (I should have guessed what was 
happening). I go back to the bug list page but my bug has been resubmitted a 
second time. I look in another bug report and go "back" and the same thing 
happens. Finally I realized what was going on. Backing out to the top-level 
seemed to fix this.



Sorry about that. This site seems to have a number of navigation problems - eg. 
with regard to logging.


CC list is empty


No files currently attached


For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=2944&group_id=85

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/