Estoy confundido sobre el uso de la register
palabra clave en C. Generalmente se dice que su uso no es necesario como en esta pregunta en stackoverflow .
¿Es esta palabra clave totalmente redundante en C debido a los compiladores modernos o hay situaciones en las que todavía puede ser útil? En caso afirmativo, ¿cuáles son algunas situaciones en las que el uso de register
palabras clave es realmente útil?
const
palabra clave, pero esta pregunta demostró que estaba equivocado. Así que esperaré y veré qué obtengo.const
palabra clave es algo diferente al registro.Respuestas:
No es redundante en términos de lenguaje, es solo que al usarlo, le está diciendo al compilador que "preferiría" tener una variable almacenada en el registro. Sin embargo, no hay absolutamente ninguna garantía de que esto suceda realmente durante el tiempo de ejecución.
fuente
Como ya se mencionó, los optimizadores del compilador esencialmente hacen que la
register
palabra clave quede obsoleta para otros propósitos que no sean el aliasing. Sin embargo, hay bases de código completas que se compilan con la optimización desactivada (-O0
en gcc-speak ). Para dicho código, laregister
palabra clave puede tener un gran efecto. Específicamente, las variables que de otro modo obtendrían un espacio en la pila (es decir, todos los parámetros de función y variables automáticas) se pueden colocar directamente en un registro si se declara con laregister
palabra clave.Aquí hay un ejemplo del mundo real: suponga que se ha producido alguna recuperación de la base de datos y que el código de recuperación ha rellenado la tupla recuperada en una estructura C. Además, suponga que algún subconjunto de esta estructura C debe copiarse en otra estructura; tal vez esta segunda estructura es un registro de caché que representa los metadatos almacenados en la base de datos que, debido a restricciones de memoria, solo almacena en caché un subconjunto de cada registro de metadatos como está almacenado en la base de datos.
Dada una función que toma un puntero a cada tipo de estructura y cuyo único trabajo es copiar algunos miembros de la estructura inicial a la segunda estructura: las variables de puntero de estructura vivirán en la pila. A medida que las asignaciones ocurren de los miembros de una estructura a las de la otra, las direcciones de la estructura, para cada asignación, se cargarán en un registro para realizar el acceso de los miembros de la estructura que se están copiando. Si los punteros de estructura fueran declarados con la
register
palabra clave, las direcciones de las estructuras permanecerían en los registros, eliminando efectivamente las instrucciones de carga-dirección-en-registro para cada asignación.Nuevamente, recuerde que la descripción anterior se aplica al código no optimizado .
fuente
Básicamente le dice al compilador que no tomará la dirección de la variable y el compilador puede hacer aparentemente más optimizaciones. Hasta donde sé, los compiladores modernos son bastante capaces de determinar si una variable puede / debe mantenerse en un registro o no.
Ejemplo:
fuente
En los días de la computadora de 16 bits, a menudo se necesitaban múltiples registros para ejecutar multiplicaciones y divisiones de 32 bits. A medida que las unidades de coma flotante se incorporaron a los chips y luego las arquitecturas de 64 bits 'se hicieron cargo', tanto el ancho de los registros como el número de ellos se expandieron. Esto eventualmente lleva a una rediseño completo de la CPU. Ver Registro de archivos en Wikipedia.
En resumen, le tomaría un poco de tiempo darse cuenta de lo que realmente está sucediendo si está en un chip X86 o ARM de 64 bits. Si está en una CPU incorporada de 16 bits, esto podría darle algo. Sin embargo, la mayoría de los chips integrados pequeños no funcionan con tiempo crítico: su horno de microondas podría estar tomando muestras de su panel táctil 10,000 veces por segundo, nada que agote una CPU de 4Mhz.
fuente
Para establecer si la palabra clave de registro tiene algún significado, los códigos de ejemplo pequeños no funcionarán. Aquí hay un código c que me sugiere, la palabra clave de registro todavía tiene un significado. Pero podría ser diferente con GCC en Linux, no lo sé. ¿El registro int k & l se almacenará en un registro de CPU o no? Los usuarios de Linux (especialmente) deben compilar con GCC y optimización. Con Borland bcc32, la palabra clave de registro parece funcionar (en este ejemplo), ya que el operador & da códigos de error para registrar enteros declarados. ¡NOTA! ¡Este NO es el caso con un pequeño ejemplo con Borland en Windows! Para ver realmente qué optimiza o no el compilador, tiene que ser más que un pequeño ejemplo. ¡Los bucles vacíos no funcionarán! Sin embargo, si una dirección PUEDE leerse con el operador &, la variable no se almacena en un registro de CPU. Pero si un registro declarado variable no se puede leer (lo que provoca un código de error en la compilación), tengo que suponer que la palabra clave de registro realmente coloca la variable en un registro de CPU. Puede diferir en varias plataformas, no lo sé. (Si funciona, el número de "ticks" será mucho menor con la declaración de registro.
fuente