2014-05-24 21:47:04 +02:00
|
|
|
// The depgraph package is used to create and model a dependency graph
|
|
|
|
// of nouns. Each noun can represent a service, server, application,
|
|
|
|
// network switch, etc. Nouns can depend on other nouns, and provide
|
|
|
|
// versioning constraints. Nouns can also have various meta data that
|
|
|
|
// may be relevant to their construction or configuration.
|
|
|
|
package depgraph
|
|
|
|
|
|
|
|
import (
|
2014-05-24 22:28:12 +02:00
|
|
|
"bytes"
|
2014-05-24 21:47:04 +02:00
|
|
|
"fmt"
|
|
|
|
|
|
|
|
"github.com/hashicorp/terraform/digraph"
|
|
|
|
)
|
|
|
|
|
2014-06-05 11:11:28 +02:00
|
|
|
// WalkFunc is the type used for the callback for Walk.
|
|
|
|
type WalkFunc func(*Noun) error
|
|
|
|
|
2014-05-24 21:51:22 +02:00
|
|
|
// Graph is used to represent a dependency graph.
|
2014-05-24 21:47:04 +02:00
|
|
|
type Graph struct {
|
|
|
|
Name string
|
|
|
|
Meta interface{}
|
|
|
|
Nouns []*Noun
|
|
|
|
Root *Noun
|
|
|
|
}
|
|
|
|
|
|
|
|
// ValidateError implements the Error interface but provides
|
2014-05-24 21:51:22 +02:00
|
|
|
// additional information on a validation error.
|
2014-05-24 21:47:04 +02:00
|
|
|
type ValidateError struct {
|
|
|
|
// If set, then the graph is missing a single root, on which
|
|
|
|
// there are no depdendencies
|
|
|
|
MissingRoot bool
|
|
|
|
|
|
|
|
// Unreachable are nodes that could not be reached from
|
|
|
|
// the root noun.
|
|
|
|
Unreachable []*Noun
|
|
|
|
|
|
|
|
// Cycles are groups of strongly connected nodes, which
|
|
|
|
// form a cycle. This is disallowed.
|
|
|
|
Cycles [][]*Noun
|
|
|
|
}
|
|
|
|
|
|
|
|
func (v *ValidateError) Error() string {
|
|
|
|
return "The depedency graph is not valid"
|
|
|
|
}
|
|
|
|
|
2014-05-24 21:51:22 +02:00
|
|
|
// ConstraintError is used to return detailed violation
|
|
|
|
// information from CheckConstraints
|
|
|
|
type ConstraintError struct {
|
|
|
|
Violations []*Violation
|
|
|
|
}
|
|
|
|
|
|
|
|
func (c *ConstraintError) Error() string {
|
|
|
|
return fmt.Sprintf("%d constraint violations", len(c.Violations))
|
|
|
|
}
|
|
|
|
|
|
|
|
// Violation is used to pass along information about
|
|
|
|
// a constraint violation
|
|
|
|
type Violation struct {
|
|
|
|
Source *Noun
|
|
|
|
Target *Noun
|
|
|
|
Dependency *Dependency
|
|
|
|
Constraint Constraint
|
|
|
|
Err error
|
|
|
|
}
|
|
|
|
|
|
|
|
func (v *Violation) Error() string {
|
|
|
|
return fmt.Sprintf("Constraint %v between %v and %v violated: %v",
|
|
|
|
v.Constraint, v.Source, v.Target, v.Err)
|
|
|
|
}
|
|
|
|
|
2014-05-24 21:47:04 +02:00
|
|
|
// CheckConstraints walks the graph and ensures that all
|
|
|
|
// user imposed constraints are satisfied.
|
|
|
|
func (g *Graph) CheckConstraints() error {
|
|
|
|
// Ensure we have a root
|
|
|
|
if g.Root == nil {
|
|
|
|
return fmt.Errorf("Graph must be validated before checking constraint violations")
|
|
|
|
}
|
|
|
|
|
|
|
|
// Create a constraint error
|
|
|
|
cErr := &ConstraintError{}
|
|
|
|
|
|
|
|
// Walk from the root
|
|
|
|
digraph.DepthFirstWalk(g.Root, func(n digraph.Node) bool {
|
|
|
|
noun := n.(*Noun)
|
|
|
|
for _, dep := range noun.Deps {
|
|
|
|
target := dep.Target
|
|
|
|
for _, constraint := range dep.Constraints {
|
|
|
|
ok, err := constraint.Satisfied(noun, target)
|
|
|
|
if ok {
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
violation := &Violation{
|
|
|
|
Source: noun,
|
|
|
|
Target: target,
|
|
|
|
Dependency: dep,
|
|
|
|
Constraint: constraint,
|
|
|
|
Err: err,
|
|
|
|
}
|
|
|
|
cErr.Violations = append(cErr.Violations, violation)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true
|
|
|
|
})
|
|
|
|
|
|
|
|
if cErr.Violations != nil {
|
|
|
|
return cErr
|
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
2014-05-24 22:28:12 +02:00
|
|
|
// String generates a little ASCII string of the graph, useful in
|
|
|
|
// debugging output.
|
|
|
|
func (g *Graph) String() string {
|
|
|
|
var buf bytes.Buffer
|
|
|
|
|
2014-05-24 22:57:51 +02:00
|
|
|
buf.WriteString(fmt.Sprintf("root: %s\n", g.Root.Name))
|
|
|
|
for _, n := range g.Nouns {
|
|
|
|
buf.WriteString(fmt.Sprintf("%s\n", n.Name))
|
|
|
|
for _, dep := range n.Deps {
|
|
|
|
buf.WriteString(fmt.Sprintf(
|
|
|
|
" %s -> %s\n",
|
|
|
|
dep.Source,
|
|
|
|
dep.Target))
|
2014-05-24 22:28:12 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return buf.String()
|
|
|
|
}
|
|
|
|
|
2014-05-24 21:51:22 +02:00
|
|
|
// Validate is used to ensure that a few properties of the graph are not violated:
|
|
|
|
// 1) There must be a single "root", or source on which nothing depends.
|
|
|
|
// 2) All nouns in the graph must be reachable from the root
|
|
|
|
// 3) The graph must be cycle free, meaning there are no cicular dependencies
|
|
|
|
func (g *Graph) Validate() error {
|
|
|
|
// Convert to node list
|
|
|
|
nodes := make([]digraph.Node, len(g.Nouns))
|
|
|
|
for i, n := range g.Nouns {
|
|
|
|
nodes[i] = n
|
|
|
|
}
|
2014-05-24 21:47:04 +02:00
|
|
|
|
2014-05-24 21:51:22 +02:00
|
|
|
// Create a validate erro
|
|
|
|
vErr := &ValidateError{}
|
2014-05-24 21:47:04 +02:00
|
|
|
|
2014-05-24 21:51:22 +02:00
|
|
|
// Search for all the sources, if we have only 1, it must be the root
|
|
|
|
if sources := digraph.Sources(nodes); len(sources) != 1 {
|
|
|
|
vErr.MissingRoot = true
|
|
|
|
goto CHECK_CYCLES
|
|
|
|
} else {
|
|
|
|
g.Root = sources[0].(*Noun)
|
|
|
|
}
|
2014-05-24 21:47:04 +02:00
|
|
|
|
2014-05-24 21:51:22 +02:00
|
|
|
// Check reachability
|
|
|
|
if unreached := digraph.Unreachable(g.Root, nodes); len(unreached) > 0 {
|
|
|
|
vErr.Unreachable = make([]*Noun, len(unreached))
|
|
|
|
for i, u := range unreached {
|
|
|
|
vErr.Unreachable[i] = u.(*Noun)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
CHECK_CYCLES:
|
|
|
|
// Check for cycles
|
|
|
|
if cycles := digraph.StronglyConnectedComponents(nodes, true); len(cycles) > 0 {
|
|
|
|
vErr.Cycles = make([][]*Noun, len(cycles))
|
|
|
|
for i, cycle := range cycles {
|
|
|
|
group := make([]*Noun, len(cycle))
|
|
|
|
for j, n := range cycle {
|
|
|
|
group[j] = n.(*Noun)
|
|
|
|
}
|
|
|
|
vErr.Cycles[i] = group
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Return the detailed error
|
|
|
|
if vErr.MissingRoot || vErr.Unreachable != nil || vErr.Cycles != nil {
|
|
|
|
return vErr
|
|
|
|
}
|
|
|
|
return nil
|
2014-05-24 21:47:04 +02:00
|
|
|
}
|
2014-06-05 11:11:28 +02:00
|
|
|
|
|
|
|
// Walk will walk the tree depth-first (dependency first) and call
|
|
|
|
// the callback.
|
|
|
|
//
|
|
|
|
// The callbacks will be called in parallel, so if you need non-parallelism,
|
|
|
|
// then introduce a lock in your callback.
|
|
|
|
func (g *Graph) Walk(fn WalkFunc) error {
|
|
|
|
// Set so we don't callback for a single noun multiple times
|
|
|
|
seenMap := make(map[*Noun]chan struct{})
|
|
|
|
seenMap[g.Root] = make(chan struct{})
|
|
|
|
|
|
|
|
// Build the list of things to visit
|
|
|
|
tovisit := make([]*Noun, 1, len(g.Nouns))
|
|
|
|
tovisit[0] = g.Root
|
|
|
|
|
|
|
|
// Spawn off all our goroutines to walk the tree
|
|
|
|
errCh := make(chan error)
|
|
|
|
quitCh := make(chan struct{})
|
|
|
|
for len(tovisit) > 0 {
|
|
|
|
// Grab the current thing to use
|
|
|
|
n := len(tovisit)
|
|
|
|
current := tovisit[n-1]
|
|
|
|
tovisit = tovisit[:n-1]
|
|
|
|
|
|
|
|
// Go through each dependency and run that first
|
|
|
|
for _, dep := range current.Deps {
|
|
|
|
if _, ok := seenMap[dep.Target]; !ok {
|
|
|
|
seenMap[dep.Target] = make(chan struct{})
|
|
|
|
tovisit = append(tovisit, dep.Target)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Spawn off a goroutine to execute our callback once
|
|
|
|
// all our dependencies are satisified.
|
|
|
|
go func(current *Noun) {
|
|
|
|
defer close(seenMap[current])
|
|
|
|
|
|
|
|
// Wait for all our dependencies
|
|
|
|
for _, dep := range current.Deps {
|
|
|
|
select {
|
|
|
|
case <-seenMap[dep.Target]:
|
|
|
|
case <-quitCh:
|
|
|
|
return
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Call our callback!
|
|
|
|
if err := fn(current); err != nil {
|
|
|
|
errCh <- err
|
|
|
|
}
|
|
|
|
}(current)
|
|
|
|
}
|
|
|
|
|
|
|
|
// Aggregate channel that is closed when all goroutines finish
|
|
|
|
doneCh := make(chan struct{})
|
|
|
|
go func() {
|
|
|
|
defer close(doneCh)
|
|
|
|
|
|
|
|
for _, ch := range seenMap {
|
|
|
|
<-ch
|
|
|
|
}
|
|
|
|
}()
|
|
|
|
|
|
|
|
// Wait for finish OR an error
|
|
|
|
select {
|
|
|
|
case <-doneCh:
|
|
|
|
return nil
|
|
|
|
case err := <-errCh:
|
|
|
|
// Close the quit channel so all our goroutines will end now
|
|
|
|
close(quitCh)
|
|
|
|
|
|
|
|
// Drain the error channel
|
|
|
|
go func() {
|
|
|
|
for _ = range errCh {
|
|
|
|
// Nothing
|
|
|
|
}
|
|
|
|
}()
|
|
|
|
|
|
|
|
// Wait for the goroutines to end
|
|
|
|
<-doneCh
|
|
|
|
close(errCh)
|
|
|
|
|
|
|
|
return err
|
|
|
|
}
|
|
|
|
}
|