2 goredo -- djb's redo implementation on pure Go
3 Copyright (C) 2020-2023 Sergey Matveev <stargrave@stargrave.org>
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.
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.
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/>.
42 "go.cypherpunks.ru/recfile"
43 "go.cypherpunks.ru/tai64n/v2"
44 "golang.org/x/sys/unix"
48 EnvDepFd = "REDO_DEP_FD"
49 EnvDirPrefix = "REDO_DIRPREFIX"
50 EnvDepCwd = "REDO_DEP_CWD"
51 EnvBuildUUID = "REDO_BUILD_UUID"
52 EnvStderrPrefix = "REDO_STDERR_PREFIX"
53 EnvTrace = "REDO_TRACE"
54 EnvStderrKeep = "REDO_LOGS"
55 EnvStderrSilent = "REDO_SILENT"
56 EnvNoSync = "REDO_NO_SYNC"
57 EnvStopIfMod = "REDO_STOP_IF_MODIFIED"
64 LogRecSuffix = ".log-rec"
78 flagStderrSilent *bool
79 flagForcedIfchange *bool
83 RunningProcs = map[int]*os.Process{}
84 RunningProcsM sync.Mutex
86 Err1WasTouched = errors.New("$1 was explicitly touched")
91 if !(cmdName == CmdNameRedo || cmdName == CmdNameRedoIfchange) {
94 flagTrace = flag.Bool("x", false, "trace (sh -x) current targets")
95 flagTraceAll = flag.Bool("xx", false,
96 fmt.Sprintf("trace (sh -x) all targets (%s=1)", EnvTrace))
97 flagStderrKeep = flag.Bool("k", false,
98 fmt.Sprintf("keep job's stderr (%s=1)", EnvStderrKeep))
99 flagStderrSilent = flag.Bool("s", false,
100 fmt.Sprintf("silent, do not print job's stderr (%s=1)", EnvStderrSilent))
101 flagForcedIfchange = flag.Bool("f", false, "forced redo-ifchange")
104 type RunError struct {
112 func (e *RunError) Name() string {
117 name = fmt.Sprintf("%s (%s)", e.Tgt, e.DoFile)
119 if e.Finished == nil {
122 return fmt.Sprintf("%s (%.3fs)", name, e.Finished.Sub(*e.Started).Seconds())
125 func (e RunError) Error() string {
126 return fmt.Sprintf("%s: %s", e.Name(), e.Err)
129 func mkdirs(pth string) error {
133 return os.MkdirAll(pth, os.FileMode(0777))
136 func isModified(depInfo *DepInfo, cwd, tgt string) (
137 modified bool, ourInode *Inode, hshPrev []byte, err error,
142 for _, dep := range depInfo.ifchanges {
146 ourInode, err = inodeFromFileByPath(path.Join(cwd, tgt))
148 if os.IsNotExist(err) {
156 modified = !ourInode.Equals(dep.inode)
162 func syncDir(dir string) error {
163 fd, err := os.Open(dir)
172 func runScript(tgtOrig string, errs chan error, forced, traced bool) error {
173 cwd, tgt := cwdAndTgt(tgtOrig)
174 redoDir := path.Join(cwd, RedoDir)
175 if err := mkdirs(redoDir); err != nil {
176 return TgtError{tgtOrig, ErrLine(err)}
179 shCtx := fmt.Sprintf("sh: %s: cwd:%s", tgtOrig, cwd)
180 jsToken := jsAcquire(shCtx)
181 jsNeedsRelease := true
184 jsRelease(shCtx, jsToken)
189 fdLock, err := os.OpenFile(
190 path.Join(redoDir, tgt+LockSuffix),
191 os.O_WRONLY|os.O_TRUNC|os.O_CREATE,
195 return TgtError{tgtOrig, ErrLine(err)}
197 flock := unix.Flock_t{
199 Whence: io.SeekStart,
201 lockRelease := func() {
202 tracef(CLock, "LOCK_UN: %s", fdLock.Name())
203 flock.Type = unix.F_UNLCK
204 if err := unix.FcntlFlock(fdLock.Fd(), unix.F_SETLK, &flock); err != nil {
205 log.Fatalln(err, fdLock.Name())
209 tracef(CLock, "LOCK_NB: %s", fdLock.Name())
211 // Waiting for job completion, already taken by someone else
212 if err = unix.FcntlFlock(fdLock.Fd(), unix.F_SETLK, &flock); err != nil {
213 if uintptr(err.(syscall.Errno)) != uintptr(unix.EAGAIN) {
215 return TgtError{tgtOrig, ErrLine(err)}
218 if err = unix.FcntlFlock(fdLock.Fd(), unix.F_GETLK, &flock); err != nil {
219 log.Fatalln(err, fdLock.Name())
221 tracef(CDebug, "waiting: %s (pid=%d)", tgtOrig, flock.Pid)
223 if _, err = FdStatus.Write([]byte{StatusWait}); err != nil {
229 tracef(CLock, "LOCK_EX: %s", fdLock.Name())
231 if err := unix.FcntlFlock(fdLock.Fd(), unix.F_SETLKW, &flock); err != nil {
232 if errors.Is(err, unix.EDEADLK) {
233 time.Sleep(10 * time.Millisecond)
236 log.Fatalln(err, fdLock.Name())
239 tracef(CDebug, "waiting done: %s", tgtOrig)
241 if _, err = FdStatus.Write([]byte{StatusWaited}); err != nil {
245 build, err := depReadBuild(path.Join(redoDir, tgt+DepSuffix))
247 if errors.Is(err, fs.ErrNotExist) {
248 err = errors.New("was not built: no .rec")
252 if build != BuildUUID {
253 err = errors.New("was not built: build differs")
257 err = TgtError{tgtOrig, err}
265 depInfo, err := depRead(path.Join(redoDir, tgt+DepSuffix))
267 if errors.Is(err, fs.ErrNotExist) {
271 return TgtError{tgtOrig, err}
275 // Check if it was already built in parallel
276 if !forced && depInfo != nil && depInfo.build == BuildUUID {
282 // Check if target is not modified externally
283 modified, inodePrev, hshPrev, err := isModified(depInfo, cwd, tgt)
286 return TgtError{tgtOrig, err}
291 return fmt.Errorf("%s externally modified", tgtOrig)
293 tracef(CWarn, "%s externally modified: not redoing", tgtOrig)
301 // Start preparing .rec
302 fdDep, err := tempfile(redoDir, tgt+DepSuffix)
305 return TgtError{tgtOrig, ErrLine(err)}
307 fdDepPath := fdDep.Name()
311 os.Remove(fdDep.Name())
313 if _, err = recfile.NewWriter(fdDep).WriteFields(
314 recfile.Field{Name: "Build", Value: BuildUUID},
317 return TgtError{tgtOrig, ErrLine(err)}
321 doFile, upLevels, err := findDo(fdDep, cwd, tgt)
324 return TgtError{tgtOrig, ErrLine(err)}
328 return TgtError{tgtOrig, errors.New("no .do found")}
331 // Determine basename and DIRPREFIX
332 doFileRelPath := doFile
333 ents := strings.Split(cwd, "/")
334 ents = ents[len(ents)-upLevels:]
335 dirPrefix := path.Join(ents...)
337 for i := 0; i < upLevels; i++ {
338 cwd = path.Join(cwd, "..")
339 doFileRelPath = path.Join("..", doFileRelPath)
341 cwd = path.Clean(cwd)
342 doFilePath := path.Join(cwd, doFile)
344 runErr := RunError{Tgt: tgtOrig}
345 if strings.HasPrefix(doFile, "default.") {
346 basename = tgt[:len(tgt)-(len(doFile)-len("default.")-len(".do"))-1]
347 runErr.DoFile = doFileRelPath
350 if err = depWrite(fdDep, cwdOrig, doFileRelPath, nil); err != nil {
352 return TgtError{tgtOrig, ErrLine(err)}
355 tracef(CWait, "%s", runErr.Name())
357 // Prepare command line
360 if err = unix.Access(doFilePath, unix.X_OK); err == nil {
362 args = make([]string, 0, 3)
365 if traced || TracedAll {
366 args = append(args, "-ex")
368 args = append(args, "-e")
370 args = append(args, doFile)
373 // Temporary file for stdout
374 fdStdout, err := tempfile(cwdOrig, tgt)
377 return TgtError{tgtOrig, ErrLine(err)}
379 stdoutPath := fdStdout.Name()
381 tmpPath := stdoutPath + ".3" // and for $3
382 tmpPathRel := mustRel(cwd, tmpPath)
385 path.Join(dirPrefix, tgt),
386 path.Join(dirPrefix, basename),
390 "sh: %s: %s %s cwd:%s dirprefix:%s",
391 tgtOrig, cmdName, args, cwd, dirPrefix,
394 cmd := exec.Command(cmdName, args...)
396 // cmd.Stdin reads from /dev/null by default
397 cmd.Env = append(os.Environ(), fmt.Sprintf("%s=%d", EnvLevel, Level+1))
398 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvDirPrefix, dirPrefix))
399 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvBuildUUID, BuildUUID))
401 childStderrPrefixRaw := make([]byte, 8)
402 if _, err = io.ReadFull(rand.Reader, childStderrPrefixRaw); err != nil {
405 childStderrPrefix := hex.EncodeToString(childStderrPrefixRaw)
406 cmd.Env = append(cmd.Env, fmt.Sprintf(
407 "%s=%s", EnvStderrPrefix, childStderrPrefix,
411 cmd.ExtraFiles = append(cmd.ExtraFiles, FdOODTgts)
412 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvOODTgtsFd, 3+fdNum))
414 cmd.ExtraFiles = append(cmd.ExtraFiles, FdOODTgtsLock)
415 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvOODTgtsLockFd, 3+fdNum))
419 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=NO", EnvStatusFd))
421 cmd.ExtraFiles = append(cmd.ExtraFiles, FdStatus)
422 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvStatusFd, 3+fdNum))
427 var fdStderr *os.File
429 fdStderr, err = os.OpenFile(
430 path.Join(redoDir, tgt+LogSuffix),
431 os.O_WRONLY|os.O_CREATE|os.O_TRUNC,
436 return TgtError{tgtOrig, ErrLine(err)}
439 tracef(CDebug, "%s", shCtx)
441 jsNeedsRelease = false
446 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=NO", EnvJobs))
448 cmd.ExtraFiles = append(cmd.ExtraFiles, JSR)
449 cmd.ExtraFiles = append(cmd.ExtraFiles, JSW)
450 makeFlags := fmt.Sprintf(
451 "%s %s%d,%d", MakeFlags, MakeJSArg, 3+fdNum+0, 3+fdNum+1,
453 makeFlags = strings.Trim(makeFlags, " ")
454 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", MakeFlagsName, makeFlags))
456 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvJSToken, jsToken))
460 if _, err = FdStatus.Write([]byte{StatusRun}); err != nil {
465 defer jsRelease(shCtx, jsToken)
467 var finished time.Time
468 var exitErr *exec.ExitError
469 started := time.Now()
470 runErr.Started = &started
471 fdStdout, err = os.OpenFile(stdoutPath, os.O_RDWR, os.FileMode(0666))
480 cmd.Stdout = fdStdout
481 fdDep, err = os.OpenFile(fdDepPath, os.O_WRONLY|os.O_APPEND, os.FileMode(0666))
491 cmd.ExtraFiles = append(cmd.ExtraFiles, fdDep)
492 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvDepFd, 3+fdNum))
494 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvDepCwd, cwd))
501 logRecPath := path.Join(redoDir, tgt+LogRecSuffix)
502 if fdStderr, err = os.OpenFile(
504 os.O_WRONLY|os.O_CREATE|os.O_TRUNC,
507 fields := []recfile.Field{
508 {Name: "Build", Value: BuildUUID},
509 {Name: "PPID", Value: strconv.Itoa(os.Getpid())},
510 {Name: "Cwd", Value: cwd},
512 if cmd.Process != nil {
513 fields = append(fields, recfile.Field{
514 Name: "PID", Value: strconv.Itoa(cmd.Process.Pid),
517 ts := new(tai64n.TAI64N)
519 fields = append(fields,
520 recfile.Field{Name: "Started", Value: tai64n.Encode(ts[:])},
522 ts.FromTime(finished)
523 fields = append(fields,
524 recfile.Field{Name: "Finished", Value: tai64n.Encode(ts[:])})
525 fields = append(fields, recfile.Field{
527 Value: strconv.FormatInt(finished.Sub(started).Nanoseconds(), 10),
529 fields = append(fields, recfile.Field{Name: "Cmd", Value: cmdName})
530 for _, arg := range args {
531 fields = append(fields, recfile.Field{Name: "Arg", Value: arg})
533 for _, env := range cmd.Env {
534 fields = append(fields, recfile.Field{Name: "Env", Value: env})
537 fields = append(fields, recfile.Field{
539 Value: strconv.Itoa(exitErr.ProcessState.ExitCode()),
542 w := bufio.NewWriter(fdStderr)
544 depInfo, err := depRead(fdDepPath)
549 for _, dep := range depInfo.ifchanges {
550 fields = append(fields, recfile.Field{
555 _, err = recfile.NewWriter(w).WriteFields(fields...)
560 err = ErrLine(w.Flush())
564 os.Remove(logRecPath)
568 log.Println("can not open", logRecPath, ":", err)
572 os.Remove(fdDep.Name())
573 os.Remove(fdStdout.Name())
576 if _, err = FdStatus.Write([]byte{StatusDone}); err != nil {
582 stderr, err := cmd.StderrPipe()
596 RunningProcs[cmd.Process.Pid] = cmd.Process
597 RunningProcsM.Unlock()
598 pid := fmt.Sprintf("[%d]", cmd.Process.Pid)
599 tracef(CDebug, "%s runs %s", tgtOrig, pid)
601 stderrTerm := make(chan struct{})
603 scanner := bufio.NewScanner(stderr)
605 ts := new(tai64n.TAI64N)
607 line = scanner.Text()
608 if strings.HasPrefix(line, childStderrPrefix) {
609 line = line[len(childStderrPrefix):]
610 os.Stderr.WriteString(StderrPrefix + line + "\n")
614 ts.FromTime(time.Now())
616 fmt.Fprintln(fdStderr, tai64n.Encode(ts[:]), line)
623 tracef(CNone, "%s", line)
625 tracef(CNone, "%s %s", pid, line)
631 // Wait for job completion
635 delete(RunningProcs, cmd.Process.Pid)
636 RunningProcsM.Unlock()
637 finished = time.Now()
638 runErr.Finished = &finished
640 exitErr = err.(*exec.ExitError)
647 if inode, err := inodeFromFileByPath(path.Join(cwdOrig, tgt)); err == nil {
648 if inodePrev == nil {
649 runErr.Err = Err1WasTouched
658 if !inode.Equals(inodePrev) {
659 runErr.Err = Err1WasTouched
665 if inodePrev != nil {
666 if inode, err := inodeFromFileByPath(path.Join(cwdOrig, tgt)); err == nil {
667 if !inode.Equals(inodePrev) {
668 runErr.Err = Err1WasTouched
675 // Does it produce both stdout and tmp?
676 fiStdout, err := os.Stat(fdStdout.Name())
678 runErr.Err = ErrLine(err)
683 _, err = os.Stat(tmpPath)
685 if fiStdout.Size() > 0 {
686 runErr.Err = errors.New("created both tmp and stdout")
691 } else if !errors.Is(err, fs.ErrNotExist) {
692 runErr.Err = ErrLine(err)
697 // Determine what file we must process at last
700 fd, err = os.Open(tmpPath)
706 } else if fiStdout.Size() > 0 {
710 // Do we need to ifcreate it, or ifchange with renaming?
712 os.Remove(path.Join(cwdOrig, tgt))
713 err = ifcreate(fdDep, tgt)
721 _, err = fd.Seek(0, io.SeekStart)
726 hsh, err = fileHash(fd)
731 if bytes.Equal(hsh, hshPrev) {
732 tracef(CDebug, "%s has same hash, not renaming", tgtOrig)
733 err = ErrLine(os.Remove(fd.Name()))
737 err = ErrLine(os.Chtimes(path.Join(cwdOrig, tgt), finished, finished))
742 err = ErrLine(syncDir(cwdOrig))
747 err = ErrLine(depWrite(fdDep, cwdOrig, tgt, hsh))
755 err = ErrLine(fd.Sync())
760 err = ErrLine(os.Rename(fd.Name(), path.Join(cwdOrig, tgt)))
765 err = ErrLine(syncDir(cwdOrig))
770 err = ErrLine(depWrite(fdDep, cwdOrig, tgt, hsh))
779 err = ErrLine(fdDep.Sync())
784 fdDepPath = path.Join(redoDir, tgt+DepSuffix)
785 err = ErrLine(os.Rename(fdDep.Name(), fdDepPath))
790 err = ErrLine(syncDir(redoDir))
797 // Post-commit .rec sanitizing
798 if depInfo, err := depRead(fdDepPath); err == nil {
799 ifchangeSeen := make(map[string]struct{}, len(depInfo.ifchanges))
800 for _, dep := range depInfo.ifchanges {
801 ifchangeSeen[dep.tgt] = struct{}{}
803 for _, dep := range depInfo.ifcreates {
804 if _, exists := ifchangeSeen[dep]; exists {
805 tracef(CWarn, "simultaneous ifcreate and ifchange records: %s", tgt)
808 } else if errors.Is(err, fs.ErrNotExist) {
822 func isOkRun(err error) bool {
827 if errors.As(err, &runErr) && runErr.Err == nil {
828 tracef(CRedo, "%s", runErr.Name())
831 tracef(CErr, "%s", err)