1 files changed, 160 insertions, 0 deletions
diff --git a/tex/context/base/trac-tim.lua b/tex/context/base/trac-tim.lua
new file mode 100644
index 000000000..a8725bb5c
--- /dev/null
+++ b/tex/context/base/trac-tim.lua
@@ -0,0 +1,160 @@
+if not modules then modules = { } end modules ['trac-tim'] = {
+    version   = 1.001,
+    comment   = "companion to m-timing.tex",
+    author    = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
+    copyright = "PRAGMA ADE / ConTeXt Development Team",
+    license   = "see context related readme files"
+}
+
+local format, gsub = string.format, string.gsub
+local concat, sort = table.concat, table.sort
+local next, tonumber = next, tonumber
+
+plugins          = plugins          or { }
+plugins.progress = plugins.progress or { }
+
+local progress = plugins.progress
+
+progress = progress or { }
+
+progress.defaultfilename = ((tex and tex.jobname) or "whatever") .. "-luatex-progress"
+
+local params = {
+    "cs_count",
+    "dyn_used",
+    "elapsed_time",
+    "luabytecode_bytes",
+    "luastate_bytes",
+    "max_buf_stack",
+    "obj_ptr",
+    "pdf_mem_ptr",
+    "pdf_mem_size",
+    "pdf_os_cntr",
+--  "pool_ptr", -- obsolete
+    "str_ptr",
+}
+
+-- storage
+
+local last  = os.clock()
+local data  = { }
+
+function progress.save()
+    io.savedata((name or progress.defaultfilename) .. ".lut",table.serialize(data,true))
+    data = { }
+end
+
+function progress.store()
+    local c = os.clock()
+    local t = {
+        elapsed_time = c - last,
+        node_memory  = nodes.usage(),
+    }
+    for k, v in next, params do
+        if status[v] then t[v] = status[v] end
+    end
+    data[#data+1] = t
+    last = c
+end
+
+-- conversion
+
+local processed = { }
+
+local function convert(name)
+    name = ((name ~= "") and name) or progress.defaultfilename
+    if not processed[name] then
+        local names, top, bot, pages, paths, keys = { }, { }, { }, 0, { }, { }
+        local data = io.loaddata(name .. ".lut")
+        if data then data = loadstring(data) end
+        if data then data = data() end
+        if data then
+            pages = #data
+            if pages > 1 then
+                local factor = 100
+                for k=1,#data do
+                    for k, v in next, data[k].node_memory do
+                        keys[k] = true
+                    end
+                end
+                for k=1,#data do
+                    local m = data[k].node_memory
+                    for k, v in next, keys do
+                        if not m[k] then m[k] = 0 end
+                    end
+                end
+                local function path(tag,subtag)
+                    local b, t, s = nil, nil, { }
+                    for k=1,#data do
+                        local v = data[k][tag]
+                        v = v and (subtag and v[subtag]) or v
+                        if v then
+                            v = tonumber(v)
+                            if b then
+                                if v > t then t = v end
+                                if v < b then b = v end
+                            else
+                                t = v
+                                b = v
+                            end
+                            s[k] = v
+                        else
+                            s[k] = 0
+                        end
+                    end
+                    local tagname = subtag or tag
+                    top[tagname] = gsub(format("%.3f",t),"%.000$","")
+                    bot[tagname] = gsub(format("%.3f",b),"%.000$","")
+                    local delta = t-b
+                    if delta == 0 then
+                        delta = 1
+                    else
+                        delta = factor/delta
+                    end
+                    for k=1,#s do
+                        s[k] = "(" .. k .. "," .. (s[k]-b)*delta .. ")"
+                    end
+                    paths[tagname] = concat(s,"--")
+                end
+                for _, tag in next, params do
+                    path(tag)
+                end
+                for tag, _ in next, keys do
+                    path("node_memory",tag)
+                    names[#names+1] = tag
+                end
+                pages = pages - 1
+            end
+        end
+        sort(names)
+        processed[name] = {
+            names = names,
+            top = top,
+            bot = bot,
+            pages = pages,
+            paths = paths,
+        }
+    end
+    return processed[name]
+end
+
+progress.convert = convert
+
+function progress.bot(name,tag)
+    return convert(name).bot[tag] or 0
+end
+function progress.top(name,tag)
+    return convert(name).top[tag] or 0
+end
+function progress.pages(name,tag)
+    return convert(name).pages or 0
+end
+function progress.path(name,tag)
+    return convert(name).paths[tag] or "origin"
+end
+function progress.nodes(name)
+    return convert(name).names or { }
+end
+function progress.parameters(name)
+    return params -- shared
+end