Protótipos e implementações do mutex