hamt.go 12 KB
Newer Older
Jeromy's avatar
Jeromy committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
// Package hamt implements a Hash Array Mapped Trie over ipfs merkledag nodes.
// It is implemented mostly as described in the wikipedia article on HAMTs,
// however the table size is variable (usually 256 in our usages) as opposed to
// 32 as suggested in the article.  The hash function used is currently
// Murmur3, but this value is configurable (the datastructure reports which
// hash function its using).
//
// The one algorithmic change we implement that is not mentioned in the
// wikipedia article is the collapsing of empty shards.
// Given the following tree: ( '[' = shards, '{' = values )
// [ 'A' ] -> [ 'B' ] -> { "ABC" }
//    |       L-> { "ABD" }
//    L-> { "ASDF" }
// If we simply removed "ABC", we would end up with a tree where shard 'B' only
// has a single child.  This causes two issues, the first, is that now we have
// an extra lookup required to get to "ABD".  The second issue is that now we
// have a tree that contains only "ABD", but is not the same tree that we would
// get by simply inserting "ABD" into a new tree.  To address this, we always
// check for empty shard nodes upon deletion and prune them to maintain a
// consistent tree, independent of insertion order.
21 22 23 24 25 26 27
package hamt

import (
	"context"
	"fmt"
	"os"

Jeromy's avatar
Jeromy committed
28 29 30 31 32 33
	dag "github.com/ipfs/go-merkledag"
	format "github.com/ipfs/go-unixfs"
	bitfield "github.com/Stebalien/go-bitfield"
	cid "github.com/ipfs/go-cid"
	ipld "github.com/ipfs/go-ipld-format"
	"github.com/spaolacci/murmur3"
34 35 36
)

const (
Hector Sanjuan's avatar
Hector Sanjuan committed
37
	// HashMurmur3 is the multiformats identifier for Murmur3
38 39 40
	HashMurmur3 uint64 = 0x22
)

Hector Sanjuan's avatar
Hector Sanjuan committed
41 42
// A Shard represents the HAMT. It should be initialized with NewShard().
type Shard struct {
43 44
	nd *dag.ProtoNode

Steven Allen's avatar
Steven Allen committed
45
	bitfield bitfield.Bitfield
46 47 48 49 50 51

	children []child

	tableSize    int
	tableSizeLg2 int

52
	builder  cid.Builder
53 54 55 56 57
	hashFunc uint64

	prefixPadStr string
	maxpadlen    int

58
	dserv ipld.DAGService
59 60 61 62
}

// child can either be another shard, or a leaf node value
type child interface {
63
	Link() (*ipld.Link, error)
64 65 66
	Label() string
}

Hector Sanjuan's avatar
Hector Sanjuan committed
67 68 69
// NewShard creates a new, empty HAMT shard with the given size.
func NewShard(dserv ipld.DAGService, size int) (*Shard, error) {
	ds, err := makeShard(dserv, size)
70 71 72 73
	if err != nil {
		return nil, err
	}

74 75
	ds.nd = new(dag.ProtoNode)
	ds.hashFunc = HashMurmur3
76
	return ds, nil
77 78
}

Hector Sanjuan's avatar
Hector Sanjuan committed
79
func makeShard(ds ipld.DAGService, size int) (*Shard, error) {
Steven Allen's avatar
Steven Allen committed
80 81 82
	lg2s, err := logtwo(size)
	if err != nil {
		return nil, err
83
	}
84
	maxpadding := fmt.Sprintf("%X", size-1)
Hector Sanjuan's avatar
Hector Sanjuan committed
85
	return &Shard{
86
		tableSizeLg2: lg2s,
87 88
		prefixPadStr: fmt.Sprintf("%%0%dX", len(maxpadding)),
		maxpadlen:    len(maxpadding),
Steven Allen's avatar
Steven Allen committed
89
		bitfield:     bitfield.NewBitfield(size),
90 91
		tableSize:    size,
		dserv:        ds,
92
	}, nil
93 94
}

