CVS log for rpl/src/interruptions.c

Up to [local] / rpl / src

Request diff between arbitrary revisions - Display revisions graphically

Keyword substitution: kv
Default branch: MAIN

En route pour la 4.1.36.

Mise à jour du copyright.

En route pour la 4.1.35 !

En route vers la 4.1.34 !

En route pour la 4.1.33.

Modification du copyright.

En route pour la 4.1.32.

Correction de l'envoi des signaux au processus lancé par SYSEVAL.

Patches pour enlever un verrou global.

Corrections de mutexes et sémaphores pour les programmes multithreadés.

Patches pour gérer proprement les sémaphores et les mutexes dans
un programme multithreadé.

En route pour la 4.1.31.

Changement de copyright.

En route pour la 4.1.30.

En route vers la 4.1.29.

En route pour la 4.1.28.

Cohérence.

Typo.

Tentative de correction de DETACH. Fonctionne mieux mais finit encore
par échouer sur un deadlock.

En route pour la 4.1.27.

Modification du copyright.

Patches pour Cygwin64.

Patch pour Cygwin64.

Autre patch pour la libsigsegv sous Cygwin64.

Patches pour Cygwin 64 bits (retrait de sigsegv).

En route pour la 4.1.26 !

Mise à jour de sqlite. Tentative de debug de DETACH.

On vide les interruptions avant d'arrêter le fil d'exécution.
Ne corrige toujours pas le problème du pthread_exit().

Cohérence.

Modifications toujours pour chasser le bug de DETACH...

Tentative de correction d'un bug de DETACH.

Tentative de correction d'un deadlock dans pthread_exit().

Essai de correction d'un bug du couple DETACH/WFPROC.

À la chasse au bug...

Correction d'une race condition.

Modifications pour tenter de corriger un bug de DETACH.

Fermeture d'un fichier en cas d'erreur. Utile pour éviter une fuite
de descripteur de fichier dans le cas où le processus à signaler n'existe plus.

Cohérence.

Test de l'existence des fichiers pour les sémaphores et les segments de mémoire
partagée.

Correction d'un problème de fuite de descripteur de fichier.

Correction d'une erreur renvoyée par l'ouverture des segments de mémoire
partagée et des sémaphores (O_EXCL). La création des noms impose
qu'il ne puisse y avoir deux noms identiques sur la même machine sauf à
créer le nom à partir d'un autre programme.

Correction d'un segfault dans la gestion des processus (sur une race condition).

Modification du traitement des signaux interprocessus.

Correction d'un problème lié aux dernières versions de la glibc.
(p)select renvoie une valeur folklorique avec des descripteurs de fichier
supérieurs à 1024. Les appels fautifs ont été remplacés par poll().

Cohérence.

Correction d'un bug sournois dans la gestion des processus détachés.
Ce patch ne résout pas le problème (rafale de SIGALRM qui bloque
le lancement du processus fils) mais corrige des problèmes mineurs connexes,
typiquement des race conditions.

En route pour la 4.1.25...

Mise à jour de Lapack (3.6.0) et du numéro de version du RPL/2.

Correction d'un problème de gestion des mutexes (condition bloquante dans DETACH
et SPAWN).

Correction de problèmes de mutexes.

En route vers la 4.1.23.

Correction d'un problème de libération de la mémoire (DETACH et variables
partagées). La libération de l'arbre doit toujours s'accompagner de la
réinitialisation de la liste des variables partagées.

Correction de régressions majeures dans le compilateur.

En route pour la 4.1.22 !

En route pour la 4.1.21.

Cohérence.

Cohérence.

Correction d'un bug du parser. << 1 2 < 2 < > >> ne renvoie plus
d'erreur de syntaxe.

Ajout d'un allocateur utilisant une mémoire cache.

Cohérence.

En route vers la 4.1.20.

Mise à jour du copyright et ajout de la gestion de EQV dans les expressions
algébriques.

En route pour la 4.1.19.

