2021-01-12 23:42:01 +00:00
|
|
|
package sealing
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
|
|
|
"context"
|
2021-01-14 11:37:23 +00:00
|
|
|
"sort"
|
2021-01-12 23:42:01 +00:00
|
|
|
"sync"
|
|
|
|
"time"
|
|
|
|
|
|
|
|
"github.com/ipfs/go-cid"
|
|
|
|
"golang.org/x/xerrors"
|
|
|
|
|
|
|
|
"github.com/filecoin-project/go-address"
|
|
|
|
"github.com/filecoin-project/go-bitfield"
|
|
|
|
"github.com/filecoin-project/go-state-types/abi"
|
2021-01-13 21:19:10 +00:00
|
|
|
"github.com/filecoin-project/go-state-types/big"
|
|
|
|
"github.com/filecoin-project/go-state-types/dline"
|
|
|
|
miner2 "github.com/filecoin-project/specs-actors/v2/actors/builtin/miner"
|
|
|
|
|
2021-01-12 23:42:01 +00:00
|
|
|
"github.com/filecoin-project/lotus/api"
|
|
|
|
"github.com/filecoin-project/lotus/chain/actors/builtin/miner"
|
|
|
|
)
|
|
|
|
|
|
|
|
type TerminateBatcherApi interface {
|
|
|
|
StateSectorPartition(ctx context.Context, maddr address.Address, sectorNumber abi.SectorNumber, tok TipSetToken) (*SectorLocation, error)
|
|
|
|
SendMsg(ctx context.Context, from, to address.Address, method abi.MethodNum, value, maxFee abi.TokenAmount, params []byte) (cid.Cid, error)
|
|
|
|
StateMinerInfo(context.Context, address.Address, TipSetToken) (miner.MinerInfo, error)
|
2021-01-13 21:19:10 +00:00
|
|
|
StateMinerProvingDeadline(context.Context, address.Address, TipSetToken) (*dline.Info, error)
|
2021-01-14 16:14:26 +00:00
|
|
|
StateMinerPartitions(ctx context.Context, m address.Address, dlIdx uint64, tok TipSetToken) ([]api.Partition, error)
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
type TerminateBatcher struct {
|
2021-05-18 09:20:19 +00:00
|
|
|
api TerminateBatcherApi
|
|
|
|
maddr address.Address
|
|
|
|
mctx context.Context
|
|
|
|
addrSel AddrSel
|
|
|
|
feeCfg FeeConfig
|
|
|
|
getConfig GetSealingConfigFunc
|
2021-01-12 23:42:01 +00:00
|
|
|
|
|
|
|
todo map[SectorLocation]*bitfield.BitField // MinerSectorLocation -> BitField
|
|
|
|
|
2021-01-14 16:14:26 +00:00
|
|
|
waiting map[abi.SectorNumber][]chan cid.Cid
|
2021-01-12 23:42:01 +00:00
|
|
|
|
2021-01-13 22:32:04 +00:00
|
|
|
notify, stop, stopped chan struct{}
|
|
|
|
force chan chan *cid.Cid
|
|
|
|
lk sync.Mutex
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
|
|
|
|
2021-05-18 09:20:19 +00:00
|
|
|
func NewTerminationBatcher(mctx context.Context, maddr address.Address, api TerminateBatcherApi, addrSel AddrSel, feeCfg FeeConfig, getConfig GetSealingConfigFunc) *TerminateBatcher {
|
2021-01-12 23:42:01 +00:00
|
|
|
b := &TerminateBatcher{
|
2021-05-18 09:20:19 +00:00
|
|
|
api: api,
|
|
|
|
maddr: maddr,
|
|
|
|
mctx: mctx,
|
|
|
|
addrSel: addrSel,
|
|
|
|
feeCfg: feeCfg,
|
|
|
|
getConfig: getConfig,
|
2021-01-12 23:42:01 +00:00
|
|
|
|
|
|
|
todo: map[SectorLocation]*bitfield.BitField{},
|
2021-01-14 16:14:26 +00:00
|
|
|
waiting: map[abi.SectorNumber][]chan cid.Cid{},
|
2021-01-12 23:42:01 +00:00
|
|
|
|
|
|
|
notify: make(chan struct{}, 1),
|
2021-01-13 22:32:04 +00:00
|
|
|
force: make(chan chan *cid.Cid),
|
2021-01-12 23:42:01 +00:00
|
|
|
stop: make(chan struct{}),
|
|
|
|
stopped: make(chan struct{}),
|
|
|
|
}
|
|
|
|
|
|
|
|
go b.run()
|
|
|
|
|
|
|
|
return b
|
|
|
|
}
|
|
|
|
|
|
|
|
func (b *TerminateBatcher) run() {
|
2021-01-13 22:32:04 +00:00
|
|
|
var forceRes chan *cid.Cid
|
|
|
|
var lastMsg *cid.Cid
|
|
|
|
|
2021-01-12 23:42:01 +00:00
|
|
|
for {
|
2021-01-13 22:32:04 +00:00
|
|
|
if forceRes != nil {
|
|
|
|
forceRes <- lastMsg
|
|
|
|
forceRes = nil
|
|
|
|
}
|
|
|
|
lastMsg = nil
|
|
|
|
|
2021-05-18 14:51:06 +00:00
|
|
|
cfg, err := b.getConfig()
|
|
|
|
if err != nil {
|
|
|
|
log.Warnw("TerminateBatcher getconfig error", "error", err)
|
|
|
|
}
|
|
|
|
|
2021-01-14 19:27:15 +00:00
|
|
|
var sendAboveMax, sendAboveMin bool
|
2021-01-12 23:42:01 +00:00
|
|
|
select {
|
|
|
|
case <-b.stop:
|
|
|
|
close(b.stopped)
|
|
|
|
return
|
|
|
|
case <-b.notify:
|
2021-01-14 19:27:15 +00:00
|
|
|
sendAboveMax = true
|
2021-05-18 14:51:06 +00:00
|
|
|
case <-time.After(cfg.TerminateBatchWait):
|
2021-01-14 19:27:15 +00:00
|
|
|
sendAboveMin = true
|
2021-01-13 22:32:04 +00:00
|
|
|
case fr := <-b.force: // user triggered
|
|
|
|
forceRes = fr
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
|
|
|
|
2021-01-14 19:27:15 +00:00
|
|
|
lastMsg, err = b.processBatch(sendAboveMax, sendAboveMin)
|
2021-01-13 21:19:10 +00:00
|
|
|
if err != nil {
|
2021-01-14 14:46:57 +00:00
|
|
|
log.Warnw("TerminateBatcher processBatch error", "error", err)
|
2021-01-13 21:19:10 +00:00
|
|
|
}
|
2021-01-14 14:46:57 +00:00
|
|
|
}
|
|
|
|
}
|
2021-01-13 21:19:10 +00:00
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
func (b *TerminateBatcher) processBatch(notif, after bool) (*cid.Cid, error) {
|
|
|
|
dl, err := b.api.StateMinerProvingDeadline(b.mctx, b.maddr, nil)
|
|
|
|
if err != nil {
|
|
|
|
return nil, xerrors.Errorf("getting proving deadline info failed: %w", err)
|
|
|
|
}
|
2021-01-12 23:42:01 +00:00
|
|
|
|
2021-05-18 09:20:19 +00:00
|
|
|
cfg, err := b.getConfig()
|
|
|
|
if err != nil {
|
|
|
|
return nil, xerrors.Errorf("getting sealing config: %W", err)
|
|
|
|
}
|
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
b.lk.Lock()
|
|
|
|
defer b.lk.Unlock()
|
|
|
|
params := miner2.TerminateSectorsParams{}
|
2021-01-12 23:42:01 +00:00
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
var total uint64
|
|
|
|
for loc, sectors := range b.todo {
|
|
|
|
n, err := sectors.Count()
|
|
|
|
if err != nil {
|
|
|
|
log.Errorw("TerminateBatcher: failed to count sectors to terminate", "deadline", loc.Deadline, "partition", loc.Partition, "error", err)
|
2021-01-13 21:19:10 +00:00
|
|
|
continue
|
|
|
|
}
|
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
// don't send terminations for currently challenged sectors
|
|
|
|
if loc.Deadline == (dl.Index+1)%miner.WPoStPeriodDeadlines || // not in next (in case the terminate message takes a while to get on chain)
|
|
|
|
loc.Deadline == dl.Index || // not in current
|
|
|
|
(loc.Deadline+1)%miner.WPoStPeriodDeadlines == dl.Index { // not in previous
|
2021-01-13 21:19:10 +00:00
|
|
|
continue
|
|
|
|
}
|
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
if n < 1 {
|
|
|
|
log.Warnw("TerminateBatcher: zero sectors in bucket", "deadline", loc.Deadline, "partition", loc.Partition)
|
2021-01-12 23:42:01 +00:00
|
|
|
continue
|
|
|
|
}
|
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
toTerminate, err := sectors.Copy()
|
2021-01-12 23:42:01 +00:00
|
|
|
if err != nil {
|
2021-01-14 14:46:57 +00:00
|
|
|
log.Warnw("TerminateBatcher: copy sectors bitfield", "deadline", loc.Deadline, "partition", loc.Partition, "error", err)
|
2021-03-10 04:36:30 +00:00
|
|
|
continue
|
|
|
|
}
|
|
|
|
|
|
|
|
ps, err := b.api.StateMinerPartitions(b.mctx, b.maddr, loc.Deadline, nil)
|
|
|
|
if err != nil {
|
|
|
|
log.Warnw("TerminateBatcher: getting miner partitions", "deadline", loc.Deadline, "partition", loc.Partition, "error", err)
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
|
|
|
|
toTerminate, err = bitfield.IntersectBitField(ps[loc.Partition].LiveSectors, toTerminate)
|
|
|
|
if err != nil {
|
|
|
|
log.Warnw("TerminateBatcher: intersecting liveSectors and toTerminate bitfields", "deadline", loc.Deadline, "partition", loc.Partition, "error", err)
|
2021-01-12 23:42:01 +00:00
|
|
|
continue
|
|
|
|
}
|
|
|
|
|
2021-01-14 19:27:15 +00:00
|
|
|
if total+n > uint64(miner.AddressedSectorsMax) {
|
|
|
|
n = uint64(miner.AddressedSectorsMax) - total
|
2021-01-12 23:42:01 +00:00
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
toTerminate, err = toTerminate.Slice(0, n)
|
|
|
|
if err != nil {
|
|
|
|
log.Warnw("TerminateBatcher: slice toTerminate bitfield", "deadline", loc.Deadline, "partition", loc.Partition, "error", err)
|
|
|
|
continue
|
|
|
|
}
|
2021-01-12 23:42:01 +00:00
|
|
|
|
2021-01-14 19:27:15 +00:00
|
|
|
s, err := bitfield.SubtractBitField(*sectors, toTerminate)
|
2021-01-14 14:46:57 +00:00
|
|
|
if err != nil {
|
|
|
|
log.Warnw("TerminateBatcher: sectors-toTerminate", "deadline", loc.Deadline, "partition", loc.Partition, "error", err)
|
|
|
|
continue
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
2021-01-14 19:27:15 +00:00
|
|
|
*sectors = s
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
2021-01-13 22:32:04 +00:00
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
total += n
|
|
|
|
|
|
|
|
params.Terminations = append(params.Terminations, miner2.TerminationDeclaration{
|
|
|
|
Deadline: loc.Deadline,
|
|
|
|
Partition: loc.Partition,
|
|
|
|
Sectors: toTerminate,
|
|
|
|
})
|
|
|
|
|
2021-05-19 18:34:50 +00:00
|
|
|
if total >= uint64(miner.AddressedSectorsMax) || total >= cfg.TerminateBatchMax {
|
2021-01-14 19:27:15 +00:00
|
|
|
break
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(params.Terminations) >= miner.DeclarationsMax {
|
2021-01-14 14:46:57 +00:00
|
|
|
break
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if len(params.Terminations) == 0 {
|
|
|
|
return nil, nil // nothing to do
|
|
|
|
}
|
|
|
|
|
2021-05-18 09:20:19 +00:00
|
|
|
if notif && total < cfg.TerminateBatchMax {
|
2021-01-14 14:46:57 +00:00
|
|
|
return nil, nil
|
|
|
|
}
|
|
|
|
|
2021-05-18 09:20:19 +00:00
|
|
|
if after && total < cfg.TerminateBatchMin {
|
2021-01-14 14:46:57 +00:00
|
|
|
return nil, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
enc := new(bytes.Buffer)
|
|
|
|
if err := params.MarshalCBOR(enc); err != nil {
|
|
|
|
return nil, xerrors.Errorf("couldn't serialize TerminateSectors params: %w", err)
|
|
|
|
}
|
|
|
|
|
|
|
|
mi, err := b.api.StateMinerInfo(b.mctx, b.maddr, nil)
|
|
|
|
if err != nil {
|
|
|
|
return nil, xerrors.Errorf("couldn't get miner info: %w", err)
|
|
|
|
}
|
2021-01-12 23:42:01 +00:00
|
|
|
|
2021-01-14 14:46:57 +00:00
|
|
|
from, _, err := b.addrSel(b.mctx, mi, api.TerminateSectorsAddr, b.feeCfg.MaxTerminateGasFee, b.feeCfg.MaxTerminateGasFee)
|
|
|
|
if err != nil {
|
|
|
|
return nil, xerrors.Errorf("no good address found: %w", err)
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
2021-01-14 14:46:57 +00:00
|
|
|
|
|
|
|
mcid, err := b.api.SendMsg(b.mctx, from, b.maddr, miner.Methods.TerminateSectors, big.Zero(), b.feeCfg.MaxTerminateGasFee, enc.Bytes())
|
|
|
|
if err != nil {
|
|
|
|
return nil, xerrors.Errorf("sending message failed: %w", err)
|
|
|
|
}
|
|
|
|
log.Infow("Sent TerminateSectors message", "cid", mcid, "from", from, "terminations", len(params.Terminations))
|
|
|
|
|
|
|
|
for _, t := range params.Terminations {
|
|
|
|
delete(b.todo, SectorLocation{
|
|
|
|
Deadline: t.Deadline,
|
|
|
|
Partition: t.Partition,
|
|
|
|
})
|
|
|
|
|
2021-01-14 16:14:26 +00:00
|
|
|
err := t.Sectors.ForEach(func(sn uint64) error {
|
|
|
|
for _, ch := range b.waiting[abi.SectorNumber(sn)] {
|
|
|
|
ch <- mcid // buffered
|
|
|
|
}
|
|
|
|
delete(b.waiting, abi.SectorNumber(sn))
|
|
|
|
|
|
|
|
return nil
|
|
|
|
})
|
|
|
|
if err != nil {
|
|
|
|
return nil, xerrors.Errorf("sectors foreach: %w", err)
|
2021-01-14 14:46:57 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return &mcid, nil
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// register termination, wait for batch message, return message CID
|
2021-01-14 16:14:26 +00:00
|
|
|
// can return cid.Undef,true if the sector is already terminated on-chain
|
|
|
|
func (b *TerminateBatcher) AddTermination(ctx context.Context, s abi.SectorID) (mcid cid.Cid, terminated bool, err error) {
|
2021-01-12 23:42:01 +00:00
|
|
|
maddr, err := address.NewIDAddress(uint64(s.Miner))
|
|
|
|
if err != nil {
|
2021-01-14 16:14:26 +00:00
|
|
|
return cid.Undef, false, err
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
loc, err := b.api.StateSectorPartition(ctx, maddr, s.Number, nil)
|
|
|
|
if err != nil {
|
2021-01-14 16:14:26 +00:00
|
|
|
return cid.Undef, false, xerrors.Errorf("getting sector location: %w", err)
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
|
|
|
if loc == nil {
|
2021-01-14 16:14:26 +00:00
|
|
|
return cid.Undef, false, xerrors.New("sector location not found")
|
|
|
|
}
|
|
|
|
|
|
|
|
{
|
|
|
|
// check if maybe already terminated
|
|
|
|
parts, err := b.api.StateMinerPartitions(ctx, maddr, loc.Deadline, nil)
|
|
|
|
if err != nil {
|
|
|
|
return cid.Cid{}, false, xerrors.Errorf("getting partitions: %w", err)
|
|
|
|
}
|
|
|
|
live, err := parts[loc.Partition].LiveSectors.IsSet(uint64(s.Number))
|
|
|
|
if err != nil {
|
|
|
|
return cid.Cid{}, false, xerrors.Errorf("checking if sector is in live set: %w", err)
|
|
|
|
}
|
|
|
|
if !live {
|
|
|
|
// already terminated
|
|
|
|
return cid.Undef, true, nil
|
|
|
|
}
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
b.lk.Lock()
|
|
|
|
bf, ok := b.todo[*loc]
|
|
|
|
if !ok {
|
|
|
|
n := bitfield.New()
|
|
|
|
bf = &n
|
|
|
|
b.todo[*loc] = bf
|
|
|
|
}
|
|
|
|
bf.Set(uint64(s.Number))
|
|
|
|
|
|
|
|
sent := make(chan cid.Cid, 1)
|
2021-01-14 16:14:26 +00:00
|
|
|
b.waiting[s.Number] = append(b.waiting[s.Number], sent)
|
2021-01-12 23:42:01 +00:00
|
|
|
|
|
|
|
select {
|
|
|
|
case b.notify <- struct{}{}:
|
|
|
|
default: // already have a pending notification, don't need more
|
|
|
|
}
|
|
|
|
b.lk.Unlock()
|
|
|
|
|
|
|
|
select {
|
|
|
|
case c := <-sent:
|
2021-01-14 16:14:26 +00:00
|
|
|
return c, false, nil
|
2021-01-12 23:42:01 +00:00
|
|
|
case <-ctx.Done():
|
2021-01-14 16:14:26 +00:00
|
|
|
return cid.Undef, false, ctx.Err()
|
2021-01-12 23:42:01 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-01-13 22:32:04 +00:00
|
|
|
func (b *TerminateBatcher) Flush(ctx context.Context) (*cid.Cid, error) {
|
|
|
|
resCh := make(chan *cid.Cid, 1)
|
|
|
|
select {
|
|
|
|
case b.force <- resCh:
|
|
|
|
select {
|
|
|
|
case res := <-resCh:
|
|
|
|
return res, nil
|
|
|
|
case <-ctx.Done():
|
|
|
|
return nil, ctx.Err()
|
|
|
|
}
|
|
|
|
case <-ctx.Done():
|
|
|
|
return nil, ctx.Err()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-01-14 11:37:23 +00:00
|
|
|
func (b *TerminateBatcher) Pending(ctx context.Context) ([]abi.SectorID, error) {
|
|
|
|
b.lk.Lock()
|
|
|
|
defer b.lk.Unlock()
|
|
|
|
|
|
|
|
mid, err := address.IDFromAddress(b.maddr)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
res := make([]abi.SectorID, 0)
|
|
|
|
for _, bf := range b.todo {
|
|
|
|
err := bf.ForEach(func(id uint64) error {
|
|
|
|
res = append(res, abi.SectorID{
|
|
|
|
Miner: abi.ActorID(mid),
|
|
|
|
Number: abi.SectorNumber(id),
|
|
|
|
})
|
|
|
|
return nil
|
|
|
|
})
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
sort.Slice(res, func(i, j int) bool {
|
|
|
|
if res[i].Miner != res[j].Miner {
|
|
|
|
return res[i].Miner < res[j].Miner
|
|
|
|
}
|
|
|
|
|
|
|
|
return res[i].Number < res[j].Number
|
|
|
|
})
|
|
|
|
|
|
|
|
return res, nil
|
|
|
|
}
|
|
|
|
|
2021-01-12 23:42:01 +00:00
|
|
|
func (b *TerminateBatcher) Stop(ctx context.Context) error {
|
|
|
|
close(b.stop)
|
|
|
|
|
|
|
|
select {
|
|
|
|
case <-b.stopped:
|
|
|
|
return nil
|
|
|
|
case <-ctx.Done():
|
|
|
|
return ctx.Err()
|
|
|
|
}
|
|
|
|
}
|