[fpc-pascal] Semaphore problems
micha at neli.hopto.org
Tue Jul 25 16:51:57 CEST 2006
Vinzent Hoefler wrote:
> Ok, there's a glitch: The read and write of self.ThreadId is required to
> be atomic, so that a thread entering may either see "0" or the owner's
> thread id when checking, otherwise it could be possible, it sees its
> own thread_id due to a partial update and *then* it goes really wrong.
It's not a glitch but an assumption I'd say. The compiler devels should
be able to answer whether we can assume this, or not ?
More information about the fpc-pascal