2019-07-05 14:46:21 +00:00
|
|
|
package chain
|
|
|
|
|
|
|
|
import (
|
|
|
|
"sync"
|
2019-07-08 12:51:45 +00:00
|
|
|
|
|
|
|
"github.com/filecoin-project/go-lotus/chain/address"
|
2019-07-05 14:46:21 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
type MessagePool struct {
|
|
|
|
lk sync.Mutex
|
|
|
|
|
|
|
|
pending map[address.Address]*msgSet
|
|
|
|
|
|
|
|
cs *ChainStore
|
|
|
|
}
|
|
|
|
|
|
|
|
type msgSet struct {
|
|
|
|
msgs map[uint64]*SignedMessage
|
|
|
|
startNonce uint64
|
|
|
|
}
|
|
|
|
|
|
|
|
func newMsgSet() *msgSet {
|
|
|
|
return &msgSet{
|
|
|
|
msgs: make(map[uint64]*SignedMessage),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (ms *msgSet) add(m *SignedMessage) {
|
|
|
|
if len(ms.msgs) == 0 || m.Message.Nonce < ms.startNonce {
|
|
|
|
ms.startNonce = m.Message.Nonce
|
|
|
|
}
|
|
|
|
ms.msgs[m.Message.Nonce] = m
|
|
|
|
}
|
|
|
|
|
|
|
|
func NewMessagePool(cs *ChainStore) *MessagePool {
|
|
|
|
mp := &MessagePool{
|
|
|
|
pending: make(map[address.Address]*msgSet),
|
|
|
|
cs: cs,
|
|
|
|
}
|
|
|
|
cs.headChange = mp.HeadChange
|
|
|
|
|
|
|
|
return mp
|
|
|
|
}
|
|
|
|
|
|
|
|
func (mp *MessagePool) Add(m *SignedMessage) error {
|
|
|
|
mp.lk.Lock()
|
|
|
|
defer mp.lk.Unlock()
|
|
|
|
|
|
|
|
data, err := m.Message.Serialize()
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
if err := m.Signature.Verify(m.Message.From, data); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
msb, err := m.ToStorageBlock()
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
if err := mp.cs.bs.Put(msb); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
|
|
|
|
mset, ok := mp.pending[m.Message.From]
|
|
|
|
if !ok {
|
|
|
|
mset = newMsgSet()
|
|
|
|
mp.pending[m.Message.From] = mset
|
|
|
|
}
|
|
|
|
|
|
|
|
mset.add(m)
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (mp *MessagePool) Remove(m *SignedMessage) {
|
|
|
|
mp.lk.Lock()
|
|
|
|
defer mp.lk.Unlock()
|
|
|
|
|
|
|
|
mset, ok := mp.pending[m.Message.From]
|
|
|
|
if !ok {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
// NB: This deletes any message with the given nonce. This makes sense
|
|
|
|
// as two messages with the same sender cannot have the same nonce
|
|
|
|
delete(mset.msgs, m.Message.Nonce)
|
|
|
|
|
|
|
|
if len(mset.msgs) == 0 {
|
|
|
|
delete(mp.pending, m.Message.From)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (mp *MessagePool) Pending() []*SignedMessage {
|
|
|
|
mp.lk.Lock()
|
|
|
|
defer mp.lk.Unlock()
|
|
|
|
var out []*SignedMessage
|
|
|
|
for _, mset := range mp.pending {
|
|
|
|
for i := mset.startNonce; true; i++ {
|
|
|
|
m, ok := mset.msgs[i]
|
|
|
|
if !ok {
|
|
|
|
break
|
|
|
|
}
|
|
|
|
out = append(out, m)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return out
|
|
|
|
}
|
|
|
|
|
|
|
|
func (mp *MessagePool) HeadChange(revert []*TipSet, apply []*TipSet) error {
|
|
|
|
for _, ts := range revert {
|
|
|
|
for _, b := range ts.Blocks() {
|
|
|
|
msgs, err := mp.cs.MessagesForBlock(b)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
for _, msg := range msgs {
|
|
|
|
if err := mp.Add(msg); err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
for _, ts := range apply {
|
|
|
|
for _, b := range ts.Blocks() {
|
|
|
|
msgs, err := mp.cs.MessagesForBlock(b)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
for _, msg := range msgs {
|
|
|
|
mp.Remove(msg)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|