英语语法分析

The schedulability of messages is investigated and schedulable condition is given.

分析了信息的可调度性，给出了信息可调度性的判断条件。

The schedulability of the algorithm is analyzed and the schedulable condition is given.

分析了算法的可调度性，给出任务的可调度性条件。

This requires that the tasklet_enable function be invoked to make the tasklet schedulable.

这时需要调用函数tasklet_enable来实现微线程可被调度。