Steven Allen's avatar
Steven Allen committed
95
// NewHamtFromDag creates new a HAMT shard from the given DAG.
Hector Sanjuan's avatar
Hector Sanjuan committed
96
func NewHamtFromDag(dserv ipld.DAGService, nd ipld.Node) (*Shard, error) {
97 98
	pbnd, ok := nd.(*dag.ProtoNode)
	if !ok {
99
		return nil, dag.ErrNotProtobuf
100 101
	}

Overbool's avatar
Overbool committed
102
	fsn, err := format.FSNodeFromBytes(pbnd.Data())
103 104 105 106
	if err != nil {
		return nil, err
	}

Overbool's avatar
Overbool committed
107

Overbool's avatar
Overbool committed
108
	if fsn.Type() != format.THAMTShard {
109 110 111
		return nil, fmt.Errorf("node was not a dir shard")
	}

Overbool's avatar
Overbool committed
112
	if fsn.HashType() != HashMurmur3 {
113 114 115
		return nil, fmt.Errorf("only murmur3 supported as hash function")
	}

Overbool's avatar
Overbool committed
116
	ds, err := makeShard(dserv, int(fsn.Fanout()))
117 118 119 120
	if err != nil {
		return nil, err
	}

121 122
	ds.nd = pbnd.Copy().(*dag.ProtoNode)
	ds.children = make([]child, len(pbnd.Links()))
Overbool's avatar
Overbool committed
123 124
	ds.bitfield.SetBytes(fsn.Data())
	ds.hashFunc = fsn.HashType()
125
	ds.builder = ds.nd.CidBuilder()
126 127 128 129

	return ds, nil
}

130 131 132
// SetCidBuilder sets the CID Builder
func (ds *Shard) SetCidBuilder(builder cid.Builder) {
	ds.builder = builder
133 134
}

135 136 137
// CidBuilder gets the CID Builder, may be nil if unset
func (ds *Shard) CidBuilder() cid.Builder {
	return ds.builder
138 139
}

140
// Node serializes the HAMT structure into a merkledag node with unixfs formatting
Hector Sanjuan's avatar
Hector Sanjuan committed
141
func (ds *Shard) Node() (ipld.Node, error) {
142
	out := new(dag.ProtoNode)
143
	out.SetCidBuilder(ds.builder)
144

Steven Allen's avatar
Steven Allen committed
145
	cindex := 0
146 147
	// TODO: optimized 'for each set bit'
	for i := 0; i < ds.tableSize; i++ {
Steven Allen's avatar
Steven Allen committed
148
		if !ds.bitfield.Bit(i) {
149 150 151 152 153
			continue
		}

		ch := ds.children[cindex]
		if ch != nil {
154
			clnk, err := ch.Link()
155 156 157 158
			if err != nil {
				return nil, err
			}

159
			err = out.AddRawLink(ds.linkNamePrefix(i)+ch.Label(), clnk)
160 161 162 163 164 165 166 167 168 169 170 171 172
			if err != nil {
				return nil, err
			}
		} else {
			// child unloaded, just copy in link with updated name
			lnk := ds.nd.Links()[cindex]
			label := lnk.Name[ds.maxpadlen:]

			err := out.AddRawLink(ds.linkNamePrefix(i)+label, lnk)
			if err != nil {
				return nil, err
			}
		}
Steven Allen's avatar
Steven Allen committed
173
		cindex++
174 175
	}

Overbool's avatar
Overbool committed
176
	data, err := format.HAMTShardData(ds.bitfield.Bytes(), uint64(ds.tableSize), HashMurmur3)
177 178 179 180 181 182
	if err != nil {
		return nil, err
	}

	out.SetData(data)

183
	err = ds.dserv.Add(context.TODO(), out)
184 185 186 187 188 189 190 191 192
	if err != nil {
		return nil, err
	}

	return out, nil
}

type shardValue struct {
	key string
193
	val *ipld.Link
194 195
}

Jeromy's avatar
Jeromy committed
196
// Link returns a link to this node
197
func (sv *shardValue) Link() (*ipld.Link, error) {
198 199 200 201 202 203 204 205 206 207 208 209 210
	return sv.val, nil
}

func (sv *shardValue) Label() string {
	return sv.key
}

func hash(val []byte) []byte {
	h := murmur3.New64()
	h.Write(val)
	return h.Sum(nil)
}

