Come fare un benchmark veloce su Linux