Documentation
¶
Overview ¶
Package mvs implements Minimal Version Selection. See https://research.swtch.com/vgo-mvs.
Index ¶
- func BuildList(targets []module.Version, reqs Reqs) ([]module.Version, error)
- func Downgrade(target module.Version, reqs DowngradeReqs, downgrade ...module.Version) ([]module.Version, error)
- func Req(mainModule module.Version, base []string, reqs Reqs) ([]module.Version, error)
- func Upgrade(target module.Version, reqs UpgradeReqs, upgrade ...module.Version) ([]module.Version, error)
- func UpgradeAll(target module.Version, reqs UpgradeReqs) ([]module.Version, error)
- type BuildListError
- type DowngradeReqs
- type Graph
- func (g *Graph) BuildList() []module.Version
- func (g *Graph) FindPath(f func(module.Version) bool) []module.Version
- func (g *Graph) Require(m module.Version, reqs []module.Version)
- func (g *Graph) RequiredBy(m module.Version) (reqs []module.Version, ok bool)
- func (g *Graph) Selected(path string) (version string)
- func (g *Graph) WalkBreadthFirst(f func(m module.Version))
- type Reqs
- type UpgradeReqs
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func BuildList ¶
BuildList returns the build list for the target module.
target is the root vertex of a module requirement graph. For cmd/go, this is typically the main module, but note that this algorithm is not intended to be Go-specific: module paths and versions are treated as opaque values.
reqs describes the module requirement graph and provides an opaque method for comparing versions.
BuildList traverses the graph and returns a list containing the highest version for each visited module. The first element of the returned list is target itself; reqs.Max requires target.Version to compare higher than all other versions, so no other version can be selected. The remaining elements of the list are sorted by path.
See https://research.swtch.com/vgo-mvs for details.
func Downgrade ¶
func Downgrade(target module.Version, reqs DowngradeReqs, downgrade ...module.Version) ([]module.Version, error)
Downgrade returns a build list for the target module in which the given additional modules are downgraded, potentially overriding the requirements of the target.
The versions to be downgraded may be unreachable from reqs.Latest and reqs.Previous, but the methods of reqs must otherwise handle such versions correctly.
func Req ¶
Req returns the minimal requirement list for the target module, with the constraint that all module paths listed in base must appear in the returned list.
func Upgrade ¶
func Upgrade(target module.Version, reqs UpgradeReqs, upgrade ...module.Version) ([]module.Version, error)
Upgrade returns a build list for the target module in which the given additional modules are upgraded.
func UpgradeAll ¶
UpgradeAll returns a build list for the target module in which every module is upgraded to its latest version.
Types ¶
type BuildListError ¶
type BuildListError struct {
Err error
// contains filtered or unexported fields
}
BuildListError decorates an error that occurred gathering requirements while constructing a build list. BuildListError prints the chain of requirements to the module where the error occurred.
func NewBuildListError ¶
func NewBuildListError(err error, path []module.Version, isVersionChange func(from, to module.Version) bool) *BuildListError
NewBuildListError returns a new BuildListError wrapping an error that occurred at a module found along the given path of requirements and/or upgrades, which must be non-empty.
The isVersionChange function reports whether a path step is due to an explicit upgrade or downgrade (as opposed to an existing requirement in a go.mod file). A nil isVersionChange function indicates that none of the path steps are due to explicit version changes.
func (*BuildListError) Error ¶
func (e *BuildListError) Error() string
func (*BuildListError) Module ¶
func (e *BuildListError) Module() module.Version
Module returns the module where the error occurred. If the module stack is empty, this returns a zero value.
type DowngradeReqs ¶
type DowngradeReqs interface {
Reqs
// Previous returns the version of m.Path immediately prior to m.Version,
// or "none" if no such version is known.
Previous(m module.Version) (module.Version, error)
}
A DowngradeReqs is a Reqs that can also identify available downgrades.
type Graph ¶
type Graph struct {
// contains filtered or unexported fields
}
Graph implements an incremental version of the MVS algorithm, with the requirements pushed by the caller instead of pulled by the MVS traversal.
func NewGraph ¶
NewGraph returns an incremental MVS graph containing only a set of root dependencies and using the given max function for version strings.
The caller must ensure that the root slice is not modified while the Graph may be in use.
func (*Graph) BuildList ¶
BuildList returns the selected versions of all modules present in the Graph, beginning with the selected versions of each module path in the roots of g.
The order of the remaining elements in the list is deterministic but arbitrary.
func (*Graph) FindPath ¶
FindPath reports a shortest requirement path starting at one of the roots of the graph and ending at a module version m for which f(m) returns true, or nil if no such path exists.
func (*Graph) Require ¶
Require adds the information that module m requires all modules in reqs. The reqs slice must not be modified after it is passed to Require.
m must be reachable by some existing chain of requirements from g's target, and Require must not have been called for it already.
If any of the modules in reqs has the same path as g's target, the target must have higher precedence than the version in req.
func (*Graph) RequiredBy ¶
RequiredBy returns the slice of requirements passed to Require for m, if any, with its capacity reduced to its length. If Require has not been called for m, RequiredBy(m) returns ok=false.
The caller must not modify the returned slice, but may safely append to it and may rely on it not to be modified.
func (*Graph) Selected ¶
Selected returns the selected version of the given module path.
If no version is selected, Selected returns version "none".
func (*Graph) WalkBreadthFirst ¶
WalkBreadthFirst invokes f once, in breadth-first order, for each module version other than "none" that appears in the graph, regardless of whether that version is selected.
type Reqs ¶
type Reqs interface {
// Required returns the module versions explicitly required by m itself.
// The caller must not modify the returned list.
Required(m module.Version) ([]module.Version, error)
// Max returns the maximum of v1 and v2 (it returns either v1 or v2).
//
// For all versions v, Max(v, "none") must be v,
// and for the target passed as the first argument to MVS functions,
// Max(target, v) must be target.
//
// Note that v1 < v2 can be written Max(v1, v2) != v1
// and similarly v1 <= v2 can be written Max(v1, v2) == v2.
Max(v1, v2 string) string
}
A Reqs is the requirement graph on which Minimal Version Selection (MVS) operates.
The version strings are opaque except for the special version "none" (see the documentation for module.Version). In particular, MVS does not assume that the version strings are semantic versions; instead, the Max method gives access to the comparison operation.
It must be safe to call methods on a Reqs from multiple goroutines simultaneously. Because a Reqs may read the underlying graph from the network on demand, the MVS algorithms parallelize the traversal to overlap network delays.
type UpgradeReqs ¶
type UpgradeReqs interface {
Reqs
// Upgrade returns the upgraded version of m,
// for use during an UpgradeAll operation.
// If m should be kept as is, Upgrade returns m.
// If m is not yet used in the build, then m.Version will be "none".
// More typically, m.Version will be the version required
// by some other module in the build.
//
// If no module version is available for the given path,
// Upgrade returns a non-nil error.
// TODO(rsc): Upgrade must be able to return errors,
// but should "no latest version" just return m instead?
Upgrade(m module.Version) (module.Version, error)
}
An UpgradeReqs is a Reqs that can also identify available upgrades.
Source Files