Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 1 | package main |
| 2 | |
| 3 | import ( |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 4 | "bytes" |
Shinichiro Hamaji | 4220be3 | 2015-05-26 13:30:18 +0900 | [diff] [blame] | 5 | "crypto/sha1" |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 6 | "encoding/binary" |
Shinichiro Hamaji | 1833c28 | 2015-04-28 05:02:27 +0900 | [diff] [blame] | 7 | "encoding/gob" |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 8 | "encoding/json" |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 9 | "fmt" |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 10 | "io" |
Fumitoshi Ukai | bc40a46 | 2015-06-02 15:51:16 +0900 | [diff] [blame] | 11 | "io/ioutil" |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 12 | "net/url" |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 13 | "os" |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 14 | "sort" |
Shinichiro Hamaji | e666ac8 | 2015-04-28 04:18:13 +0900 | [diff] [blame] | 15 | "strconv" |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 16 | "time" |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 17 | ) |
| 18 | |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 19 | const ( |
Fumitoshi Ukai | 936de10 | 2015-06-08 11:21:16 +0900 | [diff] [blame^] | 20 | ValueTypeRecursive = 'R' |
| 21 | ValueTypeSimple = 'S' |
| 22 | ValueTypeTSV = 'T' |
| 23 | ValueTypeUndefined = 'U' |
| 24 | ValueTypeAssign = 'a' |
| 25 | ValueTypeExpr = 'e' |
| 26 | ValueTypeFunc = 'f' |
| 27 | ValueTypeLiteral = 'l' |
| 28 | ValueTypeNop = 'n' |
| 29 | ValueTypeParamref = 'p' |
| 30 | ValueTypeVarref = 'r' |
| 31 | ValueTypeVarsubst = 's' |
| 32 | ValueTypeTmpval = 't' |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 33 | ) |
| 34 | |
| 35 | func dumpData(w io.Writer, data []byte) { |
| 36 | for len(data) != 0 { |
| 37 | written, err := w.Write(data) |
| 38 | if err == io.EOF { |
| 39 | return |
| 40 | } |
| 41 | if err != nil { |
| 42 | panic(err) |
| 43 | } |
| 44 | data = data[written:] |
| 45 | } |
| 46 | } |
| 47 | |
| 48 | func dumpInt(w io.Writer, i int) { |
| 49 | v := int32(i) |
| 50 | binary.Write(w, binary.LittleEndian, &v) |
| 51 | } |
| 52 | |
| 53 | func dumpString(w io.Writer, s string) { |
| 54 | dumpInt(w, len(s)) |
| 55 | dumpData(w, []byte(s)) |
| 56 | } |
| 57 | |
| 58 | func dumpBytes(w io.Writer, b []byte) { |
| 59 | dumpInt(w, len(b)) |
| 60 | dumpData(w, b) |
| 61 | } |
| 62 | |
| 63 | func dumpByte(w io.Writer, b byte) { |
| 64 | w.Write([]byte{b}) |
| 65 | } |
| 66 | |
Shinichiro Hamaji | c8bc731 | 2015-04-28 02:48:03 +0900 | [diff] [blame] | 67 | type SerializableVar struct { |
| 68 | Type string |
| 69 | V string |
| 70 | Origin string |
| 71 | Children []SerializableVar |
| 72 | } |
| 73 | |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 74 | type SerializableDepNode struct { |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 75 | Output int |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 76 | Cmds []string |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 77 | Deps []int |
Shinichiro Hamaji | 744b139 | 2015-05-14 23:29:14 +0900 | [diff] [blame] | 78 | Parents []int |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 79 | HasRule bool |
| 80 | IsOrderOnly bool |
| 81 | IsPhony bool |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 82 | ActualInputs []int |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 83 | TargetSpecificVars []int |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 84 | Filename string |
| 85 | Lineno int |
| 86 | } |
| 87 | |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 88 | type SerializableTargetSpecificVar struct { |
| 89 | Name string |
| 90 | Value SerializableVar |
| 91 | } |
| 92 | |
Shinichiro Hamaji | c8bc731 | 2015-04-28 02:48:03 +0900 | [diff] [blame] | 93 | type SerializableGraph struct { |
Shinichiro Hamaji | f3ea5d0 | 2015-05-20 17:13:00 +0900 | [diff] [blame] | 94 | Nodes []*SerializableDepNode |
| 95 | Vars map[string]SerializableVar |
| 96 | Tsvs []SerializableTargetSpecificVar |
| 97 | Targets []string |
| 98 | Roots []string |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 99 | ReadMks []*ReadMakefile |
Shinichiro Hamaji | 9850037 | 2015-05-29 17:05:43 +0900 | [diff] [blame] | 100 | Exports map[string]bool |
Shinichiro Hamaji | c8bc731 | 2015-04-28 02:48:03 +0900 | [diff] [blame] | 101 | } |
| 102 | |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 103 | func encGob(v interface{}) string { |
| 104 | var buf bytes.Buffer |
| 105 | e := gob.NewEncoder(&buf) |
| 106 | err := e.Encode(v) |
| 107 | if err != nil { |
| 108 | panic(err) |
| 109 | } |
| 110 | return buf.String() |
| 111 | } |
| 112 | |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 113 | func encVar(k string, v Var) string { |
| 114 | var buf bytes.Buffer |
| 115 | dumpString(&buf, k) |
| 116 | v.Dump(&buf) |
| 117 | return buf.String() |
| 118 | } |
| 119 | |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 120 | type DepNodesSerializer struct { |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 121 | nodes []*SerializableDepNode |
| 122 | tsvs []SerializableTargetSpecificVar |
| 123 | tsvMap map[string]int |
| 124 | targets []string |
| 125 | targetMap map[string]int |
| 126 | done map[string]bool |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 127 | } |
| 128 | |
| 129 | func NewDepNodesSerializer() *DepNodesSerializer { |
| 130 | return &DepNodesSerializer{ |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 131 | tsvMap: make(map[string]int), |
| 132 | targetMap: make(map[string]int), |
| 133 | done: make(map[string]bool), |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 134 | } |
| 135 | } |
| 136 | |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 137 | func (ns *DepNodesSerializer) SerializeTarget(t string) int { |
| 138 | id, present := ns.targetMap[t] |
| 139 | if present { |
| 140 | return id |
| 141 | } |
| 142 | id = len(ns.targets) |
| 143 | ns.targetMap[t] = id |
| 144 | ns.targets = append(ns.targets, t) |
| 145 | return id |
| 146 | } |
| 147 | |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 148 | func (ns *DepNodesSerializer) SerializeDepNodes(nodes []*DepNode) { |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 149 | for _, n := range nodes { |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 150 | if ns.done[n.Output] { |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 151 | continue |
| 152 | } |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 153 | ns.done[n.Output] = true |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 154 | |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 155 | var deps []int |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 156 | for _, d := range n.Deps { |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 157 | deps = append(deps, ns.SerializeTarget(d.Output)) |
| 158 | } |
Shinichiro Hamaji | 744b139 | 2015-05-14 23:29:14 +0900 | [diff] [blame] | 159 | var parents []int |
| 160 | for _, d := range n.Parents { |
| 161 | parents = append(parents, ns.SerializeTarget(d.Output)) |
| 162 | } |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 163 | var actualInputs []int |
| 164 | for _, i := range n.ActualInputs { |
| 165 | actualInputs = append(actualInputs, ns.SerializeTarget(i)) |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 166 | } |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 167 | |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 168 | // Sort keys for consistent serialization. |
| 169 | var tsvKeys []string |
| 170 | for k := range n.TargetSpecificVars { |
| 171 | tsvKeys = append(tsvKeys, k) |
| 172 | } |
| 173 | sort.Strings(tsvKeys) |
| 174 | |
| 175 | var vars []int |
| 176 | for _, k := range tsvKeys { |
| 177 | v := n.TargetSpecificVars[k] |
| 178 | sv := SerializableTargetSpecificVar{Name: k, Value: v.Serialize()} |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 179 | //gob := encGob(sv) |
| 180 | gob := encVar(k, v) |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 181 | id, present := ns.tsvMap[gob] |
| 182 | if !present { |
| 183 | id = len(ns.tsvs) |
| 184 | ns.tsvMap[gob] = id |
| 185 | ns.tsvs = append(ns.tsvs, sv) |
| 186 | } |
| 187 | vars = append(vars, id) |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 188 | } |
| 189 | |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 190 | ns.nodes = append(ns.nodes, &SerializableDepNode{ |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 191 | Output: ns.SerializeTarget(n.Output), |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 192 | Cmds: n.Cmds, |
| 193 | Deps: deps, |
Shinichiro Hamaji | 744b139 | 2015-05-14 23:29:14 +0900 | [diff] [blame] | 194 | Parents: parents, |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 195 | HasRule: n.HasRule, |
| 196 | IsOrderOnly: n.IsOrderOnly, |
| 197 | IsPhony: n.IsPhony, |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 198 | ActualInputs: actualInputs, |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 199 | TargetSpecificVars: vars, |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 200 | Filename: n.Filename, |
| 201 | Lineno: n.Lineno, |
| 202 | }) |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 203 | ns.SerializeDepNodes(n.Deps) |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 204 | } |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 205 | } |
| 206 | |
Shinichiro Hamaji | c8bc731 | 2015-04-28 02:48:03 +0900 | [diff] [blame] | 207 | func MakeSerializableVars(vars Vars) (r map[string]SerializableVar) { |
| 208 | r = make(map[string]SerializableVar) |
| 209 | for k, v := range vars { |
| 210 | r[k] = v.Serialize() |
| 211 | } |
| 212 | return r |
| 213 | } |
| 214 | |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 215 | func MakeSerializableGraph(g *DepGraph, roots []string) SerializableGraph { |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 216 | ns := NewDepNodesSerializer() |
Shinichiro Hamaji | 750ae2e | 2015-05-20 12:59:15 +0900 | [diff] [blame] | 217 | ns.SerializeDepNodes(g.nodes) |
| 218 | v := MakeSerializableVars(g.vars) |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 219 | return SerializableGraph{ |
Shinichiro Hamaji | f3ea5d0 | 2015-05-20 17:13:00 +0900 | [diff] [blame] | 220 | Nodes: ns.nodes, |
| 221 | Vars: v, |
| 222 | Tsvs: ns.tsvs, |
| 223 | Targets: ns.targets, |
| 224 | Roots: roots, |
| 225 | ReadMks: g.readMks, |
Shinichiro Hamaji | 9850037 | 2015-05-29 17:05:43 +0900 | [diff] [blame] | 226 | Exports: g.exports, |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 227 | } |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 228 | } |
Shinichiro Hamaji | c8bc731 | 2015-04-28 02:48:03 +0900 | [diff] [blame] | 229 | |
Fumitoshi Ukai | 936de10 | 2015-06-08 11:21:16 +0900 | [diff] [blame^] | 230 | func DumpDepGraphAsJSON(g *DepGraph, filename string, roots []string) { |
Shinichiro Hamaji | 750ae2e | 2015-05-20 12:59:15 +0900 | [diff] [blame] | 231 | sg := MakeSerializableGraph(g, roots) |
| 232 | o, err := json.MarshalIndent(sg, " ", " ") |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 233 | if err != nil { |
| 234 | panic(err) |
| 235 | } |
| 236 | f, err2 := os.Create(filename) |
| 237 | if err2 != nil { |
| 238 | panic(err2) |
| 239 | } |
| 240 | f.Write(o) |
Fumitoshi Ukai | ed9a615 | 2015-06-02 15:28:55 +0900 | [diff] [blame] | 241 | err = f.Close() |
| 242 | if err != nil { |
| 243 | panic(err) |
| 244 | } |
Shinichiro Hamaji | 0df24ec | 2015-04-27 21:29:53 +0900 | [diff] [blame] | 245 | } |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 246 | |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 247 | func DumpDepGraph(g *DepGraph, filename string, roots []string) { |
Shinichiro Hamaji | 1833c28 | 2015-04-28 05:02:27 +0900 | [diff] [blame] | 248 | f, err := os.Create(filename) |
| 249 | if err != nil { |
| 250 | panic(err) |
| 251 | } |
| 252 | e := gob.NewEncoder(f) |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 253 | startTime := time.Now() |
Shinichiro Hamaji | 750ae2e | 2015-05-20 12:59:15 +0900 | [diff] [blame] | 254 | sg := MakeSerializableGraph(g, roots) |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 255 | LogStats("serialize prepare time: %q", time.Now().Sub(startTime)) |
| 256 | startTime = time.Now() |
Shinichiro Hamaji | 750ae2e | 2015-05-20 12:59:15 +0900 | [diff] [blame] | 257 | e.Encode(sg) |
Shinichiro Hamaji | 723f56a | 2015-05-15 17:12:55 +0900 | [diff] [blame] | 258 | LogStats("serialize output time: %q", time.Now().Sub(startTime)) |
Fumitoshi Ukai | ed9a615 | 2015-06-02 15:28:55 +0900 | [diff] [blame] | 259 | err = f.Close() |
| 260 | if err != nil { |
| 261 | panic(err) |
| 262 | } |
Shinichiro Hamaji | 1833c28 | 2015-04-28 05:02:27 +0900 | [diff] [blame] | 263 | } |
| 264 | |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 265 | func GetCacheFilename(mk string, roots []string) string { |
| 266 | filename := ".kati_cache." + mk |
| 267 | for _, r := range roots { |
| 268 | filename += "." + r |
| 269 | } |
| 270 | return url.QueryEscape(filename) |
| 271 | } |
| 272 | |
| 273 | func DumpDepGraphCache(g *DepGraph, roots []string) { |
| 274 | if len(g.readMks) == 0 { |
| 275 | panic("No Makefile is read") |
| 276 | } |
Shinichiro Hamaji | f3ea5d0 | 2015-05-20 17:13:00 +0900 | [diff] [blame] | 277 | cacheFile := GetCacheFilename(g.readMks[0].Filename, roots) |
| 278 | for _, mk := range g.readMks { |
| 279 | // Inconsistent, do not dump this result. |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 280 | if mk.State == 2 { |
Shinichiro Hamaji | f3ea5d0 | 2015-05-20 17:13:00 +0900 | [diff] [blame] | 281 | if exists(cacheFile) { |
| 282 | os.Remove(cacheFile) |
| 283 | } |
| 284 | return |
| 285 | } |
| 286 | } |
| 287 | DumpDepGraph(g, cacheFile, roots) |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 288 | } |
| 289 | |
Shinichiro Hamaji | e666ac8 | 2015-04-28 04:18:13 +0900 | [diff] [blame] | 290 | func DeserializeSingleChild(sv SerializableVar) Value { |
| 291 | if len(sv.Children) != 1 { |
| 292 | panic(fmt.Sprintf("unexpected number of children: %q", sv)) |
| 293 | } |
| 294 | return DeserializeVar(sv.Children[0]) |
| 295 | } |
| 296 | |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 297 | func DeserializeVar(sv SerializableVar) (r Value) { |
| 298 | switch sv.Type { |
| 299 | case "literal": |
| 300 | return literal(sv.V) |
Shinichiro Hamaji | c8dea2a | 2015-04-28 17:15:30 +0900 | [diff] [blame] | 301 | case "tmpval": |
| 302 | return tmpval([]byte(sv.V)) |
Shinichiro Hamaji | e666ac8 | 2015-04-28 04:18:13 +0900 | [diff] [blame] | 303 | case "expr": |
| 304 | var e Expr |
| 305 | for _, v := range sv.Children { |
| 306 | e = append(e, DeserializeVar(v)) |
| 307 | } |
| 308 | return e |
| 309 | case "varref": |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 310 | return varref{varname: DeserializeSingleChild(sv)} |
Shinichiro Hamaji | e666ac8 | 2015-04-28 04:18:13 +0900 | [diff] [blame] | 311 | case "paramref": |
| 312 | v, err := strconv.Atoi(sv.V) |
| 313 | if err != nil { |
| 314 | panic(err) |
| 315 | } |
| 316 | return paramref(v) |
Shinichiro Hamaji | c8dea2a | 2015-04-28 17:15:30 +0900 | [diff] [blame] | 317 | case "varsubst": |
| 318 | return varsubst{ |
| 319 | varname: DeserializeVar(sv.Children[0]), |
| 320 | pat: DeserializeVar(sv.Children[1]), |
| 321 | subst: DeserializeVar(sv.Children[2]), |
| 322 | } |
Shinichiro Hamaji | e666ac8 | 2015-04-28 04:18:13 +0900 | [diff] [blame] | 323 | |
| 324 | case "func": |
| 325 | name := DeserializeVar(sv.Children[0]).(literal) |
| 326 | f := funcMap[string(name[1:])]() |
| 327 | f.AddArg(name) |
| 328 | for _, a := range sv.Children[1:] { |
| 329 | f.AddArg(DeserializeVar(a)) |
| 330 | } |
| 331 | return f |
| 332 | case "funcEvalAssign": |
| 333 | return &funcEvalAssign{ |
| 334 | lhs: sv.Children[0].V, |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 335 | op: sv.Children[1].V, |
Shinichiro Hamaji | e666ac8 | 2015-04-28 04:18:13 +0900 | [diff] [blame] | 336 | rhs: DeserializeVar(sv.Children[2]), |
| 337 | } |
| 338 | case "funcNop": |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 339 | return &funcNop{expr: sv.V} |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 340 | |
| 341 | case "simple": |
| 342 | return SimpleVar{ |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 343 | value: []byte(sv.V), |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 344 | origin: sv.Origin, |
| 345 | } |
| 346 | case "recursive": |
| 347 | return RecursiveVar{ |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 348 | expr: DeserializeSingleChild(sv), |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 349 | origin: sv.Origin, |
| 350 | } |
Shinichiro Hamaji | f8f075c | 2015-04-28 04:25:37 +0900 | [diff] [blame] | 351 | |
| 352 | case ":=", "=", "+=", "?=": |
| 353 | return TargetSpecificVar{ |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 354 | v: DeserializeSingleChild(sv).(Var), |
Shinichiro Hamaji | f8f075c | 2015-04-28 04:25:37 +0900 | [diff] [blame] | 355 | op: sv.Type, |
| 356 | } |
| 357 | |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 358 | default: |
| 359 | panic(fmt.Sprintf("unknown serialized variable type: %q", sv)) |
| 360 | } |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 361 | } |
| 362 | |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 363 | func DeserializeVars(vars map[string]SerializableVar) Vars { |
Shinichiro Hamaji | 79a5693 | 2015-04-28 03:53:57 +0900 | [diff] [blame] | 364 | r := make(Vars) |
| 365 | for k, v := range vars { |
| 366 | r[k] = DeserializeVar(v).(Var) |
| 367 | } |
| 368 | return r |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 369 | } |
| 370 | |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 371 | func DeserializeNodes(g SerializableGraph) (r []*DepNode) { |
| 372 | nodes := g.Nodes |
| 373 | tsvs := g.Tsvs |
| 374 | targets := g.Targets |
Shinichiro Hamaji | 7a65e68 | 2015-04-28 18:00:12 +0900 | [diff] [blame] | 375 | // Deserialize all TSVs first so that multiple rules can share memory. |
| 376 | var tsvValues []Var |
| 377 | for _, sv := range tsvs { |
| 378 | tsvValues = append(tsvValues, DeserializeVar(sv.Value).(Var)) |
| 379 | } |
| 380 | |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 381 | nodeMap := make(map[string]*DepNode) |
| 382 | for _, n := range nodes { |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 383 | var actualInputs []string |
| 384 | for _, i := range n.ActualInputs { |
| 385 | actualInputs = append(actualInputs, targets[i]) |
| 386 | } |
| 387 | |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 388 | d := &DepNode{ |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 389 | Output: targets[n.Output], |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 390 | Cmds: n.Cmds, |
| 391 | HasRule: n.HasRule, |
| 392 | IsOrderOnly: n.IsOrderOnly, |
| 393 | IsPhony: n.IsPhony, |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 394 | ActualInputs: actualInputs, |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 395 | Filename: n.Filename, |
| 396 | Lineno: n.Lineno, |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 397 | TargetSpecificVars: make(Vars), |
| 398 | } |
| 399 | |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 400 | for _, id := range n.TargetSpecificVars { |
| 401 | sv := tsvs[id] |
Shinichiro Hamaji | 7a65e68 | 2015-04-28 18:00:12 +0900 | [diff] [blame] | 402 | d.TargetSpecificVars[sv.Name] = tsvValues[id] |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 403 | } |
| 404 | |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 405 | nodeMap[targets[n.Output]] = d |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 406 | r = append(r, d) |
| 407 | } |
| 408 | |
| 409 | for _, n := range nodes { |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 410 | d := nodeMap[targets[n.Output]] |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 411 | for _, o := range n.Deps { |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 412 | c, present := nodeMap[targets[o]] |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 413 | if !present { |
Fumitoshi Ukai | 36c510b | 2015-06-08 10:21:13 +0900 | [diff] [blame] | 414 | panic(fmt.Sprintf("unknown target: %d (%s)", o, targets[o])) |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 415 | } |
| 416 | d.Deps = append(d.Deps, c) |
| 417 | } |
Shinichiro Hamaji | 744b139 | 2015-05-14 23:29:14 +0900 | [diff] [blame] | 418 | for _, o := range n.Parents { |
| 419 | c, present := nodeMap[targets[o]] |
| 420 | if !present { |
Fumitoshi Ukai | 36c510b | 2015-06-08 10:21:13 +0900 | [diff] [blame] | 421 | panic(fmt.Sprintf("unknown target: %d (%s)", o, targets[o])) |
Shinichiro Hamaji | 744b139 | 2015-05-14 23:29:14 +0900 | [diff] [blame] | 422 | } |
| 423 | d.Parents = append(d.Parents, c) |
| 424 | } |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 425 | } |
| 426 | |
| 427 | return r |
| 428 | } |
| 429 | |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 430 | func human(n int) string { |
Shinichiro Hamaji | 744b139 | 2015-05-14 23:29:14 +0900 | [diff] [blame] | 431 | if n >= 10*1000*1000*1000 { |
| 432 | return fmt.Sprintf("%.2fGB", float32(n)/1000/1000/1000) |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 433 | } |
Fumitoshi Ukai | 936de10 | 2015-06-08 11:21:16 +0900 | [diff] [blame^] | 434 | if n >= 10*1000*1000 { |
| 435 | return fmt.Sprintf("%.2fMB", float32(n)/1000/1000) |
| 436 | } |
| 437 | if n >= 10*1000 { |
| 438 | return fmt.Sprintf("%.2fkB", float32(n)/1000) |
| 439 | } |
| 440 | return fmt.Sprintf("%dB", n) |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 441 | } |
| 442 | |
| 443 | func showSerializedNodesStats(nodes []*SerializableDepNode) { |
| 444 | outputSize := 0 |
| 445 | cmdSize := 0 |
| 446 | depsSize := 0 |
| 447 | actualInputSize := 0 |
| 448 | tsvSize := 0 |
| 449 | filenameSize := 0 |
| 450 | linenoSize := 0 |
| 451 | for _, n := range nodes { |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 452 | outputSize += 4 |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 453 | for _, c := range n.Cmds { |
| 454 | cmdSize += len(c) |
| 455 | } |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 456 | for _ = range n.Deps { |
| 457 | depsSize += 4 |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 458 | } |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 459 | for _ = range n.ActualInputs { |
| 460 | actualInputSize += 4 |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 461 | } |
| 462 | for _ = range n.TargetSpecificVars { |
| 463 | tsvSize += 4 |
| 464 | } |
| 465 | filenameSize += len(n.Filename) |
| 466 | linenoSize += 4 |
| 467 | } |
| 468 | size := outputSize + cmdSize + depsSize + actualInputSize + tsvSize + filenameSize + linenoSize |
| 469 | LogStats("%d nodes %s", len(nodes), human(size)) |
| 470 | LogStats(" output %s", human(outputSize)) |
| 471 | LogStats(" command %s", human(cmdSize)) |
| 472 | LogStats(" deps %s", human(depsSize)) |
| 473 | LogStats(" inputs %s", human(actualInputSize)) |
| 474 | LogStats(" tsv %s", human(tsvSize)) |
| 475 | LogStats(" filename %s", human(filenameSize)) |
| 476 | LogStats(" lineno %s", human(linenoSize)) |
| 477 | } |
| 478 | |
| 479 | func (v SerializableVar) size() int { |
| 480 | size := 0 |
| 481 | size += len(v.Type) |
| 482 | size += len(v.V) |
| 483 | size += len(v.Origin) |
| 484 | for _, c := range v.Children { |
| 485 | size += c.size() |
| 486 | } |
| 487 | return size |
| 488 | } |
| 489 | |
| 490 | func showSerializedVarsStats(vars map[string]SerializableVar) { |
| 491 | nameSize := 0 |
| 492 | valueSize := 0 |
| 493 | for k, v := range vars { |
| 494 | nameSize += len(k) |
| 495 | valueSize += v.size() |
| 496 | } |
| 497 | size := nameSize + valueSize |
| 498 | LogStats("%d vars %s", len(vars), human(size)) |
| 499 | LogStats(" name %s", human(nameSize)) |
| 500 | LogStats(" value %s", human(valueSize)) |
| 501 | } |
| 502 | |
| 503 | func showSerializedTsvsStats(vars []SerializableTargetSpecificVar) { |
| 504 | nameSize := 0 |
| 505 | valueSize := 0 |
| 506 | for _, v := range vars { |
| 507 | nameSize += len(v.Name) |
| 508 | valueSize += v.Value.size() |
| 509 | } |
| 510 | size := nameSize + valueSize |
| 511 | LogStats("%d tsvs %s", len(vars), human(size)) |
| 512 | LogStats(" name %s", human(nameSize)) |
| 513 | LogStats(" value %s", human(valueSize)) |
| 514 | } |
| 515 | |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 516 | func showSerializedTargetsStats(targets []string) { |
| 517 | size := 0 |
| 518 | for _, t := range targets { |
| 519 | size += len(t) |
| 520 | } |
| 521 | LogStats("%d targets %s", len(targets), human(size)) |
| 522 | } |
| 523 | |
Shinichiro Hamaji | 006adbf | 2015-05-25 18:42:12 +0900 | [diff] [blame] | 524 | func showSerializedReadMksStats(readMks []*ReadMakefile) { |
| 525 | size := 0 |
| 526 | for _, rm := range readMks { |
Shinichiro Hamaji | 4220be3 | 2015-05-26 13:30:18 +0900 | [diff] [blame] | 527 | size += len(rm.Filename) + len(rm.Hash) + 4 |
Shinichiro Hamaji | 006adbf | 2015-05-25 18:42:12 +0900 | [diff] [blame] | 528 | } |
| 529 | LogStats("%d makefiles %s", len(readMks), human(size)) |
| 530 | } |
| 531 | |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 532 | func showSerializedGraphStats(g SerializableGraph) { |
| 533 | showSerializedNodesStats(g.Nodes) |
| 534 | showSerializedVarsStats(g.Vars) |
| 535 | showSerializedTsvsStats(g.Tsvs) |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 536 | showSerializedTargetsStats(g.Targets) |
Shinichiro Hamaji | 006adbf | 2015-05-25 18:42:12 +0900 | [diff] [blame] | 537 | showSerializedReadMksStats(g.ReadMks) |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 538 | } |
| 539 | |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 540 | func DeserializeGraph(g SerializableGraph) *DepGraph { |
Shinichiro Hamaji | 0962e86 | 2015-04-28 23:58:57 +0900 | [diff] [blame] | 541 | if katiLogFlag || katiStatsFlag { |
| 542 | showSerializedGraphStats(g) |
| 543 | } |
Shinichiro Hamaji | f013e4b | 2015-04-29 00:21:54 +0900 | [diff] [blame] | 544 | nodes := DeserializeNodes(g) |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 545 | vars := DeserializeVars(g.Vars) |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 546 | return &DepGraph{ |
Shinichiro Hamaji | f3ea5d0 | 2015-05-20 17:13:00 +0900 | [diff] [blame] | 547 | nodes: nodes, |
| 548 | vars: vars, |
| 549 | readMks: g.ReadMks, |
Shinichiro Hamaji | 9850037 | 2015-05-29 17:05:43 +0900 | [diff] [blame] | 550 | exports: g.Exports, |
Shinichiro Hamaji | 750ae2e | 2015-05-20 12:59:15 +0900 | [diff] [blame] | 551 | } |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 552 | } |
| 553 | |
Fumitoshi Ukai | 936de10 | 2015-06-08 11:21:16 +0900 | [diff] [blame^] | 554 | func LoadDepGraphFromJSON(filename string) *DepGraph { |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 555 | f, err := os.Open(filename) |
| 556 | if err != nil { |
| 557 | panic(err) |
| 558 | } |
Fumitoshi Ukai | ed9a615 | 2015-06-02 15:28:55 +0900 | [diff] [blame] | 559 | defer f.Close() |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 560 | |
| 561 | d := json.NewDecoder(f) |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 562 | g := SerializableGraph{Vars: make(map[string]SerializableVar)} |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 563 | err = d.Decode(&g) |
| 564 | if err != nil { |
| 565 | panic(err) |
| 566 | } |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 567 | return DeserializeGraph(g) |
Shinichiro Hamaji | 1833c28 | 2015-04-28 05:02:27 +0900 | [diff] [blame] | 568 | } |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 569 | |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 570 | func LoadDepGraph(filename string) *DepGraph { |
Shinichiro Hamaji | 1833c28 | 2015-04-28 05:02:27 +0900 | [diff] [blame] | 571 | f, err := os.Open(filename) |
| 572 | if err != nil { |
| 573 | panic(err) |
| 574 | } |
Fumitoshi Ukai | ed9a615 | 2015-06-02 15:28:55 +0900 | [diff] [blame] | 575 | defer f.Close() |
Shinichiro Hamaji | 1833c28 | 2015-04-28 05:02:27 +0900 | [diff] [blame] | 576 | |
| 577 | d := gob.NewDecoder(f) |
Shinichiro Hamaji | 3d6d0aa | 2015-04-28 16:18:44 +0900 | [diff] [blame] | 578 | g := SerializableGraph{Vars: make(map[string]SerializableVar)} |
Shinichiro Hamaji | 1833c28 | 2015-04-28 05:02:27 +0900 | [diff] [blame] | 579 | err = d.Decode(&g) |
| 580 | if err != nil { |
| 581 | panic(err) |
| 582 | } |
Shinichiro Hamaji | 530136b | 2015-04-28 17:12:48 +0900 | [diff] [blame] | 583 | return DeserializeGraph(g) |
Shinichiro Hamaji | 8c9d0e3 | 2015-04-28 03:30:19 +0900 | [diff] [blame] | 584 | } |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 585 | |
Shinichiro Hamaji | f3ea5d0 | 2015-05-20 17:13:00 +0900 | [diff] [blame] | 586 | func LoadDepGraphCache(makefile string, roots []string) *DepGraph { |
Shinichiro Hamaji | 82ecff9 | 2015-05-25 18:36:04 +0900 | [diff] [blame] | 587 | startTime := time.Now() |
| 588 | defer func() { |
| 589 | LogStats("Cache lookup time: %q", time.Now().Sub(startTime)) |
| 590 | }() |
| 591 | |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 592 | filename := GetCacheFilename(makefile, roots) |
Shinichiro Hamaji | 39e6240 | 2015-05-20 19:34:58 +0900 | [diff] [blame] | 593 | if !exists(filename) { |
| 594 | LogAlways("Cache not found") |
| 595 | return nil |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 596 | } |
Shinichiro Hamaji | 39e6240 | 2015-05-20 19:34:58 +0900 | [diff] [blame] | 597 | |
| 598 | g := LoadDepGraph(filename) |
| 599 | for _, mk := range g.readMks { |
Fumitoshi Ukai | 936de10 | 2015-06-08 11:21:16 +0900 | [diff] [blame^] | 600 | if mk.State != FileExists && mk.State != FileNotExists { |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 601 | panic(fmt.Sprintf("Internal error: broken state: %d", mk.State)) |
Shinichiro Hamaji | 0ba75a9 | 2015-05-20 19:42:43 +0900 | [diff] [blame] | 602 | } |
Fumitoshi Ukai | 936de10 | 2015-06-08 11:21:16 +0900 | [diff] [blame^] | 603 | if mk.State == FileNotExists { |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 604 | if exists(mk.Filename) { |
| 605 | LogAlways("Cache expired: %s", mk.Filename) |
| 606 | return nil |
| 607 | } |
| 608 | } else { |
Fumitoshi Ukai | bc40a46 | 2015-06-02 15:51:16 +0900 | [diff] [blame] | 609 | c, err := ioutil.ReadFile(mk.Filename) |
Shinichiro Hamaji | 4220be3 | 2015-05-26 13:30:18 +0900 | [diff] [blame] | 610 | if err != nil { |
| 611 | LogAlways("Cache expired: %s", mk.Filename) |
| 612 | return nil |
| 613 | } |
| 614 | h := sha1.Sum(c) |
| 615 | if !bytes.Equal(h[:], mk.Hash[:]) { |
Shinichiro Hamaji | 45cde1d | 2015-05-25 18:21:23 +0900 | [diff] [blame] | 616 | LogAlways("Cache expired: %s", mk.Filename) |
| 617 | return nil |
| 618 | } |
Shinichiro Hamaji | 39e6240 | 2015-05-20 19:34:58 +0900 | [diff] [blame] | 619 | } |
| 620 | } |
| 621 | g.isCached = true |
| 622 | LogAlways("Cache found!") |
| 623 | return g |
Shinichiro Hamaji | b0d2e2f | 2015-05-20 16:42:59 +0900 | [diff] [blame] | 624 | } |