Codificaciones para valores de montón aplanados

codificaciones para aplanado montón valores

A llave objetivo dentro Proyecto Valhalla Este tiene aplanar valor objetos dentro su montón contenedores, entonces que simultáneamente mantener todo especificado comportamientos de aquellos contenedores. A valores plato representación debe proporcionar almacenamiento partes para cada campo de EL valor, asignado directamente dentro EL envase (O tiene menos indirectamente accesible). EL referencia nulo debe también estar representable (Cuando EL envase Este anulable). Allá están frecuentemente también consistencia requisitos eso EL envase debe garantizar, si Razas hilos están mientras leo Y escribiendo EL contenedor.

Este documento conversar mucho implementación opcion para semejante montón contenedores. Nosotros paga particular atención tiene A común pero difícil caso de plato valor almacenamiento, O EL envase Este organizado como soltera máquina palabra de en alto tiene 64 partes (O puede ser 128 bits).

Nosotros voluntad considerar modales de Presentación A nulo cadena dentro EL envase tiene representar EL nulo referencia, Cuando Él debe estar almacenado (lógicamente) dentro EL envase. Este nulo canal podría estar interno tiene EL máquina palabra, O Él podría requerir A adicional byte externo tiene EL máquina palabra.

Explicativo barras laterales voluntad estar dentado como Este. Tú puede saltar ellos.

requisitos

Antes Nosotros considerar EL "Qué" Nosotros debe definir EL "Por qué", EL requisitos eso NUESTRO implementaciones voluntad llenar. Este necesita Nosotros tiene definir algunas términos.

Qué están contenedores?

Java variables puede estar campos al interior montón objetos, O cuadro elementos al interior montón Cuadros; estos están EL posible montón variables. Allá están también no montón variables: Ellos están local variables O pila elementos dentro A Activación marco seguro A hilo pila.

A contenedor Este simplemente EL implementación de A variable definido por EL Java lengua O EL Java Máquina virtual. Por qué no justo decir "variable" ¿entonces? EL término envase se concentra seguro EL nivel bajo, concreto implementación características de A variable, por contraste con Es lógica, especificado comportamiento. Notablemente, todo Java Y Máquina virtual variables (excepto aquellos de primitivo los tipos como En t) están especificado como Las referencias, Y debe comportarse como semejante. Excepto no importa cual especial acuerdo, ellos están inicializado tiene nulo, Y están leer Y escribiendo como punteros. Si ellos están mecanografiado como basado en valor Clases (O Valhalla valores), su sucesivo valores están observado tiene comportarse con completo consistencia, incluso abajo carrera condiciones.

Aunque Es lógica comportamiento marcas A variable aparecer como si Él está aguantando solamente A soltera referencia tiene A serie de sucesivamente asignado objetos (y O nulo), Valhalla permitir EL envase subyacente A variable tiene estar aplanado. Aunque Él se comporta como A aguja, Él Este formateado cualquier cosa como A En t variable. Si EL valor tiene varios campos, Él se comporta como varios variables (En t, referencia, poco importa); estos variables están almacenado cerca cada otro, Y todo dentro EL aplanado envase. EL envase puede también haber A estrategia para representante EL lógica presencia de A nulo referencia, incluso si físicamente EL envase tiene No Las referencias tiene todo.

Antes Valhalla, EL lógica características de A cada variable Y Es pegar Más O menos directamente dictado EL físico estructura de EL envase. (Allá haber ha sido excepciones, semejante como escalamiento optimizaciones cual reorganizar montón objetos dentro hilo registros.) Este Este Por qué EL término "envase" Este útil principalmente dentro EL configuración de Valhalla.

Nosotros no decir mucho a proposito EL implementación de no montón contenedores, porque ellos están administrado por JIT codificado O EL intérprete. Afortunadamente, ellos están Nunca sujeto tiene carrera términos desde semejante A envase Este usado solamente por EL hilo EL creado Él. Tú puede pensar de A no montón envase de A valor estar varios máquina registros y O hilo pila Ubicaciones, generalmente no adyacente tiene A otro.

Estar dentro EL montón medio eso EL envase Este Localizado dentro A cerrando almacenamiento bloquear, A objeto O cuadro seguro EL Java montón. Típicamente EL identificar de EL almacenamiento bloquear Este calculado dinamicamente. (Estático campos están A excepción; su que contiene bloques están constante.) Pero A envase dentro EL bloquear debe haber A previsible ubicación, relativo tiene EL bloquear. Él debe también haber A previsible, inactivamente de...