木杉苑

快速幂算法（Fast Exponentiation），用于高效计算幂运算x^n mod MOD的结果（其中 MOD 是一个全局常量）。

序列化和反序列化主要用于解决在跨平台和跨语言的情况下, 模块之间的交互和调用，但其本质是为了解决数据传输问题。

子程序包括过程(proceudre)和函数(function)两类,两者区别在于，过程没有返回值，而函数有返回值。子程序，包括函数和过程，以及下一章所讲述的程序包，是构成 Ada 程序的基础。

本章里会介绍Ada里选择结构的if、case语句和循环结构的loop语句及其变种，并介绍顺序结构中以前没讲过的null和块语句(block statement)，最后是比较有争议的goto语句。

记录是由命名分量(named component)组成的复合类型，即具有不同属性的数据对象的集合，和C下的结构(structure)、Pascal下的记录(record)类似。

Ada 下的数组和其它语言很相似，只是多了一些“宽松”的规定，如无约束数组、动态数组，更加方便了用户。字符串类型 String，Wide_String 等则是数组元素为字符型的数组类型。

Ada在数据类型上提供的强大处理能力，我们不能很简单地认为数据类型仅是定义一个对象的类型。Ada中，数据类型可以自己创建，其相关运算符也可以自己定义，同时又有数据类型属性这项特性，具有相当大的灵活性。

Ada 语言最初设计是为了构建长周期的、高度可靠的软件系统。它提供了一系列功能来定义相关的数据类型(type)、对象(object)和操作(operation)的程序包(package)。

【CUDA 基础】理解线程束执行的本质(下)：本文学习CUDA线程束执行的本质的后半部分，包括资源，延迟，同步，扩展性等严重影响性能的线，吞吐量，带宽，占用率，CUDA同步。