Investigating Atomicity and Observability - Semantic Scholar

School of Computing Science, University of Newcastle upon Tyne

Investigating Atomicity and Observability J. Burton and C. B. Jones

Technical Report Series CS-TR-920

July 2005

c Copyright 2005 University of Newcastle upon Tyne Published by the University of Newcastle upon Tyne, School of Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, UK.



    
 


 

       
  

 

       
  



      

 

 
      

 
         
 
  
  

 
 
  



  
   

     
 
   


    
  

 
   
                  
   
  




  
   

     
     
    
              

     
    
  


 

  
       

    

 

            
  ! 
 
  
 "       
 
   
              

    
             # 
  

 #              
  
           
   $     

$   

          
 

   
  %     

   
  $   

       $   
           

      
     

              "&' (   )  *
 +  , 


      ! "  # $ " !  %  & #  



   
   ''

)+) ,--(

'

( ))'*


  . #    &   #  & #       /    &   #        

 #   #   #  &  &  0  & #  1 2   &1         &#          0    13   #  && 4 &    4       1   &   #  

# 5  1&            6"
+7 89-': #  #  & 



      1         0 13     & #   &     ;&      

    

6&     &   &          &  &    0  &         #     &       & 
 /    &    &       &     #  & # #    &  #

           & #    #  ##  &     & .   F  G  #    & #        &   #  &  &   #      1     # 

 % #  &   &1     #     #  #      &     # &  3 #        &          &&   # 


 

    #       3

 &  &&        1     &&        1    3   &    &&       #    #   &&      5  1&   #        #  #   &  #      #   #   #    &3 &         &  &  1  

(

              #              #   &&  5   3      ?      #   #  

      &    &   &  &&

    & 



   #

    &     &        

#        #



    #  # #

#  # %  0     

         0 &  &&#  

#   &  ;&     &    # &  &&# ##     #  #   1  3

    
    
    
  






& # 0  1 #/#  

 &   & #       & &    &   K       & & #  ?  & 6"
+7 89-':         # #  #   

      & #  #A#  &       & & #     #      # M?

6   

          #    # 5  #          #/# 4 #       &# 1   4     &      &     &  &

&&#    

#  >   &   &    &           &   #  &    &  # # > #    ?    &   # & & # #   &   &   #   &   & 

 &  

8   && J     ##  6M
=E: #  



'




& #  & 6M+7:   &    &  

 1 #  &     ##   &  &  & # #   1  ## 1       #       3   & # &  #   3         & #    # .  /       3   &  3 ##       &  #   &        0  &   #       #A3 &   ##    #         # # #  ##      #   #

    &  #         3   &     #     A  &  & #       0  

        ##      &  #  #       &   & ##   

 ;  ,C %     &       #      &          #    

 &     A  &  & #    

#   # & & # #  #  & /&

  
  (  $
   (
' 8   #       #      &  #  

 & /& "     #     & &  #  #

#  1 &       &  &   #   #  &    &  

'7

    6"-E BN-':    &   #   1  %             3   




 #    



   &

%       & #     &   


 &  #    1

    #   #     & %      1 # ¼ &     #
 1  

    % ##  ¼

¼

   #  &       #    #   &   # #   &&     1 #  &  # &      #       &     0    # # &   #     # &       # >  0     &  &   &  1# % & 

7 9
 
    17:;

      % &       &  5 , # C    #  0   #   &   &    F03 G   ##   &  0      1#

"   


' 
           1 ##  ;  ,  &     1 #   #  #           #   #



 5 , # C 

"      

    # # #      # &  3  &       &     &    5  1&   #     &           &

     1    &&# ; 

 #     &   &  F  G 0


 0 & % #         # #     &    & &   


 #

  #   0       &   






#        &  #  #

   &    &   &   

    &    

#  #   5 , # C >&         '   



# ,   

    # 

     



 
   
 6       
   
     
     


 
 !

 
    

   >     
  



     
     

 

 ,,

  
) *  2  +  2 


    2 


       ) *  +    


 2  ) H    )  ) 2        ) H )         )  )  

  H         2


  )  

 

  H     
  )  



  

2

  

 ) *     +  ) H )  
       )  )    
 )     
 )     

 ! ; &    &  

,

 2  

'

 

  

 

  

'2  

 ,   

 3#& 8   0      

    




 

  

%     F & #G

           %       
     #   /   

 




%






#       # # #

   0 #    %     &  &    # 0

#


    

   #       

          






" " .  &        0  #  &    /   






 & #     &

,C

# &     K      #3  # # 2   #   &    0#  #  & #  /  &  I     &      &    

 3  %  #            F

G       F#   &G  6; 77: &3 

0   &#   M&#    

 # &&   &   

    ##      &  &






 

 3

6.8=, ;8-':  

   1    #         

        IIM N     3  

 3

   

#      

 ;  &

 ##  6! =E:  J  

 3

  # 




  

##  

       &   &  J  IIM 6>&+=: >   #Æ  

  &  

 3

&  &#   #  #   &  



& 3


 > 

  #                    &    && %     #      ;I;    








   #              3 #&        #   &

",!

H

-






" 


;      #Æ   #  &      # 

 & #   "    &#      

  &  

   ##  B       

 &  6
 
 #
     
 
  $    "%&' ,0 

 E   > : '