Optimizado algoritmo ARM RWSEM