fsm: initial import #116
151
fsm/fsm.go
Normal file
151
fsm/fsm.go
Normal file
@ -0,0 +1,151 @@
|
|||||||
|
package fsm // import "go.unistack.org/micro/v3/fsm"
|
||||||
|
|
||||||
|
import (
|
||||||
|
"context"
|
||||||
|
"errors"
|
||||||
|
"fmt"
|
||||||
|
"sync"
|
||||||
|
)
|
||||||
|
|
||||||
|
var (
|
||||||
|
ErrInvalidState = errors.New("does not exists")
|
||||||
|
StateEnd = "end"
|
||||||
|
)
|
||||||
|
|
||||||
|
// Options struct holding fsm options
|
||||||
|
type Options struct {
|
||||||
|
// Initial state
|
||||||
|
Initial string
|
||||||
|
// HooksBefore func slice runs in order before state
|
||||||
|
HooksBefore []HookBeforeFunc
|
||||||
|
// HooksAfter func slice runs in order after state
|
||||||
|
HooksAfter []HookAfterFunc
|
||||||
|
}
|
||||||
|
|
||||||
|
// HookBeforeFunc func signature
|
||||||
|
type HookBeforeFunc func(ctx context.Context, state string, args map[string]interface{})
|
||||||
|
|
||||||
|
// HookAfterFunc func signature
|
||||||
|
type HookAfterFunc func(ctx context.Context, state string, args map[string]interface{})
|
||||||
|
|
||||||
|
// Option func signature
|
||||||
|
type Option func(*Options)
|
||||||
|
|
||||||
|
// StateInitial sets init state for state machine
|
||||||
|
func StateInitial(initial string) Option {
|
||||||
|
return func(o *Options) {
|
||||||
|
o.Initial = initial
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// StateHookBefore provides hook func slice
|
||||||
|
func StateHookBefore(fns ...HookBeforeFunc) Option {
|
||||||
|
return func(o *Options) {
|
||||||
|
o.HooksBefore = fns
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// StateHookAfter provides hook func slice
|
||||||
|
func StateHookAfter(fns ...HookAfterFunc) Option {
|
||||||
|
return func(o *Options) {
|
||||||
|
o.HooksAfter = fns
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// StateFunc called on state transition and return next step and error
|
||||||
|
type StateFunc func(ctx context.Context, args map[string]interface{}) (string, map[string]interface{}, error)
|
||||||
|
|
||||||
|
// FSM is a finite state machine
|
||||||
|
type FSM struct {
|
||||||
|
mu sync.Mutex
|
||||||
|
states map[string]StateFunc
|
||||||
|
opts *Options
|
||||||
|
current string
|
||||||
|
}
|
||||||
|
|
||||||
|
// New creates a new finite state machine having the specified initial state
|
||||||
|
// with specified options
|
||||||
|
func New(opts ...Option) *FSM {
|
||||||
|
options := &Options{}
|
||||||
|
|
||||||
|
for _, opt := range opts {
|
||||||
|
opt(options)
|
||||||
|
}
|
||||||
|
|
||||||
|
return &FSM{
|
||||||
|
states: map[string]StateFunc{},
|
||||||
|
opts: options,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Current returns the current state
|
||||||
|
func (f *FSM) Current() string {
|
||||||
|
f.mu.Lock()
|
||||||
|
defer f.mu.Unlock()
|
||||||
|
return f.current
|
||||||
|
}
|
||||||
|
|
||||||
|
// Current returns the current state
|
||||||
|
func (f *FSM) Reset() {
|
||||||
|
f.mu.Lock()
|
||||||
|
f.current = f.opts.Initial
|
||||||
|
f.mu.Unlock()
|
||||||
|
}
|
||||||
|
|
||||||
|
// State adds state to fsm
|
||||||
|
func (f *FSM) State(state string, fn StateFunc) {
|
||||||
|
f.mu.Lock()
|
||||||
|
f.states[state] = fn
|
||||||
|
f.mu.Unlock()
|
||||||
|
}
|
||||||
|
|
||||||
|
// Start runs state machine with provided data
|
||||||
|
func (f *FSM) Start(ctx context.Context, args map[string]interface{}, opts ...Option) (map[string]interface{}, error) {
|
||||||
|
var err error
|
||||||
|
var ok bool
|
||||||
|
var fn StateFunc
|
||||||
|
var nstate string
|
||||||
|
|
||||||
|
f.mu.Lock()
|
||||||
|
options := f.opts
|
||||||
|
|
||||||
|
for _, opt := range opts {
|
||||||
|
opt(options)
|
||||||
|
}
|
||||||
|
|
||||||
|
cstate := options.Initial
|
||||||
|
states := make(map[string]StateFunc, len(f.states))
|
||||||
|
for k, v := range f.states {
|
||||||
|
states[k] = v
|
||||||
|
}
|
||||||
|
f.current = cstate
|
||||||
|
f.mu.Unlock()
|
||||||
|
|
||||||
|
for {
|
||||||
|
select {
|
||||||
|
case <-ctx.Done():
|
||||||
|
return nil, ctx.Err()
|
||||||
|
default:
|
||||||
|
fn, ok = states[cstate]
|
||||||
|
if !ok {
|
||||||
|
return nil, fmt.Errorf(`state "%s" %w`, cstate, ErrInvalidState)
|
||||||
|
}
|
||||||
|
f.mu.Lock()
|
||||||
|
f.current = cstate
|
||||||
|
f.mu.Unlock()
|
||||||
|
for _, fn := range options.HooksBefore {
|
||||||
|
fn(ctx, cstate, args)
|
||||||
|
}
|
||||||
|
nstate, args, err = fn(ctx, args)
|
||||||
|
for _, fn := range options.HooksAfter {
|
||||||
|
fn(ctx, cstate, args)
|
||||||
|
}
|
||||||
|
if err != nil {
|
||||||
|
return args, err
|
||||||
|
} else if nstate == "" || nstate == StateEnd {
|
||||||
|
return args, nil
|
||||||
|
}
|
||||||
|
cstate = nstate
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
49
fsm/fsm_test.go
Normal file
49
fsm/fsm_test.go
Normal file
@ -0,0 +1,49 @@
|
|||||||
|
package fsm
|
||||||
|
|
||||||
|
import (
|
||||||
|
"bytes"
|
||||||
|
"context"
|
||||||
|
"fmt"
|
||||||
|
"testing"
|
||||||
|
)
|
||||||
|
|
||||||
|
func TestFSMStart(t *testing.T) {
|
||||||
|
ctx := context.TODO()
|
||||||
|
buf := bytes.NewBuffer(nil)
|
||||||
|
pfb := func(_ context.Context, state string, _ map[string]interface{}) {
|
||||||
|
fmt.Fprintf(buf, "before state %s\n", state)
|
||||||
|
}
|
||||||
|
pfa := func(_ context.Context, state string, _ map[string]interface{}) {
|
||||||
|
fmt.Fprintf(buf, "after state %s\n", state)
|
||||||
|
}
|
||||||
|
f := New(StateInitial("1"), StateHookBefore(pfb), StateHookAfter(pfa))
|
||||||
|
f1 := func(_ context.Context, args map[string]interface{}) (string, map[string]interface{}, error) {
|
||||||
|
if v, ok := args["request"].(string); !ok || v == "" {
|
||||||
|
return "", nil, fmt.Errorf("empty request")
|
||||||
|
}
|
||||||
|
return "2", map[string]interface{}{"response": "test2"}, nil
|
||||||
|
}
|
||||||
|
f2 := func(_ context.Context, args map[string]interface{}) (string, map[string]interface{}, error) {
|
||||||
|
if v, ok := args["response"].(string); !ok || v == "" {
|
||||||
|
return "", nil, fmt.Errorf("empty response")
|
||||||
|
}
|
||||||
|
return "", map[string]interface{}{"response": "test"}, nil
|
||||||
|
}
|
||||||
|
f.State("1", f1)
|
||||||
|
f.State("2", f2)
|
||||||
|
args, err := f.Start(ctx, map[string]interface{}{"request": "test1"})
|
||||||
|
if err != nil {
|
||||||
|
t.Fatal(err)
|
||||||
|
} else if v, ok := args["response"].(string); !ok || v == "" {
|
||||||
|
t.Fatalf("nil rsp: %#+v", args)
|
||||||
|
} else if v != "test" {
|
||||||
|
t.Fatalf("invalid rsp %#+v", args)
|
||||||
|
}
|
||||||
|
|
||||||
|
if !bytes.Contains(buf.Bytes(), []byte(`before state 1`)) ||
|
||||||
|
!bytes.Contains(buf.Bytes(), []byte(`before state 2`)) ||
|
||||||
|
!bytes.Contains(buf.Bytes(), []byte(`after state 1`)) ||
|
||||||
|
!bytes.Contains(buf.Bytes(), []byte(`after state 2`)) {
|
||||||
|
t.Fatalf("fsm not works properly or hooks error, buf: %s", buf.Bytes())
|
||||||
|
}
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user