Koorde

In peer-to-peer networks, Koorde is a distributed hash table (DHT) system based on the Chord DHT and the De Bruijn graph (De Bruijn sequence). Inheriting the simplicity of Chord, Koorde meets O(log n) hops per node (where Template:Mvar is the number of nodes in the DHT), and Template:Tmath hops per lookup request with O(log n) neighbors per node.

The Chord concept is based on a wide range of identifiers (e.g. 2¹⁶⁰) in a structure of a ring where an identifier can stand for both node and data. Node-successor is responsible for the whole range of IDs between itself and its predecessor.

De Bruijn's graphs

File:De bruijn graph-for binary sequence of order 4.svg

A de Bruijn's 3-dimensional graph

Koorde is based on Chord but also on the De Bruijn graph (De Bruijn sequence). In a Template:Mvar-dimensional de Bruijn graph, there are 2^d nodes, each of which has a unique ID with Template:Mvar bits. The node with ID Template:Mvar is connected to nodes 2i mod 2^d and 2i + 1 mod 2^d. Thanks to this property, the routing algorithm can route to any destination in Template:Mvar hops by successively "shifting in" the bits of the destination ID but only if the dimensions of the distance between mod 1d and 3d are equal.

Routing a message from node Template:Mvar to node Template:Mvar is accomplished by taking the number Template:Mvar and shifting in the bits of Template:Mvar one at a time until the number has been replaced by Template:Mvar. Each shift corresponds to a routing hop to the next intermediate address; the hop is valid because each node's neighbors are the two possible outcomes of shifting a 0 or 1 onto its own address. Because of the structure of de Bruijn graphs, when the last bit of Template:Mvar has been shifted, the query will be at node Template:Mvar. Node Template:Mvar responds whether key Template:Mvar exists.

Routing example

File:Figura1koorde.jpg

Example of the way Koorde routes from node 2 to node 6 using a 3-dimensional, binary graph

For example, when a message needs to be routed from node 2 (which is 010) to 6 (which is 110), the steps are following:

1. Node 2 routes the message to Node 5 (using its connection to 2i + 1 mod 8), shifts the bits left and puts 1 as the youngest bit (right side).
2. Node 5 routes the message to Node 3 (using its connection to 2i + 1 mod 8), shifts the bits left and puts 1 as the youngest bit (right side).
3. Node 3 routes the message to Node 6 (using its connection to 2i mod 8), shifts the bits left and puts 0 as the youngest bit (right side).

Non-constant degree Koorde

The Template:Mvar-dimensional de Bruijn can be generalized to base Template:Mvar, in which case node Template:Mvar is connected to nodes k • i + j mod kd, 0 ≤ j < k. The diameter is reduced to Θ(log_k n). Koorde node Template:Mvar maintains pointers to Template:Mvar consecutive nodes beginning at the predecessor of k • i mod kd. Each de Bruijn routing step can be emulated with an expected constant number of messages, so routing uses O(log_k n) expected hops- For k = Θ(log n), we get Θ(log n) degree and Template:Tmath diameter.

Lookup algorithm

function n.lookup(k, shift, i)
{
    if k ∈ (n, s]
        return (s);
    else if i ∈ (n, s]
        return p.lookup(k, shift << 1, i ∘ topBit(shift));
    else
        return s.lookup(k, shift, i);
}

Pseudocode for the Koorde lookup algorithm at node n:

• k is the key
• I is the imaginary De Bruijn node
• p is the reference to the predecessor of 2n
• s is the reference to the successor of n

References

• "Internet Algorithms" by Greg Plaxton, Fall 2003: [1]
• "Koorde: A simple degree-optimal distributed hash table" by M. Frans Kaashoek and David R. Karger: [2]
• Chord and Koorde descriptions: [3]