github.com/dotlike13/wemix30_go@v1.8.23/swarm/pot/pot.go (about)

     1  // Copyright 2017 The go-ethereum Authors
     2  // This file is part of the go-ethereum library.
     3  //
     4  // The go-ethereum library is free software: you can redistribute it and/or modify
     5  // it under the terms of the GNU Lesser General Public License as published by
     6  // the Free Software Foundation, either version 3 of the License, or
     7  // (at your option) any later version.
     8  //
     9  // The go-ethereum library is distributed in the hope that it will be useful,
    10  // but WITHOUT ANY WARRANTY; without even the implied warranty of
    11  // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
    12  // GNU Lesser General Public License for more details.
    13  //
    14  // You should have received a copy of the GNU Lesser General Public License
    15  // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
    16  
    17  // Package pot see doc.go
    18  package pot
    19  
    20  import (
    21  	"fmt"
    22  	"sync"
    23  )
    24  
    25  const (
    26  	maxkeylen = 256
    27  )
    28  
    29  // Pot is the node type (same for root, branching node and leaf)
    30  type Pot struct {
    31  	pin  Val
    32  	bins []*Pot
    33  	size int
    34  	po   int
    35  }
    36  
    37  // Val is the element type for Pots
    38  type Val interface{}
    39  
    40  // Pof is the proximity order comparison operator function
    41  type Pof func(Val, Val, int) (int, bool)
    42  
    43  // NewPot constructor. Requires a value of type Val to pin
    44  // and po to point to a span in the Val key
    45  // The pinned item counts towards the size
    46  func NewPot(v Val, po int) *Pot {
    47  	var size int
    48  	if v != nil {
    49  		size++
    50  	}
    51  	return &Pot{
    52  		pin:  v,
    53  		po:   po,
    54  		size: size,
    55  	}
    56  }
    57  
    58  // Pin returns the pinned element (key) of the Pot
    59  func (t *Pot) Pin() Val {
    60  	return t.pin
    61  }
    62  
    63  // Size returns the number of values in the Pot
    64  func (t *Pot) Size() int {
    65  	if t == nil {
    66  		return 0
    67  	}
    68  	return t.size
    69  }
    70  
    71  // Add inserts a new value into the Pot and
    72  // returns the proximity order of v and a boolean
    73  // indicating if the item was found
    74  // Add called on (t, v) returns a new Pot that contains all the elements of t
    75  // plus the value v, using the applicative add
    76  // the second return value is the proximity order of the inserted element
    77  // the third is boolean indicating if the item was found
    78  func Add(t *Pot, val Val, pof Pof) (*Pot, int, bool) {
    79  	return add(t, val, pof)
    80  }
    81  
    82  func (t *Pot) clone() *Pot {
    83  	return &Pot{
    84  		pin:  t.pin,
    85  		size: t.size,
    86  		po:   t.po,
    87  		bins: t.bins,
    88  	}
    89  }
    90  
    91  func add(t *Pot, val Val, pof Pof) (*Pot, int, bool) {
    92  	var r *Pot
    93  	if t == nil || t.pin == nil {
    94  		r = t.clone()
    95  		r.pin = val
    96  		r.size++
    97  		return r, 0, false
    98  	}
    99  	po, found := pof(t.pin, val, t.po)
   100  	if found {
   101  		r = t.clone()
   102  		r.pin = val
   103  		return r, po, true
   104  	}
   105  
   106  	var p *Pot
   107  	var i, j int
   108  	size := t.size
   109  	for i < len(t.bins) {
   110  		n := t.bins[i]
   111  		if n.po == po {
   112  			p, _, found = add(n, val, pof)
   113  			if !found {
   114  				size++
   115  			}
   116  			j++
   117  			break
   118  		}
   119  		if n.po > po {
   120  			break
   121  		}
   122  		i++
   123  		j++
   124  	}
   125  	if p == nil {
   126  		size++
   127  		p = &Pot{
   128  			pin:  val,
   129  			size: 1,
   130  			po:   po,
   131  		}
   132  	}
   133  
   134  	bins := append([]*Pot{}, t.bins[:i]...)
   135  	bins = append(bins, p)
   136  	bins = append(bins, t.bins[j:]...)
   137  	r = &Pot{
   138  		pin:  t.pin,
   139  		size: size,
   140  		po:   t.po,
   141  		bins: bins,
   142  	}
   143  
   144  	return r, po, found
   145  }
   146  
   147  // Remove deletes element v from the Pot t and returns three parameters:
   148  // 1. new Pot that contains all the elements of t minus the element v;
   149  // 2. proximity order of the removed element v;
   150  // 3. boolean indicating whether the item was found.
   151  func Remove(t *Pot, v Val, pof Pof) (*Pot, int, bool) {
   152  	return remove(t, v, pof)
   153  }
   154  
   155  func remove(t *Pot, val Val, pof Pof) (r *Pot, po int, found bool) {
   156  	size := t.size
   157  	po, found = pof(t.pin, val, t.po)
   158  	if found {
   159  		size--
   160  		if size == 0 {
   161  			return &Pot{}, po, true
   162  		}
   163  		i := len(t.bins) - 1
   164  		last := t.bins[i]
   165  		r = &Pot{
   166  			pin:  last.pin,
   167  			bins: append(t.bins[:i], last.bins...),
   168  			size: size,
   169  			po:   t.po,
   170  		}
   171  		return r, t.po, true
   172  	}
   173  
   174  	var p *Pot
   175  	var i, j int
   176  	for i < len(t.bins) {
   177  		n := t.bins[i]
   178  		if n.po == po {
   179  			p, po, found = remove(n, val, pof)
   180  			if found {
   181  				size--
   182  			}
   183  			j++
   184  			break
   185  		}
   186  		if n.po > po {
   187  			return t, po, false
   188  		}
   189  		i++
   190  		j++
   191  	}
   192  	bins := t.bins[:i]
   193  	if p != nil && p.pin != nil {
   194  		bins = append(bins, p)
   195  	}
   196  	bins = append(bins, t.bins[j:]...)
   197  	r = &Pot{
   198  		pin:  t.pin,
   199  		size: size,
   200  		po:   t.po,
   201  		bins: bins,
   202  	}
   203  	return r, po, found
   204  }
   205  
   206  // Swap called on (k, f) looks up the item at k
   207  // and applies the function f to the value v at k or to nil if the item is not found
   208  // if f(v) returns nil, the element is removed
   209  // if f(v) returns v' <> v then v' is inserted into the Pot
   210  // if (v) == v the Pot is not changed
   211  // it panics if Pof(f(v), k) show that v' and v are not key-equal
   212  func Swap(t *Pot, k Val, pof Pof, f func(v Val) Val) (r *Pot, po int, found bool, change bool) {
   213  	var val Val
   214  	if t.pin == nil {
   215  		val = f(nil)
   216  		if val == nil {
   217  			return nil, 0, false, false
   218  		}
   219  		return NewPot(val, t.po), 0, false, true
   220  	}
   221  	size := t.size
   222  	po, found = pof(k, t.pin, t.po)
   223  	if found {
   224  		val = f(t.pin)
   225  		// remove element
   226  		if val == nil {
   227  			size--
   228  			if size == 0 {
   229  				r = &Pot{
   230  					po: t.po,
   231  				}
   232  				// return empty pot
   233  				return r, po, true, true
   234  			}
   235  			// actually remove pin, by merging last bin
   236  			i := len(t.bins) - 1
   237  			last := t.bins[i]
   238  			r = &Pot{
   239  				pin:  last.pin,
   240  				bins: append(t.bins[:i], last.bins...),
   241  				size: size,
   242  				po:   t.po,
   243  			}
   244  			return r, po, true, true
   245  		}
   246  		// element found but no change
   247  		if val == t.pin {
   248  			return t, po, true, false
   249  		}
   250  		// actually modify the pinned element, but no change in structure
   251  		r = t.clone()
   252  		r.pin = val
   253  		return r, po, true, true
   254  	}
   255  
   256  	// recursive step
   257  	var p *Pot
   258  	n, i := t.getPos(po)
   259  	if n != nil {
   260  		p, po, found, change = Swap(n, k, pof, f)
   261  		// recursive no change
   262  		if !change {
   263  			return t, po, found, false
   264  		}
   265  		// recursive change
   266  		bins := append([]*Pot{}, t.bins[:i]...)
   267  		if p.size == 0 {
   268  			size--
   269  		} else {
   270  			size += p.size - n.size
   271  			bins = append(bins, p)
   272  		}
   273  		i++
   274  		if i < len(t.bins) {
   275  			bins = append(bins, t.bins[i:]...)
   276  		}
   277  		r = t.clone()
   278  		r.bins = bins
   279  		r.size = size
   280  		return r, po, found, true
   281  	}
   282  	// key does not exist
   283  	val = f(nil)
   284  	if val == nil {
   285  		// and it should not be created
   286  		return t, po, false, false
   287  	}
   288  	// otherwise check val if equal to k
   289  	if _, eq := pof(val, k, po); !eq {
   290  		panic("invalid value")
   291  	}
   292  	///
   293  	size++
   294  	p = &Pot{
   295  		pin:  val,
   296  		size: 1,
   297  		po:   po,
   298  	}
   299  
   300  	bins := append([]*Pot{}, t.bins[:i]...)
   301  	bins = append(bins, p)
   302  	if i < len(t.bins) {
   303  		bins = append(bins, t.bins[i:]...)
   304  	}
   305  	r = t.clone()
   306  	r.bins = bins
   307  	r.size = size
   308  	return r, po, found, true
   309  }
   310  
   311  // Union called on (t0, t1, pof) returns the union of t0 and t1
   312  // calculates the union using the applicative union
   313  // the second return value is the number of common elements
   314  func Union(t0, t1 *Pot, pof Pof) (*Pot, int) {
   315  	return union(t0, t1, pof)
   316  }
   317  
   318  func union(t0, t1 *Pot, pof Pof) (*Pot, int) {
   319  	if t0 == nil || t0.size == 0 {
   320  		return t1, 0
   321  	}
   322  	if t1 == nil || t1.size == 0 {
   323  		return t0, 0
   324  	}
   325  	var pin Val
   326  	var bins []*Pot
   327  	var mis []int
   328  	wg := &sync.WaitGroup{}
   329  	wg.Add(1)
   330  	pin0 := t0.pin
   331  	pin1 := t1.pin
   332  	bins0 := t0.bins
   333  	bins1 := t1.bins
   334  	var i0, i1 int
   335  	var common int
   336  
   337  	po, eq := pof(pin0, pin1, 0)
   338  
   339  	for {
   340  		l0 := len(bins0)
   341  		l1 := len(bins1)
   342  		var n0, n1 *Pot
   343  		var p0, p1 int
   344  		var a0, a1 bool
   345  
   346  		for {
   347  
   348  			if !a0 && i0 < l0 && bins0[i0] != nil && bins0[i0].po <= po {
   349  				n0 = bins0[i0]
   350  				p0 = n0.po
   351  				a0 = p0 == po
   352  			} else {
   353  				a0 = true
   354  			}
   355  
   356  			if !a1 && i1 < l1 && bins1[i1] != nil && bins1[i1].po <= po {
   357  				n1 = bins1[i1]
   358  				p1 = n1.po
   359  				a1 = p1 == po
   360  			} else {
   361  				a1 = true
   362  			}
   363  			if a0 && a1 {
   364  				break
   365  			}
   366  
   367  			switch {
   368  			case (p0 < p1 || a1) && !a0:
   369  				bins = append(bins, n0)
   370  				i0++
   371  				n0 = nil
   372  			case (p1 < p0 || a0) && !a1:
   373  				bins = append(bins, n1)
   374  				i1++
   375  				n1 = nil
   376  			case p1 < po:
   377  				bl := len(bins)
   378  				bins = append(bins, nil)
   379  				ml := len(mis)
   380  				mis = append(mis, 0)
   381  				// wg.Add(1)
   382  				// go func(b, m int, m0, m1 *Pot) {
   383  				// 	defer wg.Done()
   384  				// bins[b], mis[m] = union(m0, m1, pof)
   385  				// }(bl, ml, n0, n1)
   386  				bins[bl], mis[ml] = union(n0, n1, pof)
   387  				i0++
   388  				i1++
   389  				n0 = nil
   390  				n1 = nil
   391  			}
   392  		}
   393  
   394  		if eq {
   395  			common++
   396  			pin = pin1
   397  			break
   398  		}
   399  
   400  		i := i0
   401  		if len(bins0) > i && bins0[i].po == po {
   402  			i++
   403  		}
   404  		var size0 int
   405  		for _, n := range bins0[i:] {
   406  			size0 += n.size
   407  		}
   408  		np := &Pot{
   409  			pin:  pin0,
   410  			bins: bins0[i:],
   411  			size: size0 + 1,
   412  			po:   po,
   413  		}
   414  
   415  		bins2 := []*Pot{np}
   416  		if n0 == nil {
   417  			pin0 = pin1
   418  			po = maxkeylen + 1
   419  			eq = true
   420  			common--
   421  
   422  		} else {
   423  			bins2 = append(bins2, n0.bins...)
   424  			pin0 = pin1
   425  			pin1 = n0.pin
   426  			po, eq = pof(pin0, pin1, n0.po)
   427  
   428  		}
   429  		bins0 = bins1
   430  		bins1 = bins2
   431  		i0 = i1
   432  		i1 = 0
   433  
   434  	}
   435  
   436  	wg.Done()
   437  	wg.Wait()
   438  	for _, c := range mis {
   439  		common += c
   440  	}
   441  	n := &Pot{
   442  		pin:  pin,
   443  		bins: bins,
   444  		size: t0.size + t1.size - common,
   445  		po:   t0.po,
   446  	}
   447  	return n, common
   448  }
   449  
   450  // Each is a synchronous iterator over the elements of pot with function f.
   451  func (t *Pot) Each(f func(Val) bool) bool {
   452  	return t.each(f)
   453  }
   454  
   455  // each is a synchronous iterator over the elements of pot with function f.
   456  // the iteration ends if the function return false or there are no more elements.
   457  func (t *Pot) each(f func(Val) bool) bool {
   458  	if t == nil || t.size == 0 {
   459  		return false
   460  	}
   461  	for _, n := range t.bins {
   462  		if !n.each(f) {
   463  			return false
   464  		}
   465  	}
   466  	return f(t.pin)
   467  }
   468  
   469  // eachFrom is a synchronous iterator over the elements of pot with function f,
   470  // starting from certain proximity order po, which is passed as a second parameter.
   471  // the iteration ends if the function return false or there are no more elements.
   472  func (t *Pot) eachFrom(f func(Val) bool, po int) bool {
   473  	if t == nil || t.size == 0 {
   474  		return false
   475  	}
   476  	_, beg := t.getPos(po)
   477  	for i := beg; i < len(t.bins); i++ {
   478  		if !t.bins[i].each(f) {
   479  			return false
   480  		}
   481  	}
   482  	return f(t.pin)
   483  }
   484  
   485  // EachBin iterates over bins of the pivot node and offers iterators to the caller on each
   486  // subtree passing the proximity order and the size
   487  // the iteration continues until the function's return value is false
   488  // or there are no more subtries
   489  func (t *Pot) EachBin(val Val, pof Pof, po int, f func(int, int, func(func(val Val) bool) bool) bool) {
   490  	t.eachBin(val, pof, po, f)
   491  }
   492  
   493  func (t *Pot) eachBin(val Val, pof Pof, po int, f func(int, int, func(func(val Val) bool) bool) bool) {
   494  	if t == nil || t.size == 0 {
   495  		return
   496  	}
   497  	spr, _ := pof(t.pin, val, t.po)
   498  	_, lim := t.getPos(spr)
   499  	var size int
   500  	var n *Pot
   501  	for i := 0; i < lim; i++ {
   502  		n = t.bins[i]
   503  		size += n.size
   504  		if n.po < po {
   505  			continue
   506  		}
   507  		if !f(n.po, n.size, n.each) {
   508  			return
   509  		}
   510  	}
   511  	if lim == len(t.bins) {
   512  		if spr >= po {
   513  			f(spr, 1, func(g func(Val) bool) bool {
   514  				return g(t.pin)
   515  			})
   516  		}
   517  		return
   518  	}
   519  
   520  	n = t.bins[lim]
   521  
   522  	spo := spr
   523  	if n.po == spr {
   524  		spo++
   525  		size += n.size
   526  	}
   527  	if spr >= po {
   528  		if !f(spr, t.size-size, func(g func(Val) bool) bool {
   529  			return t.eachFrom(func(v Val) bool {
   530  				return g(v)
   531  			}, spo)
   532  		}) {
   533  			return
   534  		}
   535  	}
   536  	if n.po == spr {
   537  		n.eachBin(val, pof, po, f)
   538  	}
   539  
   540  }
   541  
   542  // EachNeighbour is a synchronous iterator over neighbours of any target val
   543  // the order of elements retrieved reflect proximity order to the target
   544  // TODO: add maximum proxbin to start range of iteration
   545  func (t *Pot) EachNeighbour(val Val, pof Pof, f func(Val, int) bool) bool {
   546  	return t.eachNeighbour(val, pof, f)
   547  }
   548  
   549  func (t *Pot) eachNeighbour(val Val, pof Pof, f func(Val, int) bool) bool {
   550  	if t == nil || t.size == 0 {
   551  		return false
   552  	}
   553  	var next bool
   554  	l := len(t.bins)
   555  	var n *Pot
   556  	ir := l
   557  	il := l
   558  	po, eq := pof(t.pin, val, t.po)
   559  	if !eq {
   560  		n, il = t.getPos(po)
   561  		if n != nil {
   562  			next = n.eachNeighbour(val, pof, f)
   563  			if !next {
   564  				return false
   565  			}
   566  			ir = il
   567  		} else {
   568  			ir = il - 1
   569  		}
   570  	}
   571  
   572  	next = f(t.pin, po)
   573  	if !next {
   574  		return false
   575  	}
   576  
   577  	for i := l - 1; i > ir; i-- {
   578  		next = t.bins[i].each(func(v Val) bool {
   579  			return f(v, po)
   580  		})
   581  		if !next {
   582  			return false
   583  		}
   584  	}
   585  
   586  	for i := il - 1; i >= 0; i-- {
   587  		n := t.bins[i]
   588  		next = n.each(func(v Val) bool {
   589  			return f(v, n.po)
   590  		})
   591  		if !next {
   592  			return false
   593  		}
   594  	}
   595  	return true
   596  }
   597  
   598  // EachNeighbourAsync called on (val, max, maxPos, f, wait) is an asynchronous iterator
   599  // over elements not closer than maxPos wrt val.
   600  // val does not need to be match an element of the Pot, but if it does, and
   601  // maxPos is keylength than it is included in the iteration
   602  // Calls to f are parallelised, the order of calls is undefined.
   603  // proximity order is respected in that there is no element in the Pot that
   604  // is not visited if a closer node is visited.
   605  // The iteration is finished when max number of nearest nodes is visited
   606  // or if the entire there are no nodes not closer than maxPos that is not visited
   607  // if wait is true, the iterator returns only if all calls to f are finished
   608  // TODO: implement minPos for proper prox range iteration
   609  func (t *Pot) EachNeighbourAsync(val Val, pof Pof, max int, maxPos int, f func(Val, int), wait bool) {
   610  	if max > t.size {
   611  		max = t.size
   612  	}
   613  	var wg *sync.WaitGroup
   614  	if wait {
   615  		wg = &sync.WaitGroup{}
   616  	}
   617  	t.eachNeighbourAsync(val, pof, max, maxPos, f, wg)
   618  	if wait {
   619  		wg.Wait()
   620  	}
   621  }
   622  
   623  func (t *Pot) eachNeighbourAsync(val Val, pof Pof, max int, maxPos int, f func(Val, int), wg *sync.WaitGroup) (extra int) {
   624  	l := len(t.bins)
   625  
   626  	po, eq := pof(t.pin, val, t.po)
   627  
   628  	// if po is too close, set the pivot branch (pom) to maxPos
   629  	pom := po
   630  	if pom > maxPos {
   631  		pom = maxPos
   632  	}
   633  	n, il := t.getPos(pom)
   634  	ir := il
   635  	// if pivot branch exists and po is not too close, iterate on the pivot branch
   636  	if pom == po {
   637  		if n != nil {
   638  
   639  			m := n.size
   640  			if max < m {
   641  				m = max
   642  			}
   643  			max -= m
   644  
   645  			extra = n.eachNeighbourAsync(val, pof, m, maxPos, f, wg)
   646  
   647  		} else {
   648  			if !eq {
   649  				ir--
   650  			}
   651  		}
   652  	} else {
   653  		extra++
   654  		max--
   655  		if n != nil {
   656  			il++
   657  		}
   658  		// before checking max, add up the extra elements
   659  		// on the close branches that are skipped (if po is too close)
   660  		for i := l - 1; i >= il; i-- {
   661  			s := t.bins[i]
   662  			m := s.size
   663  			if max < m {
   664  				m = max
   665  			}
   666  			max -= m
   667  			extra += m
   668  		}
   669  	}
   670  
   671  	var m int
   672  	if pom == po {
   673  
   674  		m, max, extra = need(1, max, extra)
   675  		if m <= 0 {
   676  			return
   677  		}
   678  
   679  		if wg != nil {
   680  			wg.Add(1)
   681  		}
   682  		go func() {
   683  			if wg != nil {
   684  				defer wg.Done()
   685  			}
   686  			f(t.pin, po)
   687  		}()
   688  
   689  		// otherwise iterats
   690  		for i := l - 1; i > ir; i-- {
   691  			n := t.bins[i]
   692  
   693  			m, max, extra = need(n.size, max, extra)
   694  			if m <= 0 {
   695  				return
   696  			}
   697  
   698  			if wg != nil {
   699  				wg.Add(m)
   700  			}
   701  			go func(pn *Pot, pm int) {
   702  				pn.each(func(v Val) bool {
   703  					if wg != nil {
   704  						defer wg.Done()
   705  					}
   706  					f(v, po)
   707  					pm--
   708  					return pm > 0
   709  				})
   710  			}(n, m)
   711  
   712  		}
   713  	}
   714  
   715  	// iterate branches that are farther tham pom with their own po
   716  	for i := il - 1; i >= 0; i-- {
   717  		n := t.bins[i]
   718  		// the first time max is less than the size of the entire branch
   719  		// wait for the pivot thread to release extra elements
   720  		m, max, extra = need(n.size, max, extra)
   721  		if m <= 0 {
   722  			return
   723  		}
   724  
   725  		if wg != nil {
   726  			wg.Add(m)
   727  		}
   728  		go func(pn *Pot, pm int) {
   729  			pn.each(func(v Val) bool {
   730  				if wg != nil {
   731  					defer wg.Done()
   732  				}
   733  				f(v, pn.po)
   734  				pm--
   735  				return pm > 0
   736  			})
   737  		}(n, m)
   738  
   739  	}
   740  	return max + extra
   741  }
   742  
   743  // getPos called on (n) returns the forking node at PO n and its index if it exists
   744  // otherwise nil
   745  // caller is supposed to hold the lock
   746  func (t *Pot) getPos(po int) (n *Pot, i int) {
   747  	for i, n = range t.bins {
   748  		if po > n.po {
   749  			continue
   750  		}
   751  		if po < n.po {
   752  			return nil, i
   753  		}
   754  		return n, i
   755  	}
   756  	return nil, len(t.bins)
   757  }
   758  
   759  // need called on (m, max, extra) uses max m out of extra, and then max
   760  // if needed, returns the adjusted counts
   761  func need(m, max, extra int) (int, int, int) {
   762  	if m <= extra {
   763  		return m, max, extra - m
   764  	}
   765  	max += extra - m
   766  	if max <= 0 {
   767  		return m + max, 0, 0
   768  	}
   769  	return m, max, 0
   770  }
   771  
   772  func (t *Pot) String() string {
   773  	return t.sstring("")
   774  }
   775  
   776  func (t *Pot) sstring(indent string) string {
   777  	if t == nil {
   778  		return "<nil>"
   779  	}
   780  	var s string
   781  	indent += "  "
   782  	s += fmt.Sprintf("%v%v (%v) %v \n", indent, t.pin, t.po, t.size)
   783  	for _, n := range t.bins {
   784  		s += fmt.Sprintf("%v%v\n", indent, n.sstring(indent))
   785  	}
   786  	return s
   787  }