[fpc-pascal] Semaphore problems

Micha Nelissen 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 ?

Micha



More information about the fpc-pascal mailing list