id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
work_67dyc7j6pbhe3pbthiwy3ftpsi	James Nguyen	Why Surplus Structure Is Not Superfluous	2018	18	.pdf	application/pdf	7094	697	62	races are identified by applying to the OpenMP program a lockset analysis, which computes the set of shared variables that potentially need to To avoid the insertion of superfluous locks, an abstract, action-based formal model of the OpenMP program is extracted However, due to the expressive power of the OpenMP constructs and in particular the fact that the parallel execution might depend on data values, developing such analysis tools is extremely challenging. than checking the absence of data races, lockset analysis checks whether a program adheres to a locking discipline, which requires that each access to a shared The tool checks the data dependency of accesses to shared variables (whenever an OpenMP directive is detected) by using sequentially traced For instance, the race avoidance tool [37] is limited to OpenMP programs using only the #pragma omp parallel for construct.	./cache/work_67dyc7j6pbhe3pbthiwy3ftpsi.pdf	./txt/work_67dyc7j6pbhe3pbthiwy3ftpsi.txt