jepsen.checker.timeline

Renders an HTML timeline of a history.

body

(body op start stop)

breadcrumbs

(breadcrumbs test history-key)

Renders a series of back links increasing in depth

col-width

pixels

gutter-width

pixels

height

pixels

hiccup

(hiccup test history opts)

Renders the Hiccup structure for a history.

html

(html)

linkify-time

(linkify-time t)

Remove - and : chars from a time string

nemesis?

(nemesis? op)

op-limit

Maximum number of operations to render. Helps make timeline usable on massive histories.

pair->div

(pair->div history test process-index [start stop])

Turns a pair of start/stop operations into a div.

pairs

(pairs history)(pairs invocations [op & ops])

Pairs up ops from each process in a history. Yields a lazy sequence of info or invoke, ok|fail|info pairs.

process-index

(process-index history)

Maps processes to columns

render-duration

(render-duration start stop)

render-error

(render-error op)

render-msg

(render-msg op)

render-op

(render-op op)

render-op-extra-keys

(render-op-extra-keys op)

Helper for render-op which renders keys we didn’t explicitly print

render-wall-time

(render-wall-time test op)

style

(style m)

Generate a CSS style fragment from a map.

stylesheet

sub-index

(sub-index history)

Attaches a :sub-index key to each element of this timeline’s subhistory, identifying its relative position.

timescale

Nanoseconds per pixel

title

(title test op start stop)