main.go

   1 /*
   2 goredo -- djb's redo implementation on pure Go
   3 Copyright (C) 2020-2023 Sergey Matveev <stargrave@stargrave.org>
   4
   5 This program is free software: you can redistribute it and/or modify
   6 it under the terms of the GNU General Public License as published by
   7 the Free Software Foundation, version 3 of the License.
   8
   9 This program is distributed in the hope that it will be useful,
  10 but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 GNU General Public License for more details.
  13
  14 You should have received a copy of the GNU General Public License
  15 along with this program.  If not, see <http://www.gnu.org/licenses/>.
  16 */
  17
  18 package main
  19
  20 import (
  21         "bufio"
  22         "bytes"
  23         "crypto/rand"
  24         "errors"
  25         "flag"
  26         "fmt"
  27         "io"
  28         "log"
  29         "os"
  30         "os/signal"
  31         "path"
  32         "path/filepath"
  33         "runtime"
  34         "sort"
  35         "strconv"
  36         "syscall"
  37
  38         "go.cypherpunks.ru/recfile"
  39         "golang.org/x/sys/unix"
  40 )
  41
  42 const (
  43         CmdNameGoredo       = "goredo"
  44         CmdNameRedo         = "redo"
  45         CmdNameRedoAffects  = "redo-affects"
  46         CmdNameRedoAlways   = "redo-always"
  47         CmdNameRedoCleanup  = "redo-cleanup"
  48         CmdNameRedoDot      = "redo-dot"
  49         CmdNameRedoIfchange = "redo-ifchange"
  50         CmdNameRedoIfcreate = "redo-ifcreate"
  51         CmdNameRedoLog      = "redo-log"
  52         CmdNameRedoOOD      = "redo-ood"
  53         CmdNameRedoSources  = "redo-sources"
  54         CmdNameRedoStamp    = "redo-stamp"
  55         CmdNameRedoTargets  = "redo-targets"
  56         CmdNameRedoWhichdo  = "redo-whichdo"
  57         CmdNameRedoDepFix   = "redo-depfix"
  58         CmdNameRedoInode    = "redo-inode"
  59 )
  60
  61 var (
  62         Cwd       string
  63         BuildUUID string
  64         IsTopRedo bool // is it the top redo instance
  65         UmaskCur  int
  66 )
  67
  68 func mustSetenv(key string) {
  69         if err := os.Setenv(key, "1"); err != nil {
  70                 panic(err)
  71         }
  72 }
  73
  74 func mustParseFd(v, name string) *os.File {
  75         ptr, err := strconv.ParseUint(v, 10, 64)
  76         if err != nil {
  77                 panic(err)
  78         }
  79         fd := os.NewFile(uintptr(ptr), name)
  80         if fd == nil {
  81                 panic("can not parse fd: " + name)
  82         }
  83         return fd
  84 }
  85
  86 func CmdName() string {
  87         return path.Base(os.Args[0])
  88 }
  89
  90 func main() {
  91         version := flag.Bool("version", false, "print version")
  92         warranty := flag.Bool("warranty", false, "print warranty information")
  93
  94         var symlinks *bool
  95         cmdName := CmdName()
  96         if cmdName == "goredo" {
  97                 symlinks = flag.Bool("symlinks", false, "create necessary symlinks in current directory")
  98         }
  99
 100         flag.Usage = func() { usage(os.Args[0]) }
 101         flag.Parse()
 102         if *warranty {
 103                 fmt.Println(Warranty)
 104                 return
 105         }
 106         if *version {
 107                 fmt.Println("goredo", Version, "built with", runtime.Version())
 108                 return
 109         }
 110         if cmdName == CmdNameGoredo && *symlinks {
 111                 rc := 0
 112                 for _, cmdName := range []string{
 113                         CmdNameRedo,
 114                         CmdNameRedoAffects,
 115                         CmdNameRedoAlways,
 116                         CmdNameRedoCleanup,
 117                         CmdNameRedoDepFix,
 118                         CmdNameRedoDot,
 119                         CmdNameRedoIfchange,
 120                         CmdNameRedoIfcreate,
 121                         CmdNameRedoLog,
 122                         CmdNameRedoOOD,
 123                         CmdNameRedoSources,
 124                         CmdNameRedoStamp,
 125                         CmdNameRedoTargets,
 126                         CmdNameRedoWhichdo,
 127                 } {
 128                         fmt.Println(os.Args[0], "<-", cmdName)
 129                         if err := os.Symlink(os.Args[0], cmdName); err != nil {
 130                                 rc = 1
 131                                 log.Print(err)
 132                         }
 133                 }
 134                 os.Exit(rc)
 135         }
 136         log.SetFlags(log.Lshortfile)
 137
 138         UmaskCur = syscall.Umask(0)
 139         syscall.Umask(UmaskCur)
 140
 141         var err error
 142         Cwd, err = os.Getwd()
 143         if err != nil {
 144                 log.Fatal(err)
 145         }
 146
 147         TopDir = os.Getenv(EnvTopDir)
 148         if TopDir == "" {
 149                 TopDir = "/"
 150         } else {
 151                 TopDir = mustAbs(TopDir)
 152         }
 153         DirPrefix = os.Getenv(EnvDirPrefix)
 154         DepCwd = os.Getenv(EnvDepCwd)
 155
 156         if flagStderrKeep != nil && *flagStderrKeep {
 157                 mustSetenv(EnvStderrKeep)
 158         }
 159         if flagStderrSilent != nil && *flagStderrSilent {
 160                 mustSetenv(EnvStderrSilent)
 161         }
 162         if flagNoProgress != nil && *flagNoProgress {
 163                 mustSetenv(EnvNoProgress)
 164         }
 165         if flagDebug != nil && *flagDebug {
 166                 mustSetenv(EnvDebug)
 167         }
 168         if flagLogWait != nil && *flagLogWait {
 169                 mustSetenv(EnvLogWait)
 170         }
 171         if flagLogLock != nil && *flagLogLock {
 172                 mustSetenv(EnvLogLock)
 173         }
 174         if flagLogPid != nil && *flagLogPid {
 175                 mustSetenv(EnvLogPid)
 176         }
 177         if flagLogJS != nil && *flagLogJS {
 178                 mustSetenv(EnvLogJS)
 179         }
 180         StderrKeep = os.Getenv(EnvStderrKeep) == "1"
 181         StderrSilent = os.Getenv(EnvStderrSilent) == "1"
 182         NoProgress = os.Getenv(EnvNoProgress) == "1"
 183         Debug = os.Getenv(EnvDebug) == "1"
 184         LogWait = os.Getenv(EnvLogWait) == "1"
 185         LogLock = os.Getenv(EnvLogLock) == "1"
 186         LogJS = os.Getenv(EnvLogJS) == "1"
 187         if Debug || os.Getenv(EnvLogPid) == "1" {
 188                 MyPid = os.Getpid()
 189         }
 190         var traced bool
 191         if flagTraceAll != nil && *flagTraceAll {
 192                 mustSetenv(EnvTrace)
 193         }
 194         if os.Getenv(EnvTrace) == "1" {
 195                 TracedAll = true
 196                 traced = true
 197         } else if flagTrace != nil {
 198                 traced = *flagTrace
 199         }
 200         NoColor = os.Getenv(EnvNoColor) != ""
 201         NoSync = os.Getenv(EnvNoSync) == "1"
 202         StopIfMod = os.Getenv(EnvStopIfMod) == "1"
 203         switch s := os.Getenv(EnvInodeTrust); s {
 204         case "none":
 205                 InodeTrust = InodeTrustNone
 206         case "", "ctime":
 207                 InodeTrust = InodeTrustCtime
 208         case "mtime":
 209                 InodeTrust = InodeTrustMtime
 210         default:
 211                 log.Fatalln("unknown", EnvInodeTrust, "value")
 212         }
 213         tracef(CDebug, "inode-trust: %s", InodeTrust)
 214
 215         // Those are internal envs
 216         FdOODTgts, err = os.CreateTemp("", "ood-tgts")
 217         if err != nil {
 218                 log.Fatal(err)
 219         }
 220         if err = os.Remove(FdOODTgts.Name()); err != nil {
 221                 log.Fatal(err)
 222         }
 223         FdOODTgtsLock, err = os.CreateTemp("", "ood-tgts.lock")
 224         if err != nil {
 225                 log.Fatal(err)
 226         }
 227         if err = os.Remove(FdOODTgtsLock.Name()); err != nil {
 228                 log.Fatal(err)
 229         }
 230
 231         if v := os.Getenv(EnvOODTgtsFd); v != "" {
 232                 fd := mustParseFd(v, EnvOODTgtsFd)
 233                 fdLock := mustParseFd(v, EnvOODTgtsLockFd)
 234                 flock := unix.Flock_t{
 235                         Type:   unix.F_WRLCK,
 236                         Whence: io.SeekStart,
 237                 }
 238                 if err = unix.FcntlFlock(fdLock.Fd(), unix.F_SETLKW, &flock); err != nil {
 239                         log.Fatal(err)
 240                 }
 241                 if _, err = fd.Seek(0, io.SeekStart); err != nil {
 242                         log.Fatal(err)
 243                 }
 244                 tgtsRaw, err := io.ReadAll(bufio.NewReader(fd))
 245                 if err != nil {
 246                         log.Fatal(err)
 247                 }
 248                 flock.Type = unix.F_UNLCK
 249                 if err = unix.FcntlFlock(fdLock.Fd(), unix.F_SETLK, &flock); err != nil {
 250                         log.Fatal(err)
 251                 }
 252                 OODTgts = map[string]struct{}{}
 253                 for _, tgtRaw := range bytes.Split(tgtsRaw, []byte{0}) {
 254                         t := string(tgtRaw)
 255                         if t == "" {
 256                                 continue
 257                         }
 258                         OODTgts[t] = struct{}{}
 259                         tracef(CDebug, "ood: known to be: %s", t)
 260                 }
 261         }
 262
 263         StderrPrefix = os.Getenv(EnvStderrPrefix)
 264         if v := os.Getenv(EnvLevel); v != "" {
 265                 Level, err = strconv.Atoi(v)
 266                 if err != nil {
 267                         panic(err)
 268                 }
 269                 if Level < 0 {
 270                         panic("negative " + EnvLevel)
 271                 }
 272         }
 273
 274         var fdDep *os.File
 275         if v := os.Getenv(EnvDepFd); v != "" {
 276                 fdDep = mustParseFd(v, EnvDepFd)
 277         }
 278
 279         tgts := flag.Args()
 280         BuildUUID = os.Getenv(EnvBuildUUID)
 281         tgtsWasEmpty := len(tgts) == 0
 282         if BuildUUID == "" {
 283                 IsTopRedo = true
 284                 raw := new([16]byte)
 285                 if _, err = io.ReadFull(rand.Reader, raw[:]); err != nil {
 286                         log.Fatal(err)
 287                 }
 288                 raw[6] = (raw[6] & 0x0F) | uint8(4<<4) // version 4
 289                 BuildUUID = fmt.Sprintf(
 290                         "%x-%x-%x-%x-%x",
 291                         raw[0:4], raw[4:6], raw[6:8], raw[8:10], raw[10:],
 292                 )
 293                 if tgtsWasEmpty {
 294                         tgts = []string{"all"}
 295                 }
 296         }
 297
 298         if cmdName == CmdNameRedo {
 299                 statusInit()
 300         }
 301
 302         for i, tgt := range tgts {
 303                 if path.IsAbs(tgt) {
 304                         tgts[i] = cwdMustRel(tgt)
 305                 }
 306         }
 307
 308         killed := make(chan os.Signal, 1)
 309         signal.Notify(killed, syscall.SIGHUP, syscall.SIGINT, syscall.SIGTERM)
 310         go func() {
 311                 <-killed
 312                 tracef(CDebug, "[%s] killed", BuildUUID)
 313                 jsReleaseAll()
 314                 RunningProcsM.Lock()
 315                 for pid, proc := range RunningProcs {
 316                         tracef(CDebug, "[%s] killing child %d", BuildUUID, pid)
 317                         _ = proc.Signal(syscall.SIGTERM)
 318                 }
 319                 os.Exit(1)
 320         }()
 321
 322         ok := true
 323         err = nil
 324         tracef(
 325                 CDebug, "[%s] run: %s %s cwd:%s dirprefix:%s",
 326                 BuildUUID, cmdName, tgts, Cwd, DirPrefix,
 327         )
 328
 329 CmdSwitch:
 330         switch cmdName {
 331         case CmdNameRedo:
 332                 for _, tgt := range tgts {
 333                         ok, err = ifchange([]string{tgt}, true, traced)
 334                         if err != nil || !ok {
 335                                 break
 336                         }
 337                 }
 338         case CmdNameRedoIfchange:
 339                 ok, err = ifchange(tgts, *flagForcedIfchange, traced)
 340                 if err == nil {
 341                         err = depsWrite(fdDep, tgts)
 342                 }
 343         case CmdNameRedoIfcreate:
 344                 if fdDep == nil {
 345                         log.Fatalln("no", EnvDepFd)
 346                 }
 347                 for _, tgt := range tgts {
 348                         tgtRel, err := filepath.Rel(
 349                                 path.Join(Cwd, DirPrefix),
 350                                 path.Join(Cwd, tgt),
 351                         )
 352                         if err != nil {
 353                                 err = ErrLine(err)
 354                                 break
 355                         }
 356                         err = ifcreate(fdDep, tgtRel)
 357                         if err != nil {
 358                                 break
 359                         }
 360                 }
 361         case CmdNameRedoAlways:
 362                 if fdDep == nil {
 363                         log.Fatalln("no", EnvDepFd)
 364                 }
 365                 err = always(fdDep)
 366         case CmdNameRedoCleanup:
 367                 for _, what := range tgts {
 368                         err = cleanupWalker(Cwd, what)
 369                         if err != nil {
 370                                 break
 371                         }
 372                 }
 373         case CmdNameRedoDot:
 374                 err = dotPrint(tgts)
 375         case CmdNameRedoStamp:
 376                 if fdDep == nil {
 377                         log.Fatalln("no", EnvDepFd)
 378                 }
 379                 err = stamp(fdDep, os.Stdin)
 380         case CmdNameRedoLog:
 381                 if len(tgts) != 1 {
 382                         log.Fatal("single target expected")
 383                 }
 384                 d, t := cwdAndTgt(tgts[0])
 385                 err = showBuildLog(d, t, nil, 0)
 386         case CmdNameRedoWhichdo:
 387                 if len(tgts) != 1 {
 388                         log.Fatal("single target expected")
 389                 }
 390                 var fdTmp *os.File
 391                 fdTmp, err = os.CreateTemp("", "whichdo")
 392                 if err != nil {
 393                         err = ErrLine(err)
 394                         break
 395                 }
 396                 if err = os.Remove(fdTmp.Name()); err != nil {
 397                         err = ErrLine(err)
 398                         break
 399                 }
 400                 cwd, tgt := cwdAndTgt(tgts[0])
 401                 doFile, upLevels, err := findDo(fdTmp, cwd, tgt)
 402                 if err != nil {
 403                         err = ErrLine(err)
 404                         break
 405                 }
 406                 _, err = fdTmp.Seek(0, io.SeekStart)
 407                 if err != nil {
 408                         err = ErrLine(err)
 409                         break
 410                 }
 411                 r := recfile.NewReader(fdTmp)
 412                 for {
 413                         m, err := r.NextMap()
 414                         if err != nil {
 415                                 if errors.Is(err, io.EOF) {
 416                                         break
 417                                 }
 418                                 err = ErrLine(err)
 419                                 break CmdSwitch
 420                         }
 421                         fmt.Println(cwdMustRel(cwd, m["Target"]))
 422                 }
 423                 if doFile == "" {
 424                         ok = false
 425                 } else {
 426                         p := make([]string, 0, upLevels+2)
 427                         p = append(p, cwd)
 428                         for i := 0; i < upLevels; i++ {
 429                                 p = append(p, "..")
 430                         }
 431                         p = append(p, doFile)
 432                         rel := mustRel(Cwd, path.Join(p...))
 433                         fmt.Println(rel)
 434                 }
 435         case CmdNameRedoTargets:
 436                 if tgtsWasEmpty {
 437                         tgts = []string{Cwd}
 438                 }
 439                 tgts, err = targetsWalker(tgts)
 440                 if err != nil {
 441                         err = ErrLine(err)
 442                         break
 443                 }
 444                 sort.Strings(tgts)
 445                 for _, tgt := range tgts {
 446                         fmt.Println(tgt)
 447                 }
 448         case CmdNameRedoAffects:
 449                 if tgtsWasEmpty {
 450                         log.Fatal("no targets specified")
 451                 }
 452                 var tgtsKnown []string
 453                 tgtsKnown, err = targetsWalker([]string{Cwd})
 454                 if err != nil {
 455                         err = ErrLine(err)
 456                         break
 457                 }
 458                 deps := map[string]map[string]struct{}{}
 459                 for _, tgt := range tgtsKnown {
 460                         collectDeps(Cwd, tgt, 0, deps, true, map[string]struct{}{})
 461                 }
 462                 seen := map[string]struct{}{}
 463                 for _, tgt := range tgts {
 464                         collectWholeDeps(deps[tgt], deps, seen)
 465                 }
 466                 tgts := make([]string, 0, len(seen))
 467                 for dep := range seen {
 468                         tgts = append(tgts, dep)
 469                 }
 470                 sort.Strings(tgts)
 471                 for _, dep := range tgts {
 472                         fmt.Println(dep)
 473                 }
 474         case CmdNameRedoOOD:
 475                 if tgtsWasEmpty {
 476                         tgts, err = targetsWalker([]string{Cwd})
 477                         if err != nil {
 478                                 break
 479                         }
 480                 }
 481                 sort.Strings(tgts)
 482                 var ood bool
 483                 for _, tgt := range tgts {
 484                         ood, err = isOOD(Cwd, tgt, 0, nil)
 485                         if err != nil {
 486                                 err = ErrLine(err)
 487                                 break
 488                         }
 489                         if ood {
 490                                 fmt.Println(tgt)
 491                         }
 492                 }
 493         case CmdNameRedoSources:
 494                 if tgtsWasEmpty {
 495                         tgts, err = targetsWalker([]string{Cwd})
 496                         if err != nil {
 497                                 err = ErrLine(err)
 498                                 break
 499                         }
 500                 }
 501                 sort.Strings(tgts)
 502                 var srcs []string
 503                 srcs, err = sourcesWalker(tgts)
 504                 err = ErrLine(err)
 505                 sort.Strings(srcs)
 506                 for _, src := range srcs {
 507                         fmt.Println(src)
 508                 }
 509         case CmdNameRedoDepFix:
 510                 err = depFix(Cwd)
 511         case CmdNameRedoInode:
 512                 var inode *Inode
 513                 for _, tgt := range tgts {
 514                         inode, err = inodeFromFileByPath(tgt)
 515                         if err != nil {
 516                                 err = ErrLine(err)
 517                                 break
 518                         }
 519                         err = recfileWrite(os.Stdout, append(
 520                                 []recfile.Field{{Name: "Target", Value: tgt}},
 521                                 inode.RecfileFields()...)...)
 522                         if err != nil {
 523                                 err = ErrLine(err)
 524                                 break
 525                         }
 526                 }
 527         default:
 528                 log.Fatalln("unknown command", cmdName)
 529         }
 530         if err != nil {
 531                 log.Print(err)
 532         }
 533         rc := 0
 534         if !ok || err != nil {
 535                 rc = 1
 536         }
 537         tracef(CDebug, "[%s] finished: %s %s", BuildUUID, cmdName, tgts)
 538         os.Exit(rc)
 539 }