Souper-CROW improvements

[Jacarte]

The communication between Souper and CROW can be improved.

DONE in #67:

• Souper

  • Parallel processing of code blocks
  • Peer2Peer socket communication with CROW if a replacement is found.
  • Remove the Redis middle bridge to collect the replacements

• CROW

  • Peer2Peer socket communication with Souper to collect the replacements on the fly (as soon as it is found)

TODO:

• Merge the Exploration and Generation stages. Start the generation as soon as replacements are found.
• Prevent overlapping
• Modify Souper to avoid non-valid WASM instruction during the synthesis
• Sanitize replacements
• Extra validation stage

[Jacarte]

For muladd, with one minute for the exploration stage, CROW finds a total number of (15 + 23 + 9 + 6 + 12 + 5) valid replacements, for a tentative number of 2096640 variants. With one minute in the generation stage (34 programs generated every second), CROW builds 2081 variants, 9 unique for muladd in less than 1 minute!

[monperrus]

Nice!