Either the algorithm from "X meets Z: Verifying correctness in the presence of
POSIX Threads" ought to be implemented, or we ought to prove correct the
algorithm we actually want.
Do you still experience this issue with newer drivers ?
Please check the status of your issue.
-- GitLab Migration Automatic Message --
This bug has been migrated to freedesktop.org's GitLab instance and has been closed from further activity.
You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.freedesktop.org/xorg/lib/libxcb/issues/5.