Retrait d'un #ifdef surnuméraire.

Retrait du sémaphore SEM_SIGNAUX inutilisé et correction d'un cast de
l'interface sqlite3 ((int) strlen()).

Tentative de debug...

Retrait d'une double fermeture des sémaphores POSIX.

Ajout de pragma.

Ajout de pragma et correction de warnings.

En route pour la 4.1.18.

Retrait des sémaphores de la structure de gestion des signaux car POSIX n'impose
pas que les sémaphores projetés en mémoire soient mis à jour de façon synchrone.

Correction d'un bug découvert sous NetBSD dans l'utilisation de la fonction
msync().

Grosse mise à jour de ./tools et changement des copyrights. Correction d'une
variable non initialisée dans FORALL.

En route pour la 4.1.17.

En route pour la 4.1.16.

Cohérence

En route pour la 4.1.15.

Ajout d'un mutex pour simplifier l'accès aux données de s_etat_processus.

Corrections de mutexes... Suite et presque fin.

Cohérence.

Correction d'autres mutexes...

Autres corrections d'accès concurrents. Ajout d'un sémaphore pour gérer les
accès concurrents sur la variable requete_arret de la structure de gestion des
signaux qui peut ne pas être atomique.

Correction de l'ordre de verrouillage de mutexes.

Autre correction d'accès concurrents.

Autre correction de condition d'accès concurrent.

Correction d'un bug dans la gestion des sémaphores.

Retrait d'un pipe inutile. Simplification de la gestion des interruptions SWI
et du système SEND/RECV.

En route pour la 4.1.14.

Correction d'un certain nombre de bugs touchant à l'initialisation des threads
par SPAWN (possibilité de récupérer un segfault ou une erreur système de type
d_es_processus). Correction de petits problèmes sur les variables partagées.
Attention, la fonction VARS peut encore bloquer.

Toutes les grandeurs connexes aux objets sont maintenant en 64 bits.

Troisième série de patches pour -Wconversion.

Première série de patches pour compiler avec l'option -Wconversion.

Ajout du support des sockets non formatées.

En route pour la 4.1.13.

Mise à jour des copyrights.

Cohérence.

Correction d'un problème de signaux sous NetBSD. Le lancement du programme
pouvait échouer sur une erreur système car le thread de gestion des signaux
RPL/2 pouvait recevoir des signaux POSIX. Ce problème était aléatoire.
Typiquement, ave NetBSD 6 dans un DomU, cela fonctionnait, avec un NetBSD 6
dans VirtualBox, cela échouait à tous les coups.

Modifications pour traiter SIGINT sous NetBSD. Ne fonctionne pas
correctement.

Changement des dates du copyright.

En route pour la 4.1.12 !

Série de patches pour les variables partagées. Les patches ne provoquent pas
de segfault, mais n'ont pas encore été testés sur des variables partagées.

Première série de patches pour inclure les variables partagées dans
l'arbre des variables. Attention, le résultat ne compile pas.

Utilisation de la localisation forcée.

Récupération d'une interruption de sem_wait().

Inversion de langue dans un message d'erreur.

Correction d'un bug bizarre dans la gestion des signaux de NetBSD pour
les programmes compilés avec -lpthread. Le gestionnaire de signal est dans
ce cas appelé dans un thread spécifique et la causalité des instructions
en souffre fortement... Pour que cette gestion des signaux
soit la même quel que soit le système d'exploitation, j'ai séparé la
gestion des signaux en deux threads. Le gestionnaire de signal envoie
le signal de façon atomique dans un pipe. Un premier thread (par processus)
attend de l'autre côté du pipe et traite le signal. Un second thread
(par thread) regarde les signaux en attente et envoie à chaque signal
en attente un SIG_ALRM qui ne sert qu'à réveiller un hypothétique appel
système lent.

Début de la refonte des signaux pour NetBSD.

