[PATCH][libstdc++-v3 parallel mode] Tackle further XXX todos

[Benjamin Kosnik]

> Unfortunately, this isn't ok, until c/448 will be finally closed: you
> can't assume stdint.h facilities (thus  tr1/cstdint facilities) to be
> available everywhere.

... parallel mode is already limited to underlying platforms that:

1) have atomic ops
2) have open mp

requiring stdint.h in addition will likely cause no loss of existing
platform coverage IMHO (as per
http://gcc.gnu.org/ml/gcc/2009-07/msg00625.html). It would be my strong
preference to remove duplication and not invent new types in parallel
mode, and instead use stdint.h. Of course, documenting this new
dependency here:

http://gcc.gnu.org/onlinedocs/libstdc++/manual/bk01pt12ch31s03.html

seems like a good idea.

Paolo, are you ok with this as long as it's documented?

-benjamin