|
From: Bart V. A. <bar...@gm...> - 2008-02-13 18:38:10
Attachments:
exp-drd-2008-02-13-patch.txt
|
Hello Julian, Can you please apply the attached patch ? The attached patch fixes the assertion failure triggered by the tc18_semabuse test on Fedora 8. The fix consists of removing a tl_assert() statement. In this case this is OK, because what the tl_assert() statement was checking is that sem_post() did not report an error. The assert statement was there because if sem_post() returns an error, in theory some real data races can be suppressed. However, sem_post() only reports an error (EINVAL) in case its argument is not a valid semaphore, so there is no danger of suppressing a real data race. Bart Van Assche. |