Numerous edge-chasing deadlock detection algonthms were developed lor the cycle detection in distributed systems, but their detections had the n steps speed limitation and n ( n- 1) overhead limitation to detect a c...Numerous edge-chasing deadlock detection algonthms were developed lor the cycle detection in distributed systems, but their detections had the n steps speed limitation and n ( n- 1) overhead limitation to detect a cycle of size n under the one-resource request model. Since fast deadlock detection is critical, this paper proposed a new algorithm to speed up the detection process. In our algorithm, when the running of a transaction node is blocked, the being requested resource nodes reply it with the waiting or being waited message simultaneously, so the blocked node knows both its predecessors and successors, which helps it detecting a cycle of size 2 directly and locally. For the cycle of size n ( n 〉 2), a special probe is produced which has the predecessors information of its originator, so the being detected nodes know their indirect predecessors and direct successors, and can detect the cycle within n - 2 steps. The proposed algorithm is formally proved to be correct by the invariant verification method. Performance evaluation shows that the message overhead of our detection is ( n^2 - n - 2)/2, hence both the detection speed and message cost of the proposed algorithm are better than that of the existing al gorithms.展开更多
It is well known that for non-linear Hamiltonian systems there exist ordered regions with quasi-periodic orbits and regions with chaotic orbits. Usually, these regions are distributed in the phase space in very compli...It is well known that for non-linear Hamiltonian systems there exist ordered regions with quasi-periodic orbits and regions with chaotic orbits. Usually, these regions are distributed in the phase space in very complicated ways, which often makes it very difficult to distinguish between them, especially when we are dealing with many degrees of freedom. Recently, a new, very fast and easy to compute indicator of the chaotic or ordered nature of orbits has been introduced by Zotos (2012), the so-called "Fast Norm Vector Indicator (FNV1)". Using the double pendulum system, in the paper we present a detailed numerical study comporting the advantages and the drawbacks of the FNVI to those of the Smaller Alignment Index (SALI), a reliable indicator of chaos and order in Hamiltonian systems. Our effort was focused both on the traditional behavior of the FNVI for regular and fully developed chaos but on the "sticky" orbits and on the quantitative criterion proposed by Zotos, too.展开更多
文摘Numerous edge-chasing deadlock detection algonthms were developed lor the cycle detection in distributed systems, but their detections had the n steps speed limitation and n ( n- 1) overhead limitation to detect a cycle of size n under the one-resource request model. Since fast deadlock detection is critical, this paper proposed a new algorithm to speed up the detection process. In our algorithm, when the running of a transaction node is blocked, the being requested resource nodes reply it with the waiting or being waited message simultaneously, so the blocked node knows both its predecessors and successors, which helps it detecting a cycle of size 2 directly and locally. For the cycle of size n ( n 〉 2), a special probe is produced which has the predecessors information of its originator, so the being detected nodes know their indirect predecessors and direct successors, and can detect the cycle within n - 2 steps. The proposed algorithm is formally proved to be correct by the invariant verification method. Performance evaluation shows that the message overhead of our detection is ( n^2 - n - 2)/2, hence both the detection speed and message cost of the proposed algorithm are better than that of the existing al gorithms.
文摘It is well known that for non-linear Hamiltonian systems there exist ordered regions with quasi-periodic orbits and regions with chaotic orbits. Usually, these regions are distributed in the phase space in very complicated ways, which often makes it very difficult to distinguish between them, especially when we are dealing with many degrees of freedom. Recently, a new, very fast and easy to compute indicator of the chaotic or ordered nature of orbits has been introduced by Zotos (2012), the so-called "Fast Norm Vector Indicator (FNV1)". Using the double pendulum system, in the paper we present a detailed numerical study comporting the advantages and the drawbacks of the FNVI to those of the Smaller Alignment Index (SALI), a reliable indicator of chaos and order in Hamiltonian systems. Our effort was focused both on the traditional behavior of the FNVI for regular and fully developed chaos but on the "sticky" orbits and on the quantitative criterion proposed by Zotos, too.