Hector Sanjuan's avatar
Hector Sanjuan committed
211
// Label for Shards is the empty string, this is used to differentiate them from
212
// value entries
Hector Sanjuan's avatar
Hector Sanjuan committed
213
func (ds *Shard) Label() string {
214 215 216 217
	return ""
}

// Set sets 'name' = nd in the HAMT
Hector Sanjuan's avatar
Hector Sanjuan committed
218
func (ds *Shard) Set(ctx context.Context, name string, nd ipld.Node) error {
219
	hv := &hashBits{b: hash([]byte(name))}
220
	err := ds.dserv.Add(ctx, nd)
221 222 223 224
	if err != nil {
		return err
	}

225
	lnk, err := ipld.MakeLink(nd)
226 227 228 229 230 231
	if err != nil {
		return err
	}
	lnk.Name = ds.linkNamePrefix(0) + name

	return ds.modifyValue(ctx, hv, name, lnk)
232 233 234
}

// Remove deletes the named entry if it exists, this operation is idempotent.
Hector Sanjuan's avatar
Hector Sanjuan committed
235
func (ds *Shard) Remove(ctx context.Context, name string) error {
236 237 238 239
	hv := &hashBits{b: hash([]byte(name))}
	return ds.modifyValue(ctx, hv, name, nil)
}

Jeromy's avatar
Jeromy committed
240
// Find searches for a child node by 'name' within this hamt
Hector Sanjuan's avatar
Hector Sanjuan committed
241
func (ds *Shard) Find(ctx context.Context, name string) (*ipld.Link, error) {
242 243
	hv := &hashBits{b: hash([]byte(name))}

244
	var out *ipld.Link
245 246 247 248
	err := ds.getValue(ctx, hv, name, func(sv *shardValue) error {
		out = sv.val
		return nil
	})
249 250 251
	if err != nil {
		return nil, err
	}
252

Jeromy's avatar
Jeromy committed
253
	return out, nil
254 255 256 257 258
}

// getChild returns the i'th child of this shard. If it is cached in the
// children array, it will return it from there. Otherwise, it loads the child
// node from disk.
Hector Sanjuan's avatar
Hector Sanjuan committed
259
func (ds *Shard) getChild(ctx context.Context, i int) (child, error) {
260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277
	if i >= len(ds.children) || i < 0 {
		return nil, fmt.Errorf("invalid index passed to getChild (likely corrupt bitfield)")
	}

	if len(ds.children) != len(ds.nd.Links()) {
		return nil, fmt.Errorf("inconsistent lengths between children array and Links array")
	}

	c := ds.children[i]
	if c != nil {
		return c, nil
	}

	return ds.loadChild(ctx, i)
}

// loadChild reads the i'th child node of this shard from disk and returns it
// as a 'child' interface
Hector Sanjuan's avatar
Hector Sanjuan committed
278
func (ds *Shard) loadChild(ctx context.Context, i int) (child, error) {
279 280 281 282 283 284 285
	lnk := ds.nd.Links()[i]
	if len(lnk.Name) < ds.maxpadlen {
		return nil, fmt.Errorf("invalid link name '%s'", lnk.Name)
	}

	var c child
	if len(lnk.Name) == ds.maxpadlen {
286 287 288 289
		nd, err := lnk.GetNode(ctx, ds.dserv)
		if err != nil {
			return nil, err
		}
290 291 292 293 294 295 296
		cds, err := NewHamtFromDag(ds.dserv, nd)
		if err != nil {
			return nil, err
		}

		c = cds
	} else {
297
		lnk2 := *lnk
298 299
		c = &shardValue{
			key: lnk.Name[ds.maxpadlen:],
300
			val: &lnk2,
301 302 303 304 305 306 307
		}
	}

	ds.children[i] = c
	return c, nil
}

Hector Sanjuan's avatar
Hector Sanjuan committed
308
func (ds *Shard) setChild(i int, c child) {
309 310 311
	ds.children[i] = c
}

Jeromy's avatar
Jeromy committed
312
// Link returns a merklelink to this shard node
Hector Sanjuan's avatar
Hector Sanjuan committed
313
func (ds *Shard) Link() (*ipld.Link, error) {
314 315 316 317 318
	nd, err := ds.Node()
	if err != nil {
		return nil, err
	}

319
	err = ds.dserv.Add(context.TODO(), nd)
320 321 322 323
	if err != nil {
		return nil, err
	}

324
	return ipld.MakeLink(nd)
325 326
}

