Garbage Collection Algorithms for Java-Based Prolog Engines ...

aroocarmineAI and Robotics

Oct 29, 2013 (3 years and 7 months ago)

69 views


 


             
            

 
 
 
















 
 
 
 
 
 
 
 
 
 



 
 
 
 
 
 





















 
 
 
 
 
 
        
            
              
       
        
            
            
            
            
 
 
  





 
   

 



  






   
   
  
  
  

  
    
  
   
  
 


    
   
     

       
    

    
    
















     
   

   


  

  
   



     


 



 


 


  

 


 



   
  

 


  
 

   


   










   

 



   


  

   

 








 












  








 
  




  
 


  















 



  


   

 
 


 
 

  


 





 
 
 


 


   
 

 



 


  

  

  

  
   

  

 
 

  


   



  
   
 
  




  
 







 
  






    
   



 
 
 



 
 








 









 
 
 







     


   




   





   









   














      















   




  











 
Lower heap
18 23 26 18 23 26
26 15 23

4
−1 4
4 5 6 7
6 5??
Upper heap
5
6















   

  

     



  
  
 
  

  



?
18 23 26 18 23 26
26

4
−1 4
4 5 6 7
Upper heap
5
Lower heap
20 26 26 29
20
5
5 6?


 
 
 
 
 
 
 
 
 
 
 
  




  

  


   










 
  
 

     
   




  
 




 
  
  
  
     

  

 



  


 

  
















        





 


 



               
     
     
     
     
     
     
     
     
     
    


 
  


  



 
 


 

 

             
                   
   


  
   
      

   
   
     
   
 
   



  


 
  
  

 


 
  
 

   

  
 

 
 
   

  

  
   






           
            
       
  
    
  
           
            
  
    
  
           
               



    
  




       

GC time
0
500
1000
1500
2000
1 2 3 4 5 6 7 8
No. of GC
time
Time/multi-pass
Time/2-pass
Time/1-pass

 



        
 
       

   
  
 

 
 
          
  


           

    
    
       
             
          
         

 
  
                                                
                         
                 
                                    
                 
                                     
                      


0
50000
100000
150000
200000
250000
300000
350000
400000
Heap size
1 2 1 2 1
2
1-pass 2-pass
multi-pass
Different implementation
Freed space
Freed space


 



 



            

          
                                                        
                                                                
                                                                   
                                                     
                                                      
                                                          
                                                           
                                                          
                                                
                                                  
                                                          
                                                          
                                                    
                                              
                
                                                 
                                                      
                                              
                                           
                                                     
                                                           
                                                       
                               
  
   
  





 






  

 

  
 
 

    
 





    


 






 

 
   
   
  



  




 
 

 


 





 
  

 
         
               
       
                
         

 




                   
  
               

             
        

            





                  



        




            
      


               
     







 




       
               
         
          
 



 



 













        
     




 





 

                  
       










 










     
              





               





 
     
            






























   









 
                  
     





     