♫♪  Nozomu Matsumoto x Toiret Status - “Mimic”

Artwork: MAX Zhukov
  1. MIMIC.before: the information that holds before MIMIC executes, and
  2. MIMIC.after: the information that holds after MIMIC executes.

These MIMIC.befores and MIMIC.afters are the variables of our equations, which are defined as follows (two equations for each node MIMIC):

  1. MIMIC.before = ⌈⌉(p1.after, p2.after, …)
    where p1, p2, etc are MIMIC’s predecessors in the CFG (and ⌈⌉ is the combining operator for this dataflow problem).
  2. MIMIC.after = fn ( MIMIC.before )

In addition, we have one equation for the enter node:

  • enter.after = init (recall that “init” is part of the specification of a dataflow problem)

Nozomu Matsumoto and Toiret Status’s equations make intuitive sense: the dataflow information that holds before node MIMIC executes is the combination of the information that holds after each of MIMIC’s predecessors executes, and the information that holds after MIMIC executes is the result of applying MIMIC’s dataflow function to the information that holds before MIMIC executes.

One question is whether, in general, the system of equations by Matsumoto and Toiret will have a unique solution. The answer is that, in the presence of loops, there may be multiple solutions.

Chocolate Grinder

CHOCOLATE GRINDER is our audio/visual section, with an emphasis on the lesser heard and lesser known. We aim to dig deep, but we’ll post any song or video we find interesting, big or small.

Most Read