Efficient sparse matrix-vector multiplication on x86-based many-core processors | Synapse