2023-05-29 19:17:52 -06:00
|
|
|
package main
|
|
|
|
|
|
|
|
import (
|
|
|
|
"fmt"
|
2023-05-30 21:50:59 -06:00
|
|
|
"log"
|
2023-05-29 19:17:52 -06:00
|
|
|
"errors"
|
|
|
|
"reflect"
|
2023-05-29 23:54:52 -06:00
|
|
|
"sort"
|
2023-05-29 19:17:52 -06:00
|
|
|
)
|
|
|
|
|
|
|
|
// Update the events listeners, and notify the parent to do the same
|
2023-06-01 22:42:47 -06:00
|
|
|
func (event * BaseEvent) Update(signal GraphSignal) error {
|
|
|
|
log.Printf("UPDATE BaseEvent %s: %+v", event.Name(), signal)
|
|
|
|
|
|
|
|
event.signal <- signal
|
|
|
|
|
|
|
|
event.BaseNode.Update(signal)
|
2023-05-29 19:17:52 -06:00
|
|
|
|
|
|
|
if event.parent != nil{
|
2023-06-01 22:42:47 -06:00
|
|
|
return event.parent.Update(signal)
|
2023-05-29 19:17:52 -06:00
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
type EventInfo interface {
|
|
|
|
}
|
|
|
|
|
|
|
|
type BaseEventInfo interface {
|
|
|
|
EventInfo
|
|
|
|
}
|
|
|
|
|
|
|
|
type EventQueueInfo struct {
|
|
|
|
EventInfo
|
|
|
|
priority int
|
|
|
|
state string
|
|
|
|
}
|
|
|
|
|
|
|
|
func NewEventQueueInfo(priority int) * EventQueueInfo {
|
|
|
|
info := &EventQueueInfo{
|
|
|
|
priority: priority,
|
|
|
|
state: "queued",
|
|
|
|
}
|
|
|
|
|
|
|
|
return info
|
|
|
|
}
|
|
|
|
|
|
|
|
// Event is the interface that event tree nodes must implement
|
|
|
|
type Event interface {
|
|
|
|
GraphNode
|
|
|
|
Children() []Event
|
|
|
|
ChildInfo(event Event) EventInfo
|
|
|
|
Parent() Event
|
|
|
|
RegisterParent(parent Event) error
|
|
|
|
RequiredResources() []Resource
|
2023-05-29 23:54:52 -06:00
|
|
|
DoneResource() Resource
|
2023-05-29 19:17:52 -06:00
|
|
|
AddChild(child Event, info EventInfo) error
|
2023-05-31 00:37:51 -06:00
|
|
|
FindChild(id string) Event
|
2023-05-29 23:54:52 -06:00
|
|
|
Run() error
|
|
|
|
Abort() error
|
2023-05-30 20:45:16 -06:00
|
|
|
LockResources() error
|
|
|
|
Finish() error
|
2023-05-29 19:17:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// BaseEvent is the most basic event that can exist in the event tree.
|
|
|
|
// On start it automatically transitions to completion.
|
|
|
|
// It can optionally require events, which will all need to be locked to start it
|
|
|
|
// It can optionally create resources, which will be locked by default and unlocked on completion
|
|
|
|
// This node by itself doesn't implement any special behaviours for children, so they will be ignored.
|
|
|
|
// When starter, this event automatically transitions to completion and unlocks all it's resources(including created)
|
|
|
|
type BaseEvent struct {
|
|
|
|
BaseNode
|
2023-05-29 23:54:52 -06:00
|
|
|
done_resource Resource
|
2023-05-29 19:17:52 -06:00
|
|
|
required_resources []Resource
|
|
|
|
children []Event
|
|
|
|
child_info map[Event]EventInfo
|
2023-05-30 21:50:59 -06:00
|
|
|
actions map[string]func() (string, error)
|
2023-06-01 22:42:47 -06:00
|
|
|
handlers map[string]func() (string, error)
|
2023-05-29 19:17:52 -06:00
|
|
|
parent Event
|
2023-05-29 23:54:52 -06:00
|
|
|
abort chan string
|
|
|
|
}
|
|
|
|
|
|
|
|
func (event * BaseEvent) Abort() error {
|
2023-06-01 13:11:32 -06:00
|
|
|
for _, event := range(event.children) {
|
2023-05-30 20:45:16 -06:00
|
|
|
event.Abort()
|
|
|
|
}
|
2023-06-01 22:42:47 -06:00
|
|
|
event.signal <- NewSignal(event, "abort")
|
2023-05-29 23:54:52 -06:00
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2023-05-30 20:45:16 -06:00
|
|
|
func (event * BaseEvent) LockResources() error {
|
2023-05-29 23:54:52 -06:00
|
|
|
locked_resources := []Resource{}
|
2023-06-01 13:11:32 -06:00
|
|
|
var lock_err error = nil
|
2023-05-29 23:54:52 -06:00
|
|
|
for _, resource := range(event.RequiredResources()) {
|
|
|
|
err := resource.Lock(event)
|
|
|
|
if err != nil {
|
2023-06-01 13:11:32 -06:00
|
|
|
lock_err = err
|
|
|
|
break
|
2023-05-29 23:54:52 -06:00
|
|
|
}
|
2023-05-30 00:00:14 -06:00
|
|
|
locked_resources = append(locked_resources, resource)
|
2023-05-29 23:54:52 -06:00
|
|
|
}
|
|
|
|
|
2023-06-01 13:11:32 -06:00
|
|
|
if lock_err != nil {
|
2023-05-29 23:54:52 -06:00
|
|
|
for _, resource := range(locked_resources) {
|
|
|
|
resource.Unlock(event)
|
|
|
|
}
|
2023-06-01 13:11:32 -06:00
|
|
|
return lock_err
|
|
|
|
} else {
|
|
|
|
for _, resource := range(locked_resources) {
|
|
|
|
log.Printf("NOTIFYING %s that it's locked", resource.Name())
|
|
|
|
resource.NotifyLocked()
|
|
|
|
}
|
2023-05-29 23:54:52 -06:00
|
|
|
}
|
2023-06-01 13:11:32 -06:00
|
|
|
|
2023-05-29 23:54:52 -06:00
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2023-05-30 20:45:16 -06:00
|
|
|
func (event * BaseEvent) Finish() error {
|
2023-06-01 13:48:38 -06:00
|
|
|
log.Printf("EVENT_FINISH: %s", event.Name())
|
2023-05-30 00:00:14 -06:00
|
|
|
for _, resource := range(event.RequiredResources()) {
|
|
|
|
err := resource.Unlock(event)
|
|
|
|
if err != nil {
|
|
|
|
panic(err)
|
|
|
|
}
|
2023-06-01 13:48:38 -06:00
|
|
|
resource.NotifyUnlocked()
|
2023-05-30 00:00:14 -06:00
|
|
|
}
|
2023-06-01 22:42:47 -06:00
|
|
|
|
2023-06-01 13:48:38 -06:00
|
|
|
err := event.DoneResource().Unlock(event)
|
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
2023-06-01 22:42:47 -06:00
|
|
|
|
|
|
|
err = event.DoneResource().NotifyUnlocked()
|
|
|
|
|
|
|
|
event.Update(NewSignal(event, "event_done"))
|
|
|
|
|
|
|
|
return err
|
2023-05-29 23:54:52 -06:00
|
|
|
}
|
|
|
|
|
2023-05-30 20:45:16 -06:00
|
|
|
func (event * BaseEvent) LockDone() {
|
|
|
|
event.DoneResource().Lock(event)
|
|
|
|
}
|
|
|
|
|
2023-05-29 23:54:52 -06:00
|
|
|
func (event * BaseEvent) Run() error {
|
2023-06-01 22:42:47 -06:00
|
|
|
log.Printf("EVENT_RUN: %s", event.Name())
|
2023-05-29 23:54:52 -06:00
|
|
|
next_action := "start"
|
|
|
|
var err error = nil
|
|
|
|
for next_action != "" {
|
|
|
|
// Check if the edge exists
|
|
|
|
action, exists := event.actions[next_action]
|
|
|
|
if exists == false {
|
|
|
|
error_str := fmt.Sprintf("%s is not a valid action", next_action)
|
|
|
|
return errors.New(error_str)
|
|
|
|
}
|
|
|
|
|
|
|
|
// Run the edge function
|
2023-06-01 22:42:47 -06:00
|
|
|
update_str := fmt.Sprintf("EVENT_ACTION: %s", next_action)
|
|
|
|
log.Printf(update_str)
|
2023-05-30 21:50:59 -06:00
|
|
|
next_action, err = action()
|
2023-05-29 23:54:52 -06:00
|
|
|
if err != nil {
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
2023-05-29 19:17:52 -06:00
|
|
|
}
|
|
|
|
|
2023-05-30 20:45:16 -06:00
|
|
|
func NewBaseEvent(name string, description string, required_resources []Resource) (BaseEvent) {
|
2023-05-29 19:17:52 -06:00
|
|
|
done_resource := NewResource("event_done", "signal that event is done", []Resource{})
|
2023-05-30 20:45:16 -06:00
|
|
|
event := BaseEvent{
|
2023-05-29 19:17:52 -06:00
|
|
|
BaseNode: BaseNode{
|
|
|
|
name: name,
|
|
|
|
description: description,
|
2023-05-31 00:37:51 -06:00
|
|
|
id: randid(),
|
2023-06-01 22:42:47 -06:00
|
|
|
signal: make(chan GraphSignal, 10),
|
|
|
|
listeners: map[chan GraphSignal] chan GraphSignal{},
|
2023-05-29 19:17:52 -06:00
|
|
|
},
|
|
|
|
parent: nil,
|
|
|
|
children: []Event{},
|
|
|
|
child_info: map[Event]EventInfo{},
|
2023-05-29 23:54:52 -06:00
|
|
|
done_resource: done_resource,
|
2023-05-29 19:17:52 -06:00
|
|
|
required_resources: required_resources,
|
2023-05-30 21:50:59 -06:00
|
|
|
actions: map[string]func()(string, error){},
|
2023-06-01 22:42:47 -06:00
|
|
|
handlers: map[string]func()(string, error){},
|
2023-05-30 20:45:16 -06:00
|
|
|
abort: make(chan string, 1),
|
2023-05-29 19:17:52 -06:00
|
|
|
}
|
|
|
|
|
2023-06-01 22:42:47 -06:00
|
|
|
event.actions["wait"] = func() (string, error) {
|
|
|
|
signal := <- event.signal
|
|
|
|
if signal.Type() == "abort" {
|
|
|
|
return "", errors.New("State machine aborted by signal")
|
|
|
|
} else if signal.Type() == "do_action" {
|
|
|
|
return signal.Description(), nil
|
|
|
|
} else {
|
|
|
|
signal_fn, exists := event.handlers[signal.Type()]
|
|
|
|
if exists == true {
|
|
|
|
return signal_fn()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// ignore signals other than "abort" and "do_action"
|
|
|
|
return "wait", nil
|
|
|
|
}
|
|
|
|
|
2023-05-30 20:45:16 -06:00
|
|
|
return event
|
|
|
|
}
|
|
|
|
|
|
|
|
func NewEvent(name string, description string, required_resources []Resource) (* BaseEvent) {
|
|
|
|
event := NewBaseEvent(name, description, required_resources)
|
|
|
|
event_ptr := &event
|
|
|
|
|
2023-05-29 19:17:52 -06:00
|
|
|
// Lock the done_resource by default
|
2023-05-30 20:45:16 -06:00
|
|
|
event.LockDone()
|
2023-05-29 19:17:52 -06:00
|
|
|
|
2023-05-30 21:50:59 -06:00
|
|
|
event_ptr.actions["start"] = func() (string, error) {
|
2023-05-29 23:54:52 -06:00
|
|
|
return "", nil
|
|
|
|
}
|
|
|
|
|
2023-05-30 20:45:16 -06:00
|
|
|
return event_ptr
|
2023-05-29 19:17:52 -06:00
|
|
|
}
|
|
|
|
|
2023-06-01 22:42:47 -06:00
|
|
|
// EventQueue is a basic event that can have children.
|
|
|
|
// On start, it attempts to start it's children from the highest 'priority'
|
|
|
|
type EventQueue struct {
|
|
|
|
BaseEvent
|
|
|
|
listened_resources map[string]Resource
|
|
|
|
}
|
|
|
|
|
|
|
|
func (queue * EventQueue) Finish() error {
|
|
|
|
for _, resource := range(queue.listened_resources) {
|
|
|
|
resource.UnregisterChannel(queue.signal)
|
|
|
|
}
|
|
|
|
return queue.BaseEvent.Finish()
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
2023-05-29 23:54:52 -06:00
|
|
|
func NewEventQueue(name string, description string, required_resources []Resource) (* EventQueue) {
|
2023-05-29 19:17:52 -06:00
|
|
|
queue := &EventQueue{
|
2023-05-30 20:45:16 -06:00
|
|
|
BaseEvent: NewBaseEvent(name, description, []Resource{}),
|
2023-06-01 22:42:47 -06:00
|
|
|
listened_resources: map[string]Resource{},
|
2023-05-29 19:17:52 -06:00
|
|
|
}
|
|
|
|
|
2023-05-29 23:54:52 -06:00
|
|
|
// Need to lock it with th BaseEvent since Unlock is implemented on the BaseEvent
|
2023-05-30 20:45:16 -06:00
|
|
|
queue.LockDone()
|
2023-05-29 23:54:52 -06:00
|
|
|
|
2023-05-30 21:50:59 -06:00
|
|
|
queue.actions["start"] = func() (string, error) {
|
2023-05-29 23:54:52 -06:00
|
|
|
return "queue_event", nil
|
|
|
|
}
|
|
|
|
|
2023-05-30 21:50:59 -06:00
|
|
|
queue.actions["queue_event"] = func() (string, error) {
|
2023-05-30 00:00:14 -06:00
|
|
|
// Copy the events to sort the list
|
2023-05-29 23:54:52 -06:00
|
|
|
copied_events := make([]Event, len(queue.Children()))
|
|
|
|
copy(copied_events, queue.Children())
|
|
|
|
less := func(i int, j int) bool {
|
|
|
|
info_i := queue.ChildInfo(copied_events[i]).(*EventQueueInfo)
|
|
|
|
info_j := queue.ChildInfo(copied_events[j]).(*EventQueueInfo)
|
|
|
|
return info_i.priority < info_j.priority
|
|
|
|
}
|
|
|
|
sort.SliceStable(copied_events, less)
|
|
|
|
|
|
|
|
wait := false
|
2023-06-01 22:42:47 -06:00
|
|
|
needed_resources := map[string]Resource{}
|
2023-05-29 23:54:52 -06:00
|
|
|
for _, event := range(copied_events) {
|
2023-06-01 22:42:47 -06:00
|
|
|
// make sure all the required resources are registered to update the event
|
2023-06-01 13:11:32 -06:00
|
|
|
for _, resource := range(event.RequiredResources()) {
|
2023-06-01 22:42:47 -06:00
|
|
|
needed_resources[resource.ID()] = resource
|
2023-06-01 13:11:32 -06:00
|
|
|
}
|
|
|
|
|
2023-05-29 23:54:52 -06:00
|
|
|
info := queue.ChildInfo(event).(*EventQueueInfo)
|
|
|
|
if info.state == "queued" {
|
|
|
|
wait = true
|
|
|
|
// Try to lock it
|
2023-05-30 20:45:16 -06:00
|
|
|
err := event.LockResources()
|
2023-05-29 23:54:52 -06:00
|
|
|
// start in new goroutine
|
|
|
|
if err != nil {
|
|
|
|
} else {
|
|
|
|
info.state = "running"
|
2023-06-01 13:11:32 -06:00
|
|
|
log.Printf("EVENT_START: %s", event.Name())
|
2023-05-30 20:45:16 -06:00
|
|
|
go func(event Event, info * EventQueueInfo, queue Event) {
|
2023-06-01 13:11:32 -06:00
|
|
|
log.Printf("EVENT_GOROUTINE: %s", event.Name())
|
|
|
|
err := event.Run()
|
|
|
|
if err != nil {
|
|
|
|
log.Printf("EVENT_ERROR: %s", err)
|
|
|
|
}
|
2023-05-29 23:54:52 -06:00
|
|
|
info.state = "done"
|
2023-05-30 20:45:16 -06:00
|
|
|
event.Finish()
|
2023-05-29 23:54:52 -06:00
|
|
|
}(event, info, queue)
|
|
|
|
}
|
|
|
|
} else if info.state == "running" {
|
|
|
|
wait = true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-06-01 22:42:47 -06:00
|
|
|
for _, resource := range(needed_resources) {
|
|
|
|
queue.listened_resources[resource.ID()] = resource
|
|
|
|
resource.RegisterChannel(queue.signal)
|
|
|
|
}
|
|
|
|
|
2023-05-29 23:54:52 -06:00
|
|
|
if wait == true {
|
|
|
|
return "wait", nil
|
|
|
|
} else {
|
|
|
|
return "", nil
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-05-30 21:50:59 -06:00
|
|
|
queue.actions["event_done"] = func() (string, error) {
|
2023-05-30 20:45:16 -06:00
|
|
|
return "queue_event", nil
|
|
|
|
}
|
|
|
|
|
2023-06-01 13:11:32 -06:00
|
|
|
queue.actions["resource_update"] = func() (string, error) {
|
2023-05-30 21:50:59 -06:00
|
|
|
return "queue_event", nil
|
|
|
|
}
|
|
|
|
|
|
|
|
queue.actions["event_added"] = func() (string, error) {
|
2023-05-29 23:54:52 -06:00
|
|
|
return "queue_event", nil
|
|
|
|
}
|
2023-05-29 19:17:52 -06:00
|
|
|
|
2023-06-01 22:42:47 -06:00
|
|
|
queue.handlers["lock_change"] = func() (string, error) {
|
|
|
|
return "queue_event", nil
|
|
|
|
}
|
|
|
|
|
|
|
|
queue.handlers["event_done"] = func() (string, error) {
|
|
|
|
return "queue_event", nil
|
|
|
|
}
|
|
|
|
|
2023-05-29 23:54:52 -06:00
|
|
|
return queue
|
2023-05-29 19:17:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
// Store the nodes parent for upwards propagation of changes
|
|
|
|
func (event * BaseEvent) RegisterParent(parent Event) error{
|
|
|
|
if event.parent != nil {
|
|
|
|
return errors.New("Parent already registered")
|
|
|
|
}
|
|
|
|
|
|
|
|
event.parent = parent
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (event * BaseEvent) Parent() Event {
|
|
|
|
return event.parent
|
|
|
|
}
|
|
|
|
|
|
|
|
func (event * BaseEvent) RequiredResources() []Resource {
|
|
|
|
return event.required_resources
|
|
|
|
}
|
|
|
|
|
2023-05-29 23:54:52 -06:00
|
|
|
func (event * BaseEvent) DoneResource() Resource {
|
|
|
|
return event.done_resource
|
2023-05-29 19:17:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
func (event * BaseEvent) Children() []Event {
|
|
|
|
return event.children
|
|
|
|
}
|
|
|
|
|
|
|
|
func (event * BaseEvent) ChildInfo(idx Event) EventInfo {
|
|
|
|
val, ok := event.child_info[idx]
|
|
|
|
if ok == false {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
return val
|
|
|
|
}
|
|
|
|
|
2023-05-31 00:37:51 -06:00
|
|
|
func (event * BaseEvent) FindChild(id string) Event {
|
2023-05-29 19:17:52 -06:00
|
|
|
if id == event.ID() {
|
|
|
|
return event
|
|
|
|
}
|
|
|
|
|
|
|
|
for _, child := range event.Children() {
|
|
|
|
result := child.FindChild(id)
|
|
|
|
if result != nil {
|
|
|
|
return result
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Checks that the type of info is equal to EventQueueInfo
|
|
|
|
func (event * EventQueue) AddChild(child Event, info EventInfo) error {
|
|
|
|
if checkType(info, (*EventQueueInfo)(nil)) == false {
|
|
|
|
return errors.New("EventQueue.AddChild passed invalid type for info")
|
|
|
|
}
|
|
|
|
|
|
|
|
return event.addChild(child, info)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (event * BaseEvent) addChild(child Event, info EventInfo) error {
|
|
|
|
err := child.RegisterParent(event)
|
|
|
|
if err != nil {
|
|
|
|
error_str := fmt.Sprintf("Failed to register %s as a parent of %s, cancelling AddChild", event.ID(), child.ID())
|
|
|
|
return errors.New(error_str)
|
|
|
|
}
|
|
|
|
|
|
|
|
event.children = append(event.children, child)
|
|
|
|
event.child_info[child] = info
|
2023-06-01 22:42:47 -06:00
|
|
|
event.Update(NewSignal(event, "child_added"))
|
2023-05-29 19:17:52 -06:00
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Overloaded function AddChild checks the info passed and calls the BaseEvent.addChild
|
|
|
|
func (event * BaseEvent) AddChild(child Event, info EventInfo) error {
|
|
|
|
if info != nil {
|
|
|
|
return errors.New("info must be nil for BaseEvent children")
|
|
|
|
}
|
|
|
|
|
|
|
|
return event.addChild(child, info)
|
|
|
|
}
|
|
|
|
|
|
|
|
func checkType(first interface{}, second interface{}) bool {
|
|
|
|
if first == nil || second == nil {
|
|
|
|
if first == nil && second == nil {
|
|
|
|
return true
|
|
|
|
} else {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
first_type := reflect.TypeOf(first)
|
|
|
|
second_type := reflect.TypeOf(second)
|
|
|
|
|
|
|
|
return first_type == second_type
|
|
|
|
}
|