engine.go 7.63 KB
Newer Older
Jeromy's avatar
Jeromy committed
1
// package decision implements the decision engine for the bitswap service.
2
package decision
3 4 5 6

import (
	"sync"

7 8 9 10 11 12
	context "github.com/ipfs/go-ipfs/Godeps/_workspace/src/golang.org/x/net/context"
	bstore "github.com/ipfs/go-ipfs/blocks/blockstore"
	bsmsg "github.com/ipfs/go-ipfs/exchange/bitswap/message"
	wl "github.com/ipfs/go-ipfs/exchange/bitswap/wantlist"
	peer "github.com/ipfs/go-ipfs/p2p/peer"
	eventlog "github.com/ipfs/go-ipfs/thirdparty/eventlog"
13 14
)

15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
// TODO consider taking responsibility for other types of requests. For
// example, there could be a |cancelQueue| for all of the cancellation
// messages that need to go out. There could also be a |wantlistQueue| for
// the local peer's wantlists. Alternatively, these could all be bundled
// into a single, intelligent global queue that efficiently
// batches/combines and takes all of these into consideration.
//
// Right now, messages go onto the network for four reasons:
// 1. an initial `sendwantlist` message to a provider of the first key in a request
// 2. a periodic full sweep of `sendwantlist` messages to all providers
// 3. upon receipt of blocks, a `cancel` message to all peers
// 4. draining the priority queue of `blockrequests` from peers
//
// Presently, only `blockrequests` are handled by the decision engine.
// However, there is an opportunity to give it more responsibility! If the
// decision engine is given responsibility for all of the others, it can
// intelligently decide how to combine requests efficiently.
//
// Some examples of what would be possible:
//
// * when sending out the wantlists, include `cancel` requests
// * when handling `blockrequests`, include `sendwantlist` and `cancel` as appropriate
// * when handling `cancel`, if we recently received a wanted block from a
// 	 peer, include a partial wantlist that contains a few other high priority
//   blocks
//
// In a sense, if we treat the decision engine as a black box, it could do
// whatever it sees fit to produce desired outcomes (get wanted keys
// quickly, maintain good relationships with peers, etc).

Juan Batiz-Benet's avatar
Juan Batiz-Benet committed
45
var log = eventlog.Logger("engine")
46

Brian Tiger Chow's avatar
Brian Tiger Chow committed
47
const (
48 49
	// outboxChanBuffer must be 0 to prevent stale messages from being sent
	outboxChanBuffer = 0
Brian Tiger Chow's avatar
Brian Tiger Chow committed
50 51
)

52
// Envelope contains a message for a Peer
53
type Envelope struct {
54
	// Peer is the intended recipient
55
	Peer peer.ID
56
	// Message is the payload
57 58 59
	Message bsmsg.BitSwapMessage
}

60
type Engine struct {
61 62 63
	// peerRequestQueue is a priority queue of requests received from peers.
	// Requests are popped from the queue, packaged up, and placed in the
	// outbox.
Brian Tiger Chow's avatar
Brian Tiger Chow committed
64
	peerRequestQueue peerRequestQueue
65

66 67 68 69 70
	// FIXME it's a bit odd for the client and the worker to both share memory
	// (both modify the peerRequestQueue) and also to communicate over the
	// workSignal channel. consider sending requests over the channel and
	// allowing the worker to have exclusive access to the peerRequestQueue. In
	// that case, no lock would be required.
Jeromy's avatar
Jeromy committed
71
	workSignal chan struct{}
72

73 74
	// outbox contains outgoing messages to peers. This is owned by the
	// taskWorker goroutine
Brian Tiger Chow's avatar
Brian Tiger Chow committed
75
	outbox chan (<-chan *Envelope)
76 77 78

	bs bstore.Blockstore

79
	lock sync.RWMutex // protects the fields immediatly below
80
	// ledgerMap lists Ledgers by their Partner key.
81
	ledgerMap map[peer.ID]*ledger
82 83
}

