#!/usr/bin/env python2.4 # -*- encoding: iso-8859-1 -*- # vim: set et sw=4 sts=4 : # Módulos estándar import os import pwd import time import signal import glob import shutil import datetime import subprocess import email.MIMEMultipart # Módulos locales import sercom import sercom.sqlo from sercom.sqlo import * class secure_process: def __init__(self, chroot, uid, gid, cpu): self.chroot = chroot self.uid = uid self.gid = gid self.cpu = cpu def __call__(self): from os import chroot, setuid, setgid import resource chroot(self.chroot) setgid(self.gid) setuid(self.uid) x2 = lambda val: (val, val) # Devuelve una tupla con val 2 veces resource.setrlimit(resource.RLIMIT_AS, x2(20*1024*1024)) resource.setrlimit(resource.RLIMIT_CORE, x2(0)) resource.setrlimit(resource.RLIMIT_CPU, x2(self.cpu)) resource.setrlimit(resource.RLIMIT_DATA, x2(20*1024*1024)) resource.setrlimit(resource.RLIMIT_FSIZE, x2(20*1024*1024)) #XXX Obtener de archivos esperados? #resource.setrlimit(resource.RLIMIT_LOCKS, x2(100)) XXX NO EXISTE EN python resource.setrlimit(resource.RLIMIT_MEMLOCK, x2(100)) resource.setrlimit(resource.RLIMIT_NOFILE, x2(100)) resource.setrlimit(resource.RLIMIT_NPROC, x2(0)) # Tratamos de forzar un sync para que entre al sleep del padre time.sleep(0) def sigchld(signum, frame): """Signal handler para SIGCHILD.""" global hijo_muerto, log log.debug('Murió el hijo') hijo_muerto = True def sigterm(signum, frame): """Signal handler para SIGTERM y SIGINT.""" global continuar, log continuar = False log.debug('Señal %d recibida', signum) def compilar(intento, mail): global log # Busco makefile makefile = os.path.join(intento.entrega.ejercicio.path, 'Makefile') # Compilo log.debug('Ejecutando: make -f %s', makefile) intento.inicioCompila = datetime.datetime.now() make = subprocess.Popen(('make', '-f', makefile), stderr=subprocess.PIPE, cwd=intento.path) make.wait() intento.finCompila = datetime.datetime.now() log.debug('Fin del comando: make -f %s', makefile) # Verifico compilación stderr = make.stderr.read() intento.compila = not make.returncode msg = 'Compilación: ' if intento.compila and not stderr: msg += 'BIEN' elif intento.compila: msg += 'CON ADVERTENCIAS' else: msg += 'ERROR (código de retorno: %d)' % make.returncode mail.body += msg if stderr: msg += ''' Salida: ------------------------------------------------------------------------ %s ------------------------------------------------------------------------ ''' % stderr mail.body += "\n(se adjunta salida, archivo 'make.stderr')\n" mail.attachText(stderr, 'make.stderr') mail.body += '\n\n' intento.observaciones = msg + '\n\n' log.debug(msg) def preparar(intento): # Creo chroot - TODO copiarlo de algún lado donde ande el valgrind? os.mkdir(intento.chrootPath) shutil.copy(os.path.join(intento.path, 'tp'), os.path.join(intento.chrootPath, 'tp')) def limpiar(intento): # Borro chroot entero shutil.rmtree(intento.chrootPath) def probar(intento, caso_de_prueba, mail): def diff(prueba, mail, orig, new, name, origname='alumno', newname='catedra', longname=None): from difflib import unified_diff, HtmlDiff #TODO diferenciar pruebas públicas de privadas if longname is None: longname = name diff = ''.join(list(unified_diff(orig, new, fromfile=name+'.'+origname, tofile=name+'.'+newname))) nota = '' if diff: prueba.pasada = False nota = "- %s no coincide con lo esperado (archivo '%s.diff').\n" % (longname, name) if not prueba.casoDePrueba.privado: mail.attachText(diff, name + '.diff') diff = HtmlDiff().make_file(orig, new, fromdesc=name+'.'+origname, todesc=name+'.'+newname, context=True, numlines=3) mail.attachText(diff, name + '.diff.html', 'html') return nota def usa_stdin(): return os.path.exists(os.path.join(caso_de_prueba.path, 'stdin')) def usa_stdout(): return os.path.exists(os.path.join(caso_de_prueba.path, 'stdout')) def usa_stderr(): return os.path.exists(os.path.join(caso_de_prueba.path, 'stderr')) # Cosas útiles global log, conn, conf, uid, gid # Para manejo de SIGCHLD global hijo_muerto hijo_muerto = False # Obtengo datos útiles del caso de prueba tiempo_cpu = caso_de_prueba.tiempoCpu if tiempo_cpu is None: tiempo_cpu = conf.get('general', 'tiempo_cpu') tiempo_cpu = int(tiempo_cpu) # Creo prueba nueva prueba = Prueba(intento=intento, casoDePrueba=caso_de_prueba, inicio=datetime.datetime.now(), connection=conn) log.debug('Iniciando prueba: %s', prueba) log.debug('Caso de prueba: %s', prueba.casoDePrueba) # Abro archivos para fds básicos options = { 'cwd': intento.chrootPath, 'close_fds': True, 'preexec_fn': secure_process(intento.chrootPath, uid, gid, tiempo_cpu), } if usa_stdin(): options['stdin'] = file(os.path.join(caso_de_prueba.path, 'stdin'), 'r') if usa_stdout(): options['stdout'] = subprocess.PIPE if usa_stderr(): options['stderr'] = subprocess.PIPE # Ejecuto programa params = ['/tp'] if caso_de_prueba.parametros: params += params2seq(caso_de_prueba.parametros) log.debug('Ejecutando %s', ' '.join(params)) os.seteuid(0) # Dios! (para chroot) try: proc = subprocess.Popen(params, **options) except Exception, e: # FIXME poner en el manejo de exceptiones estandar try: print e.child_traceback raise except: raise os.seteuid(uid) # Mortal de nuevo if not hijo_muerto: # Recibido por el sigchld, para saber si murió time.sleep(tiempo_cpu) # Controlo que no tarde mucho # Si el proceso sigue andando lo tenemos que matar if not hijo_muerto: log.debug('La prueba tardó más del tiempo permitido (%d segundos)', tiempo_cpu) os.seteuid(0) # Dios! (corre como Dios, hay que matarlo como Dios) os.kill(proc.pid, signal.SIGKILL) os.seteuid(uid) # Mortal de nuevo log.debug('Prueba cancelada (kill)') proc.wait() prueba.observaciones = 'Excedió el límite de tiempo de ejecución ' \ '(%d seg)' % tiempo_cpu prueba.fin = datetime.datetime.now() prueba.pasada = False mail.agregarResultado(prueba) return prueba proc.wait() # Para que no queden zombies prueba.fin = datetime.datetime.now() # Salió con una señal? if proc.returncode < 0: sig = -proc.returncode sigs = {} for s in [s for s in dir(signal) if s.startswith('SIG') and s.isalpha()]: sigs[getattr(signal, s)] = s log.debug('El programa salió con la señal %s', sigs[sig]) prueba.pasada = False #TODO otras señales conocidas if sig == signal.SIGXCPU: prueba.observaciones = 'Excedió el límite de tiempo de CPU ' \ '(%d seg)' % tiempo_cpu else: prueba.observaciones = 'Salió con la señal %s' % sigs[sig] mail.agregarResultado(prueba) return prueba # Si tenemos que verificar el código de retorno if caso_de_prueba.codigoRetorno is not None: #FIXME trucho lo de 256 # Si el código de error esperado es 256 => el código de error debe ser != 0 # Si no el código de error esperado debe ser igual al obtenido if caso_de_prueba.codigoRetorno != proc.returncode \ or caso_de_prueba.codigoRetorno == 256 \ and proc.returncode != 0: log.debug('Código de retorno incorrecto (debía ser %d y se obtuvo %d)', caso_de_prueba.codigoRetorno, proc.returncode) prueba.pasada = False prueba.observaciones = 'Código de retorno incorrecto (debía ' \ 'ser %d y se obtuvo %d)' % (caso_de_prueba.codigoRetorno, proc.returncode) mail.agregarResultado(prueba) return prueba # Verifico salidas estándar/de error prueba.pasada = True # Asumo que está bien, ya habrá tiempo para cambiarlo if usa_stdout(): obs = diff(prueba, mail, proc.stdout.readlines(), file(os.path.join(caso_de_prueba.path, 'stdout')).readlines(), caso_de_prueba.nombre + '.stdout', longname='La salida estándar') if usa_stderr(): obs += diff(prueba, mail, proc.stderr.readlines(), file(os.path.join(caso_de_prueba.path, 'stderr')).readlines(), caso_de_prueba.nombre + '.stderr', longname='La salida de error') for f in caso_de_prueba.archivosSalida: if f not in prueba.archivosSalida: #TODO agregar error FALTA ARCHIVO log.debug('Falta el archivo %s y no lo hizo.', f) prueba.pasada = False obs += "- Falta el archivo de salida '%s'.\n" % f continue obs += diff(prueba, mail, file(os.path.join(intento.chrootPath, f)).readlines(), file(os.path.join(caso_de_prueba.pathSalidas, f)).readlines(), caso_de_prueba.nombre + '.' + f) for f in prueba.archivosSalida - (caso_de_prueba.archivosSalida | caso_de_prueba.archivosEntrada): #TODO agregar error SOBRA ARCHIVO log.debug('El programa debía generar el archivo %s y no lo hizo.', f) prueba.pasada = False obs += "- Se generó un archivo ('%s') que no se esperaba.\n" % f log.debug('Fin de ejecución de caso de prueba (hijo: %d, ret: %d)', proc.pid, proc.returncode) if obs: prueba.observaciones = obs mail.agregarResultado(prueba) log.debug('Resultado de la prueba: %s', prueba) return prueba def params2seq(params): r"""Parsea un string de forma similar al bash, separando por espacios y teniendo en cuenta comillas simples y dobles para agrupar. Para poner comillas se puede usar el \ como caracter de escape (\' y \") y también interpreta \n y \t. Devuelve una lista con los parámetros encontrados.""" # Constantes SEP, TOKEN, DQUOTE, SQUOTE = ' ', None, '"', "'" seq = [] buff = '' escape = False state = SEP for c in params: # Es un caracter escapado if escape: if c == 'n': buff += '\n' elif c == 't': buff += '\t' else: buff += c escape = False continue # Es una secuencia de escape if c == '\\': escape = True continue # Si está buscando espacios if state == SEP: if c == SEP: continue else: state = TOKEN # Encontró if state == TOKEN: if c == DQUOTE: state = DQUOTE continue if c == SQUOTE: state = SQUOTE continue if c == SEP: state = SEP seq.append(buff) buff = '' continue buff += c continue if state == DQUOTE: if c == DQUOTE: state = TOKEN continue buff += c continue if state == SQUOTE: if c == SQUOTE: state = TOKEN continue buff += c continue raise Exception, 'No tiene sentido' if state == DQUOTE or state == SQUOTE: raise Exception, 'Parse error, falta cerrar comilla (%s)' % state if buff: seq.append(buff) return seq class MailIntento(email.MIMEMultipart.MIMEMultipart, object): def __init__(self, intento): global conf from email.MIMEMultipart import MIMEMultipart from email.MIMEMessage import MIMEMessage from email.MIMEText import MIMEText MIMEMultipart.__init__(self) self.subject = '[%s] Resultado del intento %d (ejercicio %d.%d)' % \ (conf.get('mail', 'prefijo'), intento.numero, intento.entrega.nroEjercicio, intento.entrega.entrega) self['From'] = conf.get('mail', 'from') self['To'] = intento.mailRespuesta self['Reply-To'] = conf.get('mail', 'admin') self['Return-Path'] = conf.get('mail', 'admin') self['X-Mailer'] = 'sercom ' + sercom.VERSION self['X-Priority'] = '5' self.epilogue = 'Para ver correctamente este e-mail su cliente debe ' \ 'soportar MIME.\n\n' self.prologue = '' # Garantiza que termine en \n el mensaje self.attach(MIMEMessage(MIMEText('', 'plain', 'iso-8859-1'))) self.resultado = None def __set_body(self, body): self.get_payload(0).get_payload(0).set_payload(body) def __get_body(self): return self.get_payload(0).get_payload(0).get_payload() body = property(__get_body, __set_body, doc='Cuerpo del mensaje.') def attachText(self, text, nombre=None, subtype='plain'): from email.MIMEText import MIMEText attach = MIMEText(text, subtype, 'iso-8859-1') if nombre: attach.add_header('Content-Disposition', 'attachment', filename=nombre) self.attach(attach) def send(self, resultado=None): import smtplib global conf smtp = smtplib.SMTP(conf.get('mail', 'smtp')) if resultado: self.subject += ': ' + resultado self['Subject'] = self.subject smtp.sendmail(self['From'], self['To'], self.as_string()) smtp.close() def agregarResultado(self, prueba): if not prueba.casoDePrueba.privado: if prueba.pasada: result = 'BIEN' else: result = 'ERROR' self.body += ''' Prueba '%s': %s %s ''' % (prueba.casoDePrueba.nombre, result, prueba.observaciones or '') pass # Manejadores de señales signal.signal(signal.SIGTERM, sigterm) signal.signal(signal.SIGINT, sigterm) signal.signal(signal.SIGCHLD, sigchld) hijo_muerto = False # Cambia con SIGCHLD continuar = True # Cambia con SIGTERM o SIGINT # Inicializo conf, conn, log = sercom.init('test') log.info('Iniciado') # Obtengo id de usuario con el cual ejecutar las pruebas uid, gid = pwd.getpwnam(conf.get('general', 'user'))[2:4] # Cambio UID efectivo os.seteuid(uid) # Atajo intervalo = float(conf.get('general', 'intervalo')) # Utilizo el directorio de datos como base para todos los SQLObjects sercom.sqlo.dir_base = conf.get('general', 'data_dir') # Hasta que nos maten while continuar: # Busco intento a probar intento = Intento.getProximoAProbar(conn) if not intento: log.debug('No hay intento para probar') time.sleep(intervalo) continue log.info('Nuevo intento a probar (%d %d.%d.%d %d%d%d)', intento.inscripto.padron, intento.entrega.nroEjercicio, intento.entrega.entrega, intento.numero, intento.entrega.curso.anio, intento.entrega.curso.cuatrimestre, intento.entrega.curso.curso) mail = MailIntento(intento) # Compila compilar(intento, mail) if not intento.compila: log.info('Intento no compila') mail.send('NO COMPILA') continue # Ejecución de casos de prueba intento.inicioPruebas = datetime.datetime.now() resultado = True for caso_de_prueba in intento.entrega.ejercicio.casosDePrueba: # Preparo chroot preparar(intento) # Pruebo y agrego prueba a la lista prueba = probar(intento, caso_de_prueba, mail) if not prueba.casoDePrueba.privado and not prueba.pasada: log.info('Prueba %s no pasada' % prueba.casoDePrueba.nombre) resultado = False # Limpio chroot limpiar(intento) intento.finPruebas = datetime.datetime.now() # Envío mail con resultado al alumno if resultado: mail.send('ACEPTADO') else: mail.send('FALLA PRUEBAS') # Limpio directorio log.debug('Borrando ejecutable y código objeto (*.o)') os.remove(os.path.join(intento.path, 'tp')) [os.remove(obj) for obj in glob.glob(os.path.join(intento.path, '*.o'))] # time.sleep(intervalo) #XXX Puede servir para enlentecer el server