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 sys
   8 import pwd
   9 import time
  10 import signal
  11 import locale
  12 import shutil
  13 import datetime
  14 import logging
  15 import logging.config
  16 import subprocess
  17 import ConfigParser
  18 # Módulos externos
  19 import sqlobject
  20 # Módulos locales
  21 from sercom.dbo import *
  22
  23 class secure:
  24     def __init__(self, chroot, uid, gid, cpu):
  25         self.chroot = chroot
  26         self.uid = uid
  27         self.gid = gid
  28         self.cpu = cpu
  29     def __call__(self):
  30         from os import chroot, setuid, setgid
  31         import resource
  32         chroot(self.chroot)
  33         setgid(self.gid)
  34         setuid(self.uid)
  35         resource.setrlimit(resource.RLIMIT_AS, 20*1024*1024)
  36         resource.setrlimit(resource.RLIMIT_CORE, 0)
  37         resource.setrlimit(resource.RLIMIT_CPU, (self.cpu, self.cpu))
  38         resource.setrlimit(resource.RLIMIT_DATA, 20*1024*1024)
  39         resource.setrlimit(resource.RLIMIT_FSIZE, 20*1024*1024) #XXX Obtener de archivos esperados?
  40         resource.setrlimit(resource.RLIMIT_LOCKS, 100)
  41         resource.setrlimit(resource.RLIMIT_MEMLOCK, 100)
  42         resource.setrlimit(resource.RLIMIT_NOFILE, 100)
  43         resource.setrlimit(resource.RLIMIT_NPROC, 0)
  44
  45 def logger():
  46     log = None
  47     for log_conf in ('log.ini', os.path.expanduser('~/.sercom/log.ini'), '/etc/sercom/log.ini'):
  48         if (os.access(log_conf, os.R_OK)):
  49             logging.config.fileConfig(log_conf)
  50             log = logging.getLogger('test')
  51     return log
  52
  53 def sigchld(signum, frame):
  54     """Signal handler para SIGCHILD."""
  55     #global hijo_muerto
  56     #hijo_muerto = True
  57     pass
  58
  59 def sigterm(signum, frame):
  60     """Signal handler para SIGTERM y SIGINT."""
  61     global continuar, log
  62     continuar = False
  63     log.debug('Señal %d recibida', signum)
  64
  65
  66 # Seteo locale
  67 locale.setlocale(locale.LC_ALL, '')
  68
  69 # Obtengo configuración
  70 conf = ConfigParser.SafeConfigParser()
  71 if not conf.read(('/etc/sercom/sercom.ini', os.path.expanduser('~/.sercom/sercom.ini'), 'sercom.ini')):
  72     sys.stderr.write('No se pudo obtener configuración!\n')
  73     sys.exit(1)
  74
  75 # Obtengo id de usuario con el cual ejecutar las pruebas
  76 (uid, gid) = pwd.getpwnam(conf.get('general', 'user'))[2:4]
  77
  78 # Cambio UID efectivo
  79 os.seteuid(uid)
  80
  81 # Seteo umask para que el grupo pueda leer
  82 os.umask(00027)
  83
  84 # Conecto señales
  85 signal.signal(signal.SIGCHLD, sigchld)
  86 signal.signal(signal.SIGTERM, sigterm)
  87 signal.signal(signal.SIGINT, sigterm)
  88
  89 # Conexión a la DB
  90 conn = sqlobject.connectionForURI(conf.get('dbo', 'database'))
  91
  92 # Cargo config del logger
  93 log = logger()
  94 if not log:
  95     print >>sys.stderr, 'No se pudo cargar archivo de configuración de log.'
  96     sys.exit(1)
  97 log.info('Iniciado')
  98
  99 # Algunas variables de configuración útiles
 100 data_dir = conf.get('general', 'data_dir')
 101 intervalo = float(conf.get('general', 'intervalo'))
 102
 103 # Hasta que nos maten
 104 continuar = True # Cambia con una señal
 105 while continuar:
 106     # Busco intento a probar
 107     intento = Intento.getProximoAProbar(conn)
 108     if not intento:
 109         log.debug('No hay intento para probar')
 110         time.sleep(intervalo)
 111         continue
 112     log.info('Nuevo intento a probar (%s)', intento)
 113     # Obtengo paths
 114     intento_dir = os.path.join(data_dir, intento.path('intentos'))
 115     entrega_dir = os.path.join(data_dir, 'ejercicios', str(intento.entrega.ejercicioID))
 116     print entrega_dir
 117     # Busco makefile
 118     makefile = os.path.join(entrega_dir, 'Makefile')
 119     if not os.path.exists(makefile):
 120         makefile = os.path.join(data_dir, 'Makefile')
 121     shutil.copy(makefile, intento_dir)
 122     # Compilo
 123     log.debug('Ejecutando: make -f %s', makefile)
 124     intento.inicioCompila = datetime.datetime.now()
 125     make = subprocess.Popen(('make', '-f', makefile), stdout=subprocess.PIPE,
 126         stderr=subprocess.PIPE, cwd=intento_dir)
 127     make.wait()
 128     intento.finCompila = datetime.datetime.now()
 129     log.debug('Fin del comando: make -f %s', makefile)
 130     # Verifico compilación
 131     if make.returncode:
 132         log.debug('Error al compilar, código de retorno: %d, salida estándar: '
 133             '%s, salida de error: %s)', make.returncode, make.stdout.read(),
 134             make.stderr.read())
 135         intento.compila = False
 136         #TODO enviar_respuesta(R_ERR, $mail, "ERROR AL COMPILAR!\n\n$err\n\nCódigo de retorno: $ret\n", $intento);
 137         continue;
 138     else:
 139         log.debug('Compilado OK')
 140         intento.compila = True
 141         #TODO mail acumulativo
 142     # Creo chroot - TODO copiarlo de algún lado donde ande el valgrind?
 143     chroot_dir = os.path.join(intento_dir, 'chroot')
 144     ejecutable = os.path.join(chroot_dir, 'tp')
 145     os.mkdir(chroot_dir)
 146     shutil.move(os.path.join(intento_dir, 'tp'), ejecutable)
 147     # Cambio permisos - XXX al pedo? Hice seteuid()
 148     os.chmod(chroot_dir, 02770)
 149     os.chown(chroot_dir, uid, gid)
 150     os.chmod(ejecutable, 0550)
 151     os.chown(ejecutable, uid, gid)
 152     # Ejecución de casos de prueba
 153     intento.inicioPruebas = datetime.datetime.now()
 154     for caso_de_prueba in intento.entrega.ejercicio.casosDePrueba:
 155         # Obtengo datos útiles del caso de prueba
 156         tiempo_cpu = caso_de_prueba.tiempoCpu
 157         if tiempo_cpu is None:
 158             tiempo_cpu = conf.get('general', 'tiempo_cpu')
 159         # Creo prueba nueva
 160         prueba = Prueba(intento.id, caso_de_prueba.id, datetime.datetime.now())
 161         log.debug('Prueba: %s', prueba)
 162         # Abro archivos para fds básicos
 163         #XXX sacar nombres de archivos de prueba????
 164         stdin = file(os.path.join(intento_dir, 'stdin'), 'r')
 165         stdout = file(os.path.join(intento_dir, 'stdout'), 'w')
 166         stderr = file(os.path.join(intento_dir, 'stderr'), 'w')
 167         # Ejecuto programa
 168         log.debug('Ejecutando /tp %s', prueba.params)
 169         os.seteuid(0) # Dios! (para chroot)
 170         proc = subprocess.Popen('/tp', stdin=stdin, stdout=stdout, stderr=stderr,
 171                                preexec_fn=secure(chroot_dir, uid, gid, tiempo_cpu))
 172         os.seteuid(uid) # Mortal de nuevo
 173         time.sleep(tiempo_cpu)
 174         # Si el proceso sigue andando lo tenemos que matar
 175         if proc.poll() is None:
 176             log.debug('La prueba tardó más del tiempo permitido (%d segundos)',
 177                 tiempo_cpu)
 178             os.seteuid(0) # Dios! (corre como Dios, hay que matarlo como Dios)
 179             os.kill(proc.pid, signal.SIGKILL)
 180             os.seteuid(uid) # Mortal de nuevo
 181             log.debug('Prueba cancelada (kill)')
 182             proc.wait()
 183             prueba.observaciones = 'Excedió el límite de tiempo de ejecución ' \
 184                 '(%d seg)' % tiempo_cpu
 185             prueba.fin = datetime.datetime.now()
 186             prueba.pasada = False
 187             continue
 188         proc.wait() # Para que no queden zombies
 189         prueba.fin = datetime.datetime.now()
 190         # Salió con una señal?
 191         if proc.returncode < 0:
 192             sig = -proc.returncode
 193             log.debug('El programa salió con la señal %d', sig)
 194             prueba.pasada = False
 195             #TODO otras señales conocidas
 196             if sig == signal.SIGXCPU:
 197                 prueba.observaciones = 'Excedió el límite de tiempo de CPU ' \
 198                     '(%d seg)' % tiempo_cpu
 199             else:
 200                 prueba.observaciones = 'Salió con la señal %d' % sig
 201             continue
 202         # Si tenemos que verificar el código de retorno
 203         if caso_de_prueba.codigoRetorno is not None:
 204             #FIXME trucho lo de 256
 205             # Si el código de error esperado es 256 => el código de error debe ser != 0
 206             # Si no el código de error esperado debe ser igual al obtenido
 207             if caso_de_prueba.codigoRetorno != proc.returncode \
 208                     or caso_de_prueba.codigoRetorno == 256 \
 209                         and proc.returncode != 0:
 210                 log.debug('Código de retorno incorrecto (debía ser %d y se obtuvo %d)',
 211                     caso_de_prueba.codigoRetorno, proc.returncode)
 212                 prueba.pasada = False
 213                 prueba.observaciones = 'Código de retorno incorrecto (debía ' \
 214                     'ser %d y se obtuvo %d)' % (caso_de_prueba.codigoRetorno,
 215                     proc.returncode)
 216         #TODO verificar salidas, hacer diff
 217         log.debug('Fin de ejecución de caso de prueba (hijo: %d, ret: %d)',
 218             proc.pid, proc.returncode)
 219         log.debug('Prueba OK')
 220         prueba.pasada = True
 221     intento.finPruebas = datetime.datetime.now()
 222     #TODO make clean
 223     #TODO Armar mail de respuesta al alumno
 224     for prueba in Prueba.selectBy(conn, Prueba.q.intento == intento):
 225         #TODO Si es publica, veo si se hizo ok o no y voy creando mail
 226         pass
 227     time.sleep(conf.get('general', 'intervalo'))
 228