src/sc_test

   1 #!/usr/bin/env python2.4
   2 # -*- encoding: iso-8859-1 -*-
   3 # vim: set et sw=4 sts=4 :
   4
   5 # Módulos estándar
   6 import os
   7 import pwd
   8 import time
   9 import signal
  10 import shutil
  11 import datetime
  12 import subprocess
  13 # Módulos locales
  14 import sercom
  15 from sercom.dbo import *
  16
  17 class secure_process:
  18     def __init__(self, chroot, uid, gid, cpu):
  19         self.chroot = chroot
  20         self.uid = uid
  21         self.gid = gid
  22         self.cpu = cpu
  23     def __call__(self):
  24         from os import chroot, setuid, setgid
  25         import resource
  26         chroot(self.chroot)
  27         setgid(self.gid)
  28         setuid(self.uid)
  29         x2 = lambda val: (val, val) # Devuelve una tupla con val 2 veces
  30         resource.setrlimit(resource.RLIMIT_AS, x2(20*1024*1024))
  31         resource.setrlimit(resource.RLIMIT_CORE, x2(0))
  32         resource.setrlimit(resource.RLIMIT_CPU, x2(self.cpu))
  33         resource.setrlimit(resource.RLIMIT_DATA, x2(20*1024*1024))
  34         resource.setrlimit(resource.RLIMIT_FSIZE, x2(20*1024*1024)) #XXX Obtener de archivos esperados?
  35         #resource.setrlimit(resource.RLIMIT_LOCKS, x2(100)) XXX NO EXISTE EN python
  36         resource.setrlimit(resource.RLIMIT_MEMLOCK, x2(100))
  37         resource.setrlimit(resource.RLIMIT_NOFILE, x2(100))
  38         resource.setrlimit(resource.RLIMIT_NPROC, x2(0))
  39
  40 def sigchld(signum, frame):
  41     """Signal handler para SIGCHILD."""
  42     global hijo_muerto
  43     hijo_muerto = True
  44
  45 def sigterm(signum, frame):
  46     """Signal handler para SIGTERM y SIGINT."""
  47     global continuar, log
  48     continuar = False
  49     log.debug('Señal %d recibida', signum)
  50
  51 def compilar(intento, intento_dir, entrega_dir, log):
  52     # Busco makefile
  53     makefile = os.path.join(entrega_dir, 'Makefile')
  54     if not os.path.exists(makefile):
  55         makefile = os.path.join(data_dir, 'Makefile')
  56     # Compilo
  57     log.debug('Ejecutando: make -f %s', makefile)
  58     intento.inicioCompila = datetime.datetime.now()
  59     make = subprocess.Popen(('make', '-f', makefile), stdout=subprocess.PIPE,
  60         stderr=subprocess.PIPE, cwd=intento_dir)
  61     make.wait()
  62     intento.finCompila = datetime.datetime.now()
  63     log.debug('Fin del comando: make -f %s', makefile)
  64     # Verifico compilación
  65     if make.returncode:
  66         log.debug('Error al compilar, código de retorno: %d, salida estándar: '
  67             '%s, salida de error: %s)', make.returncode, make.stdout.read(),
  68             make.stderr.read())
  69         intento.compila = False
  70         #TODO enviar_respuesta(R_ERR, $mail, "ERROR AL COMPILAR!\n\n$err\n\nCódigo de retorno: $ret\n", $intento);
  71         return False
  72     log.debug('Compilado OK')
  73     intento.compila = True
  74     #TODO mail acumulativo
  75     return True
  76
  77 def preparar(intento_dir, chroot_dir):
  78     # Creo chroot - TODO copiarlo de algún lado donde ande el valgrind?
  79     ejecutable = os.path.join(chroot_dir, 'tp')
  80     os.mkdir(chroot_dir)
  81     shutil.move(os.path.join(intento_dir, 'tp'), ejecutable)
  82
  83 def probar(intento, caso_de_prueba, uid, gid, chroot_dir, conf, conn, log):
  84     global hijo_muerto # Viene del SIGCHLD
  85     # Obtengo datos útiles del caso de prueba
  86     tiempo_cpu = caso_de_prueba.tiempoCpu
  87     if tiempo_cpu is None:
  88         tiempo_cpu = conf.get('general', 'tiempo_cpu')
  89     tiempo_cpu = int(tiempo_cpu)
  90     # Creo prueba nueva
  91     prueba = Prueba(intento=intento, casoDePrueba=caso_de_prueba,
  92         inicio=datetime.datetime.now(), connection = conn)
  93     log.debug('Prueba: %s', prueba)
  94     # Abro archivos para fds básicos
  95     #XXX sacar nombres de archivos de prueba????
  96     #stdin = file(os.path.join(intento_dir, 'stdin'), 'r')
  97     stdout = file(os.path.join(intento_dir, 'stdout'), 'w')
  98     stderr = file(os.path.join(intento_dir, 'stderr'), 'w')
  99     # Ejecuto programa
 100     params = ['/tp']
 101     if caso_de_prueba.parametros:
 102         params += params2seq(caso_de_prueba.parametros)
 103     log.debug('Ejecutando %s', ' '.join(params))
 104     os.seteuid(0) # Dios! (para chroot)
 105     try:
 106         proc = subprocess.Popen(params, stdout=stdout, stderr=stderr, #stdin=stdin,
 107             preexec_fn=secure_process(chroot_dir, uid, gid, tiempo_cpu))
 108     except Exception, e: # FIXME poner en el manejo de exceptiones estandar
 109         try:
 110             print e.child_traceback
 111             raise
 112         except:
 113             raise
 114     os.seteuid(uid) # Mortal de nuevo
 115     if not hijo_muerto: # Recibido por el sigchld, para saber si murió
 116         time.sleep(tiempo_cpu)
 117     # Si el proceso sigue andando lo tenemos que matar
 118     if proc.poll() is None:
 119         log.debug('La prueba tardó más del tiempo permitido (%d segundos)',
 120             tiempo_cpu)
 121         os.seteuid(0) # Dios! (corre como Dios, hay que matarlo como Dios)
 122         os.kill(proc.pid, signal.SIGKILL)
 123         os.seteuid(uid) # Mortal de nuevo
 124         log.debug('Prueba cancelada (kill)')
 125         proc.wait()
 126         prueba.observaciones = 'Excedió el límite de tiempo de ejecución ' \
 127             '(%d seg)' % tiempo_cpu
 128         prueba.fin = datetime.datetime.now()
 129         prueba.pasada = False
 130         return prueba
 131     proc.wait() # Para que no queden zombies
 132     prueba.fin = str(datetime.datetime.now())
 133     # Salió con una señal?
 134     if proc.returncode < 0:
 135         sig = -proc.returncode
 136         log.debug('El programa salió con la señal %d', sig)
 137         prueba.pasada = False
 138         #TODO otras señales conocidas
 139         if sig == signal.SIGXCPU:
 140             prueba.observaciones = 'Excedió el límite de tiempo de CPU ' \
 141                 '(%d seg)' % tiempo_cpu
 142         else:
 143             prueba.observaciones = 'Salió con la señal %d' % sig
 144         return prueba
 145     # Si tenemos que verificar el código de retorno
 146     if caso_de_prueba.codigoRetorno is not None:
 147         #FIXME trucho lo de 256
 148         # Si el código de error esperado es 256 => el código de error debe ser != 0
 149         # Si no el código de error esperado debe ser igual al obtenido
 150         if caso_de_prueba.codigoRetorno != proc.returncode \
 151                 or caso_de_prueba.codigoRetorno == 256 \
 152                     and proc.returncode != 0:
 153             log.debug('Código de retorno incorrecto (debía ser %d y se obtuvo %d)',
 154                 caso_de_prueba.codigoRetorno, proc.returncode)
 155             prueba.pasada = False
 156             prueba.observaciones = 'Código de retorno incorrecto (debía ' \
 157                 'ser %d y se obtuvo %d)' % (caso_de_prueba.codigoRetorno,
 158                 proc.returncode)
 159     #TODO verificar salidas, hacer diff
 160     log.debug('Fin de ejecución de caso de prueba (hijo: %d, ret: %d)',
 161         proc.pid, proc.returncode)
 162     prueba.pasada = True
 163     log.debug('Prueba OK: %s', prueba)
 164     return prueba
 165
 166 def params2seq(params):
 167     r"""Parsea un string de forma similar al bash, separando por espacios y
 168     teniendo en cuenta comillas simples y dobles para agrupar. Para poner
 169     comillas se puede usar el \ como caracter de escape (\' y \") y también
 170     interpreta \n y \t. Devuelve una lista con los parámetros encontrados."""
 171     # Constantes
 172     SEP, TOKEN, DQUOTE, SQUOTE = ' ', None, '"', "'"
 173     seq = []
 174     buff = ''
 175     escape = False
 176     state = SEP
 177     for c in params:
 178         # Es un caracter escapado
 179         if escape:
 180             if c == 'n':
 181                 buff += '\n'
 182             elif c == 't':
 183                 buff += '\t'
 184             else:
 185                 buff += c
 186             escape = False
 187             continue
 188         # Es una secuencia de escape
 189         if c == '\\':
 190             escape = True
 191             continue
 192         # Si está buscando espacios
 193         if state == SEP:
 194             if c == SEP:
 195                 continue
 196             else:
 197                 state = TOKEN # Encontró
 198         if state == TOKEN:
 199             if c == DQUOTE:
 200                 state = DQUOTE
 201                 continue
 202             if c == SQUOTE:
 203                 state = SQUOTE
 204                 continue
 205             if c == SEP:
 206                 state = SEP
 207                 seq.append(buff)
 208                 buff = ''
 209                 continue
 210             buff += c
 211             continue
 212         if state == DQUOTE:
 213             if c == DQUOTE:
 214                 state = TOKEN
 215                 continue
 216             buff += c
 217             continue
 218         if state == SQUOTE:
 219             if c == SQUOTE:
 220                 state = TOKEN
 221                 continue
 222             buff += c
 223             continue
 224         raise Exception, 'No tiene sentido'
 225     if state == DQUOTE or state == SQUOTE:
 226         raise Exception, 'Parse error, falta cerrar comilla (%s)' % state
 227     if buff:
 228         seq.append(buff)
 229     return seq
 230
 231 # Conecto señales
 232 signal.signal(signal.SIGTERM, sigterm)
 233 signal.signal(signal.SIGINT, sigterm)
 234 signal.signal(signal.SIGCHLD, sigchld)
 235 hijo_muerto = False
 236
 237 # Inicializo
 238 conf, conn, log =  sercom.init('test')
 239 log.info('Iniciado')
 240
 241 # Obtengo id de usuario con el cual ejecutar las pruebas
 242 uid, gid = pwd.getpwnam(conf.get('general', 'user'))[2:4]
 243
 244 # Cambio UID efectivo
 245 os.seteuid(uid)
 246
 247 # Algunas variables de configuración útiles
 248 data_dir = conf.get('general', 'data_dir')
 249 intervalo = float(conf.get('general', 'intervalo'))
 250
 251 # Hasta que nos maten
 252 continuar = True # Cambia con una señal
 253 while continuar:
 254     # Busco intento a probar
 255     intento = Intento.getProximoAProbar(conn)
 256     if not intento:
 257         log.debug('No hay intento para probar')
 258         time.sleep(intervalo)
 259         continue
 260     log.info('Nuevo intento a probar (%s)', intento)
 261     # Obtengo paths
 262     intento_dir = os.path.join(data_dir, intento.path('intentos'))
 263     entrega_dir = os.path.join(data_dir, 'ejercicios', str(intento.entrega.ejercicioID))
 264     chroot_dir = os.path.join(intento_dir, 'chroot')
 265     # Compila
 266     if not compilar(intento, intento_dir, entrega_dir, log):
 267         continue
 268     # Prepara archivos
 269     preparar(intento_dir, chroot_dir)
 270     # Ejecución de casos de prueba
 271     intento.inicioPruebas = datetime.datetime.now()
 272     pruebas = []
 273     for caso_de_prueba in intento.entrega.ejercicio.casosDePrueba:
 274         pruebas.append(probar(intento, caso_de_prueba, uid, gid, chroot_dir, conf, conn, log))
 275     intento.finPruebas = datetime.datetime.now()
 276     #TODO make clean
 277     #TODO Armar mail de respuesta al alumno
 278     for prueba in pruebas:
 279         #TODO Si es publica, veo si se hizo ok o no y voy creando mail
 280         pass
 281     time.sleep(intervalo)
 282