What To Do About Shared?

[dsimcha]

On 3/23/2011 12:36 AM, Graham St Jack wrote:
> Sounds good in principal.
>
> I assume that category a code could be @trusted, and that category b and
> c must not be @trusted.

Right, except for the subset of category C code that does make guarantees.

>
> I agree that trying to use the language to discriminate between category
> b and c would be too tricky, especially when you consider the subtleties
> of what is shared and what is not. Documentation is the only viable
> option there.
>
> Are these static checks feasible, and if so, what are the chances of
> getting them into the language anytime soon?
>

The static checks I'm referring to already are in the language, but are 
dependent on the threading library that's being used enforcing them. 
std.concurrency does, making it category a.  core.thread does not, 
making it category b.  std.parallelism does only for a few @trusted and 
@safe functions, making it category c.