Hector Sanjuan's avatar
Hector Sanjuan committed
327
func (ds *Shard) insertChild(idx int, key string, lnk *ipld.Link) error {
328
	if lnk == nil {
329 330 331 332
		return os.ErrNotExist
	}

	i := ds.indexForBitPos(idx)
Steven Allen's avatar
Steven Allen committed
333
	ds.bitfield.SetBit(idx)
334 335

	lnk.Name = ds.linkNamePrefix(idx) + key
336 337
	sv := &shardValue{
		key: key,
338
		val: lnk,
339 340 341
	}

	ds.children = append(ds.children[:i], append([]child{sv}, ds.children[i:]...)...)
342
	ds.nd.SetLinks(append(ds.nd.Links()[:i], append([]*ipld.Link{nil}, ds.nd.Links()[i:]...)...))
343 344 345
	return nil
}

Hector Sanjuan's avatar
Hector Sanjuan committed
346
func (ds *Shard) rmChild(i int) error {
347 348 349 350 351 352 353 354 355 356 357 358 359
	if i < 0 || i >= len(ds.children) || i >= len(ds.nd.Links()) {
		return fmt.Errorf("hamt: attempted to remove child with out of range index")
	}

	copy(ds.children[i:], ds.children[i+1:])
	ds.children = ds.children[:len(ds.children)-1]

	copy(ds.nd.Links()[i:], ds.nd.Links()[i+1:])
	ds.nd.SetLinks(ds.nd.Links()[:len(ds.nd.Links())-1])

	return nil
}

Hector Sanjuan's avatar
Hector Sanjuan committed
360
func (ds *Shard) getValue(ctx context.Context, hv *hashBits, key string, cb func(*shardValue) error) error {
361
	idx := hv.Next(ds.tableSizeLg2)
Steven Allen's avatar
Steven Allen committed
362
	if ds.bitfield.Bit(int(idx)) {
363 364 365 366 367 368 369 370
		cindex := ds.indexForBitPos(idx)

		child, err := ds.getChild(ctx, cindex)
		if err != nil {
			return err
		}

		switch child := child.(type) {
Hector Sanjuan's avatar
Hector Sanjuan committed
371
		case *Shard:
372 373 374 375 376 377 378 379 380 381 382
			return child.getValue(ctx, hv, key, cb)
		case *shardValue:
			if child.key == key {
				return cb(child)
			}
		}
	}

	return os.ErrNotExist
}

Hector Sanjuan's avatar
Hector Sanjuan committed
383 384
// EnumLinks collects all links in the Shard.
func (ds *Shard) EnumLinks(ctx context.Context) ([]*ipld.Link, error) {
385 386
	var links []*ipld.Link
	err := ds.ForEachLink(ctx, func(l *ipld.Link) error {
387 388 389 390 391 392
		links = append(links, l)
		return nil
	})
	return links, err
}

Hector Sanjuan's avatar
Hector Sanjuan committed
393 394
// ForEachLink walks the Shard and calls the given function.
func (ds *Shard) ForEachLink(ctx context.Context, f func(*ipld.Link) error) error {
Jeromy's avatar
Jeromy committed
395
	return ds.walkTrie(ctx, func(sv *shardValue) error {
396
		lnk := sv.val
397 398
		lnk.Name = sv.key

399
		return f(lnk)
400 401 402
	})
}

Hector Sanjuan's avatar
Hector Sanjuan committed
403
func (ds *Shard) walkTrie(ctx context.Context, cb func(*shardValue) error) error {
Steven Allen's avatar
Steven Allen committed
404
	for idx := range ds.children {
Jeromy's avatar
Jeromy committed
405
		c, err := ds.getChild(ctx, idx)
406 407 408 409 410 411
		if err != nil {
			return err
		}

		switch c := c.(type) {
		case *shardValue:
Steven Allen's avatar
Steven Allen committed
412
			if err := cb(c); err != nil {
413 414 415
				return err
			}

Hector Sanjuan's avatar
Hector Sanjuan committed
416
		case *Shard:
Steven Allen's avatar
Steven Allen committed
417
			if err := c.walkTrie(ctx, cb); err != nil {
418 419 420 421 422 423 424 425 426
				return err
			}
		default:
			return fmt.Errorf("unexpected child type: %#v", c)
		}
	}
	return nil
}

