Объясните, что представляют собой семафоры и как они используются в управлении потоками в программировании.