84 85
func NewEngine(ctx context.Context, bs bstore.Blockstore) *Engine {
	e := &Engine{
86
		ledgerMap:        make(map[peer.ID]*ledger),
Brian Tiger Chow's avatar
Brian Tiger Chow committed
87
		bs:               bs,
Brian Tiger Chow's avatar
Brian Tiger Chow committed
88
		peerRequestQueue: newPRQ(),
Brian Tiger Chow's avatar
Brian Tiger Chow committed
89
		outbox:           make(chan (<-chan *Envelope), outboxChanBuffer),
Brian Tiger Chow's avatar
Brian Tiger Chow committed
90
		workSignal:       make(chan struct{}),
91
	}
92 93
	go e.taskWorker(ctx)
	return e
Jeromy's avatar
Jeromy committed
94 95
}

96
func (e *Engine) taskWorker(ctx context.Context) {
97 98
	defer close(e.outbox) // because taskWorker uses the channel exclusively
	for {
Brian Tiger Chow's avatar
Brian Tiger Chow committed
99
		oneTimeUse := make(chan *Envelope, 1) // buffer to prevent blocking
100 101 102 103 104 105 106 107 108 109 110 111
		select {
		case <-ctx.Done():
			return
		case e.outbox <- oneTimeUse:
		}
		// receiver is ready for an outoing envelope. let's prepare one. first,
		// we must acquire a task from the PQ...
		envelope, err := e.nextEnvelope(ctx)
		if err != nil {
			close(oneTimeUse)
			return // ctx cancelled
		}
Brian Tiger Chow's avatar
Brian Tiger Chow committed
112
		oneTimeUse <- envelope // buffered. won't block
113 114 115 116 117 118 119
		close(oneTimeUse)
	}
}

// nextEnvelope runs in the taskWorker goroutine. Returns an error if the
// context is cancelled before the next Envelope can be created.
func (e *Engine) nextEnvelope(ctx context.Context) (*Envelope, error) {
Jeromy's avatar
Jeromy committed
120
	for {
Brian Tiger Chow's avatar
Brian Tiger Chow committed
121
		nextTask := e.peerRequestQueue.Pop()
122
		for nextTask == nil {
Jeromy's avatar
Jeromy committed
123
			select {
124
			case <-ctx.Done():
125
				return nil, ctx.Err()
126
			case <-e.workSignal:
127
				nextTask = e.peerRequestQueue.Pop()
Jeromy's avatar
Jeromy committed
128 129
			}
		}
130 131

		// with a task in hand, we're ready to prepare the envelope...
132

133
		block, err := e.bs.Get(nextTask.Entry.Key)
134
		if err != nil {
Brian Tiger Chow's avatar
Brian Tiger Chow committed
135
			continue
136
		}
137 138

		m := bsmsg.New() // TODO: maybe add keys from our wantlist?
139
		m.AddBlock(block)
140 141 142 143
		return &Envelope{
			Peer:    nextTask.Target,
			Message: m,
		}, nil
Jeromy's avatar
Jeromy committed
144 145 146
	}
}

147
// Outbox returns a channel of one-time use Envelope channels.
Brian Tiger Chow's avatar
Brian Tiger Chow committed
148
func (e *Engine) Outbox() <-chan (<-chan *Envelope) {
149
	return e.outbox
150 151 152
}

// Returns a slice of Peers with whom the local node has active sessions
153
func (e *Engine) Peers() []peer.ID {
154 155
	e.lock.RLock()
	defer e.lock.RUnlock()
156

157
	response := make([]peer.ID, 0)
158
	for _, ledger := range e.ledgerMap {
159 160 161 162 163 164 165
		response = append(response, ledger.Partner)
	}
	return response
}

