• Tiempo: 40 minutos
• Descripción: Examen Parcial 1. Laboratorio. Grado en Ingeniería de Robótica Software
• Fecha: 2023/Feb/27
• Temario: Sesiones L1-L4

• Enunciado
  • Test (5 Ptos)
  • Programa (5 Ptos)
• Solución al programa
• Evaluación
  • Test automático
• Autores
• Licencia
• Enlaces

El examen se ha realizado a través de Aula virtual. Tiene dos partes: Test y un programa

• Realizado a través de Aula virtual
• 10 preguntas tipo test
• Las respuesats incorrectas restan un 25% del valor de la pregunta
• Solución disponible en Aula virtual

Escribe un programa en ensamblador del RISC-V, en el fichero calculos.s, que contenga 3 variables enteras denominadas var1, var2 y var3 que se deben situar en ese orden en el segmento de datos (var1 debe estar en la primera posición de memoria disponible). La variable var1 está inicializada con el valor constante 0xAA. Las variables var2 y var3 almacenan los resultados de los siguientes cálculos:

• var2 = (a - b) + c + 5
• var3 = var2 + 1

Las expresiones se deben evaluar para los valores a=10; b=20; c=30

NOTA: Envía el fichero calculos.s con la solución como una entrega del laboratorio

Como siempre ocurre al programar, existen infinitas soluciones. Pero en todas ellas se debe respetar la especificación

Este es el contenido del fichero calculos.s:

##-- Programa para realizar los siguientes calculos
##-- var1 = 0xAA
##-- var2 =  (a - b) + c + 5
##-- var3 = var2 + 1

   .data 
   
   #-- Variables
   #-- ESPECIFICACION: Variables en orden
var1:	.word 0xAA  #-- ESPECIFICACION
var2:   .word 0
var3:   .word 0

   .text
   
   #--- Valores iniciales
   #--- a=10; b=20; c=30
   li x1, 10
   li x2, 20
   li x3, 30
   
   #--- Realizar el cálculo: var2 =  (a - b) + c + 5
   #--                        x10 =  (x1 - x2) + x3 + 5
   sub x10, x1, x2   #-- x10 = x1 - x2
   add x10, x10, x3  #-- x10 = (x1 - x2) + x3
   addi x10,x10,5    #-- X10 = (x1 - x2) + x3 + 5
   
   #-- Almacenar el cálculo en var2
   la x11, var2
   sw x10, 0(x11)  #-- Almacenar var2 = (a - b) + c + 5
   
   #-- Almacenar el cálculo incrementado en var3
   addi x10,x10,1 #-- x10 = var2 + 1
   sw x10, 4(x11) #-- Almacenar var3 = var2 + 1
   
   
   #-- Terminar	
   li a7, 10
   ecall

Este programa tiene 13 instrucciones. Se cumple el BONUS!

La evaluación del programa se hace en dos fases:

• Funcionalidad (2.5 ptos): Se comprueba si el programa funciona, y si cumple con las especificaciones (Nombre del fichero correcto, ensablado sin errores, sin errores en tiempo de ejecución, resultado correcto, variables definidas en sus posiciones de memoria especificadas, etc). Esto se hace mediante un script de test, que automatiza el proceso

• Código (2.5 ptos): Se inspecciona visualmente cómo está hecho el código: código limpio, claro, con comentarios, instrucciones correctas, fallos de programación, etc...

El script de test está disponible, por si quieres probarlo con tus programas para practicar. También está disponible un mini-script para bajarse el rars 1.5 desde el repositorio de github

• Script de Test: TEST-01.sh
• Script de descarga del RARs: get_rars.sh

Estos scripts se han hecho para ejecutarse en la bash de LINUX

Sigue lo siguientes pasos:

• Crea un directorio donde se realizarán las pruebas. Por ejemplo Parcial1
• Pon en ese directorio el programa realizado: calculos.s, o puedes bajarte el fichero ya solucionado: calculos.s
• Crea el directorio TEST y mete los siguientes ficheros
  • TEST-01.sh --> Script de test
  • get_rars.sh --> (Opcional) Script para descargar el RARs
  • rars1_5.jar --> El simulador RARs

En el directorio TEST necesitas tener el RARs. Si ya lo tienes descargado copialo a TEST. Si no lo tienes, ejecuta el script de descarga (get_rars.sh). Estos son los ficheros de la carpeta Test:

obijuan@Hoth:~/Parcial1/TEST$ ls
get_rars.sh  TEST-01.sh

Ejecutamos el script get_rars.sh:

obijuan@Hoth:~/Parcial-1/TEST
$ ./get_rars.sh
--2023-03-05 11:53:47--  https://github.com/TheThirdOne/rars/releases/download/v1.5/rars1_5.jar
Resolving github.com (github.com)... 140.82.121.4
[....]
rars1_5.jar                100%[======================================>]   1,76M  9,79MB/s    in 0,2s    

2022-11-04 09:15:40 (8,71 MB/s) - ‘rars1_5.jar’ saved [1843878/1843878]

obijuan@Hoth:~/Test$ 

Ahora ya tenemos todos los ficheros:

obijuan@Hoth:~/Parcial-1/TEST$ ls
get_rars.sh  rars1_5.jar  TEST-01.sh

Para realizar la prueba hay que ejecutar el script TEST-01.sh:

obijuan@Hoth:~/Parcial-1/TEST$ bash TEST-01.sh

Esta es la salida:

-----Ejecutando TEST-01-----
> rars1_5.jar existe
> ✅️ ../calculos.s existe

> ➡️  PROBANDO: ../calculos.s
java -jar rars1_5.jar nc me ic dump 0x10010000-0x10010010 HexText mem.hex 10000 dump .text HexText code.hex ../calculos.s

> ✅️ mem.hex generado
> ✅️ Var1: 000000aa
> ✅️ Var2: 00000019
> ✅️ Var3: 0000001a
> ✅️ El programa termina llamando a EXIT
> Instrucciones totales: 13
> ✅️🎖️  BONUS!!!. Menos de 14 instrucciones
> Ciclos de ejecución: 12

------FIN-------

Al terminar se queda esperando a que apretemos ENTER

El script es muy básico, y no detecta toda la casuistica, pero sí permite detectar las violaciones de las ESPECIFICACIONES

• Katia Leal Algara
• Juan González-Gómez (Obijuan)

• Documentación de la ABI del RISCV
• Simulador RARS, en github
• Universidad Rey Juan Carlos de Madrid
• Escuela Técnica Superior de Ingeniería de Telecomunicaciones (URJC)