pipeline.go 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873
  1. package core
  2. import (
  3. "bufio"
  4. "fmt"
  5. "io"
  6. "io/ioutil"
  7. "log"
  8. "os"
  9. "path/filepath"
  10. "runtime/debug"
  11. "sort"
  12. "strings"
  13. "time"
  14. "github.com/pkg/errors"
  15. "gopkg.in/src-d/go-git.v4"
  16. "gopkg.in/src-d/go-git.v4/plumbing"
  17. "gopkg.in/src-d/go-git.v4/plumbing/object"
  18. "gopkg.in/src-d/go-git.v4/plumbing/storer"
  19. "gopkg.in/src-d/hercules.v7/internal/pb"
  20. "gopkg.in/src-d/hercules.v7/internal/toposort"
  21. )
  22. // ConfigurationOptionType represents the possible types of a ConfigurationOption's value.
  23. type ConfigurationOptionType int
  24. const (
  25. // BoolConfigurationOption reflects the boolean value type.
  26. BoolConfigurationOption ConfigurationOptionType = iota
  27. // IntConfigurationOption reflects the integer value type.
  28. IntConfigurationOption
  29. // StringConfigurationOption reflects the string value type.
  30. StringConfigurationOption
  31. // FloatConfigurationOption reflects a floating point value type.
  32. FloatConfigurationOption
  33. // StringsConfigurationOption reflects the array of strings value type.
  34. StringsConfigurationOption
  35. // PathConfigurationOption reflects the file system path value type.
  36. PathConfigurationOption
  37. )
  38. // String() returns an empty string for the boolean type, "int" for integers and "string" for
  39. // strings. It is used in the command line interface to show the argument's type.
  40. func (opt ConfigurationOptionType) String() string {
  41. switch opt {
  42. case BoolConfigurationOption:
  43. return ""
  44. case IntConfigurationOption:
  45. return "int"
  46. case StringConfigurationOption:
  47. return "string"
  48. case FloatConfigurationOption:
  49. return "float"
  50. case StringsConfigurationOption:
  51. return "string"
  52. case PathConfigurationOption:
  53. return "path"
  54. }
  55. log.Panicf("Invalid ConfigurationOptionType value %d", opt)
  56. return ""
  57. }
  58. // ConfigurationOption allows for the unified, retrospective way to setup PipelineItem-s.
  59. type ConfigurationOption struct {
  60. // Name identifies the configuration option in facts.
  61. Name string
  62. // Description represents the help text about the configuration option.
  63. Description string
  64. // Flag corresponds to the CLI token with "--" prepended.
  65. Flag string
  66. // Type specifies the kind of the configuration option's value.
  67. Type ConfigurationOptionType
  68. // Default is the initial value of the configuration option.
  69. Default interface{}
  70. }
  71. // FormatDefault converts the default value of ConfigurationOption to string.
  72. // Used in the command line interface to show the argument's default value.
  73. func (opt ConfigurationOption) FormatDefault() string {
  74. if opt.Type == StringsConfigurationOption {
  75. return fmt.Sprintf("\"%s\"", strings.Join(opt.Default.([]string), ","))
  76. }
  77. if opt.Type != StringConfigurationOption {
  78. return fmt.Sprint(opt.Default)
  79. }
  80. return fmt.Sprintf("\"%s\"", opt.Default)
  81. }
  82. // PipelineItem is the interface for all the units in the Git commits analysis pipeline.
  83. type PipelineItem interface {
  84. // Name returns the name of the analysis.
  85. Name() string
  86. // Provides returns the list of keys of reusable calculated entities.
  87. // Other items may depend on them.
  88. Provides() []string
  89. // Requires returns the list of keys of needed entities which must be supplied in Consume().
  90. Requires() []string
  91. // ListConfigurationOptions returns the list of available options which can be consumed by Configure().
  92. ListConfigurationOptions() []ConfigurationOption
  93. // Configure performs the initial setup of the object by applying parameters from facts.
  94. // It allows to create PipelineItems in a universal way.
  95. Configure(facts map[string]interface{}) error
  96. // Initialize prepares and resets the item. Consume() requires Initialize()
  97. // to be called at least once beforehand.
  98. Initialize(*git.Repository) error
  99. // Consume processes the next commit.
  100. // deps contains the required entities which match Depends(). Besides, it always includes
  101. // DependencyCommit and DependencyIndex.
  102. // Returns the calculated entities which match Provides().
  103. Consume(deps map[string]interface{}) (map[string]interface{}, error)
  104. // Fork clones the item the requested number of times. The data links between the clones
  105. // are up to the implementation. Needed to handle Git branches. See also Merge().
  106. // Returns a slice with `n` fresh clones. In other words, it does not include the original item.
  107. Fork(n int) []PipelineItem
  108. // Merge combines several branches together. Each is supposed to have been created with Fork().
  109. // The result is stored in the called item, thus this function returns nothing.
  110. // Merge() must update all the branches, not only self. When several branches merge, some of
  111. // them may continue to live, hence this requirement.
  112. Merge(branches []PipelineItem)
  113. }
  114. // FeaturedPipelineItem enables switching the automatic insertion of pipeline items on or off.
  115. type FeaturedPipelineItem interface {
  116. PipelineItem
  117. // Features returns the list of names which enable this item to be automatically inserted
  118. // in Pipeline.DeployItem().
  119. Features() []string
  120. }
  121. // LeafPipelineItem corresponds to the top level pipeline items which produce the end results.
  122. type LeafPipelineItem interface {
  123. PipelineItem
  124. // Flag returns the cmdline switch to run the analysis. Should be dash-lower-case
  125. // without the leading dashes.
  126. Flag() string
  127. // Description returns the text which explains what the analysis is doing.
  128. // Should start with a capital letter and end with a dot.
  129. Description() string
  130. // Finalize returns the result of the analysis.
  131. Finalize() interface{}
  132. // Serialize encodes the object returned by Finalize() to YAML or Protocol Buffers.
  133. Serialize(result interface{}, binary bool, writer io.Writer) error
  134. }
  135. // ResultMergeablePipelineItem specifies the methods to combine several analysis results together.
  136. type ResultMergeablePipelineItem interface {
  137. LeafPipelineItem
  138. // Deserialize loads the result from Protocol Buffers blob.
  139. Deserialize(pbmessage []byte) (interface{}, error)
  140. // MergeResults joins two results together. Common-s are specified as the global state.
  141. MergeResults(r1, r2 interface{}, c1, c2 *CommonAnalysisResult) interface{}
  142. }
  143. // HibernateablePipelineItem is the interface to allow pipeline items to be frozen (compacted, unloaded)
  144. // while they are not needed in the hosting branch.
  145. type HibernateablePipelineItem interface {
  146. PipelineItem
  147. // Hibernate signals that the item is temporarily not needed and it's memory can be optimized.
  148. Hibernate() error
  149. // Boot signals that the item is needed again and must be de-hibernate-d.
  150. Boot() error
  151. }
  152. // CommonAnalysisResult holds the information which is always extracted at Pipeline.Run().
  153. type CommonAnalysisResult struct {
  154. // BeginTime is the time of the first commit in the analysed sequence.
  155. BeginTime int64
  156. // EndTime is the time of the last commit in the analysed sequence.
  157. EndTime int64
  158. // CommitsNumber is the number of commits in the analysed sequence.
  159. CommitsNumber int
  160. // RunTime is the duration of Pipeline.Run().
  161. RunTime time.Duration
  162. // RunTimePerItem is the time elapsed by each PipelineItem.
  163. RunTimePerItem map[string]float64
  164. }
  165. // Copy produces a deep clone of the object.
  166. func (car CommonAnalysisResult) Copy() CommonAnalysisResult {
  167. result := car
  168. result.RunTimePerItem = map[string]float64{}
  169. for key, val := range car.RunTimePerItem {
  170. result.RunTimePerItem[key] = val
  171. }
  172. return result
  173. }
  174. // BeginTimeAsTime converts the UNIX timestamp of the beginning to Go time.
  175. func (car *CommonAnalysisResult) BeginTimeAsTime() time.Time {
  176. return time.Unix(car.BeginTime, 0)
  177. }
  178. // EndTimeAsTime converts the UNIX timestamp of the ending to Go time.
  179. func (car *CommonAnalysisResult) EndTimeAsTime() time.Time {
  180. return time.Unix(car.EndTime, 0)
  181. }
  182. // Merge combines the CommonAnalysisResult with an other one.
  183. // We choose the earlier BeginTime, the later EndTime, sum the number of commits and the
  184. // elapsed run times.
  185. func (car *CommonAnalysisResult) Merge(other *CommonAnalysisResult) {
  186. if car.EndTime == 0 || other.BeginTime == 0 {
  187. panic("Merging with an uninitialized CommonAnalysisResult")
  188. }
  189. if other.BeginTime < car.BeginTime {
  190. car.BeginTime = other.BeginTime
  191. }
  192. if other.EndTime > car.EndTime {
  193. car.EndTime = other.EndTime
  194. }
  195. car.CommitsNumber += other.CommitsNumber
  196. car.RunTime += other.RunTime
  197. for key, val := range other.RunTimePerItem {
  198. car.RunTimePerItem[key] += val
  199. }
  200. }
  201. // FillMetadata copies the data to a Protobuf message.
  202. func (car *CommonAnalysisResult) FillMetadata(meta *pb.Metadata) *pb.Metadata {
  203. meta.BeginUnixTime = car.BeginTime
  204. meta.EndUnixTime = car.EndTime
  205. meta.Commits = int32(car.CommitsNumber)
  206. meta.RunTime = car.RunTime.Nanoseconds() / 1e6
  207. meta.RunTimePerItem = car.RunTimePerItem
  208. return meta
  209. }
  210. // Metadata is defined in internal/pb/pb.pb.go - header of the binary file.
  211. type Metadata = pb.Metadata
  212. // MetadataToCommonAnalysisResult copies the data from a Protobuf message.
  213. func MetadataToCommonAnalysisResult(meta *Metadata) *CommonAnalysisResult {
  214. return &CommonAnalysisResult{
  215. BeginTime: meta.BeginUnixTime,
  216. EndTime: meta.EndUnixTime,
  217. CommitsNumber: int(meta.Commits),
  218. RunTime: time.Duration(meta.RunTime * 1e6),
  219. RunTimePerItem: meta.RunTimePerItem,
  220. }
  221. }
  222. // Pipeline is the core Hercules entity which carries several PipelineItems and executes them.
  223. // See the extended example of how a Pipeline works in doc.go
  224. type Pipeline struct {
  225. // OnProgress is the callback which is invoked in Analyse() to output it's
  226. // progress. The first argument is the number of complete steps and the
  227. // second is the total number of steps.
  228. OnProgress func(int, int)
  229. // HibernationDistance is the minimum number of actions between two sequential usages of
  230. // a branch to activate the hibernation optimization (cpu-memory trade-off). 0 disables.
  231. HibernationDistance int
  232. // DryRun indicates whether the items are not executed.
  233. DryRun bool
  234. // DumpPlan indicates whether to print the execution plan to stderr.
  235. DumpPlan bool
  236. // PrintActions indicates whether to print the taken actions during the execution.
  237. PrintActions bool
  238. // Repository points to the analysed Git repository struct from go-git.
  239. repository *git.Repository
  240. // Items are the registered building blocks in the pipeline. The order defines the
  241. // execution sequence.
  242. items []PipelineItem
  243. // The collection of parameters to create items.
  244. facts map[string]interface{}
  245. // Feature flags which enable the corresponding items.
  246. features map[string]bool
  247. }
  248. const (
  249. // ConfigPipelineDAGPath is the name of the Pipeline configuration option (Pipeline.Initialize())
  250. // which enables saving the items DAG to the specified file.
  251. ConfigPipelineDAGPath = "Pipeline.DAGPath"
  252. // ConfigPipelineDryRun is the name of the Pipeline configuration option (Pipeline.Initialize())
  253. // which disables Configure() and Initialize() invocation on each PipelineItem during the
  254. // Pipeline initialization.
  255. // Subsequent Run() calls are going to fail. Useful with ConfigPipelineDAGPath=true.
  256. ConfigPipelineDryRun = "Pipeline.DryRun"
  257. // ConfigPipelineCommits is the name of the Pipeline configuration option (Pipeline.Initialize())
  258. // which allows to specify the custom commit sequence. By default, Pipeline.Commits() is used.
  259. ConfigPipelineCommits = "Pipeline.Commits"
  260. // ConfigPipelineDumpPlan is the name of the Pipeline configuration option (Pipeline.Initialize())
  261. // which outputs the execution plan to stderr.
  262. ConfigPipelineDumpPlan = "Pipeline.DumpPlan"
  263. // ConfigPipelineHibernationDistance is the name of the Pipeline configuration option (Pipeline.Initialize())
  264. // which is the minimum number of actions between two sequential usages of
  265. // a branch to activate the hibernation optimization (cpu-memory trade-off). 0 disables.
  266. ConfigPipelineHibernationDistance = "Pipeline.HibernationDistance"
  267. // ConfigPipelinePrintActions is the name of the Pipeline configuration option (Pipeline.Initialize())
  268. // which enables printing the taken actions of the execution plan to stderr.
  269. ConfigPipelinePrintActions = "Pipeline.PrintActions"
  270. // DependencyCommit is the name of one of the three items in `deps` supplied to PipelineItem.Consume()
  271. // which always exists. It corresponds to the currently analyzed commit.
  272. DependencyCommit = "commit"
  273. // DependencyIndex is the name of one of the three items in `deps` supplied to PipelineItem.Consume()
  274. // which always exists. It corresponds to the currently analyzed commit's index.
  275. DependencyIndex = "index"
  276. // DependencyIsMerge is the name of one of the three items in `deps` supplied to PipelineItem.Consume()
  277. // which always exists. It indicates whether the analyzed commit is a merge commit.
  278. // Checking the number of parents is not correct - we remove the back edges during the DAG simplification.
  279. DependencyIsMerge = "is_merge"
  280. )
  281. // NewPipeline initializes a new instance of Pipeline struct.
  282. func NewPipeline(repository *git.Repository) *Pipeline {
  283. return &Pipeline{
  284. repository: repository,
  285. items: []PipelineItem{},
  286. facts: map[string]interface{}{},
  287. features: map[string]bool{},
  288. }
  289. }
  290. // GetFact returns the value of the fact with the specified name.
  291. func (pipeline *Pipeline) GetFact(name string) interface{} {
  292. return pipeline.facts[name]
  293. }
  294. // SetFact sets the value of the fact with the specified name.
  295. func (pipeline *Pipeline) SetFact(name string, value interface{}) {
  296. pipeline.facts[name] = value
  297. }
  298. // GetFeature returns the state of the feature with the specified name (enabled/disabled) and
  299. // whether it exists. See also: FeaturedPipelineItem.
  300. func (pipeline *Pipeline) GetFeature(name string) (bool, bool) {
  301. val, exists := pipeline.features[name]
  302. return val, exists
  303. }
  304. // SetFeature sets the value of the feature with the specified name.
  305. // See also: FeaturedPipelineItem.
  306. func (pipeline *Pipeline) SetFeature(name string) {
  307. pipeline.features[name] = true
  308. }
  309. // SetFeaturesFromFlags enables the features which were specified through the command line flags
  310. // which belong to the given PipelineItemRegistry instance.
  311. // See also: AddItem().
  312. func (pipeline *Pipeline) SetFeaturesFromFlags(registry ...*PipelineItemRegistry) {
  313. var ffr *PipelineItemRegistry
  314. if len(registry) == 0 {
  315. ffr = Registry
  316. } else if len(registry) == 1 {
  317. ffr = registry[0]
  318. } else {
  319. panic("Zero or one registry is allowed to be passed.")
  320. }
  321. for _, feature := range ffr.featureFlags.Flags {
  322. pipeline.SetFeature(feature)
  323. }
  324. }
  325. // DeployItem inserts a PipelineItem into the pipeline. It also recursively creates all of it's
  326. // dependencies (PipelineItem.Requires()). Returns the same item as specified in the arguments.
  327. func (pipeline *Pipeline) DeployItem(item PipelineItem) PipelineItem {
  328. fpi, ok := item.(FeaturedPipelineItem)
  329. if ok {
  330. for _, f := range fpi.Features() {
  331. pipeline.SetFeature(f)
  332. }
  333. }
  334. queue := []PipelineItem{}
  335. queue = append(queue, item)
  336. added := map[string]PipelineItem{}
  337. for _, item := range pipeline.items {
  338. added[item.Name()] = item
  339. }
  340. added[item.Name()] = item
  341. pipeline.AddItem(item)
  342. for len(queue) > 0 {
  343. head := queue[0]
  344. queue = queue[1:]
  345. for _, dep := range head.Requires() {
  346. for _, sibling := range Registry.Summon(dep) {
  347. if _, exists := added[sibling.Name()]; !exists {
  348. disabled := false
  349. // If this item supports features, check them against the activated in pipeline.features
  350. if fpi, matches := sibling.(FeaturedPipelineItem); matches {
  351. for _, feature := range fpi.Features() {
  352. if !pipeline.features[feature] {
  353. disabled = true
  354. break
  355. }
  356. }
  357. }
  358. if disabled {
  359. continue
  360. }
  361. added[sibling.Name()] = sibling
  362. queue = append(queue, sibling)
  363. pipeline.AddItem(sibling)
  364. }
  365. }
  366. }
  367. }
  368. return item
  369. }
  370. // AddItem inserts a PipelineItem into the pipeline. It does not check any dependencies.
  371. // See also: DeployItem().
  372. func (pipeline *Pipeline) AddItem(item PipelineItem) PipelineItem {
  373. pipeline.items = append(pipeline.items, item)
  374. return item
  375. }
  376. // RemoveItem deletes a PipelineItem from the pipeline. It leaves all the rest of the items intact.
  377. func (pipeline *Pipeline) RemoveItem(item PipelineItem) {
  378. for i, reg := range pipeline.items {
  379. if reg == item {
  380. pipeline.items = append(pipeline.items[:i], pipeline.items[i+1:]...)
  381. return
  382. }
  383. }
  384. }
  385. // Len returns the number of items in the pipeline.
  386. func (pipeline *Pipeline) Len() int {
  387. return len(pipeline.items)
  388. }
  389. // Commits returns the list of commits from the history similar to `git log` over the HEAD.
  390. // `firstParent` specifies whether to leave only the first parent after each merge
  391. // (`git log --first-parent`) - effectively decreasing the accuracy but increasing performance.
  392. func (pipeline *Pipeline) Commits(firstParent bool) ([]*object.Commit, error) {
  393. var result []*object.Commit
  394. repository := pipeline.repository
  395. head, err := repository.Head()
  396. if err != nil {
  397. if err == plumbing.ErrReferenceNotFound {
  398. refs, errr := repository.References()
  399. if errr != nil {
  400. return nil, errors.Wrap(errr, "unable to list the references")
  401. }
  402. refs.ForEach(func(ref *plumbing.Reference) error {
  403. if strings.HasPrefix(ref.Name().String(), "refs/heads/HEAD/") {
  404. head = ref
  405. return storer.ErrStop
  406. }
  407. return nil
  408. })
  409. }
  410. if head == nil && err != nil {
  411. return nil, errors.Wrap(err, "unable to collect the commit history")
  412. }
  413. }
  414. if firstParent {
  415. commit, err := repository.CommitObject(head.Hash())
  416. if err != nil {
  417. panic(err)
  418. }
  419. // the first parent matches the head
  420. for ; err != io.EOF; commit, err = commit.Parents().Next() {
  421. if err != nil {
  422. panic(err)
  423. }
  424. result = append(result, commit)
  425. }
  426. // reverse the order
  427. for i, j := 0, len(result)-1; i < j; i, j = i+1, j-1 {
  428. result[i], result[j] = result[j], result[i]
  429. }
  430. return result, nil
  431. }
  432. cit, err := repository.Log(&git.LogOptions{From: head.Hash()})
  433. if err != nil {
  434. return nil, errors.Wrap(err, "unable to collect the commit history")
  435. }
  436. defer cit.Close()
  437. cit.ForEach(func(commit *object.Commit) error {
  438. result = append(result, commit)
  439. return nil
  440. })
  441. return result, nil
  442. }
  443. type sortablePipelineItems []PipelineItem
  444. func (items sortablePipelineItems) Len() int {
  445. return len(items)
  446. }
  447. func (items sortablePipelineItems) Less(i, j int) bool {
  448. return items[i].Name() < items[j].Name()
  449. }
  450. func (items sortablePipelineItems) Swap(i, j int) {
  451. items[i], items[j] = items[j], items[i]
  452. }
  453. func (pipeline *Pipeline) resolve(dumpPath string) {
  454. graph := toposort.NewGraph()
  455. sort.Sort(sortablePipelineItems(pipeline.items))
  456. name2item := map[string]PipelineItem{}
  457. ambiguousMap := map[string][]string{}
  458. nameUsages := map[string]int{}
  459. for _, item := range pipeline.items {
  460. nameUsages[item.Name()]++
  461. }
  462. counters := map[string]int{}
  463. for _, item := range pipeline.items {
  464. name := item.Name()
  465. if nameUsages[name] > 1 {
  466. index := counters[item.Name()] + 1
  467. counters[item.Name()] = index
  468. name = fmt.Sprintf("%s_%d", item.Name(), index)
  469. }
  470. graph.AddNode(name)
  471. name2item[name] = item
  472. for _, key := range item.Provides() {
  473. key = "[" + key + "]"
  474. graph.AddNode(key)
  475. if graph.AddEdge(name, key) > 1 {
  476. if ambiguousMap[key] != nil {
  477. fmt.Fprintln(os.Stderr, "Pipeline:")
  478. for _, item2 := range pipeline.items {
  479. if item2 == item {
  480. fmt.Fprint(os.Stderr, "> ")
  481. }
  482. fmt.Fprint(os.Stderr, item2.Name(), " [")
  483. for i, key2 := range item2.Provides() {
  484. fmt.Fprint(os.Stderr, key2)
  485. if i < len(item.Provides())-1 {
  486. fmt.Fprint(os.Stderr, ", ")
  487. }
  488. }
  489. fmt.Fprintln(os.Stderr, "]")
  490. }
  491. panic("Failed to resolve pipeline dependencies: ambiguous graph.")
  492. }
  493. ambiguousMap[key] = graph.FindParents(key)
  494. }
  495. }
  496. }
  497. counters = map[string]int{}
  498. for _, item := range pipeline.items {
  499. name := item.Name()
  500. if nameUsages[name] > 1 {
  501. index := counters[item.Name()] + 1
  502. counters[item.Name()] = index
  503. name = fmt.Sprintf("%s_%d", item.Name(), index)
  504. }
  505. for _, key := range item.Requires() {
  506. key = "[" + key + "]"
  507. if graph.AddEdge(key, name) == 0 {
  508. log.Panicf("Unsatisfied dependency: %s -> %s", key, item.Name())
  509. }
  510. }
  511. }
  512. // Try to break the cycles in some known scenarios.
  513. if len(ambiguousMap) > 0 {
  514. var ambiguous []string
  515. for key := range ambiguousMap {
  516. ambiguous = append(ambiguous, key)
  517. }
  518. sort.Strings(ambiguous)
  519. bfsorder := graph.BreadthSort()
  520. bfsindex := map[string]int{}
  521. for i, s := range bfsorder {
  522. bfsindex[s] = i
  523. }
  524. for len(ambiguous) > 0 {
  525. key := ambiguous[0]
  526. ambiguous = ambiguous[1:]
  527. pair := ambiguousMap[key]
  528. inheritor := pair[1]
  529. if bfsindex[pair[1]] < bfsindex[pair[0]] {
  530. inheritor = pair[0]
  531. }
  532. removed := graph.RemoveEdge(key, inheritor)
  533. cycle := map[string]bool{}
  534. for _, node := range graph.FindCycle(key) {
  535. cycle[node] = true
  536. }
  537. if len(cycle) == 0 {
  538. cycle[inheritor] = true
  539. }
  540. if removed {
  541. graph.AddEdge(key, inheritor)
  542. }
  543. graph.RemoveEdge(inheritor, key)
  544. graph.ReindexNode(inheritor)
  545. // for all nodes key links to except those in cycle, put the link from inheritor
  546. for _, node := range graph.FindChildren(key) {
  547. if _, exists := cycle[node]; !exists {
  548. graph.AddEdge(inheritor, node)
  549. graph.RemoveEdge(key, node)
  550. }
  551. }
  552. graph.ReindexNode(key)
  553. }
  554. }
  555. var graphCopy *toposort.Graph
  556. if dumpPath != "" {
  557. graphCopy = graph.Copy()
  558. }
  559. strplan, ok := graph.Toposort()
  560. if !ok {
  561. panic("Failed to resolve pipeline dependencies: unable to topologically sort the items.")
  562. }
  563. pipeline.items = make([]PipelineItem, 0, len(pipeline.items))
  564. for _, key := range strplan {
  565. if item, ok := name2item[key]; ok {
  566. pipeline.items = append(pipeline.items, item)
  567. }
  568. }
  569. if dumpPath != "" {
  570. // If there is a floating difference, uncomment this:
  571. // fmt.Fprint(os.Stderr, graphCopy.DebugDump())
  572. ioutil.WriteFile(dumpPath, []byte(graphCopy.Serialize(strplan)), 0666)
  573. absPath, _ := filepath.Abs(dumpPath)
  574. log.Printf("Wrote the DAG to %s\n", absPath)
  575. }
  576. }
  577. // Initialize prepares the pipeline for the execution (Run()). This function
  578. // resolves the execution DAG, Configure()-s and Initialize()-s the items in it in the
  579. // topological dependency order. `facts` are passed inside Configure(). They are mutable.
  580. func (pipeline *Pipeline) Initialize(facts map[string]interface{}) error {
  581. if facts == nil {
  582. facts = map[string]interface{}{}
  583. }
  584. if _, exists := facts[ConfigPipelineCommits]; !exists {
  585. var err error
  586. facts[ConfigPipelineCommits], err = pipeline.Commits(false)
  587. if err != nil {
  588. log.Panicf("failed to list the commits: %v", err)
  589. }
  590. }
  591. pipeline.PrintActions, _ = facts[ConfigPipelinePrintActions].(bool)
  592. if val, exists := facts[ConfigPipelineHibernationDistance].(int); exists {
  593. if val < 0 {
  594. log.Panicf("--hibernation-distance cannot be negative (got %d)", val)
  595. }
  596. pipeline.HibernationDistance = val
  597. }
  598. dumpPath, _ := facts[ConfigPipelineDAGPath].(string)
  599. pipeline.resolve(dumpPath)
  600. if dumpPlan, exists := facts[ConfigPipelineDumpPlan].(bool); exists {
  601. pipeline.DumpPlan = dumpPlan
  602. }
  603. if dryRun, exists := facts[ConfigPipelineDryRun].(bool); exists {
  604. pipeline.DryRun = dryRun
  605. if dryRun {
  606. return nil
  607. }
  608. }
  609. for _, item := range pipeline.items {
  610. err := item.Configure(facts)
  611. if err != nil {
  612. return errors.Wrapf(err, "%s failed to configure", item.Name())
  613. }
  614. }
  615. for _, item := range pipeline.items {
  616. err := item.Initialize(pipeline.repository)
  617. if err != nil {
  618. return errors.Wrapf(err, "%s failed to initialize", item.Name())
  619. }
  620. }
  621. if pipeline.HibernationDistance > 0 {
  622. // if we want hibernation, then we want to minimize RSS
  623. debug.SetGCPercent(20) // the default is 100
  624. }
  625. return nil
  626. }
  627. // Run method executes the pipeline.
  628. //
  629. // `commits` is a slice with the git commits to analyse. Multiple branches are supported.
  630. //
  631. // Returns the mapping from each LeafPipelineItem to the corresponding analysis result.
  632. // There is always a "nil" record with CommonAnalysisResult.
  633. func (pipeline *Pipeline) Run(commits []*object.Commit) (map[LeafPipelineItem]interface{}, error) {
  634. startRunTime := time.Now()
  635. onProgress := pipeline.OnProgress
  636. if onProgress == nil {
  637. onProgress = func(int, int) {}
  638. }
  639. plan := prepareRunPlan(commits, pipeline.HibernationDistance, pipeline.DumpPlan)
  640. progressSteps := len(plan) + 2
  641. branches := map[int][]PipelineItem{}
  642. // we will need rootClone if there is more than one root branch
  643. var rootClone []PipelineItem
  644. if !pipeline.DryRun {
  645. rootClone = cloneItems(pipeline.items, 1)[0]
  646. }
  647. var newestTime int64
  648. runTimePerItem := map[string]float64{}
  649. isMerge := func(index int, commit plumbing.Hash) bool {
  650. match := false
  651. // look for the same hash backward
  652. for i := index - 1; i > 0; i-- {
  653. switch plan[i].Action {
  654. case runActionHibernate, runActionBoot:
  655. continue
  656. case runActionCommit:
  657. match = plan[i].Commit.Hash == commit
  658. fallthrough
  659. default:
  660. i = 0
  661. }
  662. }
  663. if match {
  664. return true
  665. }
  666. // look for the same hash forward
  667. for i := index + 1; i < len(plan); i++ {
  668. switch plan[i].Action {
  669. case runActionHibernate, runActionBoot:
  670. continue
  671. case runActionCommit:
  672. match = plan[i].Commit.Hash == commit
  673. fallthrough
  674. default:
  675. i = len(plan)
  676. }
  677. }
  678. return match
  679. }
  680. commitIndex := 0
  681. for index, step := range plan {
  682. onProgress(index+1, progressSteps)
  683. if pipeline.DryRun {
  684. continue
  685. }
  686. if pipeline.PrintActions {
  687. fmt.Fprintln(os.Stderr)
  688. printAction(step)
  689. }
  690. if index > 0 && index%100 == 0 && pipeline.HibernationDistance > 0 {
  691. debug.FreeOSMemory()
  692. }
  693. firstItem := step.Items[0]
  694. switch step.Action {
  695. case runActionCommit:
  696. state := map[string]interface{}{
  697. DependencyCommit: step.Commit,
  698. DependencyIndex: commitIndex,
  699. DependencyIsMerge: isMerge(index, step.Commit.Hash),
  700. }
  701. for _, item := range branches[firstItem] {
  702. startTime := time.Now()
  703. update, err := item.Consume(state)
  704. runTimePerItem[item.Name()] += time.Now().Sub(startTime).Seconds()
  705. if err != nil {
  706. log.Printf("%s failed on commit #%d (%d) %s\n",
  707. item.Name(), commitIndex+1, index+1, step.Commit.Hash.String())
  708. return nil, err
  709. }
  710. for _, key := range item.Provides() {
  711. val, ok := update[key]
  712. if !ok {
  713. log.Panicf("%s: Consume() did not return %s", item.Name(), key)
  714. }
  715. state[key] = val
  716. }
  717. }
  718. commitTime := step.Commit.Committer.When.Unix()
  719. if commitTime > newestTime {
  720. newestTime = commitTime
  721. }
  722. commitIndex++
  723. case runActionFork:
  724. startTime := time.Now()
  725. for i, clone := range cloneItems(branches[firstItem], len(step.Items)-1) {
  726. branches[step.Items[i+1]] = clone
  727. }
  728. runTimePerItem["*.Fork"] += time.Now().Sub(startTime).Seconds()
  729. case runActionMerge:
  730. startTime := time.Now()
  731. merged := make([][]PipelineItem, len(step.Items))
  732. for i, b := range step.Items {
  733. merged[i] = branches[b]
  734. }
  735. mergeItems(merged)
  736. runTimePerItem["*.Merge"] += time.Now().Sub(startTime).Seconds()
  737. case runActionEmerge:
  738. if firstItem == rootBranchIndex {
  739. branches[firstItem] = pipeline.items
  740. } else {
  741. branches[firstItem] = cloneItems(rootClone, 1)[0]
  742. }
  743. case runActionDelete:
  744. delete(branches, firstItem)
  745. case runActionHibernate:
  746. for _, item := range step.Items {
  747. for _, item := range branches[item] {
  748. if hi, ok := item.(HibernateablePipelineItem); ok {
  749. startTime := time.Now()
  750. err := hi.Hibernate()
  751. if err != nil {
  752. log.Panicf("Failed to hibernate %s: %v\n", item.Name(), err)
  753. }
  754. runTimePerItem[item.Name()+".Hibernation"] += time.Now().Sub(startTime).Seconds()
  755. }
  756. }
  757. }
  758. case runActionBoot:
  759. for _, item := range step.Items {
  760. for _, item := range branches[item] {
  761. if hi, ok := item.(HibernateablePipelineItem); ok {
  762. startTime := time.Now()
  763. err := hi.Boot()
  764. if err != nil {
  765. log.Panicf("Failed to boot %s: %v\n", item.Name(), err)
  766. }
  767. runTimePerItem[item.Name()+".Hibernation"] += time.Now().Sub(startTime).Seconds()
  768. }
  769. }
  770. }
  771. }
  772. }
  773. onProgress(len(plan)+1, progressSteps)
  774. result := map[LeafPipelineItem]interface{}{}
  775. if !pipeline.DryRun {
  776. for index, item := range getMasterBranch(branches) {
  777. if casted, ok := item.(LeafPipelineItem); ok {
  778. result[pipeline.items[index].(LeafPipelineItem)] = casted.Finalize()
  779. }
  780. }
  781. }
  782. onProgress(progressSteps, progressSteps)
  783. result[nil] = &CommonAnalysisResult{
  784. BeginTime: plan[0].Commit.Committer.When.Unix(),
  785. EndTime: newestTime,
  786. CommitsNumber: len(commits),
  787. RunTime: time.Since(startRunTime),
  788. RunTimePerItem: runTimePerItem,
  789. }
  790. return result, nil
  791. }
  792. // LoadCommitsFromFile reads the file by the specified FS path and generates the sequence of commits
  793. // by interpreting each line as a Git commit hash.
  794. func LoadCommitsFromFile(path string, repository *git.Repository) ([]*object.Commit, error) {
  795. var file io.ReadCloser
  796. if path != "-" {
  797. var err error
  798. file, err = os.Open(path)
  799. if err != nil {
  800. return nil, err
  801. }
  802. defer file.Close()
  803. } else {
  804. file = os.Stdin
  805. }
  806. scanner := bufio.NewScanner(file)
  807. var commits []*object.Commit
  808. for scanner.Scan() {
  809. hash := plumbing.NewHash(scanner.Text())
  810. if len(hash) != 20 {
  811. return nil, errors.New("invalid commit hash " + scanner.Text())
  812. }
  813. commit, err := repository.CommitObject(hash)
  814. if err != nil {
  815. return nil, err
  816. }
  817. commits = append(commits, commit)
  818. }
  819. return commits, nil
  820. }