《表4 OSTaskCreate()参数性质描述》
提示：宽带有限、当前游客访问压缩模式
由于task是指向任务代码的指针，对于该规范这里抽象为指向代码段的指针，即若该指针是指向代码段的某个地址，则认为其是正确的.针对上述4个参数的自然语言规范，转化后的性质描述见表4.
| 图表编号 | XD00168929700 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2020.05.01 |
| 作者 | 郭建、丁继政、朱晓冉 |
| 绘制单位 | 华东师范大学软件工程学院、软硬件协同设计技术与应用教育部工程研究中心(华东师范大学)、软硬件协同设计技术与应用教育部工程研究中心(华东师范大学)、上海市高可信计算重点实验室(华东师范大学) |
| 更多格式 | 高清、无水印（增值服务） |