Seconde série de patches pour intégrer les variables statiques à l'arbre
des variables. Cela compile sans warning mais n'a pas été testé. Au passage, la
condition de dépassement des puissances entières d'un argument réel ou complexe
a été corrigée.

Première série de patches pour intégrer la gestion des variables statiques
à l'arbre des variables. Attention, cela compile, mais il reste des choses à
faire. Prière de ne pas utilser en l'état de variables statiques.

En route pour la 4.1.11.

En route pour la 4.1.10.

Correction des patches de NetBSD pour qu'ils soient compatibles avec Linux.

Autres patches pour NetBSD.

En route vers la 4.1.9.

Fin de la réécriture de la gestion des signaux.

Premières modifications pour l'éviction d'une 'race condition' dans la
gestion des signaux. Ne pas utiliser en l'état car il manque une décrémentation
de sémaphore.

Premières idées pour éviter un deadlock...

Levée de problème sur la gestion des signaux.

En route pour la 4.1.8 !

En route pour la 4.1.7.

En route pour la 4.1.6.

Mise à jour du copyright.

Correction d'un problème de signalisation des processus. Lorsqu'un processus
était en attente, il ne recevait plus de signal pour le réveiller et traiter
l'interruption.

Correction d'une régression.

En route pour la 4.1.5. Correction d'un bug mineur sur les mutexes.
Préparation d'un mécanisme pour éviter qu'un mutex soit déverrouillé
depuis un thread qui ne l'a pas verrouillé.

Correction de warnings de compilation.

Modification de la gestion des chaînes de caractères (SUB) et
vérification des caractères d'échappement dans les chaînes lors
de l'affectation du type.

Toute une série de patches pour OS/2 et eComStation.

Patches pour OS/2 et eComStation. Avec ces patches, j'ai réussi à compiler
le RPL/2 sur un eComStation 2.1 avec gcc/gfortran/g++ 4.4.4. La gestion
des signaux ne fonctionne pas encore correctement.

En route pour la 4.1.4.

jout du gestionnaire de signaux SIGSEGV issu de libsigsegv.

Suite des patches pour MacOS X.

Patches pour MacOS X (non fonctionnels).

Typo.

Fin (normalement) des patches pour SysV.

Suite des patches pour les IPCS SysV.

Patches pour régler les problèmes des sémaphores BSD.

Correction d'un bug des patches de MacOS X.

Typo...

Première série de patches pour porter la nouvelle gestion des signaux sous
MacOS X. La compilation se déroule bien, mais une opération de l'émulation
de sem_getvalue() n'est pas atomique et peut aboutir à une condition
bloquante.

Typo...

Ajout d'OpenMotif et correction des patches précédents. La nouvelle
gestion des signaux semble fonctionner correctement.

Suite des patches. Attention, il reste une 'race condition' quelque part...

Suite des patches...

Première série de patches pour rendre la gestion des signaux propre.

Mise à jour des scripts de compilation du RPL/CAS et initiation du
changement du traitement des signaux (pour NetBSD et eComStation).

Ajout d'un test des signaux lors de leur initialisation.

Correction d'un message de récupération de SIGSEGV.

Correction de la récupération du signal SIGSEGV.

Commit après restauration de la sauvegarde.

Aïe... Crash des disques sur la machine de développement !... Commit d'urgence !

En route pour la 4.1.3.

Mise à jour de RPL/CAS et meilleure gestion des contextes.

En route pour la 4.1.2.

En route vers la 4.4.1.

Passage de la branche 4.1 en branche stable.

En route vers la 4.1.0.prerelease.4.

En route pour la 4.1.0.prerelease.3.

Correction d'une réinitialisation sauvage de la pile des variables par niveau
dans la copie de la structure de description du processus. Cela corrige
la fonction SPAWN qui échouait sur un segmentation fault car la pile des
variables par niveau était vide alors même que l'arbre des variables contenait
bien les variables. Passage à la prerelease 2.

Les fonctions de copie de l'arbre des variables fonctionnement et SPAWN
est utilisable.

