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, intento.path('entregas'))
 116     # Busco makefile
 117     makefile = os.path.join(entrega_dir, 'Makefile')
 118     if not os.path.exists(makefile):
 119         makefile = os.path.join(data_dir, 'Makefile')
 120     shutil.copy(makefile, intento_dir)
 121     # Compilo
 122     log.debug('A punto de ejecutar el comando: make -f %s', makefile)
 123     intento.inicioCompila = datetime.datetime.now()
 124     make = subprocess.Popen(('make', '-f', makefile), stdout=subprocess.PIPE,
 125         stderr=subprocess.PIPE, cwd=intento_dir)
 126     make.wait()
 127     intento.finCompila = datetime.datetime.now()
 128     log.debug('Fin del comando: make -f %s', makefile)
 129     # Verifico compilación
 130     if make.returncode:
 131         log.debug('Error al compilar, código de retorno: %d, salida estándar: '
 132             '%s, salida de error: %s)', make.returncode, make.stdout.read(),
 133             make.stderr.read())
 134         intento.compila = False
 135         #TODO enviar_respuesta(R_ERR, $mail, "ERROR AL COMPILAR!\n\n$err\n\nCódigo de retorno: $ret\n", $intento);
 136         continue;
 137     else:
 138         log.debug('Compilado OK')
 139         intento.compila = True
 140         #TODO mail acumulativo
 141     # Creo chroot - TODO copiarlo de algún lado donde ande el valgrind?
 142     chroot_dir = os.path.join(intento_dir, 'chroot')
 143     ejecutable = os.path.join(chroot_dir, 'tp')
 144     os.mkdir(chroot_dir)
 145     shutil.move(os.path.join(intento_dir, 'tp'), ejecutable)
 146     # Cambio permisos - XXX al pedo? Hice seteuid()
 147     os.chmod(chroot_dir, 02770)
 148     os.chown(chroot_dir, uid, gid)
 149     os.chmod(ejecutable, 0550)
 150     os.chown(ejecutable, uid, gid)
 151     # Ejecución de casos de prueba
 152     intento.inicioPruebas = datetime.datetime.now()
 153     for caso_de_prueba in intento.entrega.ejercicio.casosDePrueba:
 154         # Obtengo datos útiles del caso de prueba
 155         tiempo_cpu = caso_de_prueba.tiempoCpu
 156         if tiempo_cpu is None:
 157             tiempo_cpu = conf.get('general', 'tiempo_cpu')
 158         # Creo prueba nueva
 159         prueba = Prueba(intento.id, caso_de_prueba.id, datetime.datetime.now())
 160         log.debug('Prueba: %s', prueba)
 161         # Abro archivos para fds básicos
 162         #XXX sacar nombres de archivos de prueba????
 163         stdin = file(os.path.join(intento_dir, 'stdin'), 'r')
 164         stdout = file(os.path.join(intento_dir, 'stdout'), 'w')
 165         stderr = file(os.path.join(intento_dir, 'stderr'), 'w')
 166         # Ejecuto programa
 167         log.debug('Ejecutando /tp %s', prueba.params)
 168         os.seteuid(0) # Dios! (para chroot)
 169         proc = subprocess.Popen('/tp', stdin=stdin, stdout=stdout, stderr=stderr,
 170                                preexec_fn=secure(chroot_dir, uid, gid, tiempo_cpu))
 171         os.seteuid(uid) # Mortal de nuevo
 172         time.sleep(tiempo_cpu)
 173         # Si el proceso sigue andando lo tenemos que matar
 174         if proc.poll() is None:
 175             log.debug('La prueba tardó más del tiempo permitido (%d segundos)',
 176                 tiempo_cpu)
 177             os.seteuid(0) # Dios! (corre como Dios, hay que matarlo como Dios)
 178             os.kill(proc.pid, signal.SIGKILL)
 179             os.seteuid(uid) # Mortal de nuevo
 180             log.debug('Prueba cancelada (kill)')
 181             proc.wait()
 182             prueba.observaciones = 'Excedió el límite de tiempo de ejecución ' \
 183                 '(%d seg)' % tiempo_cpu
 184             prueba.fin = datetime.datetime.now()
 185             prueba.pasada = False
 186             continue
 187         proc.wait() # Para que no queden zombies
 188         prueba.fin = datetime.datetime.now()
 189         # Salió con una señal?
 190         if proc.returncode < 0:
 191             sig = -proc.returncode
 192             log.debug('El programa salió con la señal %d', sig)
 193             prueba.pasada = False
 194             #TODO otras señales conocidas
 195             if sig == signal.SIGXCPU:
 196                 prueba.observaciones = 'Excedió el límite de tiempo de CPU ' \
 197                     '(%d seg)' % tiempo_cpu
 198             else:
 199                 prueba.observaciones = 'Salió con la señal %d' % sig
 200             continue
 201         # Si tenemos que verificar el código de retorno
 202         if caso_de_prueba.codigoRetorno is not None:
 203             #FIXME trucho lo de 256
 204             # Si el código de error esperado es 256 => el código de error debe ser != 0
 205             # Si no el código de error esperado debe ser igual al obtenido
 206             if caso_de_prueba.codigoRetorno != proc.returncode \
 207                     or caso_de_prueba.codigoRetorno == 256 \
 208                         and proc.returncode != 0:
 209                 log.debug('Código de retorno incorrecto (debía ser %d y se obtuvo %d)',
 210                     caso_de_prueba.codigoRetorno, proc.returncode)
 211                 prueba.pasada = False
 212                 prueba.observaciones = 'Código de retorno incorrecto (debía ' \
 213                     'ser %d y se obtuvo %d)' % (caso_de_prueba.codigoRetorno,
 214                     proc.returncode)
 215         #TODO verificar salidas, hacer diff
 216         log.debug('Fin de ejecución de caso de prueba (hijo: %d, ret: %d)',
 217             proc.pid, proc.returncode)
 218         log.debug('Prueba OK')
 219         prueba.pasada = True
 220     intento.finPruebas = datetime.datetime.now()
 221     #TODO make clean
 222     #TODO Armar mail de respuesta al alumno
 223     for prueba in Prueba.selectBy(conn, Prueba.q.intento == intento):
 224         #TODO Si es publica, veo si se hizo ok o no y voy creando mail
 225         pass
 226     time.sleep(conf.get('general', 'intervalo'))
 227