[c++-pthreads] Re: thread-safety definition

[Alexander Terekhov]

Ted Baker wrote:
> 
> OK. I now see from your example that intervened that you seem to
> intend that functions that are asyn-cancel safe/unsafe have some
> syntactic tag (like "const") so that the compiler can check them.
> I was assuming that you would rely on the compiler to infer which
> regions of code might be subject to asynch cancellation from the
> embedded async_cancel{} and then work back the call trees to
> infer which other functions might be unsafe.  It did not occur
> to me that you would be willing to require users to go so far
> in marking up their code.

http://google.com/groups?threadm=3D293F54.8FFA810%40web.de

<quote selm=slrnaimepu.dd.jk%40beercask.steel.orel.ru>

>               How much knowledge about the standard libraries are you
> willing to bring into the language?

As much as given in the function prototype - no more, no less. The problem is,
however, there is no way to give this information in function prototype in
current language.

</quote>

regards,
alexander.