Question

因此，在TinyOS中，界面由命令和事件组成。当模块使用接口时，它会调用其命令并提供其事件的实现（提供事件处理程序）。

命令的返回类型的含义是明确的，它与任何编程语言中的任何函数/方法的含义相同，但是，事件的返回类型对我来说不明确。

我们举一个例子：

interface Counter{
    command int64_t getCounter(int64_t destinationId);
    event int64_t counterSent(int64_t destinationId);
}

让我们定义提供 Counter接口的模块。

module Provider{
    provides interface Counter;
}

implementation {
    int64_t counter;
    counter = 75; //Random number

    /** 
    Returns the value of the counter and signals an event that
    someone with id equal to destinationId asked for the counter. 
    **/

    command int64_t getCounter(int64_t destinationId){
        int64_t signalReturnedValue;
        signalReturnedValue = signal counterSent(destinationId);
        return counter;
    }
}

现在让我们定义两个使用此接口的模块。

module EvenIDChecker{
    uses interface Counter;
}
implementation{
    /**
    Returns 1 if the destinationId is even, 0 otherwise
    **/

    event int64_t counterSent(int64_t destinationId){
        if(destinationId % 2 == 0){
            return 1;
        } else {
            return 0;
        }
    }
}

现在让我们定义另一个使用相同接口的模块，但执行EvenIDChecker模块的反转。

module OddIDChecker{
    uses interface Counter;
}
implementation{
    /**
    Returns 1 if the destinationId is odd, 0 otherwise
    **/

    event int64_t counterSent(int64_t destinationId){
        if(destinationId % 2 == 1){
            return 1;
        } else {
            return 0;
        }
    }
}

最后，var signalReturnedValue 的最终值是什么？

Answer 1

未指定该值，或者此代码甚至无法编译。

在TinyOS中，有组合功能的概念，它们具有签名type f(type, type)，其目的是合理地组合相同类型的两个值。对于error_t，已经定义了这样的函数：

error_t ecombine(error_t e1, error_t e2) {
  return (e1 == e2) ? e1 : FAIL;
}

在您的代码段中会自动调用组合函数。

如果要在此示例中定义组合函数，则需要键入dede事件的返回类型。有关详细信息，请参阅4.4.3 Combine Functions。

请注意，命令的情况是对称的。您可以将接口的两个实现连接到单个uses声明，如下所示：

configuration ExampleC {
  ExampleP.Counter -> Counter1;
  ExampleP.Counter -> Counter2;
}

假设Counter有一个返回内容的命令，只要ExampleP调用该命令，就会执行两个实现并组合两个返回值。

TinyOS事件返回类型含义

1 个答案: