Time management service is one of the main features which distinguish HLA from previous distributed interactive simulation standards

and is the most important and difficult part in RTI implementation.Its implementation method can affect the efficiency and validity of simulation directly.The key problem of the implementation of time management service is the computation of Greatest Available Logical Time (GALT).Aiming at the possible deadlock problem of the current GALT algorithm

an optimized algorithm called recursive GALT (R-GALT) algorithm along with the idea of recursive advancing check is proposed.A formalized verification is also presented.Compared with the original algorithm

the new algorithm can not only enhance the efficiency

but also avoid deadlock.The algorithm has been used in the design of RTI software StarLink which is based on CORBA and in accord with IEEE 1516.The measurement shows that the performance of time management of StarLink is better than of pRTI1516 (it's supposed to be the best RTI product in the world).