llnl / llnl/dataracebench

DRB189-barrier3-yes.c does not contain a data race

Open
#145 4 comments 0 reactions 0 assignees View on GitHub
Dominant language
C
Stars
80
Forks
33
PR merge metrics
No merged PRs in 30d

Description

The lock-based barrier is effectively the same pattern as DRB186-barrier2-no.c. The commented lock is not necessary to provide the barrier semantics.

Contributor guide

No contributing guide indexed for this repository

Research direction

Read DRB189-barrier3-yes.c alongside DRB186-barrier2-no.c, focusing on the lock-based barrier and the commented lock. Done means the benchmark's data-race status and lock usage are consistent with the intended barrier semantics.

Written by the indexing model from the issue text.

Assessment

Tech stack
c
Domain
testing-qa
Issue type
Bug
Difficulty
2/5
Estimated time
1-3 hours
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.