Les sémaphores sont-ils "complets" ?

Question

Tous les problèmes de synchronisation imaginables peuvent-ils être résolus par une utilisation judicieuse des sémaphores ? Qu'en est-il des sémaphores faibles ?

Answer 1

Non. Par exemple, il est impossible pour un système qui n'utilise que des sémaphores pour la synchronisation de fournir des garanties sans attente, ou même des garanties de progression, face à du code tiers (par exemple un plugin). Une section de code perverse ou mal écrite peut refuser à tout le monde et pour toujours l'accès à une section de code protégée par un sémaphore.

Answer 2

Agerwala soutient que les sémaphores convenablement étendus sont complets. Cela ne répond pas à toutes mes questions, mais est sur la bonne voie. David Seiler a également raison.