dotnet/runtime

Add code to verify that operations on short/long bitsets operate on the correct epoch.

Open

#7957 aperta il 26 apr 2017

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)C# (5445 fork)batch import
area-CodeGen-coreclrhelp wanted

Metriche repository

Star
 (17.886 star)
Metriche merge PR
 (Merge medio 12g 11h) (661 PR mergiate in 30 g)

Descrizione

See the discussion in https://github.com/dotnet/coreclr/pull/11233 for more details.

These bitsets currently have no checks to ensure that the epoch in which a bitset was created matches the epoch in which it is being used. Depending on the actual representation and the operation, mismatching epochs can have a variety of harmful effects as they can cause out-of-bounds reads or writes.

@BruceForstall writes

Ideally, we would implement a DEBUG ShortLong representation bitset that also carried epoch along with every bitset, and asserted that operations between two bitsets were in the same epoch.

Which seems like a good suggestion.

category:testing theme:jit-coding-style skill-level:intermediate cost:small impact:small

Guida contributor

Direzione di ricerca
Esamina l'implementazione di ShortLong bitset e aggiungi controlli di epoch solo per DEBUG per garantire che le operazioni vengano eseguite su bitset con epoch corrispondenti.
Tech stack
csharp
Dominio
compilers
Tipo issue
Test
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
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
C#debugging
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65