github.com/blacked/terraform@v0.6.2-0.20150806163846-669c4ad71586/depgraph/graph.go (about)

     1  // The depgraph package is used to create and model a dependency graph
     2  // of nouns. Each noun can represent a service, server, application,
     3  // network switch, etc. Nouns can depend on other nouns, and provide
     4  // versioning constraints. Nouns can also have various meta data that
     5  // may be relevant to their construction or configuration.
     6  package depgraph
     7  
     8  import (
     9  	"bytes"
    10  	"fmt"
    11  	"sort"
    12  	"strings"
    13  	"sync"
    14  
    15  	"github.com/hashicorp/terraform/digraph"
    16  )
    17  
    18  // WalkFunc is the type used for the callback for Walk.
    19  type WalkFunc func(*Noun) error
    20  
    21  // Graph is used to represent a dependency graph.
    22  type Graph struct {
    23  	Name  string
    24  	Meta  interface{}
    25  	Nouns []*Noun
    26  	Root  *Noun
    27  }
    28  
    29  // ValidateError implements the Error interface but provides
    30  // additional information on a validation error.
    31  type ValidateError struct {
    32  	// If set, then the graph is missing a single root, on which
    33  	// there are no depdendencies
    34  	MissingRoot bool
    35  
    36  	// Unreachable are nodes that could not be reached from
    37  	// the root noun.
    38  	Unreachable []*Noun
    39  
    40  	// Cycles are groups of strongly connected nodes, which
    41  	// form a cycle. This is disallowed.
    42  	Cycles [][]*Noun
    43  }
    44  
    45  func (v *ValidateError) Error() string {
    46  	var msgs []string
    47  
    48  	if v.MissingRoot {
    49  		msgs = append(msgs, "The graph has no single root")
    50  	}
    51  
    52  	for _, n := range v.Unreachable {
    53  		msgs = append(msgs, fmt.Sprintf(
    54  			"Unreachable node: %s", n.Name))
    55  	}
    56  
    57  	for _, c := range v.Cycles {
    58  		cycleNodes := make([]string, len(c))
    59  		for i, n := range c {
    60  			cycleNodes[i] = n.Name
    61  		}
    62  
    63  		msgs = append(msgs, fmt.Sprintf(
    64  			"Cycle: %s", strings.Join(cycleNodes, " -> ")))
    65  	}
    66  
    67  	for i, m := range msgs {
    68  		msgs[i] = fmt.Sprintf("* %s", m)
    69  	}
    70  
    71  	return fmt.Sprintf(
    72  		"The dependency graph is not valid:\n\n%s",
    73  		strings.Join(msgs, "\n"))
    74  }
    75  
    76  // ConstraintError is used to return detailed violation
    77  // information from CheckConstraints
    78  type ConstraintError struct {
    79  	Violations []*Violation
    80  }
    81  
    82  func (c *ConstraintError) Error() string {
    83  	return fmt.Sprintf("%d constraint violations", len(c.Violations))
    84  }
    85  
    86  // Violation is used to pass along information about
    87  // a constraint violation
    88  type Violation struct {
    89  	Source     *Noun
    90  	Target     *Noun
    91  	Dependency *Dependency
    92  	Constraint Constraint
    93  	Err        error
    94  }
    95  
    96  func (v *Violation) Error() string {
    97  	return fmt.Sprintf("Constraint %v between %v and %v violated: %v",
    98  		v.Constraint, v.Source, v.Target, v.Err)
    99  }
   100  
   101  // CheckConstraints walks the graph and ensures that all
   102  // user imposed constraints are satisfied.
   103  func (g *Graph) CheckConstraints() error {
   104  	// Ensure we have a root
   105  	if g.Root == nil {
   106  		return fmt.Errorf("Graph must be validated before checking constraint violations")
   107  	}
   108  
   109  	// Create a constraint error
   110  	cErr := &ConstraintError{}
   111  
   112  	// Walk from the root
   113  	digraph.DepthFirstWalk(g.Root, func(n digraph.Node) bool {
   114  		noun := n.(*Noun)
   115  		for _, dep := range noun.Deps {
   116  			target := dep.Target
   117  			for _, constraint := range dep.Constraints {
   118  				ok, err := constraint.Satisfied(noun, target)
   119  				if ok {
   120  					continue
   121  				}
   122  				violation := &Violation{
   123  					Source:     noun,
   124  					Target:     target,
   125  					Dependency: dep,
   126  					Constraint: constraint,
   127  					Err:        err,
   128  				}
   129  				cErr.Violations = append(cErr.Violations, violation)
   130  			}
   131  		}
   132  		return true
   133  	})
   134  
   135  	if cErr.Violations != nil {
   136  		return cErr
   137  	}
   138  	return nil
   139  }
   140  
   141  // Noun returns the noun with the given name, or nil if it cannot be found.
   142  func (g *Graph) Noun(name string) *Noun {
   143  	for _, n := range g.Nouns {
   144  		if n.Name == name {
   145  			return n
   146  		}
   147  	}
   148  
   149  	return nil
   150  }
   151  
   152  // String generates a little ASCII string of the graph, useful in
   153  // debugging output.
   154  func (g *Graph) String() string {
   155  	var buf bytes.Buffer
   156  
   157  	// Alphabetize the output based on the noun name
   158  	keys := make([]string, 0, len(g.Nouns))
   159  	mapping := make(map[string]*Noun)
   160  	for _, n := range g.Nouns {
   161  		mapping[n.Name] = n
   162  		keys = append(keys, n.Name)
   163  	}
   164  	sort.Strings(keys)
   165  
   166  	if g.Root != nil {
   167  		buf.WriteString(fmt.Sprintf("root: %s\n", g.Root.Name))
   168  	} else {
   169  		buf.WriteString("root: <unknown>\n")
   170  	}
   171  	for _, k := range keys {
   172  		n := mapping[k]
   173  		buf.WriteString(fmt.Sprintf("%s\n", n.Name))
   174  
   175  		// Alphabetize the dependency names
   176  		depKeys := make([]string, 0, len(n.Deps))
   177  		depMapping := make(map[string]*Dependency)
   178  		for _, d := range n.Deps {
   179  			depMapping[d.Target.Name] = d
   180  			depKeys = append(depKeys, d.Target.Name)
   181  		}
   182  		sort.Strings(depKeys)
   183  
   184  		for _, k := range depKeys {
   185  			dep := depMapping[k]
   186  			buf.WriteString(fmt.Sprintf(
   187  				"  %s -> %s\n",
   188  				dep.Source,
   189  				dep.Target))
   190  		}
   191  	}
   192  
   193  	return buf.String()
   194  }
   195  
   196  // Validate is used to ensure that a few properties of the graph are not violated:
   197  // 1) There must be a single "root", or source on which nothing depends.
   198  // 2) All nouns in the graph must be reachable from the root
   199  // 3) The graph must be cycle free, meaning there are no cicular dependencies
   200  func (g *Graph) Validate() error {
   201  	// Convert to node list
   202  	nodes := make([]digraph.Node, len(g.Nouns))
   203  	for i, n := range g.Nouns {
   204  		nodes[i] = n
   205  	}
   206  
   207  	// Create a validate erro
   208  	vErr := &ValidateError{}
   209  
   210  	// Search for all the sources, if we have only 1, it must be the root
   211  	if sources := digraph.Sources(nodes); len(sources) != 1 {
   212  		vErr.MissingRoot = true
   213  		goto CHECK_CYCLES
   214  	} else {
   215  		g.Root = sources[0].(*Noun)
   216  	}
   217  
   218  	// Check reachability
   219  	if unreached := digraph.Unreachable(g.Root, nodes); len(unreached) > 0 {
   220  		vErr.Unreachable = make([]*Noun, len(unreached))
   221  		for i, u := range unreached {
   222  			vErr.Unreachable[i] = u.(*Noun)
   223  		}
   224  	}
   225  
   226  CHECK_CYCLES:
   227  	// Check for cycles
   228  	if cycles := digraph.StronglyConnectedComponents(nodes, true); len(cycles) > 0 {
   229  		vErr.Cycles = make([][]*Noun, len(cycles))
   230  		for i, cycle := range cycles {
   231  			group := make([]*Noun, len(cycle))
   232  			for j, n := range cycle {
   233  				group[j] = n.(*Noun)
   234  			}
   235  			vErr.Cycles[i] = group
   236  		}
   237  	}
   238  
   239  	// Check for loops to yourself
   240  	for _, n := range g.Nouns {
   241  		for _, d := range n.Deps {
   242  			if d.Source == d.Target {
   243  				vErr.Cycles = append(vErr.Cycles, []*Noun{n})
   244  			}
   245  		}
   246  	}
   247  
   248  	// Return the detailed error
   249  	if vErr.MissingRoot || vErr.Unreachable != nil || vErr.Cycles != nil {
   250  		return vErr
   251  	}
   252  	return nil
   253  }
   254  
   255  // Walk will walk the tree depth-first (dependency first) and call
   256  // the callback.
   257  //
   258  // The callbacks will be called in parallel, so if you need non-parallelism,
   259  // then introduce a lock in your callback.
   260  func (g *Graph) Walk(fn WalkFunc) error {
   261  	// Set so we don't callback for a single noun multiple times
   262  	var seenMapL sync.RWMutex
   263  	seenMap := make(map[*Noun]chan struct{})
   264  	seenMap[g.Root] = make(chan struct{})
   265  
   266  	// Keep track of what nodes errored.
   267  	var errMapL sync.RWMutex
   268  	errMap := make(map[*Noun]struct{})
   269  
   270  	// Build the list of things to visit
   271  	tovisit := make([]*Noun, 1, len(g.Nouns))
   272  	tovisit[0] = g.Root
   273  
   274  	// Spawn off all our goroutines to walk the tree
   275  	errCh := make(chan error)
   276  	for len(tovisit) > 0 {
   277  		// Grab the current thing to use
   278  		n := len(tovisit)
   279  		current := tovisit[n-1]
   280  		tovisit = tovisit[:n-1]
   281  
   282  		// Go through each dependency and run that first
   283  		for _, dep := range current.Deps {
   284  			if _, ok := seenMap[dep.Target]; !ok {
   285  				seenMapL.Lock()
   286  				seenMap[dep.Target] = make(chan struct{})
   287  				seenMapL.Unlock()
   288  				tovisit = append(tovisit, dep.Target)
   289  			}
   290  		}
   291  
   292  		// Spawn off a goroutine to execute our callback once
   293  		// all our dependencies are satisfied.
   294  		go func(current *Noun) {
   295  			seenMapL.RLock()
   296  			closeCh := seenMap[current]
   297  			seenMapL.RUnlock()
   298  
   299  			defer close(closeCh)
   300  
   301  			// Wait for all our dependencies
   302  			for _, dep := range current.Deps {
   303  				seenMapL.RLock()
   304  				ch := seenMap[dep.Target]
   305  				seenMapL.RUnlock()
   306  
   307  				// Wait for the dep to be run
   308  				<-ch
   309  
   310  				// Check if any dependencies errored. If so,
   311  				// then return right away, we won't walk it.
   312  				errMapL.RLock()
   313  				_, errOk := errMap[dep.Target]
   314  				errMapL.RUnlock()
   315  				if errOk {
   316  					return
   317  				}
   318  			}
   319  
   320  			// Call our callback!
   321  			if err := fn(current); err != nil {
   322  				errMapL.Lock()
   323  				errMap[current] = struct{}{}
   324  				errMapL.Unlock()
   325  
   326  				errCh <- err
   327  			}
   328  		}(current)
   329  	}
   330  
   331  	// Aggregate channel that is closed when all goroutines finish
   332  	doneCh := make(chan struct{})
   333  	go func() {
   334  		defer close(doneCh)
   335  
   336  		for _, ch := range seenMap {
   337  			<-ch
   338  		}
   339  	}()
   340  
   341  	// Wait for finish OR an error
   342  	select {
   343  	case <-doneCh:
   344  		return nil
   345  	case err := <-errCh:
   346  		// Drain the error channel
   347  		go func() {
   348  			for _ = range errCh {
   349  				// Nothing
   350  			}
   351  		}()
   352  
   353  		// Wait for the goroutines to end
   354  		<-doneCh
   355  		close(errCh)
   356  
   357  		return err
   358  	}
   359  }
   360  
   361  // DependsOn returns the set of nouns that have a
   362  // dependency on a given noun. This can be used to find
   363  // the incoming edges to a noun.
   364  func (g *Graph) DependsOn(n *Noun) []*Noun {
   365  	var incoming []*Noun
   366  OUTER:
   367  	for _, other := range g.Nouns {
   368  		if other == n {
   369  			continue
   370  		}
   371  		for _, d := range other.Deps {
   372  			if d.Target == n {
   373  				incoming = append(incoming, other)
   374  				continue OUTER
   375  			}
   376  		}
   377  	}
   378  	return incoming
   379  }