English translation for "活锁"

livelock

Related Translations:

活:  Ⅰ动词1.(生存; 有生命) live 短语和例子吃为了活, 不要活为了吃。 eat to live, but do not live to eat. 他们将永远活在我们心中。 they will live forever in our hearts. 她愉快地活到九十二岁。 she lived pleasantly to the age of ninety-two.2.[

Example Sentences:

	1.	In the case of high system load , it is quite easy to have the “ live lock ” phenomenon for executive server , and thus reduces the system ’ s efficiency 在系统高负载下容易出现执行服务器“活锁”现象,降低了系统的使用效益。
	2.	Where programs at least manage to gain and release a lock , but in such a way that they can t ever progress 另一个常见问题是活锁（ livelock ） ，在这种情况下，程序至少成功地获得和释放了一个锁，但是以这种方式无法将程序再继续运行下去。
	3.	The correctness and astringency have also been proved the outstanding advantage of our algorithm is that there is not any extra communication overhead . the deterministic checkpoint based on state - freezing can successfully avoid nephew messages , domino effect and live lock 该方法避免了检查点中的孤儿消息、多米诺效应和活锁问题；用记录的方法处理中途消息；用记录/重放方法解决不确定性问题。
	4.	Asas ( automatic self - allocating server ) , invented by shiyao jin who is a professor of computer science department in national university of defense technology , changes the former architecture by changing the passive mode into active mode . it distributes the load evaluation onto all executive server , which greatly decreasing the load of dispatcher , improving the accurate of evaluation and preventing the occurrence of “ live lock ” , thus making the huge improvement of clusters ’ overall performance . this thesis mainly focuses on the research of and development for capacity analysis software for executive server base on asas 由国防科大计算机学院金士尧教授发明的主动自调度集群( asas : automaticself - allocatingserver )改变了以前的架构,改被动为主动,将负载评估分布到各执行服务器,大大减轻了集中器的负载,提高了评估的准确性,防止了“活锁”现象的出现,从而使得集群的整体性能得到了很大的提高。
	5.	But majority of the productions lack for verification of correction or only check the local expressions during the modeling process , so causing the existence of the deadlock , livelock and other bugs in the model . it causes many problems directly during the dynamic execution of the workflow . so it is important that model and verify the workflow before running 但由于大多数产品在产品建模过程中缺乏正确性验证或仅进行局部的语法检验,造成工作流模型存在死锁、活锁等缺陷,这直接引发了工作流动态执行过程中的诸多问题,如任务不能完成、超期完成等。
	6.	In this chapter , it puts forward a new system about checkpoint , avoiding the domino - effect and livelock . it realizes the storage of process context and other states with the form of executing file in the diskette by using checkpoint system and applying the page switching principles in linux . consequently , when the process has wrong at the checkpoint , it can move out the process in the fault machine , then choose other normal machine , continue to execute from the interrupted point , finally achieve the process migration and load balance of the system 同时提出一种新的检查点机制，避免了多米诺效应和活锁，并且利用检查点机制，应用linux中页面的换出原理，实现了对进程的上下文以及其他状态以可执行文件格式保存在磁盘，从而使该进程能在节点发生故障的情况下，将故障机的进程迁出，然后选择其他正常节点机，从断点处继续运行，最终达到对该进程的迁移，并且实现系统负载平衡。
	7.	Compared with traditional cluster , the cooperative - type - cluster has carried the sync net packets from all real server ’ s network cards to director and set up a priority queue of sync net packets for dmcs , then it has transmitted them through the cooperation of nodal servers and directoer , it has made that the nodeal server lost efficiency suddenly or automatically joined or broke away from the cluster not influence the whole system ’ s normal running again ; meanwhile , it can avoid reducing handling capacity even appearing phenomenon of “ living locking ” in high load 与传统集群相比,合作式集群从各真实服务器端网卡报文队列中分离出请求报文移至负载均衡器端,建立针对分布式测控系统的请求任务报文优先权排队队列,通过节点服务器与负载均衡器合作进行报文转发,使得节点服务器突然失效或自动加入脱离集群不再影响整个系统的正常运行;同时,也能避免在高负载下处理能力降低甚至出现“活锁”的现象。
	8.	To ensure the well - formed of wscg model , we have developed an algorithm to check the type - safety of wscg model , in which data edges of wscg model can be used to check whether the export messages of an edge ' s source node is matched with the import messages of the edge ' s target node , and to determine whether the import messages of a node is self - contained . we also develop another algorithm , which is based on wscg dependence graph that simulates the wscg dynamic behaviors , to eliminate the deadlock of wscg model 在wscg模型的基础上，针对目前web服务复合模型缺乏良构性验证的问题，在wscg模型的静态特性验证方面，我们定义了wscg模型的类型安全性，并给出了相应的wscg模型全局类型安全性的验证算法，解决了验证wscg模型中输入输出消息集合的类型是否匹配以及输入消息是否是完备的问题；在wscg模型的动态特性方面，我们主要分析了wscg模型的可达性、活锁和死锁问题。

Similar Words：

"活髓保存疗法" English translation, "活髓切断术" English translation, "活髓牙" English translation, "活梭子蟹" English translation, "活索结" English translation, "活胎" English translation, "活胎面环" English translation, "活胎面轮胎" English translation, "活态结点" English translation, "活套" English translation