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/>.
32 "go.cypherpunks.ru/recfile"
33 "lukechampine.com/blake3"
40 ErrBadRecFormat = errors.New("invalid format of .rec")
41 InodeCache = make(map[string][]*Inode)
42 HashCache = make(map[string][]Hash)
45 func recfileWrite(fdDep io.StringWriter, fields ...recfile.Field) error {
46 w := recfile.NewWriter(fdDep)
47 if _, err := w.RecordStart(); err != nil {
50 if _, err := w.WriteFields(fields...); err != nil {
56 func ifcreate(fdDep *os.File, tgt string) error {
57 tracef(CDebug, "ifcreate: %s <- %s", fdDep.Name(), tgt)
60 recfile.Field{Name: "Type", Value: DepTypeIfcreate},
61 recfile.Field{Name: "Target", Value: tgt},
65 func always(fdDep *os.File) error {
66 tracef(CDebug, "always: %s", fdDep.Name())
67 return recfileWrite(fdDep, recfile.Field{Name: "Type", Value: DepTypeAlways})
70 func stamp(fdDep, src *os.File) error {
71 hsh, err := fileHash(src)
75 tracef(CDebug, "stamp: %s <- %s", fdDep.Name(), hsh)
78 recfile.Field{Name: "Type", Value: DepTypeStamp},
79 recfile.Field{Name: "Hash", Value: hsh.String()},
83 func fileHash(fd *os.File) (Hash, error) {
84 h := blake3.New(HashLen, nil)
85 if _, err := io.Copy(h, bufio.NewReader(fd)); err != nil {
88 return Hash(h.Sum(nil)), nil
91 func depWrite(fdDep *os.File, cwd string, tgt *Tgt, hsh Hash) error {
92 tracef(CDebug, "ifchange: %s <- %s", fdDep.Name(), tgt)
93 fd, err := os.Open(tgt.a)
98 inode, isDir, err := inodeFromFileByFd(fd)
106 hsh, err = fileHash(fd)
111 fields := []recfile.Field{
112 {Name: "Type", Value: DepTypeIfchange},
113 {Name: "Target", Value: tgt.RelTo(cwd)},
114 {Name: "Hash", Value: hsh.String()},
116 fields = append(fields, inode.RecfileFields()...)
117 return recfileWrite(fdDep, fields...)
120 func depsWrite(fdDep *os.File, tgts []*Tgt) error {
122 tracef(CDebug, "no opened fdDep: %s", tgts)
127 for _, tgt := range tgts {
129 if DepCwd != "" && Cwd != DepCwd {
132 tgtDir := path.Join(cwd, DirPrefix)
133 if _, errStat := os.Stat(tgt.a); errStat == nil {
134 err = ErrLine(depWrite(fdDep, tgtDir, tgt, ""))
136 tgtRel := tgt.RelTo(tgtDir)
137 tracef(CDebug, "ifchange: %s <- %s (non-existing)", fdDep.Name(), tgtRel)
138 fields := []recfile.Field{
139 {Name: "Type", Value: DepTypeIfchange},
140 {Name: "Target", Value: tgtRel},
142 inodeDummy := Inode{}
143 fields = append(fields, inodeDummy.RecfileFields()...)
144 err = ErrLine(recfileWrite(fdDep, fields...))
153 type DepInfoIfchange struct {
159 type DepInfo struct {
164 ifchanges []DepInfoIfchange
167 func mustHashDecode(s string) Hash {
168 b, err := hex.DecodeString(s)
175 var missingBuild = errors.New(".rec missing Build:")
177 func depRead(tgt *Tgt) (*DepInfo, error) {
178 data, err := os.ReadFile(tgt.Dep())
182 r := recfile.NewReader(bytes.NewReader(data))
183 m, err := r.NextMap()
190 return nil, missingBuild
194 m, err := r.NextMap()
196 if errors.Is(err, io.EOF) {
203 depInfo.always = true
204 case DepTypeIfcreate:
207 return nil, ErrBadRecFormat
209 depInfo.ifcreates = append(depInfo.ifcreates,
210 NewTgt(path.Join(tgt.h, dep)))
211 case DepTypeIfchange:
212 depRaw := m["Target"]
214 return nil, ErrBadRecFormat
216 inode, err := inodeFromRec(m)
219 return nil, ErrBadRecFormat
221 dep := NewTgt(path.Join(tgt.h, depRaw))
224 for _, cachedInode := range InodeCache[dep.a] {
225 if inode.Equals(cachedInode) {
231 if InodeCache != nil && !cachedFound {
232 InodeCache[dep.a] = append(InodeCache[dep.a], inode)
235 hsh := mustHashDecode(m["Hash"])
237 for _, cachedHash := range HashCache[dep.a] {
238 if hsh == cachedHash {
244 if HashCache != nil && !cachedFound {
245 HashCache[dep.a] = append(HashCache[dep.a], hsh)
248 depInfo.ifchanges = append(depInfo.ifchanges, DepInfoIfchange{
249 tgt: dep, inode: inode, hash: hsh,
254 return nil, ErrBadRecFormat
256 depInfo.stamp = mustHashDecode(hsh)
258 return nil, ErrBadRecFormat
264 func depReadOnlyIfchanges(pth string) (ifchanges []string, err error) {
265 data, err := os.ReadFile(pth)
269 r := recfile.NewReader(bytes.NewReader(data))
270 var m map[string]string
274 if errors.Is(err, io.EOF) {
280 if m["Type"] == DepTypeIfchange {
281 ifchanges = append(ifchanges, m["Target"])
287 func depReadBuild(pth string) (string, error) {
288 fd, err := os.Open(pth)
292 r := recfile.NewReader(fd)
293 m, err := r.NextMap()