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/>.
40 "go.cypherpunks.ru/recfile"
41 "go.cypherpunks.ru/tai64n/v2"
42 "golang.org/x/sys/unix"
46 EnvDepFd = "REDO_DEP_FD"
47 EnvDirPrefix = "REDO_DIRPREFIX"
48 EnvDepCwd = "REDO_DEP_CWD"
49 EnvBuildUUID = "REDO_BUILD_UUID"
50 EnvStderrPrefix = "REDO_STDERR_PREFIX"
51 EnvTrace = "REDO_TRACE"
52 EnvStderrKeep = "REDO_LOGS"
53 EnvStderrSilent = "REDO_SILENT"
54 EnvNoSync = "REDO_NO_SYNC"
55 EnvStopIfMod = "REDO_STOP_IF_MODIFIED"
62 LogRecSuffix = ".log-rec"
76 flagStderrSilent *bool
77 flagForcedIfchange *bool
81 RunningProcs = map[int]*os.Process{}
82 RunningProcsM sync.Mutex
84 Err1WasTouched = errors.New("$1 was explicitly touched")
89 if !(cmdName == CmdNameRedo || cmdName == CmdNameRedoIfchange) {
92 flagTrace = flag.Bool("x", false, "trace (sh -x) current targets")
93 flagTraceAll = flag.Bool("xx", false,
94 fmt.Sprintf("trace (sh -x) all targets (%s=1)", EnvTrace))
95 flagStderrKeep = flag.Bool("k", false,
96 fmt.Sprintf("keep job's stderr (%s=1)", EnvStderrKeep))
97 flagStderrSilent = flag.Bool("s", false,
98 fmt.Sprintf("silent, do not print job's stderr (%s=1)", EnvStderrSilent))
99 flagForcedIfchange = flag.Bool("f", false, "forced redo-ifchange")
102 type RunError struct {
110 func (e *RunError) Name() string {
115 name = fmt.Sprintf("%s (%s)", e.Tgt, e.DoFile)
117 if e.Finished == nil {
120 return fmt.Sprintf("%s (%.3fs)", name, e.Finished.Sub(*e.Started).Seconds())
123 func (e RunError) Error() string {
124 return fmt.Sprintf("%s: %s", e.Name(), e.Err)
127 func mkdirs(pth string) error {
131 return os.MkdirAll(pth, os.FileMode(0777))
134 func isModified(cwd, redoDir, tgt string) (bool, *Inode, string, error) {
135 fdDep, err := os.Open(path.Join(redoDir, tgt+DepSuffix))
137 if os.IsNotExist(err) {
138 return false, nil, "", nil
140 return false, nil, "", ErrLine(err)
143 r := recfile.NewReader(fdDep)
148 m, err := r.NextMap()
150 if errors.Is(err, io.EOF) {
153 return false, nil, "", ErrLine(err)
155 if m["Type"] != DepTypeIfchange || m["Target"] != tgt {
158 ourInode, err = inodeFromFileByPath(path.Join(cwd, tgt))
160 if os.IsNotExist(err) {
161 return false, nil, "", nil
163 return false, nil, "", ErrLine(err)
165 theirInode, err := inodeFromRec(m)
167 return false, nil, "", ErrLine(err)
170 modified = !ourInode.Equals(theirInode)
173 return modified, ourInode, hshPrev, nil
176 func syncDir(dir string) error {
177 fd, err := os.Open(dir)
186 func runScript(tgtOrig string, errs chan error, forced, traced bool) error {
187 cwd, tgt := cwdAndTgt(tgtOrig)
188 redoDir := path.Join(cwd, RedoDir)
189 if err := mkdirs(redoDir); err != nil {
190 return TgtError{tgtOrig, ErrLine(err)}
193 shCtx := fmt.Sprintf("sh: %s: cwd:%s", tgtOrig, cwd)
194 jsToken := jsAcquire(shCtx)
195 jsNeedsRelease := true
198 jsRelease(shCtx, jsToken)
203 fdLock, err := os.OpenFile(
204 path.Join(redoDir, tgt+LockSuffix),
205 os.O_WRONLY|os.O_TRUNC|os.O_CREATE,
209 return TgtError{tgtOrig, ErrLine(err)}
211 flock := unix.Flock_t{
213 Whence: io.SeekStart,
215 lockRelease := func() {
216 tracef(CLock, "LOCK_UN: %s", fdLock.Name())
217 flock.Type = unix.F_UNLCK
218 if err := unix.FcntlFlock(fdLock.Fd(), unix.F_SETLK, &flock); err != nil {
219 log.Fatalln(err, fdLock.Name())
223 tracef(CLock, "LOCK_NB: %s", fdLock.Name())
225 // Waiting for job completion, already taken by someone else
226 if err = unix.FcntlFlock(fdLock.Fd(), unix.F_SETLK, &flock); err != nil {
227 if uintptr(err.(syscall.Errno)) != uintptr(unix.EAGAIN) {
229 return TgtError{tgtOrig, ErrLine(err)}
232 if err = unix.FcntlFlock(fdLock.Fd(), unix.F_GETLK, &flock); err != nil {
233 log.Fatalln(err, fdLock.Name())
235 tracef(CDebug, "waiting: %s (pid=%d)", tgtOrig, flock.Pid)
237 if _, err = FdStatus.Write([]byte{StatusWait}); err != nil {
243 tracef(CLock, "LOCK_EX: %s", fdLock.Name())
245 if err := unix.FcntlFlock(fdLock.Fd(), unix.F_SETLKW, &flock); err != nil {
246 if errors.Is(err, unix.EDEADLK) {
247 time.Sleep(10 * time.Millisecond)
250 log.Fatalln(err, fdLock.Name())
253 tracef(CDebug, "waiting done: %s", tgtOrig)
255 if _, err = FdStatus.Write([]byte{StatusWaited}); err != nil {
260 fdDep, err := os.Open(path.Join(redoDir, tgt+DepSuffix))
262 if errors.Is(err, fs.ErrNotExist) {
263 err = errors.New("was not built: no .rec")
268 depInfo, err = depRead(fdDep)
272 if depInfo.build != BuildUUID {
273 err = errors.New("was not built: build differs")
277 err = TgtError{tgtOrig, err}
285 // Check if it was already built in parallel
287 if fdDep, err := os.Open(path.Join(redoDir, tgt+DepSuffix)); err == nil {
288 depInfo, err := depRead(fdDep)
290 if err == nil && depInfo.build == BuildUUID {
298 // Check if target is not modified externally
299 modified, inodePrev, hshPrev, err := isModified(cwd, redoDir, tgt)
302 return TgtError{tgtOrig, err}
307 return fmt.Errorf("%s externally modified", tgtOrig)
309 tracef(CWarn, "%s externally modified: not redoing", tgtOrig)
316 // Start preparing .rec
317 fdDep, err := tempfile(redoDir, tgt+DepSuffix)
320 return TgtError{tgtOrig, ErrLine(err)}
322 fdDepPath := fdDep.Name()
326 os.Remove(fdDep.Name())
328 if _, err = recfile.NewWriter(fdDep).WriteFields(
329 recfile.Field{Name: "Build", Value: BuildUUID},
332 return TgtError{tgtOrig, ErrLine(err)}
336 doFile, upLevels, err := findDo(fdDep, cwd, tgt)
339 return TgtError{tgtOrig, ErrLine(err)}
343 return TgtError{tgtOrig, errors.New("no .do found")}
346 // Determine basename and DIRPREFIX
347 doFileRelPath := doFile
348 ents := strings.Split(cwd, "/")
349 ents = ents[len(ents)-upLevels:]
350 dirPrefix := path.Join(ents...)
352 for i := 0; i < upLevels; i++ {
353 cwd = path.Join(cwd, "..")
354 doFileRelPath = path.Join("..", doFileRelPath)
356 cwd = path.Clean(cwd)
357 doFilePath := path.Join(cwd, doFile)
359 runErr := RunError{Tgt: tgtOrig}
360 if strings.HasPrefix(doFile, "default.") {
361 basename = tgt[:len(tgt)-(len(doFile)-len("default.")-len(".do"))-1]
362 runErr.DoFile = doFileRelPath
365 if err = depWrite(fdDep, cwdOrig, doFileRelPath, ""); err != nil {
367 return TgtError{tgtOrig, ErrLine(err)}
370 tracef(CWait, "%s", runErr.Name())
372 // Prepare command line
375 if err = unix.Access(doFilePath, unix.X_OK); err == nil {
377 args = make([]string, 0, 3)
380 if traced || TracedAll {
381 args = append(args, "-ex")
383 args = append(args, "-e")
385 args = append(args, doFile)
388 // Temporary file for stdout
389 fdStdout, err := tempfile(cwdOrig, tgt)
392 return TgtError{tgtOrig, ErrLine(err)}
394 stdoutPath := fdStdout.Name()
396 tmpPath := stdoutPath + ".3" // and for $3
397 tmpPathRel := mustRel(cwd, tmpPath)
400 path.Join(dirPrefix, tgt),
401 path.Join(dirPrefix, basename),
405 "sh: %s: %s %s cwd:%s dirprefix:%s",
406 tgtOrig, cmdName, args, cwd, dirPrefix,
409 cmd := exec.Command(cmdName, args...)
411 // cmd.Stdin reads from /dev/null by default
412 cmd.Env = append(os.Environ(), fmt.Sprintf("%s=%d", EnvLevel, Level+1))
413 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvDirPrefix, dirPrefix))
414 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvBuildUUID, BuildUUID))
416 childStderrPrefixRaw := make([]byte, 8)
417 if _, err = io.ReadFull(rand.Reader, childStderrPrefixRaw); err != nil {
420 childStderrPrefix := hex.EncodeToString(childStderrPrefixRaw)
421 cmd.Env = append(cmd.Env, fmt.Sprintf(
422 "%s=%s", EnvStderrPrefix, childStderrPrefix,
426 cmd.ExtraFiles = append(cmd.ExtraFiles, FdOODTgts)
427 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvOODTgtsFd, 3+fdNum))
429 cmd.ExtraFiles = append(cmd.ExtraFiles, FdOODTgtsLock)
430 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvOODTgtsLockFd, 3+fdNum))
434 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=NO", EnvStatusFd))
436 cmd.ExtraFiles = append(cmd.ExtraFiles, FdStatus)
437 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvStatusFd, 3+fdNum))
442 var fdStderr *os.File
444 fdStderr, err = os.OpenFile(
445 path.Join(redoDir, tgt+LogSuffix),
446 os.O_WRONLY|os.O_CREATE|os.O_TRUNC,
451 return TgtError{tgtOrig, ErrLine(err)}
454 tracef(CDebug, "%s", shCtx)
456 jsNeedsRelease = false
461 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=NO", EnvJobs))
463 cmd.ExtraFiles = append(cmd.ExtraFiles, JSR)
464 cmd.ExtraFiles = append(cmd.ExtraFiles, JSW)
465 makeFlags := fmt.Sprintf(
466 "%s %s%d,%d", MakeFlags, MakeJSArg, 3+fdNum+0, 3+fdNum+1,
468 makeFlags = strings.Trim(makeFlags, " ")
469 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", MakeFlagsName, makeFlags))
471 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvJSToken, jsToken))
475 if _, err = FdStatus.Write([]byte{StatusRun}); err != nil {
480 defer jsRelease(shCtx, jsToken)
482 var finished time.Time
483 var exitErr *exec.ExitError
484 started := time.Now()
485 runErr.Started = &started
486 fdStdout, err = os.OpenFile(stdoutPath, os.O_RDWR, os.FileMode(0666))
495 cmd.Stdout = fdStdout
496 fdDep, err = os.OpenFile(fdDepPath, os.O_WRONLY|os.O_APPEND, os.FileMode(0666))
506 cmd.ExtraFiles = append(cmd.ExtraFiles, fdDep)
507 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvDepFd, 3+fdNum))
509 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvDepCwd, cwd))
516 logRecPath := path.Join(redoDir, tgt+LogRecSuffix)
517 if fdStderr, err = os.OpenFile(
519 os.O_WRONLY|os.O_CREATE|os.O_TRUNC,
522 fields := []recfile.Field{
523 {Name: "Build", Value: BuildUUID},
524 {Name: "PPID", Value: strconv.Itoa(os.Getpid())},
525 {Name: "Cwd", Value: cwd},
527 if cmd.Process != nil {
528 fields = append(fields, recfile.Field{
529 Name: "PID", Value: strconv.Itoa(cmd.Process.Pid),
532 ts := new(tai64n.TAI64N)
534 fields = append(fields,
535 recfile.Field{Name: "Started", Value: tai64n.Encode(ts[:])},
537 ts.FromTime(finished)
538 fields = append(fields,
539 recfile.Field{Name: "Finished", Value: tai64n.Encode(ts[:])})
540 fields = append(fields, recfile.Field{
542 Value: strconv.FormatInt(finished.Sub(started).Nanoseconds(), 10),
544 fields = append(fields, recfile.Field{Name: "Cmd", Value: cmdName})
545 for _, arg := range args {
546 fields = append(fields, recfile.Field{Name: "Arg", Value: arg})
548 for _, env := range cmd.Env {
549 fields = append(fields, recfile.Field{Name: "Env", Value: env})
552 fields = append(fields, recfile.Field{
554 Value: strconv.Itoa(exitErr.ProcessState.ExitCode()),
557 w := bufio.NewWriter(fdStderr)
560 fdDep, err := os.Open(fdDepPath)
565 depInfo, err = depRead(fdDep)
571 for _, dep := range depInfo.ifchanges {
572 fields = append(fields, recfile.Field{
574 Value: dep["Target"],
577 _, err = recfile.NewWriter(w).WriteFields(fields...)
582 err = ErrLine(w.Flush())
586 os.Remove(logRecPath)
590 log.Println("can not open", logRecPath, ":", err)
594 os.Remove(fdDep.Name())
595 os.Remove(fdStdout.Name())
598 if _, err = FdStatus.Write([]byte{StatusDone}); err != nil {
604 stderr, err := cmd.StderrPipe()
618 RunningProcs[cmd.Process.Pid] = cmd.Process
619 RunningProcsM.Unlock()
620 pid := fmt.Sprintf("[%d]", cmd.Process.Pid)
621 tracef(CDebug, "%s runs %s", tgtOrig, pid)
623 stderrTerm := make(chan struct{})
625 scanner := bufio.NewScanner(stderr)
627 ts := new(tai64n.TAI64N)
629 line = scanner.Text()
630 if strings.HasPrefix(line, childStderrPrefix) {
631 line = line[len(childStderrPrefix):]
632 os.Stderr.WriteString(StderrPrefix + line + "\n")
636 ts.FromTime(time.Now())
638 fmt.Fprintln(fdStderr, tai64n.Encode(ts[:]), line)
645 tracef(CNone, "%s", line)
647 tracef(CNone, "%s %s", pid, line)
653 // Wait for job completion
657 delete(RunningProcs, cmd.Process.Pid)
658 RunningProcsM.Unlock()
659 finished = time.Now()
660 runErr.Finished = &finished
662 exitErr = err.(*exec.ExitError)
669 if inode, err := inodeFromFileByPath(path.Join(cwdOrig, tgt)); err == nil {
670 if inodePrev == nil {
671 runErr.Err = Err1WasTouched
680 if !inode.Equals(inodePrev) {
681 runErr.Err = Err1WasTouched
687 if inodePrev != nil {
688 if inode, err := inodeFromFileByPath(path.Join(cwdOrig, tgt)); err == nil {
689 if !inode.Equals(inodePrev) {
690 runErr.Err = Err1WasTouched
697 // Does it produce both stdout and tmp?
698 fiStdout, err := os.Stat(fdStdout.Name())
700 runErr.Err = ErrLine(err)
705 _, err = os.Stat(tmpPath)
707 if fiStdout.Size() > 0 {
708 runErr.Err = errors.New("created both tmp and stdout")
713 } else if !errors.Is(err, fs.ErrNotExist) {
714 runErr.Err = ErrLine(err)
719 // Determine what file we must process at last
722 fd, err = os.Open(tmpPath)
728 } else if fiStdout.Size() > 0 {
732 // Do we need to ifcreate it, or ifchange with renaming?
734 os.Remove(path.Join(cwdOrig, tgt))
735 err = ifcreate(fdDep, tgt)
743 _, err = fd.Seek(0, io.SeekStart)
748 hsh, err = fileHash(fd)
754 tracef(CDebug, "%s has same hash, not renaming", tgtOrig)
755 err = ErrLine(os.Remove(fd.Name()))
759 err = ErrLine(os.Chtimes(path.Join(cwdOrig, tgt), finished, finished))
764 err = ErrLine(syncDir(cwdOrig))
769 err = ErrLine(depWrite(fdDep, cwdOrig, tgt, hshPrev))
777 err = ErrLine(fd.Sync())
782 err = ErrLine(os.Rename(fd.Name(), path.Join(cwdOrig, tgt)))
787 err = ErrLine(syncDir(cwdOrig))
792 err = ErrLine(depWrite(fdDep, cwdOrig, tgt, hsh))
801 err = ErrLine(fdDep.Sync())
806 fdDepPath = path.Join(redoDir, tgt+DepSuffix)
807 err = ErrLine(os.Rename(fdDep.Name(), fdDepPath))
812 err = ErrLine(syncDir(redoDir))
818 // Post-commit .rec sanitizing
820 if fdDepR, err := os.Open(fdDepPath); err == nil {
821 depInfo, err := depRead(fdDepR)
827 ifchangeSeen := make(map[string]struct{}, len(depInfo.ifchanges))
828 for _, dep := range depInfo.ifchanges {
829 ifchangeSeen[dep["Target"]] = struct{}{}
831 for _, dep := range depInfo.ifcreates {
832 if _, exists := ifchangeSeen[dep]; exists {
833 tracef(CWarn, "simultaneous ifcreate and ifchange records: %s", tgt)
845 func isOkRun(err error) bool {
850 if errors.As(err, &runErr) && runErr.Err == nil {
851 tracef(CRedo, "%s", runErr.Name())
854 tracef(CErr, "%s", err)