|
From: Bart V. A. <bva...@ac...> - 2010-01-29 07:12:41
|
On Thu, Jan 28, 2010 at 8:17 PM, Konstantin Serebryany <kon...@gm...> wrote: > I again forgot that pthread_barrier is cyclic (resettable). > imho this is error prone and dull, but that's what we have. > I think we will need two annotations to fully support it: > // inserted before the actual barrier_init code > ANNOTATE_CYCLIC_BARRIER_INIT(obj, n) > // inserted before the actual barrier_wait code. > ANNOTATE_CYCLIC_BARRIER_WAIT(obj) Hello Konstantin, Why do feel that there is a need to tell a thread-checking tool on beforehand whether a barrier will be used only once or multiple times ? Bart. |