Next: Reader-Writer protocol
Up: Java Meta-Locking Algorithm
Previous: Refal encoding
/*
$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