关于ada/task的实现

我想研究一下ada编译器是如何实现task的,但找不到相关的资料。

不知道哪位了解关于gnat编译器的原理? GNAT是否有类似于《GCC Internals Manual》这样的手册?

谢谢!