Merge de la branche 4_0 sur HEAD.

En route vers la 4.1.0.prerelease.1.

Fin des modifications à la suite de la réécriture des fonctions de
gestion des variables locales. Ça compile, mais il faut encore déboguer
sérieusement.

En route pour la 4.0.24...

Merge entre la branche 4_0 et HEAD.

En route pour la 4.0.23.

En route vers la 4.0.22.

Branchement de la 4.1

En route pour la 4.0.21 !

Changement du copyright.

Ajout de l'interception de SIGTERM.

Correction du problème de l'erreur de syntaxe.

En route pour la 4.0.20.

Retrait de ptmalloc3

Correction d'un deadlock produit par une gestion calamiteuse des
interruptions logicielles.

Correction du mécanisme de gestion des interruptions logicielles et
correction des cas où siginfo_t peut être nul.

Deadlock (encours)

En route pour la 4.0.19 !

Scission de interruptions.c en deux fichiers pour contourner le
problème généré par pthread_kill() qui est une macro sous OS/2.

Ajout du support POSIX pour les systèmes qui n'honorent pas siginfo_t.

Patches pour les systèmes qui cassent siginfo_t.

Patches pour les systèmes qui cassent siginfo_t.

Patches pour les sémaphores SysV.

Correction du patch pour les systèmes sans structure SIGINFO.

Ajout du support de DETACH pour les systèmes ayant une structure siginfo
mal renseignée.

Modifications pour OS/2

Cohérence

Ajout du support pour OS/2.

En route vers la 4.0.18 !

Ajout d'un CSTOP implicite au lancement de la fonction ATEXIT pour éviter les
traitements involontaires de plusieurs signaux STOP.

En route pour la 4.0.17 !

Cohérence

Suite de la correction des fuites dans fork().

Corrections de fuites de mémoires dans SPAWN et DETACH.

Correction d'une fuite de mémoire dans l'instruction SPAWN.

Correction d'un problème de libération de la structure thread dans le cas d'un
processus détaché.

En route pour la 4.0.16 !

Modification de la gestion des signaux pour que lr RPL/2 fonctionne sous
MacOS X et Cygwin.

Correction de fuites de mémoire et de l'option --enable-debug.

Correction du script configure.in.

Modification de la gestion des accès SQL. Un descripteur SQL ne doit pas être
détruit par DETACH ou SPAWN sous peine de bloquer l'accès à la ressource
depuis le processus père.

Correction de ROW+ (la nouvelle ligne de la matrice était toujours ajoutée en
dernière position). Sortie de tout ce qui peut être sorti de sections entre
sémaphores de interrutions.c à fins de déverminage. Je suspecte un bug de timing
aboutissant à une corruption du tas.

Correction de problèmes liées à des valeurs de sémaphores dans le cas
d'erreurs pour éviter les conditions bloquantes.

Correction d'un point bloquant dans la gestion des processus
(affectation des interruptions logicielles survenant après l'arrêt du
processus père car le mutex de protection de la routine était déjà positionné
dans la fonction appelante). Ajout de la fonction CLRATEXIT.

Ajout du signal SIGFABORT permettant d'interdire l'exécution de ATEXIT
lors du traitement d'un arrêt issu de ABORT.

En route pour la 4.0.15 !

Ajout du support pour MacOS X et Windows/Cygwin

En route pour la 4.0.14 !

En route pour la 4.0.13.

Tous les noms de fichiers sont maintenant en UTF-8. Le contenu
des fichiers formatés est converti en UTF-8. Ces modifications sont
faites pour avoir un fonctionnement cohérent avec la bibliothèque sqlite.

En route pour la version 4.0.12 !

Branchement vers 4.0.11

Changement de version pour la 4.0.10.
Correction d'un dysfonctionnement dans le retour des erreurs des fonctions
RPL/C lorsque le programme est compilé (routine evaluation()).

Commit initial.

Initial revision