next up previous
Next: Reader-Writer protocol Up: Java Meta-Locking Algorithm Previous: Refal encoding

Result of supercompilation

/*
$ENTRY Go {
 = <Prout <Go e.1 >> ;
}
*/

* InputFormat: <Go e.41 >
$ENTRY Go {
 e.41 (e.101 )  = <F5 (e.41 ) e.101 > ;
}

* InputFormat: <F240 (e.123 ) e.125 >
F240 {
 (e.123 )  = True ;
 (s.236 e.123 ) get_fast e.125  = <F205 (e.125 ) () e.123 > ;
 (e.123 ) s.235 e.125  = <F240 (e.123 ) e.125 > ;
}

* InputFormat: <F214 (e.137 ) e.139 >
F214 {
 () e.139  = True ;
 (get_fast e.137 ) e.139  = <F205 (e.137 ) () e.139 > ;
 (s.221 e.137 ) e.139  = <F214 (e.137 ) e.139 > ;
}

* InputFormat: <F205 (e.137 ) (e.138 ) e.139 >
F205 {
 () (e.138 ) e.139  = True ;
 (put_fast e.137 ) () e.139  = <F214 (e.137 ) e.139 > ;
 (get_slow e.137 ) (e.138 ) s.217 e.139  = <F205 (e.137 ) (I e.138 ) e.139 
                                            > ;
 (put_slow e.137 ) (s.218 e.138 ) e.139  = True ;
 (s.216 e.137 ) (e.138 ) e.139  = <F205 (e.137 ) (e.138 ) e.139 > ;
}

* InputFormat: <F163 (e.170 ) e.172 >
F163 {
 () e.172  = True ;
 (get_fast e.170 ) e.172  = <F154 (e.170 ) () e.172 > ;
 (s.191 e.170 ) e.172  = <F163 (e.170 ) e.172 > ;
}

* InputFormat: <F154 (e.170 ) (e.171 ) e.172 >
F154 {
 () (e.171 ) e.172  = True ;
 (put_fast e.170 ) () e.172  = <F163 (e.170 ) e.172 > ;
 (get_slow e.170 ) (e.171 ) s.187 e.172  = <F154 (e.170 ) (I e.171 ) e.172 
                                            > ;
 (put_slow e.170 ) (s.188 e.171 ) e.172  = True ;
 (s.186 e.170 ) (e.171 ) e.172  = <F154 (e.170 ) (e.171 ) e.172 > ;
}

* InputFormat: <F143 (e.170 ) (e.171 ) e.172 >
F143 {
 () (e.171 ) e.172  = True ;
 (get_slow e.170 ) (e.171 ) s.181 e.172  = <F143 (e.170 ) (I e.171 ) e.172 
                                            > ;
 (go e.170 ) (e.171 ) e.172  = <F154 (e.170 ) (e.171 ) e.172 > ;
 (s.180 e.170 ) (e.171 ) e.172  = <F143 (e.170 ) (e.171 ) e.172 > ;
}

* InputFormat: <F132 (e.170 ) (e.171 ) (e.172 ) e.173 >
F132 {
 () (e.171 ) (e.172 ) e.173  = True ;
 (get_slow e.170 ) (e.171 ) (s.175 e.172 ) e.173  = <F132 (e.170 ) (I e.171 
) (e.172 ) s.175 e.173 > ;
 (request e.170 ) (e.171 ) (e.172 ) s.178 e.173  = <F143 (e.170 ) (e.171 
) e.172 > ;
 (s.174 e.170 ) (e.171 ) (e.172 ) e.173  = <F132 (e.170 ) (e.171 ) (e.172 
                                            ) e.173 > ;
}

* InputFormat: <F94 (e.137 ) (e.138 ) (e.139 ) s.140 e.141 >
F94 {
 () (e.138 ) (e.139 ) s.140 e.141  = True ;
 (get_slow e.137 ) (e.138 ) (s.152 e.139 ) s.140 e.141  = <F94 (e.137 ) 
(I e.138 ) (e.139 ) s.140 s.152 e.141 > ;
 (request e.137 ) (e.138 ) (e.139 ) s.140 s.154 e.141  = True ;
 (release e.137 ) (e.138 ) (e.139 ) s.140 e.141  = <F132 (e.137 ) (e.138 
) (s.140 e.139 ) e.141 > ;
 (s.151 e.137 ) (e.138 ) (e.139 ) s.140 e.141  = <F94 (e.137 ) (e.138 ) 
(e.139 ) s.140 e.141 > ;
}

* InputFormat: <F73 (e.137 ) (e.138 ) (e.139 ) s.140 e.141 >
F73 {
 () (e.138 ) (e.139 ) s.140 e.141  = True ;
 (put_fast ) () (e.139 ) s.140 e.141  = True ;
 (put_fast s.147 e.137 ) () (e.139 ) s.140 e.141  = <F49 s.147 (s.140 e.139 
) (e.141 ) e.137 > ;
 (get_slow e.137 ) (e.138 ) (s.143 e.139 ) s.140 e.141  = <F73 (e.137 ) 
(I e.138 ) (e.139 ) s.140 s.143 e.141 > ;
 (put_slow e.137 ) (s.144 e.138 ) (e.139 ) s.140 e.141  = <F94 (e.137 ) 
(e.138 ) (e.139 ) s.140 e.141 > ;
 (request e.137 ) (e.138 ) (e.139 ) s.140 s.145 e.141  = <F205 (e.137 ) 
(e.138 ) e.139 > ;
 (s.142 e.137 ) (e.138 ) (e.139 ) s.140 e.141  = <F73 (e.137 ) (e.138 ) 
(e.139 ) s.140 e.141 > ;
}

* InputFormat: <F49 s.122 (e.123 ) (e.124 ) e.125 >
F49 {
 get_fast (s.126 e.123 ) (e.124 ) e.125  = <F73 (e.125 ) () (e.123 ) s.126 
                                            e.124 > ;
 request (e.123 ) (s.127 e.124 ) e.125  = <F240 (e.123 ) e.125 > ;
 s.122 (e.123 ) (e.124 )  = True ;
 s.122 (e.123 ) (e.124 ) s.242 e.125  = <F49 s.242 (e.123 ) (e.124 ) e.125 
                                         > ;
}

* InputFormat: <F5 (e.41 ) e.101 >
F5 {
 () e.101  = True ;
 (s.102 e.41 ) e.101  = <F49 s.102 (e.101 ) () e.41 > ;
}

****************************** The End ************************************


Alexei Lisitsa 2005-07-14