Semantic resolution, lockresolution and linear resolution are three important improvements of resolution principle.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
2
Finally, when resource dead-locks occur (where one service holds a lock that another requires, and vice versa), the service will need to implement some form of dead-lockresolution. 9.