X-Git-Url: https://git.llucax.com/software/sercom-old.git/blobdiff_plain/a0d107bea4cae7a10895679d75a16f209b220b64..6d9d73dd6c11ccefe95eae63566c74e40ba0b1cf:/src/sc_test?ds=inline

diff --git a/src/sc_test b/src/sc_test
index a7fe807..aeac6d8 100755
--- a/src/sc_test
+++ b/src/sc_test
@@ -7,12 +7,15 @@ import os
 import pwd
 import time
 import signal
+import glob
 import shutil
 import datetime
 import subprocess
+import email.MIMEMultipart
 # Módulos locales
 import sercom
-from sercom.dbo import *
+import sercom.sqlo
+from sercom.sqlo import *
 
 class secure_process:
     def __init__(self, chroot, uid, gid, cpu):
@@ -36,12 +39,14 @@ class secure_process:
         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
-    #hijo_muerto = True
-    pass
+    global hijo_muerto, log
+    log.debug('Murió el hijo')
+    hijo_muerto = True
 
 def sigterm(signum, frame):
     """Signal handler para SIGTERM y SIGINT."""
@@ -49,27 +54,345 @@ def sigterm(signum, frame):
     continuar = False
     log.debug('Señal %d recibida', signum)
 
-# Conecto señales
-signal.signal(signal.SIGCHLD, sigchld)
+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')
+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]
+uid, gid = pwd.getpwnam(conf.get('general', 'user'))[2:4]
 
 # Cambio UID efectivo
 os.seteuid(uid)
 
-# Algunas variables de configuración útiles
-data_dir = conf.get('general', 'data_dir')
+# 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
-continuar = True # Cambia con una señal
 while continuar:
     # Busco intento a probar
     intento = Intento.getProximoAProbar(conn)
@@ -77,129 +400,39 @@ while continuar:
         log.debug('No hay intento para probar')
         time.sleep(intervalo)
         continue
-    log.info('Nuevo intento a probar (%s)', intento)
-    # Obtengo paths
-    intento_dir = os.path.join(data_dir, intento.path('intentos'))
-    entrega_dir = os.path.join(data_dir, 'ejercicios', str(intento.entrega.ejercicioID))
-    print entrega_dir
-    # Busco makefile
-    makefile = os.path.join(entrega_dir, 'Makefile')
-    if not os.path.exists(makefile):
-        makefile = os.path.join(data_dir, 'Makefile')
-    shutil.copy(makefile, intento_dir)
-    # Compilo
-    log.debug('Ejecutando: make -f %s', makefile)
-    intento.inicioCompila = datetime.datetime.now()
-    make = subprocess.Popen(('make', '-f', makefile), stdout=subprocess.PIPE,
-        stderr=subprocess.PIPE, cwd=intento_dir)
-    make.wait()
-    intento.finCompila = datetime.datetime.now()
-    log.debug('Fin del comando: make -f %s', makefile)
-    # Verifico compilación
-    if make.returncode:
-        log.debug('Error al compilar, código de retorno: %d, salida estándar: '
-            '%s, salida de error: %s)', make.returncode, make.stdout.read(),
-            make.stderr.read())
-        intento.compila = False
-        #TODO enviar_respuesta(R_ERR, $mail, "ERROR AL COMPILAR!\n\n$err\n\nCódigo de retorno: $ret\n", $intento);
-        continue;
-    else:
-        log.debug('Compilado OK')
-        intento.compila = True
-        #TODO mail acumulativo
-    # Creo chroot - TODO copiarlo de algún lado donde ande el valgrind?
-    chroot_dir = os.path.join(intento_dir, 'chroot')
-    ejecutable = os.path.join(chroot_dir, 'tp')
-    os.mkdir(chroot_dir)
-    shutil.move(os.path.join(intento_dir, 'tp'), ejecutable)
-    # Cambio permisos - XXX al pedo? Hice seteuid()
-    os.chmod(chroot_dir, 02770)
-    os.chown(chroot_dir, uid, gid)
-    os.chmod(ejecutable, 0550)
-    os.chown(ejecutable, uid, gid)
+    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:
-        # 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('Prueba: %s', prueba)
-        # Abro archivos para fds básicos
-        #XXX sacar nombres de archivos de prueba????
-        #stdin = file(os.path.join(intento_dir, 'stdin'), 'r')
-        stdout = file(os.path.join(intento_dir, 'stdout'), 'w')
-        stderr = file(os.path.join(intento_dir, 'stderr'), 'w')
-        # Ejecuto programa
-        log.debug('Ejecutando /tp %s', caso_de_prueba.parametros)
-        os.seteuid(0) # Dios! (para chroot)
-        # FIXME caso_de_prueba.parametros
-        try:
-            proc = subprocess.Popen('/tp', stdout=stdout, stderr=stderr, #stdin=stdin,
-                preexec_fn=secure_process(chroot_dir, uid, gid, tiempo_cpu))
-        except Exception, e: # FIXME poner en el manejo de exceptiones estandar
-            try:
-                print e, e.child_traceback
-            except:
-                print e
-        os.seteuid(uid) # Mortal de nuevo
-        time.sleep(tiempo_cpu)
-        # Si el proceso sigue andando lo tenemos que matar
-        if proc.poll() is None:
-            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
-            continue
-        proc.wait() # Para que no queden zombies
-        prueba.fin = str(datetime.datetime.now())
-        # Salió con una señal?
-        if proc.returncode < 0:
-            sig = -proc.returncode
-            log.debug('El programa salió con la señal %d', 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 %d' % sig
-            continue
-        # 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)
-        #TODO verificar salidas, hacer diff
-        log.debug('Fin de ejecución de caso de prueba (hijo: %d, ret: %d)',
-            proc.pid, proc.returncode)
-        prueba.pasada = True
-        log.debug('Prueba OK: %s', prueba)
+        # 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()
-    #TODO make clean
-    #TODO Armar mail de respuesta al alumno
-    for prueba in Prueba.selectBy(intentoID=intento.id, connection=conn):
-        #TODO Si es publica, veo si se hizo ok o no y voy creando mail
-        pass
-    time.sleep(intervalo)
+    # 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