barrucadu/dejafu

Add test using fair or length bounding without preemption bounding

Aperta

#209 aperta il 16 feb 2018

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (18 fork)github user discovery
T: enhancementgood first issue

Metriche repository

Star
 (201 stelle)
Metriche merge PR
 (Merge medio 21m) (1 PR mergiata in 30 g)

Descrizione

All the systematic tests use preemption bounding (PB). The backtracking for fair bounding (FB) is disabled when doing PB, as the set of backtracking points identified by PB is sufficient. But this means we're not testing the case where we have FB but no PB.

Similarly, we're not testing the case where we only length bounding (LB).

I think this would be best tested by adding some examples with spinlocks, and running them (a) with FB and LB but no PB, and (b) with just LB.

W and TEST introduced in #197 makes it possible to test arbitrary Ways.

Guida contributor

Direzione di ricerca
Studia i test sistematici esistenti che utilizzano il bounding di prelazione (PB). Poi crea nuovi esempi di test con spinlock che utilizzano il bounding equo (FB) e il bounding di lunghezza (LB) senza PB, e solo LB. Usa `W` e `TEST` del framework per specificare modi arbitrari.
Tech stack
haskell
Dominio
testing
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Haskelldejafu testing framework
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50