Package: relacy-dev (0.0+git20191025.acc09bb-2)

[ Source: relacy  ]

Omhyggelig synkroniseringsalgoritmeverifikator til afslappede hukommelsesmodeller

Relacy Race Detector er et værktøj for effektiv afvikling af enhedstest for synkroniseringsalgoritmer skrevet i C++0x. Hver brugertråd er repræsenteret som en fiber (ucontext). Hver gang afvikles kun en fiber og specielle planlæggere kontrollerer interleaving mellem fibre. Med fuld søgeplanlægger eller kontekstafgrænset planlægger afvikles systematisk alle mulige interleaving'er mellem tråde. Under afvikling af en bestemt interleaving laves udtømmende verifikation for diverse aspekter af kørslen (racer, adgang til frigjort hukommelse etc.).

Hvis ingen fejl findes så afsluttes verifikationen når bestemt antal af interleaving'er er verificeret (for vilkårlig planlægger) eller når alle mulige interleaving'er er verificeret (for fuld søgeplanlægger). Hvis fejl findes når værktøjet viser kørselshistorikken, der fører til fejl og afslutter. Fysisk er Relacy Race Detector et bibliotek kun med teksthoveder for C++98.

Tags: Software Development: Libraries, Role: Development Library

Download relacy-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	46.6 kB	369.0 kB	[list of files]