Re: POSIX.Semaphores question

[awdorrin <awdorrin@gmail.com>]

> That's because "type Semaphore_Descriptor is private;", so your code
> can't see the fact that it's privately implemented as "access constant
> POSIX.C.sem_t;".

That makes sense, and sounds like what that bug report I linked to was
addressing.

I'm guessing that the private tag is what is making the Semaphore and
Mutex have a larger size than I expect.
I would have thought that the 'Dummy' null record would have evaluated
to zero size, making the Semaphore and Mutex records defined in the
POSIX library map to the same size as the types within C.

However, it looks like GNAT is adding another 4 bytes to the size (for
the 'null' record), then GNAT is aligning multiple Semaphores/Mutexes
in a record to 16 byte boundaries...

Guess I could add padding to the C structs to get this to work with
GNAT - but seems like there should be a better way to get the sizes
correct.