]> Cypherpunks.ru repositories - goredo.git/blob - run.go
Refactor target paths, less CPU, less memory, more clarity
[goredo.git] / run.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 // Targets runner
19
20 package main
21
22 import (
23         "bufio"
24         "bytes"
25         "crypto/rand"
26         "encoding/hex"
27         "errors"
28         "flag"
29         "fmt"
30         "io"
31         "io/fs"
32         "log"
33         "os"
34         "os/exec"
35         "path"
36         "strconv"
37         "strings"
38         "sync"
39         "syscall"
40         "time"
41
42         "go.cypherpunks.ru/recfile"
43         "go.cypherpunks.ru/tai64n/v2"
44         "golang.org/x/sys/unix"
45 )
46
47 const (
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"
58
59         RedoDir      = ".redo"
60         LockSuffix   = ".lock"
61         DepSuffix    = ".rec"
62         TmpPrefix    = ".redo."
63         LogSuffix    = ".log"
64         LogRecSuffix = ".log-rec"
65 )
66
67 var (
68         NoSync       = false
69         StderrKeep   = false
70         StderrSilent = false
71         StderrPrefix string
72         StopIfMod    = false
73         Jobs         sync.WaitGroup
74
75         flagTrace          *bool
76         flagTraceAll       *bool
77         flagStderrKeep     *bool
78         flagStderrSilent   *bool
79         flagForcedIfchange *bool
80
81         TracedAll bool
82
83         RunningProcs  = map[int]*os.Process{}
84         RunningProcsM sync.Mutex
85
86         Err1WasTouched = errors.New("$1 was explicitly touched")
87 )
88
89 func init() {
90         cmdName := CmdName()
91         if !(cmdName == CmdNameRedo || cmdName == CmdNameRedoIfchange) {
92                 return
93         }
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")
102 }
103
104 type RunError struct {
105         Tgt      *Tgt
106         DoFile   string
107         Started  *time.Time
108         Finished *time.Time
109         Err      error
110 }
111
112 func (e *RunError) Name() string {
113         var name string
114         if e.DoFile == "" {
115                 name = e.Tgt.String()
116         } else {
117                 name = fmt.Sprintf("%s (%s)", e.Tgt, e.DoFile)
118         }
119         if e.Finished == nil {
120                 return name
121         }
122         return fmt.Sprintf("%s (%.3fs)", name, e.Finished.Sub(*e.Started).Seconds())
123 }
124
125 func (e RunError) Error() string {
126         return fmt.Sprintf("%s: %s", e.Name(), e.Err)
127 }
128
129 func mkdirs(pth string) error {
130         if FileExists(pth) {
131                 return nil
132         }
133         return os.MkdirAll(pth, os.FileMode(0777))
134 }
135
136 func isModified(depInfo *DepInfo, tgt *Tgt) (
137         modified bool, ourInode *Inode, hshPrev []byte, err error,
138 ) {
139         if depInfo == nil {
140                 return
141         }
142         for _, dep := range depInfo.ifchanges {
143                 if dep.tgt.a != tgt.a {
144                         continue
145                 }
146                 ourInode, err = inodeFromFileByPath(tgt.a)
147                 if err != nil {
148                         if os.IsNotExist(err) {
149                                 err = nil
150                                 return
151                         }
152                         err = ErrLine(err)
153                         return
154                 }
155                 hshPrev = dep.hash
156                 modified = !ourInode.Equals(dep.inode)
157                 break
158         }
159         return
160 }
161
162 func syncDir(dir string) error {
163         fd, err := os.Open(dir)
164         if err != nil {
165                 return err
166         }
167         err = fd.Sync()
168         fd.Close()
169         return err
170 }
171
172 func runScript(tgt *Tgt, errs chan error, forced, traced bool) error {
173         redoDir := path.Join(tgt.h, RedoDir)
174         if err := mkdirs(redoDir); err != nil {
175                 return TgtError{tgt, ErrLine(err)}
176         }
177
178         shCtx := fmt.Sprintf("sh: %s: cwd:%s", tgt, tgt.h)
179         jsToken := jsAcquire(shCtx)
180         jsNeedsRelease := true
181         defer func() {
182                 if jsNeedsRelease {
183                         jsRelease(shCtx, jsToken)
184                 }
185         }()
186
187         // Acquire lock
188         fdLock, err := os.OpenFile(
189                 path.Join(redoDir, tgt.t+LockSuffix),
190                 os.O_WRONLY|os.O_TRUNC|os.O_CREATE,
191                 os.FileMode(0666),
192         )
193         if err != nil {
194                 return TgtError{tgt, ErrLine(err)}
195         }
196         flock := unix.Flock_t{
197                 Type:   unix.F_WRLCK,
198                 Whence: io.SeekStart,
199         }
200         lockRelease := func() {
201                 tracef(CLock, "LOCK_UN: %s", fdLock.Name())
202                 flock.Type = unix.F_UNLCK
203                 if err := unix.FcntlFlock(fdLock.Fd(), unix.F_SETLK, &flock); err != nil {
204                         log.Fatalln(err, fdLock.Name())
205                 }
206                 fdLock.Close()
207         }
208         tracef(CLock, "LOCK_NB: %s", fdLock.Name())
209
210         // Waiting for job completion, already taken by someone else
211         if err = unix.FcntlFlock(fdLock.Fd(), unix.F_SETLK, &flock); err != nil {
212                 if uintptr(err.(syscall.Errno)) != uintptr(unix.EAGAIN) {
213                         fdLock.Close()
214                         return TgtError{tgt, ErrLine(err)}
215                 }
216                 Jobs.Add(1)
217                 if err = unix.FcntlFlock(fdLock.Fd(), unix.F_GETLK, &flock); err != nil {
218                         log.Fatalln(err, fdLock.Name())
219                 }
220                 tracef(CDebug, "waiting: %s (pid=%d)", tgt, flock.Pid)
221                 if FdStatus != nil {
222                         if _, err = FdStatus.Write([]byte{StatusWait}); err != nil {
223                                 log.Fatal(err)
224                         }
225                 }
226                 go func() {
227                         defer Jobs.Done()
228                         tracef(CLock, "LOCK_EX: %s", fdLock.Name())
229                 LockAgain:
230                         if err := unix.FcntlFlock(fdLock.Fd(), unix.F_SETLKW, &flock); err != nil {
231                                 if errors.Is(err, unix.EDEADLK) {
232                                         time.Sleep(10 * time.Millisecond)
233                                         goto LockAgain
234                                 }
235                                 log.Fatalln(err, fdLock.Name())
236                         }
237                         lockRelease()
238                         tracef(CDebug, "waiting done: %s", tgt)
239                         if FdStatus != nil {
240                                 if _, err = FdStatus.Write([]byte{StatusWaited}); err != nil {
241                                         log.Fatal(err)
242                                 }
243                         }
244                         build, err := depReadBuild(tgt.Dep())
245                         if err == nil {
246                                 if build != BuildUUID {
247                                         err = errors.New("was not built: build differs")
248                                 }
249                         } else {
250                                 if errors.Is(err, fs.ErrNotExist) {
251                                         err = errors.New("was not built: no .rec")
252                                 }
253                         }
254                         if err != nil {
255                                 err = TgtError{tgt, err}
256                         }
257                         errs <- err
258                 }()
259                 return nil
260         }
261
262         // It scans the whole .rec file while searching for the single target,
263         // but that one is always located at the very end
264         depInfo, err := depRead(tgt)
265         if err != nil {
266                 if errors.Is(err, fs.ErrNotExist) {
267                         err = nil
268                 } else {
269                         lockRelease()
270                         return TgtError{tgt, ErrLine(err)}
271                 }
272         }
273
274         // Check if it was already built in parallel
275         if !forced && depInfo != nil && depInfo.build == BuildUUID {
276                 lockRelease()
277                 errs <- nil
278                 return nil
279         }
280
281         // Check if target is not modified externally
282         modified, inodePrev, hshPrev, err := isModified(depInfo, tgt)
283         if err != nil {
284                 lockRelease()
285                 return TgtError{tgt, ErrLine(err)}
286         }
287         if modified {
288                 lockRelease()
289                 if StopIfMod {
290                         return fmt.Errorf("%s externally modified", tgt)
291                 }
292                 tracef(CWarn, "%s externally modified: not redoing", tgt)
293                 go func() {
294                         errs <- nil
295                 }()
296                 return nil
297         }
298         depInfo = nil
299
300         // Start preparing .rec
301         fdDep, err := tempfile(redoDir, tgt.t+DepSuffix)
302         if err != nil {
303                 lockRelease()
304                 return TgtError{tgt, ErrLine(err)}
305         }
306         fdDepOpened := true
307         fdDepPath := fdDep.Name()
308         cleanup := func() {
309                 lockRelease()
310                 if fdDepOpened {
311                         fdDep.Close()
312                 }
313                 os.Remove(fdDep.Name())
314         }
315         if _, err = recfile.NewWriter(fdDep).WriteFields(
316                 recfile.Field{Name: "Build", Value: BuildUUID},
317         ); err != nil {
318                 cleanup()
319                 return TgtError{tgt, ErrLine(err)}
320         }
321
322         var cwd string
323         var dirPrefix string
324         var doFile *Tgt
325         basename := tgt.t
326         runErr := RunError{Tgt: tgt}
327         // Determine basename and DIRPREFIX
328         {
329                 doFileRelPath, upLevels, err := findDo(fdDep, tgt.h, tgt.t)
330                 if err != nil {
331                         cleanup()
332                         return TgtError{tgt, ErrLine(err)}
333                 }
334                 if doFileRelPath == "" {
335                         cleanup()
336                         return TgtError{tgt, errors.New("no .do found")}
337                 }
338                 // ents := strings.Split(strings.TrimSuffix(tgt.h, "/"), "/")
339                 ents := strings.Split(tgt.h, "/")
340                 ents = ents[len(ents)-upLevels:]
341                 dirPrefix = path.Join(ents...)
342                 ups := make([]string, 0, upLevels+2)
343                 ups = append(ups, tgt.h)
344                 for i := 0; i < upLevels; i++ {
345                         ups = append(ups, "..")
346                 }
347                 ups = append(ups, doFileRelPath)
348                 cwd = path.Clean(path.Join(ups[:len(ups)-1]...))
349                 doFile = NewTgt(path.Join(ups...))
350                 if strings.HasPrefix(doFile.t, "default.") {
351                         basename = basename[:len(basename)-(len(doFile.t)-len("default.")-len(".do"))-1]
352                         runErr.DoFile = doFile.String()
353                 }
354         }
355
356         if err = depWrite(fdDep, tgt.h, doFile, nil); err != nil {
357                 cleanup()
358                 return TgtError{tgt, ErrLine(err)}
359         }
360         fdDep.Close()
361         fdDepOpened = false
362         tracef(CWait, "%s", runErr.Name())
363
364         // Prepare command line
365         var cmdName string
366         var args []string
367         if err = unix.Access(doFile.String(), unix.X_OK); err == nil {
368                 cmdName = doFile.t
369                 args = make([]string, 0, 3)
370         } else {
371                 cmdName = "/bin/sh"
372                 if traced || TracedAll {
373                         args = append(args, "-ex")
374                 } else {
375                         args = append(args, "-e")
376                 }
377                 args = append(args, doFile.t)
378         }
379
380         // Temporary file for stdout
381         fdStdout, err := tempfile(tgt.h, tgt.t)
382         if err != nil {
383                 cleanup()
384                 return TgtError{tgt, ErrLine(err)}
385         }
386         stdoutPath := fdStdout.Name()
387         fdStdout.Close()
388         tmpPath := stdoutPath + ".3" // and for $3
389         tmpPathRel := mustRel(cwd, tmpPath)
390         args = append(
391                 args,
392                 path.Join(dirPrefix, tgt.t),
393                 path.Join(dirPrefix, basename),
394                 tmpPathRel,
395         )
396         shCtx = fmt.Sprintf(
397                 "sh: %s: %s %s cwd:%s dirprefix:%s",
398                 tgt, cmdName, args, cwd, dirPrefix,
399         )
400
401         cmd := exec.Command(cmdName, args...)
402         cmd.Dir = cwd
403         // cmd.Stdin reads from /dev/null by default
404         cmd.Env = append(os.Environ(), fmt.Sprintf("%s=%d", EnvLevel, Level+1))
405         cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvDirPrefix, dirPrefix))
406         cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvBuildUUID, BuildUUID))
407
408         childStderrPrefixRaw := make([]byte, 8)
409         if _, err = io.ReadFull(rand.Reader, childStderrPrefixRaw); err != nil {
410                 panic(err)
411         }
412         childStderrPrefix := hex.EncodeToString(childStderrPrefixRaw)
413         cmd.Env = append(cmd.Env, fmt.Sprintf(
414                 "%s=%s", EnvStderrPrefix, childStderrPrefix,
415         ))
416
417         fdNum := 0
418         cmd.ExtraFiles = append(cmd.ExtraFiles, FdOODTgts)
419         cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvOODTgtsFd, 3+fdNum))
420         fdNum++
421         cmd.ExtraFiles = append(cmd.ExtraFiles, FdOODTgtsLock)
422         cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvOODTgtsLockFd, 3+fdNum))
423         fdNum++
424
425         if FdStatus == nil {
426                 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=NO", EnvStatusFd))
427         } else {
428                 cmd.ExtraFiles = append(cmd.ExtraFiles, FdStatus)
429                 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvStatusFd, 3+fdNum))
430                 fdNum++
431         }
432
433         // Preparing stderr
434         var fdStderr *os.File
435         if StderrKeep {
436                 fdStderr, err = os.OpenFile(
437                         path.Join(redoDir, tgt.t+LogSuffix),
438                         os.O_WRONLY|os.O_CREATE|os.O_TRUNC,
439                         os.FileMode(0666),
440                 )
441                 if err != nil {
442                         cleanup()
443                         return TgtError{tgt, ErrLine(err)}
444                 }
445         }
446         tracef(CDebug, "%s", shCtx)
447
448         jsNeedsRelease = false
449         Jobs.Add(1)
450         go func() {
451                 if JSR == nil {
452                         // infinite jobs
453                         cmd.Env = append(cmd.Env, fmt.Sprintf("%s=NO", EnvJobs))
454                 } else {
455                         cmd.ExtraFiles = append(cmd.ExtraFiles, JSR)
456                         cmd.ExtraFiles = append(cmd.ExtraFiles, JSW)
457                         makeFlags := fmt.Sprintf(
458                                 "%s %s%d,%d", MakeFlags, MakeJSArg, 3+fdNum+0, 3+fdNum+1,
459                         )
460                         makeFlags = strings.Trim(makeFlags, " ")
461                         cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", MakeFlagsName, makeFlags))
462                         fdNum += 2
463                         cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvJSToken, jsToken))
464                 }
465
466                 if FdStatus != nil {
467                         if _, err = FdStatus.Write([]byte{StatusRun}); err != nil {
468                                 log.Fatal(err)
469                         }
470                 }
471
472                 defer jsRelease(shCtx, jsToken)
473
474                 var finished time.Time
475                 var exitErr *exec.ExitError
476                 started := time.Now()
477                 runErr.Started = &started
478                 fdStdout, err = os.OpenFile(stdoutPath, os.O_RDWR, os.FileMode(0666))
479                 if err != nil {
480                         if fdStderr != nil {
481                                 fdStderr.Close()
482                         }
483                         runErr.Err = err
484                         errs <- runErr
485                         return
486                 }
487                 cmd.Stdout = fdStdout
488                 fdDep, err = os.OpenFile(fdDepPath, os.O_WRONLY|os.O_APPEND, os.FileMode(0666))
489                 if err != nil {
490                         if fdStderr != nil {
491                                 fdStderr.Close()
492                         }
493                         fdStdout.Close()
494                         runErr.Err = err
495                         errs <- runErr
496                         return
497                 }
498                 fdDepOpened = true
499                 cmd.ExtraFiles = append(cmd.ExtraFiles, fdDep)
500                 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%d", EnvDepFd, 3+fdNum))
501                 fdNum++
502                 cmd.Env = append(cmd.Env, fmt.Sprintf("%s=%s", EnvDepCwd, cwd))
503
504                 defer func() {
505                         if fdDepOpened {
506                                 fdDep.Close()
507                         }
508                         fdStdout.Close()
509                         if fdStderr != nil {
510                                 fdStderr.Close()
511                                 logRecPath := path.Join(redoDir, tgt.t+LogRecSuffix)
512                                 if fdStderr, err = os.OpenFile(
513                                         logRecPath,
514                                         os.O_WRONLY|os.O_CREATE|os.O_TRUNC,
515                                         os.FileMode(0666),
516                                 ); err == nil {
517                                         fields := []recfile.Field{
518                                                 {Name: "Build", Value: BuildUUID},
519                                                 {Name: "PPID", Value: strconv.Itoa(os.Getpid())},
520                                                 {Name: "Cwd", Value: cwd},
521                                         }
522                                         if cmd.Process != nil {
523                                                 fields = append(fields, recfile.Field{
524                                                         Name: "PID", Value: strconv.Itoa(cmd.Process.Pid),
525                                                 })
526                                         }
527                                         ts := new(tai64n.TAI64N)
528                                         ts.FromTime(started)
529                                         fields = append(fields,
530                                                 recfile.Field{Name: "Started", Value: tai64n.Encode(ts[:])},
531                                         )
532                                         ts.FromTime(finished)
533                                         fields = append(fields,
534                                                 recfile.Field{Name: "Finished", Value: tai64n.Encode(ts[:])})
535                                         fields = append(fields, recfile.Field{
536                                                 Name:  "Duration",
537                                                 Value: strconv.FormatInt(finished.Sub(started).Nanoseconds(), 10),
538                                         })
539                                         fields = append(fields, recfile.Field{Name: "Cmd", Value: cmdName})
540                                         for _, arg := range args {
541                                                 fields = append(fields, recfile.Field{Name: "Arg", Value: arg})
542                                         }
543                                         for _, env := range cmd.Env {
544                                                 fields = append(fields, recfile.Field{Name: "Env", Value: env})
545                                         }
546                                         if exitErr != nil {
547                                                 fields = append(fields, recfile.Field{
548                                                         Name:  "ExitCode",
549                                                         Value: strconv.Itoa(exitErr.ProcessState.ExitCode()),
550                                                 })
551                                         }
552
553                                         w := bufio.NewWriter(fdStderr)
554                                         {
555                                                 var ifchanges []string
556                                                 ifchanges, err = depReadOnlyIfchanges(tgt.Dep())
557                                                 if err != nil {
558                                                         err = ErrLine(err)
559                                                         goto Err
560                                                 }
561                                                 for _, dep := range ifchanges {
562                                                         fields = append(fields, recfile.Field{
563                                                                 Name:  "Ifchange",
564                                                                 Value: dep,
565                                                         })
566                                                 }
567                                         }
568                                         _, err = recfile.NewWriter(w).WriteFields(fields...)
569                                         if err != nil {
570                                                 err = ErrLine(err)
571                                                 goto Err
572                                         }
573                                         err = ErrLine(w.Flush())
574                                 Err:
575                                         if err != nil {
576                                                 log.Print(err)
577                                                 os.Remove(logRecPath)
578                                         }
579                                         fdStderr.Close()
580                                 } else {
581                                         log.Println("can not open", logRecPath, ":", err)
582                                 }
583                         }
584                         lockRelease()
585                         os.Remove(fdDep.Name())
586                         os.Remove(fdStdout.Name())
587                         os.Remove(tmpPath)
588                         if FdStatus != nil {
589                                 if _, err = FdStatus.Write([]byte{StatusDone}); err != nil {
590                                         log.Fatal(err)
591                                 }
592                         }
593                         Jobs.Done()
594                 }()
595                 stderr, err := cmd.StderrPipe()
596                 if err != nil {
597                         runErr.Err = err
598                         errs <- runErr
599                         return
600                 }
601                 started = time.Now()
602                 err = cmd.Start()
603                 if err != nil {
604                         runErr.Err = err
605                         errs <- runErr
606                         return
607                 }
608                 RunningProcsM.Lock()
609                 RunningProcs[cmd.Process.Pid] = cmd.Process
610                 RunningProcsM.Unlock()
611                 pid := fmt.Sprintf("[%d]", cmd.Process.Pid)
612                 tracef(CDebug, "%s runs %s", tgt, pid)
613
614                 stderrTerm := make(chan struct{})
615                 go func() {
616                         scanner := bufio.NewScanner(stderr)
617                         var line string
618                         ts := new(tai64n.TAI64N)
619                         for scanner.Scan() {
620                                 line = scanner.Text()
621                                 if strings.HasPrefix(line, childStderrPrefix) {
622                                         line = line[len(childStderrPrefix):]
623                                         os.Stderr.WriteString(StderrPrefix + line + "\n")
624                                         continue
625                                 }
626                                 if fdStderr != nil {
627                                         ts.FromTime(time.Now())
628                                         LogMutex.Lock()
629                                         fmt.Fprintln(fdStderr, tai64n.Encode(ts[:]), line)
630                                         LogMutex.Unlock()
631                                 }
632                                 if StderrSilent {
633                                         continue
634                                 }
635                                 if MyPid == 0 {
636                                         tracef(CNone, "%s", line)
637                                 } else {
638                                         tracef(CNone, "%s %s", pid, line)
639                                 }
640                         }
641                         close(stderrTerm)
642                 }()
643
644                 // Wait for job completion
645                 <-stderrTerm
646                 err = cmd.Wait()
647                 RunningProcsM.Lock()
648                 delete(RunningProcs, cmd.Process.Pid)
649                 RunningProcsM.Unlock()
650                 finished = time.Now()
651                 runErr.Finished = &finished
652                 if err != nil {
653                         exitErr = err.(*exec.ExitError)
654                         runErr.Err = err
655                         errs <- runErr
656                         return
657                 }
658
659                 // Was $1 touched?
660                 if inode, err := inodeFromFileByPath(tgt.a); err == nil {
661                         if inodePrev == nil {
662                                 runErr.Err = Err1WasTouched
663                                 errs <- runErr
664                                 return
665                         }
666                         if err != nil {
667                                 runErr.Err = err
668                                 errs <- runErr
669                                 return
670                         }
671                         if !inode.Equals(inodePrev) {
672                                 runErr.Err = Err1WasTouched
673                                 errs <- runErr
674                                 return
675                         }
676                 }
677
678                 // Does it produce both stdout and tmp?
679                 fiStdout, err := os.Stat(fdStdout.Name())
680                 if err != nil {
681                         runErr.Err = ErrLine(err)
682                         errs <- runErr
683                         return
684                 }
685                 tmpExists := false
686                 _, err = os.Stat(tmpPath)
687                 if err == nil {
688                         if fiStdout.Size() > 0 {
689                                 runErr.Err = errors.New("created both tmp and stdout")
690                                 errs <- runErr
691                                 return
692                         }
693                         tmpExists = true
694                 } else if !errors.Is(err, fs.ErrNotExist) {
695                         runErr.Err = ErrLine(err)
696                         errs <- runErr
697                         return
698                 }
699
700                 // Determine what file we must process at last
701                 var fd *os.File
702                 if tmpExists {
703                         fd, err = os.Open(tmpPath)
704                         if err != nil {
705                                 err = ErrLine(err)
706                                 goto Finish
707                         }
708                         defer fd.Close()
709                 } else if fiStdout.Size() > 0 {
710                         fd = fdStdout
711                 }
712
713                 // Do we need to ifcreate it, or ifchange with renaming?
714                 if fd == nil {
715                         os.Remove(tgt.a)
716                         err = ifcreate(fdDep, tgt.t)
717                         if err != nil {
718                                 err = ErrLine(err)
719                                 goto Finish
720                         }
721                 } else {
722                         var hsh []byte
723                         if hshPrev != nil {
724                                 _, err = fd.Seek(0, io.SeekStart)
725                                 if err != nil {
726                                         err = ErrLine(err)
727                                         goto Finish
728                                 }
729                                 hsh, err = fileHash(fd)
730                                 if err != nil {
731                                         err = ErrLine(err)
732                                         goto Finish
733                                 }
734                                 if bytes.Equal(hsh, hshPrev) {
735                                         tracef(CDebug, "%s has same hash, not renaming", tgt)
736                                         err = ErrLine(os.Remove(fd.Name()))
737                                         if err != nil {
738                                                 goto Finish
739                                         }
740                                         err = ErrLine(os.Chtimes(tgt.a, finished, finished))
741                                         if err != nil {
742                                                 goto Finish
743                                         }
744                                         if !NoSync {
745                                                 err = ErrLine(syncDir(tgt.h))
746                                                 if err != nil {
747                                                         goto Finish
748                                                 }
749                                         }
750                                         err = ErrLine(depWrite(fdDep, tgt.h, tgt, hsh))
751                                         if err != nil {
752                                                 goto Finish
753                                         }
754                                         goto RecCommit
755                                 }
756                         }
757                         if !NoSync {
758                                 err = ErrLine(fd.Sync())
759                                 if err != nil {
760                                         goto Finish
761                                 }
762                         }
763                         err = ErrLine(os.Rename(fd.Name(), tgt.a))
764                         if err != nil {
765                                 goto Finish
766                         }
767                         if !NoSync {
768                                 err = ErrLine(syncDir(tgt.h))
769                                 if err != nil {
770                                         goto Finish
771                                 }
772                         }
773                         err = ErrLine(depWrite(fdDep, tgt.h, tgt, hsh))
774                         if err != nil {
775                                 goto Finish
776                         }
777                 }
778
779         RecCommit:
780                 // Commit .rec
781                 if !NoSync {
782                         err = ErrLine(fdDep.Sync())
783                         if err != nil {
784                                 goto Finish
785                         }
786                 }
787                 err = ErrLine(os.Rename(fdDep.Name(), tgt.Dep()))
788                 if err != nil {
789                         goto Finish
790                 }
791                 if !NoSync {
792                         err = ErrLine(syncDir(redoDir))
793                         if err != nil {
794                                 goto Finish
795                         }
796                 }
797                 fdDep.Close()
798                 fdDepOpened = false
799
800                 // Post-commit .rec sanitizing
801                 if depInfo, err := depRead(tgt); err == nil {
802                         ifchangeSeen := make(map[string]struct{}, len(depInfo.ifchanges))
803                         for _, dep := range depInfo.ifchanges {
804                                 ifchangeSeen[dep.tgt.a] = struct{}{}
805                         }
806                         for _, dep := range depInfo.ifcreates {
807                                 if _, exists := ifchangeSeen[dep.a]; exists {
808                                         tracef(CWarn, "simultaneous ifcreate and ifchange records: %s", tgt)
809                                 }
810                         }
811                 } else if errors.Is(err, fs.ErrNotExist) {
812                         err = nil
813                 } else {
814                         err = ErrLine(err)
815                         goto Finish
816                 }
817
818         Finish:
819                 runErr.Err = err
820                 errs <- runErr
821         }()
822         return nil
823 }
824
825 func isOkRun(err error) bool {
826         if err == nil {
827                 return true
828         }
829         var runErr RunError
830         if errors.As(err, &runErr) && runErr.Err == nil {
831                 tracef(CRedo, "%s", runErr.Name())
832                 return true
833         }
834         tracef(CErr, "%s", err)
835         return false
836 }