summaryrefslogtreecommitdiff
path: root/tex/context/base/mkiv/node-mig.lua
blob: 13414c560c7352f21551e737aa1c725ea4253a14 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
if not modules then modules = { } end modules ['node-mig'] = {
    version   = 1.001,
    comment   = "companion to node-mig.mkiv",
    author    = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
    copyright = "PRAGMA ADE / ConTeXt Development Team",
    license   = "see context related readme files"
}

-- todo: insert_after

local format = string.format

local trace_migrations = false trackers.register("nodes.migrations", function(v) trace_migrations = v end)

local report_nodes = logs.reporter("nodes","migrations")

local attributes       = attributes
local nodes            = nodes

local nuts             = nodes.nuts
local tonut            = nuts.tonut

local getnext          = nuts.getnext
local getid            = nuts.getid
local getlist          = nuts.getlist
local getprop          = nuts.getprop

local setprop          = nuts.setprop
local setlink          = nuts.setlink
local setlist          = nuts.setlist
local setprev          = nuts.setprev
local setnext          = nuts.setnext
local setboth          = nuts.setboth

local remove_node      = nuts.remove
local count            = nuts.count

local nodecodes        = nodes.nodecodes
local hlist_code       = nodecodes.hlist
local vlist_code       = nodecodes.vlist
local insert_code      = nodecodes.ins
local mark_code        = nodecodes.mark

local a_migrated       = attributes.private("migrated")
local trialtypesetting = context.trialtypesetting

local migrate_inserts  = false
local migrate_marks    = false

local t_inserts        = 0
local t_marks          = 0
local t_sweeps         = 0

local function locate(head,first,last)
    local current = head
    while current do
        local id = getid(current)
        if id == vlist_code or id == hlist_code then
            local list = getlist(current)
            if list then
                local l
                l, first, last = locate(list,first,last)
                if l ~= list then
                    setlist(current,l)
                end
            end
            current = getnext(current)
        elseif id == insert_code then
            if migrate_inserts then
                local insert
                head, current, insert = remove_node(head,current)
                if first then
                    setnext(insert)
                    setlink(last,insert)
                else
                    setboth(insert)
                    first = insert
                end
                last = insert
            end
        elseif id == mark_code then
            if migrate_marks then
                local mark
                head, current, mark = remove_node(head,current)
                if first then
                    setnext(mark)
                    setlink(last,mark)
                else
                    setboth(mark)
                    first = mark
                end
                last = mark
            end
        else
            current = getnext(current)
        end
    end
    return head, first, last
end

function nodes.handlers.migrate(head,where)
    if head and not trialtypesetting() then
        if trace_migrations then
            report_nodes("migration sweep %a",where)
        end
        local current = head
        while current do
            local id = getid(current)
            if (id == vlist_code or id == hlist_code or id == insert_code) and not getprop(current,"migrated") then
                setprop(current,"migrated",true)
                local h = getlist(current)
                if h then
                    t_sweeps = t_sweeps + 1
                    local first, last
                    while h do
                        local id = getid(h)
                        if id == vlist_code or id == hlist_code then
                            h, first, last = locate(h,first,last)
                        end
                        h = getnext(h)
                    end
                    if first then
                        if trace_migrations then
                            local ni = count(insert_code,first)
                            local nm = count(mark_code,first)
                            t_inserts = t_inserts + ni
                            t_marks   = t_marks   + nm
                            report_nodes("sweep %a, container %a, %s inserts and %s marks migrated outwards during %a",
                                t_sweeps,nodecodes[id],ni,nm,where)
                        end
                        local n = getnext(current)
                        if n then
                            setlink(last,n)
                        end
                        setlink(current,first)
                        current = last
                    end
                end
            end
            current = getnext(current)
        end
    end
    return head
end

statistics.register("node migrations", function()
    if trace_migrations and t_sweeps > 0 then
        return format("%s sweeps, %s inserts moved, %s marks moved",t_sweeps,t_inserts,t_marks)
    end
end)

-- Since we started with mkiv we had it as experiment but it is about time
-- to have a more formal interface .. it's still optional due to possible
-- side effects.

local enableaction  = nodes.tasks.enableaction
local disableaction = nodes.tasks.disableaction

local migrations = { }
nodes.migrations = migrations
local enabled    = false

local function check()
    if migrate_marks or migrate_inserts then
        if not enabled then
            enableaction("mvlbuilders", "nodes.handlers.migrate")
            enableaction("processors", "nodes.handlers.migrate")
            enabled = true
        end
    else
        if enabled then
            disableaction("mvlbuilders", "nodes.handlers.migrate")
            disableaction("processors", "nodes.handlers.migrate")
            enabled = false
        end
    end
end

function migrations.setmarks(v)
    migrate_marks = v
    check()
end

function migrations.setinserts(v)
    migrate_inserts = v
    check()
end