Enter transaction:
- Append change to log
- Read through log up to point of insertion, make sure fine
- If there is a conflict up to the current point, do conflict resolution
- Commit change
- Mark change as committed
- Each thread only handles it's own work items.

- Visualize temporality as a big log
- If starved, emit a "get" for a variable

- Work with ILP algorithms
- Our work reordering can be done locklessly, lockless queue
- Use basic block as unit of parallelism
- Basic block depends on values and outputs values
- Like a transaction, except precise.