We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
multi-thread program
multi-threaded program
Ainsi, le retard d'exécution de programme provoqué par un arrêt du système peut être évité, et le programme multifil peut être utilisé de manière fiable.
Thus, program execution delay caused by a system shutdown can be prevented, and the multi-thread program can be reliably used.
Selon l'invention, les erreurs provoquées par les concurrences de données dans le programme multifil peuvent être détectées, et les erreurs détectées peuvent être immédiatement résolues.
According to the present invention, errors caused by data races in the multi-thread program can be detected, and the detected errors can be immediately healed.
La sérialisation des opérations des premier et deuxième fils provoque une violation d'accès simultané ou un bug, amenant de ce fait le programme multifil à se bloquer.
The serialization of the operations of the first and second threads results in a concurrency violation or bug thereby causing the multi-threaded program to crash.
De cette manière, les opérations des premier et deuxième fils du programme multifil qui sont responsables de la violation d'accès simultané sont identifiées et peuvent être révisées de manière à éliminer le bug.
In this way, the operations of the first and second threads of the multi-threaded program that are responsible for the concurrency violation are identified and can be revised to remove the bug.
Le procédé de résolution comprend les étapes suivantes : détection d'une concurrence de données du programme multifil à l'aide d'un détecteur de concurrences ; et résolution de la concurrence de données à l'aide d'un résolveur.
The healing method comprises the steps of: detecting a data race of the multi-thread program using a race detector; and healing the data race using a healer.
PROCÉDÉ ET SYSTÈME POUR RÉSOUDRE DES CONCURRENCES D'UN PROGRAMME MULTIFIL DANS UN SYSTÈME INFORMATIQUE ARINC-653 POUR UN AVION
METHOD AND SYSTEM FOR HEALING RACES OF A MULTI-THREAD PROGRAM IN AN ARINC-653 BASED COMPUTER SYSTEM FOR AIRCRAFT
Un procédé donné à titre d'exemple de l'invention comprend la détermination si une condition est satisfaite et la sérialisation d'une opération d'un premier fil d'un programme multifil relatif à une opération d'un deuxième fil du programme multifil.
An example method disclosed herein comprises determining whether a condition is met and serializing an operation of a first thread of a multi-threaded program relative to an operation of a second thread of the multi-threaded program.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