// MessageReceived performs book-keeping. Returns error if passed invalid
// arguments.
166
func (e *Engine) MessageReceived(p peer.ID, m bsmsg.BitSwapMessage) error {
167 168 169
	e.lock.Lock()
	defer e.lock.Unlock()

170
	if len(m.Wantlist()) == 0 && len(m.Blocks()) == 0 {
171
		log.Debug("received empty message from", p)
172 173
	}

174 175 176
	newWorkExists := false
	defer func() {
		if newWorkExists {
177
			e.signalNewWork()
178 179
		}
	}()
180

181
	l := e.findOrCreate(p)
182 183 184
	if m.Full() {
		l.wantList = wl.New()
	}
185

186 187
	for _, entry := range m.Wantlist() {
		if entry.Cancel {
Juan Batiz-Benet's avatar
Juan Batiz-Benet committed
188
			log.Debug("cancel", entry.Key)
189
			l.CancelWant(entry.Key)
Brian Tiger Chow's avatar
Brian Tiger Chow committed
190
			e.peerRequestQueue.Remove(entry.Key, p)
191
		} else {
Juan Batiz-Benet's avatar
Juan Batiz-Benet committed
192
			log.Debug("wants", entry.Key, entry.Priority)
193
			l.Wants(entry.Key, entry.Priority)
194
			if exists, err := e.bs.Has(entry.Key); err == nil && exists {
195
				e.peerRequestQueue.Push(entry.Entry, p)
Brian Tiger Chow's avatar
Brian Tiger Chow committed
196
				newWorkExists = true
197
			}
198 199
		}
	}
Jeromy's avatar
Jeromy committed
200

201
	for _, block := range m.Blocks() {
Juan Batiz-Benet's avatar
Juan Batiz-Benet committed
202
		log.Debug("got block %s %d bytes", block.Key(), len(block.Data))
203
		l.ReceivedBytes(len(block.Data))
204
		for _, l := range e.ledgerMap {
205 206
			if entry, ok := l.WantListContains(block.Key()); ok {
				e.peerRequestQueue.Push(entry, l.Partner)
Brian Tiger Chow's avatar
Brian Tiger Chow committed
207
				newWorkExists = true
Jeromy's avatar
Jeromy committed
208 209
			}
		}
210 211 212 213 214 215 216 217 218 219
	}
	return nil
}

// TODO add contents of m.WantList() to my local wantlist? NB: could introduce
// race conditions where I send a message, but MessageSent gets handled after
// MessageReceived. The information in the local wantlist could become
// inconsistent. Would need to ensure that Sends and acknowledgement of the
// send happen atomically

220
func (e *Engine) MessageSent(p peer.ID, m bsmsg.BitSwapMessage) error {
221 222
	e.lock.Lock()
	defer e.lock.Unlock()
223

224
	l := e.findOrCreate(p)
225 226 227
	for _, block := range m.Blocks() {
		l.SentBytes(len(block.Data))
		l.wantList.Remove(block.Key())
Brian Tiger Chow's avatar
Brian Tiger Chow committed
228
		e.peerRequestQueue.Remove(block.Key(), p)
229 230 231 232 233
	}

	return nil
}

234 235 236 237
func (e *Engine) PeerDisconnected(p peer.ID) {
	// TODO: release ledger
}

238
func (e *Engine) numBytesSentTo(p peer.ID) uint64 {
Brian Tiger Chow's avatar
Brian Tiger Chow committed
239
	// NB not threadsafe
240
	return e.findOrCreate(p).Accounting.BytesSent
241 242
}

243
func (e *Engine) numBytesReceivedFrom(p peer.ID) uint64 {
Brian Tiger Chow's avatar
Brian Tiger Chow committed
244
	// NB not threadsafe
245
	return e.findOrCreate(p).Accounting.BytesRecv
246 247 248
}

// ledger lazily instantiates a ledger
249 250
func (e *Engine) findOrCreate(p peer.ID) *ledger {
	l, ok := e.ledgerMap[p]
251 252
	if !ok {
		l = newLedger(p)
253
		e.ledgerMap[p] = l
254 255 256
	}
	return l
}
257 258 259 260 261 262 263 264

func (e *Engine) signalNewWork() {
	// Signal task generation to restart (if stopped!)
	select {
	case e.workSignal <- struct{}{}:
	default:
	}
}