Hector Sanjuan's avatar
Hector Sanjuan committed
427
func (ds *Shard) modifyValue(ctx context.Context, hv *hashBits, key string, val *ipld.Link) error {
428 429
	idx := hv.Next(ds.tableSizeLg2)

Steven Allen's avatar
Steven Allen committed
430
	if !ds.bitfield.Bit(idx) {
431 432 433 434 435 436 437 438 439 440 441
		return ds.insertChild(idx, key, val)
	}

	cindex := ds.indexForBitPos(idx)

	child, err := ds.getChild(ctx, cindex)
	if err != nil {
		return err
	}

	switch child := child.(type) {
Hector Sanjuan's avatar
Hector Sanjuan committed
442
	case *Shard:
443 444 445 446 447 448 449 450 451 452 453 454
		err := child.modifyValue(ctx, hv, key, val)
		if err != nil {
			return err
		}

		if val == nil {
			switch len(child.children) {
			case 0:
				// empty sub-shard, prune it
				// Note: this shouldnt normally ever happen
				//       in the event of another implementation creates flawed
				//       structures, this will help to normalize them.
Steven Allen's avatar
Steven Allen committed
455
				ds.bitfield.UnsetBit(idx)
456 457 458 459 460 461 462 463 464 465 466 467 468
				return ds.rmChild(cindex)
			case 1:
				nchild, ok := child.children[0].(*shardValue)
				if ok {
					// sub-shard with a single value element, collapse it
					ds.setChild(cindex, nchild)
				}
				return nil
			}
		}

		return nil
	case *shardValue:
Jeromy's avatar
Jeromy committed
469 470 471
		if child.key == key {
			// value modification
			if val == nil {
Steven Allen's avatar
Steven Allen committed
472
				ds.bitfield.UnsetBit(idx)
Jeromy's avatar
Jeromy committed
473 474
				return ds.rmChild(cindex)
			}
475 476 477

			child.val = val
			return nil
Jeromy's avatar
Jeromy committed
478
		}
479

Jeromy's avatar
Jeromy committed
480 481 482
		if val == nil {
			return os.ErrNotExist
		}
483

Jeromy's avatar
Jeromy committed
484
		// replace value with another shard, one level deeper
Hector Sanjuan's avatar
Hector Sanjuan committed
485
		ns, err := NewShard(ds.dserv, ds.tableSize)
Jeromy's avatar
Jeromy committed
486 487 488
		if err != nil {
			return err
		}
489
		ns.builder = ds.builder
Jeromy's avatar
Jeromy committed
490 491 492 493
		chhv := &hashBits{
			b:        hash([]byte(child.key)),
			consumed: hv.consumed,
		}
494

Jeromy's avatar
Jeromy committed
495 496 497 498
		err = ns.modifyValue(ctx, hv, key, val)
		if err != nil {
			return err
		}
499

Jeromy's avatar
Jeromy committed
500 501 502
		err = ns.modifyValue(ctx, chhv, child.key, child.val)
		if err != nil {
			return err
503
		}
Jeromy's avatar
Jeromy committed
504 505 506

		ds.setChild(cindex, ns)
		return nil
507 508 509 510 511
	default:
		return fmt.Errorf("unexpected type for child: %#v", child)
	}
}

Jeromy's avatar
Jeromy committed
512 513 514
// indexForBitPos returns the index within the collapsed array corresponding to
// the given bit in the bitset.  The collapsed array contains only one entry
// per bit set in the bitfield, and this function is used to map the indices.
Hector Sanjuan's avatar
Hector Sanjuan committed
515
func (ds *Shard) indexForBitPos(bp int) int {
Steven Allen's avatar
Steven Allen committed
516
	return ds.bitfield.OnesBefore(bp)
517 518 519
}

// linkNamePrefix takes in the bitfield index of an entry and returns its hex prefix
Hector Sanjuan's avatar
Hector Sanjuan committed
520
func (ds *Shard) linkNamePrefix(idx int) string {
521 522
	return fmt.Sprintf(ds.prefixPadStr, idx)
}