Diferencia entre revisiones de «Lenguaje eWamblador»
Línea 249: | Línea 249: | ||
* Suma de wit | * Suma de wit | ||
''wit'' + ''witS''; // selecciona el valor resultante de la suma del valor del | ''wit'' + ''witS''; // selecciona el valor resultante de la suma del valor del | ||
− | // puntero ''Actual'' más el puntero '''witS''' | + | // puntero '''Actual''' más el puntero '''witS''' |
''wit'' + '''valor'''; // selecciona el valor resultante de la suma del valor | ''wit'' + '''valor'''; // selecciona el valor resultante de la suma del valor | ||
− | // del puntero ''Actual'' más el valor dado | + | // del puntero '''Actual''' más el valor dado |
* Diferencia de wits | * Diferencia de wits |
Revisión del 19:32 15 jun 2010
El eWamblador es el Lenguaje de programación eWa más básico para desarrollar Soluciones Informáticas del Proyecto eWa. Genera resultados en código máquina (instrucciones 0, 1, 2..., C, D, E, y F). Está basado directamente en las Instrucciones del Compilador de Idioma eWa y su evolución es el Lenguaje eWa.
Usa el Idioma eWa. Es el más eficiente si se utiliza correctamente. Se puede programar en el Lenguaje eWamblador usando el entorno de programación Julio Verne.
Pincha aquí para ver la cabecera del Lenguaje eWamblador
Sumario
Instrucciones heradadas en eWamblador
Como el eWamblador está basado en el lenguaje de código Máquina, herda las 16 instrucciones básicas de toda la Arquitectura eWa y pueden ser usadas (y se usan para programar los objetos primitivos y las mejores optimizaciones) simplemente escribiéndolas en línea:
7250B // 7250B -> 7250B 7210B // 1 B -> 1B 3250B // 3 5 B -> 35B 654A // 6 4A -> 64A 3654D // 3 D -> 3D 3614D // 1 D -> 1D F // F -> F
En esa bloque de Instrucciones Básicas se ha puesto el código completo en la columna de la izquierda, y después de los // el código optimizado. La optimización básica de Código Máquina se realiza eliminando los valores de las columnas numerales cuando en la fila anterior se repite.
El Código Máquina que se incorpora al eWamblador se considera como una función, por lo tanto, si se concatena con instrucciones extendidas, ha de separarse por ;. Esta técnica es bastante útil si se reservan registros o punteros.
Trabajo con recursos con eWamblador
Gracias a las Instrucciones del Compilador de Idioma eWa, en el Lenguaje eWamblador se permiten reservar varios de los recursos de un Sistema Informático. Los recursos que se pueden reservar son los registros 89ABCDEF de la CPU, los punteros/registros de la ABU, o direcciones o bloques del Espacio de Direcciones. También, permite crear alias de estas reservas y varias cosas más.
La sintaxis de las Instrucciones del Compilador de Idioma eWa se define como expresiones que empiezan por el símbolo #. Al usarse en tiempo de compilación, no es posible usar el wit (puntero actual), el wit[*] (página actual) o cualquier estructura dependiente de la ejecución. En este caso lo que se referenciará será un recurso similar a ese, por ejemplo, el uso de wit reservará un puntero que no esté reservado.
Reservar recursos
La expresión reservar, que se puede asemejar a la de declarar variables de los lenguajes de más alto nivel, es realmente útil no solo para crear alias de recursos, si no para verificar las colisiones de reservas: si se reserva un recurso y luego se vuelve a reservar otro sin haberlo liberado anteriormente, el eWamblador dará un aviso. Las librerías estándares suelen incorporar condicionales para revisar si estos recursos están o no reservados, tanto con ese nombre como con otro.
#reservar alias recurso #reservar espacioA bus[0x01.00]0xFF // esto creará un alias llamado espacioA que reservará // 0xFF direcciones desde la 0x1.00 del Bus #reservar espacioB bus[]0xFF // esto creará un alias llamado espacioB que reservará // 0xFF direcciones (bits) desde un sitio libre #reservar espacioC witQ[1] // esto creará un alias llamado espacioC que reservará // los 8 bits de la página 1 del puntero Q
Liberar recursos
La expresión liberar se usa para liberar recursos, pero sin eliminar el alias.
#liberar alias #liberar espacioA // esto liberará el recurso espacioA #liberar espacioB // esto liberará el recurso espacioB
Crear alias
La expresión alias se usa para declarar alias pero sin reservar los recursos que usa. Es útil para utilizarse en entornos compartidos seguros monoprogramados en donde no es necesario andarse preocupando de la modificación de recursos o se desea compartir. Por ejemplo es muy útil para crear alias de los CUWs o posiciones concretas del Sistema Informático.
#alias alias recurso #alias espacioA [0x01.00]0xFF // esto creará un alias llamado espacioA de // 0xFF direcciones desde la 0x1.00 del Bus #alias espacioB witQ[]0xFF // esto creará un alias llamado espacioB de // 0xFF direcciones desde la 0x1.00 del Bus
Instrucciones propias del eWamblador
Pero como puede ser muy tedioso escribir (, repetir) e incluso entender programas escritos de esa forma, se han creado las instrucciones propias del eWamblador, que sin ser tan abstractas y simples como las del resto de lenguajes de ensamblador (con instrucciones mov, push, etc...) recuerdan un poco más a la sencillez de la Arquitectura eWa y a los programas de orientación a objetos como el C++. Estas instrucciones se llaman instrucciones extendidas.
De esta forma, el código anterior se puede escribir como:
witQ; // selecciona el puntero Q wit = 0; // el puntero Q a todo 0s wit2; // pone a witQ2, se puede poner también conmutar la siguiente línea con esta // y en la propia instrucción 'witx[7] = k;' seleccionarlo así: 'wit2[7] = k;' k = 1; // pone k = 1 witx[7] = k; // pone witQ2[7] = 1 witx[5] = k; // pone witQ2[5] = 1 bus[wit] = k; // pone bus[witQ] = 1
En ese código se ha puesto el código resumido en la columna de la izquierda, y después de los // la explicación con el código completo. Como ahora igual ya sí se puede entender, lo que hace este código es poner el puntero Q apuntando a la posición 0xA000 (1010000000000000) que, paradógicamente..., es la dirección de mapeo del controlador estándar de pantalla. Esto quiere decir, que el último [wit] = 1, escribiremos un 1 en el primer bit del controlador de la pantalla; y, un [wit+10] = 0 para escribir en el bit 11 del controlador un 0... más adelante, leyendo la información sobre la controladora de pantalla, podréis saber para qué sirve eso. De todas formas, como eWamblador no es solo un lenguaje para traducir a Código máquina con un lenguaje más amigable, si no de reducir trabajo al programador, todo el código anterior se podría resumir en:
witQ = 0xA0; // selecciona el puntero Q y lo pone apuntando a 0xA000 bus[wit] = 1; // pone en [0xA000] el valor 1
O también, sin preocuparse, por el puntero (utilizará el último usado):
bus[0xA0] = 1;
Objetos e Instancias del Lenguaje eWamblador
El Lenguaje eWamblador se podría considerar un lenguaje orientado a objetos e instancias. Básicamente, lo que se intenta en el eWamblador es crear un pequeño conjunto de instancias con operaciones declaradas en el propio lenguaje.
Objetos primitivos
Todas estas instancias tienen definidas operaciones de acceso a subconjuntos, hasta como siempre, llegar a una instancia de objeto BIT:
REG
La instancia reg es un objeto REG que utiliza el operador REG[valor:char5="K"] (reg["A"] por ejemplo) que espera un valor de 5 bits que se interpretará como un char5 o tomará el valor por defecto "K" y devuelve el selector BIT o WIT de un registro del núcleo.
En realidad es un pseudo-objeto, ya que en realidad se define con #define ya que no es posible invocar a una función que modifique los registros del núcleo de un Sistema Informático sin ya de por sí modificarlos.
WIT
La instancia wit es un objeto WIT que utiliza tres operadores: dos de selección y uno de asignación. Los dos de selección son el operador WIT[pag:uint4=null] (wit[2] por ejemplo) que espera una página de 4 bits que se interpretará como un uint4 o tomará el valor por defecto null y devuelve el selector PAG de la página seleccionada del puntero de la MMU; y el operador WIT[[comp_abs:uint6]] (wit[[12]] por ejemplo) que espera una componente absoluta de 4 bits que se interpretará como un uint6 y devuelve el selector BIT de la componente absoluta seleccionada del puntero de la MMU. El operador de asingación es WIT = valor:uint64 (wit = 0x542 por ejemplo) que espera un valor de 64 bits que se interpretará como un uint64, se lo asigna a ese WIT, y lo devuelve.
BUS
La instancia bus es un objeto BUS que utiliza el operador BUS[pos:uint64]tam:uint=null (bus[0x542] por ejemplo), que espera una posición de 64 bits que se interpretará como un uint64 y un tamaño que por defecto será el mínimo posible compatible mayor que cero, y devuelve el selector a un registro o conjunto de registros del Espacio de Direcciones.
Otros objetos primitivos
Además, debido a selectores de los objetos anteriones, el Lenguaje eWamblador define varios objetos primitivos más:
PAG
Un objeto PAG es un objeto que implementa dos operadores: uno de selección y otro de asignación. El de selección es el operador PAG[comp:uint3] ( (witQ[2])[5] por ejemplo) que espera una componente relativa que se interpretará como un uint3, y devuelve el selector BIT de la componente relativa a la página seleccionada. El operador de asignación es PAG = valor:uint8 (witQ[2] = 0b1000.1110 por ejemplo) que espera un valor de 8 bits que se interpretará como un uint8, se lo asigna a ese PAG, y lo devuelve.
BIT
Un objeto BIT es un objeto que implementa un solo operador, el de asignación. El de asignación es el operador BIT = valor:uint1 (reg[] = 1 por ejemplo) que espera un valor de 1 bit que se interpretará como un uint1, se lo asigna a ese BIT, y lo devuelve.
Instancias
Las instancias que se crean en el Lenguaje eWamblador son tres, y corresponden a cada uno de los tres Objetos primitios que implementa.
- reg:REG. Contiene el conjunto de todos registros del núcleo.
- wit:WIT. Contiene el conjunto de páginas de punteros de la MMU.
- bus:BUS. Contiene el conjunto de bits del Espacio de Direcciones.
En el caso de los wit, en realidad, se genera una instancia distinta para cada puntero de la MMU; que realmente son alias de selectores de la instancia reg.
Acceso a los punteros
El eWamblador permite seleccionar directamente los punteros, las páginas o las componentes de los registros de la MMU.
Wit
Un wit, o puntero, es el conjunto de tantos bits (ewa-bits -> w-bits -> w-b-its -> wits) como sea el tamaño de los punteros de la MMU. Un wit generalmente se usa para dos cosas: guardar información o acceder al Espacio de Direcciones.
Un wit está paginado, aunque eWamblador permite acceder sin paginación. En los SIM-E los wits tienen 8 páginas, mientras que en los SIR tienen 3 páginas. A su vez, cada página consta de 8 componentes de 1 bit cada una (un octal por página) en todos los Sistemas Informáticos, que están numeradas de la 0 a la 7, y que siempre corresponden con los registros 01234567 de la CPU.
Resumen de las selecciones
A continuación, una tabla resumen de todas las selecciones posibles:
Selección de Punteros
Tamaño de una instancia WIT: páginas/puntero * 8 bits/página = SIM -> 64 bits/puntero | SIR -> 24 bits/puntero
Comando | Selecciona... |
---|---|
wit | todo el puntero actual |
Selección de Páginas
Tamaño de una instancia PAG: 8 bits/página
Comando | Selecciona... |
---|---|
wit[] | página actual del puntero actual |
wit[0] | página 0 del puntero actual |
wit[+] | página siguiente del puntero actual |
wit[+2] | página siguiente de la siguiente del puntero actual |
wit[-] | página anterior del puntero actual |
Selección de Componentes
Tamaño de una instancia BIT 1 bit. Hay dos formas de acceder a la componente de un puntero.
Por componentes absolutas:
Comando | Selecciona... |
---|---|
wit[[0]] | componente absoluta 0 del puntero actual |
wit[[1]] | componente absoluta 1 del puntero actual |
... | ... |
wit[[23]] | componente absoluta 23 del puntero actual |
Por componentes relativas a una página:
Comando | Selecciona... |
---|---|
wit[0][0] | componente 0 de la página actual del puntero actual |
wit[0][1] | componente 1 de la página actual del puntero actual |
... | ... |
wit[0][7] | componente 7 de la página actual del puntero actual |
Todas las selecciones
- De puntero
wit; // selecciona el puntero Actual witQ; // selecciona puntero Q witR; // selecciona puntero R witS; // selecciona puntero S witT; // selecciona puntero T witL; // selecciona puntero L
- De componente absoluta
wit[[0]]; // selecciona la componente absoluta 0 del puntero Actual wit[[1]]; // selecciona la componente absoluta 1 del puntero Actual ... // 2,3,...,9,10,11,12,...,61,62 wit[[63]]; // selecciona la componente absoluta 63 del puntero Actual Valdría cambiando wit por cualquiera de los punteros disponibles.
- De página
wit[]; // selecciona la página actual del puntero Actual wit[0]; // selecciona la página 0 del puntero Actual wit[1]; // selecciona la página 1 del puntero Actual wit[2]; // selecciona la página 2 del puntero Actual wit[3]; // selecciona la página 3 del puntero Actual wit[4]; // selecciona la página 4 del puntero Actual wit[5]; // selecciona la página 5 del puntero Actual wit[6]; // selecciona la página 6 del puntero Actual wit[7]; // selecciona la página 7 del puntero Actual Valdría cambiando wit por cualquiera de los punteros disponibles.
- De componente de página
wit[0][0]; // selecciona la componente 0 de la página actual del puntero Actual wit[0][1]; // selecciona la componente 1 de la página actual del puntero Actual wit[0][2]; // selecciona la componente 2 de la página actual del puntero Actual wit[0][3]; // selecciona la componente 3 de la página actual del puntero Actual wit[0][4]; // selecciona la componente 4 de la página actual del puntero Actual wit[0][5]; // selecciona la componente 5 de la página actual del puntero Actual wit[0][6]; // selecciona la componente 6 de la página actual del puntero Actual wit[0][7]; // selecciona la componente 7 de la página actual del puntero Actual Valdría cambiando wit[0] por cualquiera de las páginas disponibles.
Las operaciones/expresiones
- Suma de wit
wit + witS; // selecciona el valor resultante de la suma del valor del // puntero Actual más el puntero witS wit + valor; // selecciona el valor resultante de la suma del valor // del puntero Actual más el valor dado
- Diferencia de wits
witS - witR; // selecciona el valor resultante de la resta del valor // del puntero S menos el puntero R witS - valor; // selecciona el valor resultante de la resta del valor // del puntero S menos el valor dado
- Producto de wits
witS * witR; // selecciona el valor resultante de la multiplicación del // valor del puntero S por el puntero R witS * valor; // selecciona el valor resultante de la multiplicación // del valor del puntero S por el valor dado
- Cociente de wits
witS / wit; // selecciona el valor resultante de la resta del valor // del puntero S menos el puntero Actual witR / valor; // selecciona el valor cociente de la división natural // del valor del puntero R entre el valor dado
Las asignaciones
- Se pueden asignar copias de punteros completos, constantes o expresiones de 64 bits
witS = wit; // copia el puntero Actual en el puntero S wit = witR; // copia el puntero R en el puntero Actual witS = witQ; // copia el puntero Q en el puntero S
witR = 1x20A1; // pone el puntero R apuntando a la posición hexadecimal 1...1120A1 witR = 0b1011; // pone el puntero R apuntando a la posición binaria 0...0000001011 witR = 0134; // pone el puntero R apuntando a la posición decimal 0...0000000134
(Interamente hace siempre las conversiones a binario)
wit = witS+0b110; // pone el puntero Actual a la posición 0b110 veces siguiente a // la que apunta el puntero S wit = wit+0x120; // pone el puntero Actual a la posición 0x120 veces siguiente a la Actual wit += 2; // similar a la anterior, pone el valor Actual apuntando a la dos veces // siguiente posición de memoria wit ++; // similar a las dos anteriores, pone el valor Actual apuntando a la // siguiente posición de memoria
wit = witS-0b110; // pone el puntero Actual a la posición 0b110 veces siguiente // a la que apunta el puntero S wit = wit-0x120; // pone el puntero Actual a la posición 0x120 veces anterior a la Actual wit -= 2; // similar a la anterior, pone el valor Actual apuntando a la dos // veces anterior posición de memoria wit --; // similar a las dos anteriores, pone el valor Actual apuntando a la // anterior posición de memoria
En caso de que la expresión de 64 bits sea mayor, se seleccionarán los 64 bits de menor peso, es decir, los que estarían más a la derecha (11010100 pasaría a ser, de 5 bits, 10100).
En caso de que la expresión de 64 bits sea menor, se añadirán tantos bits de mayor peso, es decir, por la izquierda (010100 pasaría a ser, de 10 bits, 0000010100) como sea necesario.
- Se pueden asignar copias de páginas de punteros, constantes o expresiones 8 bits
wit
- Se pueden asignar copias de componentes de punteros, constantes o expresiones 1 bits
witx[]
- Se pueden asignar copias de componentes absolutas de punteros, constantes o expresiones 1 bit
wit[[32] = 1; // pone la componente absoluta 32 del puntero Actual a 1; wit[[21]] = witS[1]; // pone la componente absoluta 21 del puntero Actual // al valor de la componente absuluta 1 de la wit[[21]] = witS1[1]; // pone la componente absoluta 21 del puntero Actual // al valor de la componente 1 de la página 1 del puntero S witR[1][1] = 1-wit[[1]]; // pone la componente 1 de la página 1 del puntero R // el valor negado de la componente absoluta 1 del puntero actual
Acceso al Espacio de Direcciones
El acceso al Espacio de Direcciones del Lenguaje eWamblador se realiza gracias a la instancia bus:BUS enviándole un puntero:WIT bajo el operador[]. El resultado de esa llamada devuelve la referencia a un bit:BIT que puede ser tomado o escrito.
- Se pueden asignar a constantes o expresiones de 1 bit o más (acotado).
bus[wit] = 1; // en la dirección que apunta el puntero Actual, pondrá un 1 bus[wit] = witQ[[26]]; // en la dirección que apunta el puntero Actual, // pondrá la componente absoluta seleccionada witQ[[26]] = bus[wit]; // en la componente absoluta seleccionada, pondrá // la dirección que apunta el puntero Actual bus[wit] = 100; // a partir de la dirección que apunta el puntero Actual, pondrá // un 100 (0b1100100) que ocupará 7 bits. bus[wit]4 = 101; // a partir de la dirección que apunta el puntero Actual, pondrá // un 101 (0b1100101) acotado en 4 bits, es decir, // solo 0b0101 (que es en decimal 5). bus[wit]6 = 0x1; // a partir de la dirección que apunta el puntero Actual, pondrá // un 0x1(0b1) acotado en 6 bits, es decir, solo 0b000001 // (que es en decimal 1). bus[wit]10 = 1b001; // a partir de la dirección que apunta el puntero Actual, pondrá // un 1b001 acotado en 10 bits, es decir, solo 0b1111111001 // (que es en decimal 1017). Nótese que si es un relleno de 'todo unos hasta' (1b o 1x) es necesario indicar la cota; si no se indica, se tomará como un relleno de 'todo ceros hasta' y se aplicará la norma de mínimo relleno.