X-Git-Url: http://www.git.cypherpunks.ru/?a=blobdiff_plain;f=ood.go;h=cad1ce38f5f23f6beb1124749774a7d4111303ec;hb=ce96a1c785b32af13264225c0bf7ae8370a5af21;hp=7f2adde90a24a12f09c090e54a654ba0e5b2cfe8;hpb=edb601644735972fac3efcdc27849b5b9b1f5fb7;p=goredo.git

diff --git a/ood.go b/ood.go
index 7f2adde..cad1ce3 100644
--- a/ood.go
+++ b/ood.go
@@ -1,5 +1,5 @@
 /*
-goredo -- redo implementation on pure Go
+goredo -- djb's redo implementation on pure Go
 Copyright (C) 2020-2021 Sergey Matveev <stargrave@stargrave.org>
 
 This program is free software: you can redistribute it and/or modify
@@ -26,6 +26,8 @@ import (
 	"path"
 	"path/filepath"
 	"strings"
+
+	"golang.org/x/sys/unix"
 )
 
 const (
@@ -33,6 +35,15 @@ const (
 	DepTypeIfchange = "ifchange"
 	DepTypeAlways   = "always"
 	DepTypeStamp    = "stamp"
+
+	EnvOODTgtsFd     = "REDO_OOD_TGTS_FD"
+	EnvOODTgtsLockFd = "REDO_OOD_TGTS_LOCK_FD"
+)
+
+var (
+	OODTgts       map[string]struct{}
+	FdOODTgts     *os.File
+	FdOODTgtsLock *os.File
 )
 
 type TgtErr struct {
@@ -109,11 +120,14 @@ func isOOD(cwd, tgtOrig string, level int, seen map[string]struct{}) (bool, erro
 
 	for _, m := range depInfo.ifchanges {
 		dep := m["Target"]
-		theirTs := m["Ctime"]
-		theirHsh := m["Hash"]
-		if dep == "" || theirTs == "" {
-			return ood, TgtErr{tgtOrig, errors.New("invalid format of .dep")}
+		if dep == "" {
+			return ood, TgtErr{tgtOrig, errors.New("invalid format of .rec: missing Target")}
+		}
+		theirInode, err := inodeFromRec(m)
+		if err != nil {
+			return ood, TgtErr{tgtOrig, fmt.Errorf("invalid format of .rec: %v", err)}
 		}
+		theirHsh := m["Hash"]
 		trace(CDebug, "ood: %s%s -> %s: checking", indent, tgtOrig, dep)
 
 		fd, err := os.Open(path.Join(cwd, dep))
@@ -127,14 +141,19 @@ func isOOD(cwd, tgtOrig string, level int, seen map[string]struct{}) (bool, erro
 		}
 		defer fd.Close()
 
-		ts, err := fileCtime(fd)
+		inode, err := inodeFromFile(fd)
 		if err != nil {
 			return ood, TgtErr{tgtOrig, err}
 		}
-		if theirTs == ts {
-			trace(CDebug, "ood: %s%s -> %s: same ctime", indent, tgtOrig, dep)
+		if inode.Size != theirInode.Size {
+			trace(CDebug, "ood: %s%s -> %s: size differs", indent, tgtOrig, dep)
+			ood = true
+			goto Done
+		}
+		if InodeTrust && inode.Equals(theirInode) {
+			trace(CDebug, "ood: %s%s -> %s: same inode", indent, tgtOrig, dep)
 		} else {
-			trace(CDebug, "ood: %s%s -> %s: ctime differs", indent, tgtOrig, dep)
+			trace(CDebug, "ood: %s%s -> %s: inode differs", indent, tgtOrig, dep)
 			hsh, err := fileHash(fd)
 			if err != nil {
 				return ood, TgtErr{tgtOrig, err}
@@ -162,7 +181,7 @@ func isOOD(cwd, tgtOrig string, level int, seen map[string]struct{}) (bool, erro
 			continue
 		}
 
-		depOod, err := isOOD(cwd, dep, level+1, seen)
+		depOod, err := isOODWithTrace(cwd, dep, level+1, seen)
 		if err != nil {
 			return ood, TgtErr{tgtOrig, err}
 		}
@@ -178,3 +197,49 @@ Done:
 	trace(CDebug, "ood: %s%s: %v", indent, tgtOrig, ood)
 	return ood, nil
 }
+
+func isOODWithTrace(
+	cwd, tgtOrig string,
+	level int,
+	seen map[string]struct{},
+) (bool, error) {
+	p, err := filepath.Abs(path.Join(cwd, tgtOrig))
+	if err != nil {
+		panic(err)
+	}
+	_, ood := OODTgts[p]
+	if ood {
+		trace(
+			CDebug,
+			"ood: %s%s true, external decision",
+			strings.Repeat(". ", level), tgtOrig,
+		)
+		goto RecordOODTgt
+	}
+	ood, err = isOOD(cwd, tgtOrig, level, seen)
+	if !ood {
+		return ood, err
+	}
+RecordOODTgt:
+	if err = unix.Flock(int(FdOODTgtsLock.Fd()), unix.LOCK_EX); err != nil {
+		panic(err)
+	}
+	if _, err = FdOODTgts.Seek(0, os.SEEK_END); err != nil {
+		panic(err)
+	}
+	if _, err := FdOODTgts.WriteString(p + "\x00"); err != nil {
+		panic(err)
+	}
+	unix.Flock(int(FdOODTgtsLock.Fd()), unix.LOCK_UN)
+	return true, nil
+}
+
+func oodTgtsClear() {
+	if err := unix.Flock(int(FdOODTgtsLock.Fd()), unix.LOCK_EX); err != nil {
+		panic(err)
+	}
+	if err := FdOODTgts.Truncate(0); err != nil {
+		panic(err)
+	}
+	unix.Flock(int(FdOODTgtsLock.Fd()), unix.LOCK_UN)
+}