ocaml/dune

Flush output buffers on SIGTERM

Ouverte

#3 882 ouverte le 21 oct. 2020

Voir sur GitHubGuide contributeur
 (12 commentaires) (0 réaction) (2 personnes assignées)OCaml (478 forks)github user discovery
good first issue

Métriques du dépôt

Stars
 (1 882 étoiles)
Métriques de merge PR
 (Merge moyen 1j 20h) (345 PRs mergées en 30 j)

Description

We're currently using dune runtest in OCaml-CI as the standard way of running tests for a package. If some of the tests for a package get stuck in a deadlock, the CI job will kill the process after 60 minutes. Unfortunately, this means that the logs of the stalled test run are lost.

We could switch to using dune runtest --no-buffer in the CI, but this creates less readable (interleaved) test output. One possible alternative would be for Dune to flush its output buffers before responding to SIGTERM (probably keeping the old behaviour for SIGKILL). What do you think?

Guide contributeur

Direction de recherche
Examinez comment Dune gère actuellement la mise en mémoire tampon de la sortie et le traitement des signaux (SIGTERM). Regardez la boucle principale et les gestionnaires de signaux pour trouver où ajouter un vidage des tampons de sortie (stdout/stderr) avant de quitter. Assurez vous que SIGKILL ne provoque toujours pas de vidage, comme demandé.
Stack technique
Aucun
Domaine
build systemdevopsdeveloper experience
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
OCamlsignal handling basics
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
50