--- /dev/null
+/*
+ * Copyright (c) 2007, Vanderbilt University
+ * All rights reserved.
+ *
+ * Permission to use, copy, modify, and distribute this software and its
+ * documentation for any purpose, without fee, and without written agreement is
+ * hereby granted, provided that the above copyright notice, the following
+ * two paragraphs and the author appear in all copies of this software.
+ *
+ * IN NO EVENT SHALL THE VANDERBILT UNIVERSITY BE LIABLE TO ANY PARTY FOR
+ * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
+ * OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE VANDERBILT
+ * UNIVERSITY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ *
+ * THE VANDERBILT UNIVERSITY SPECIFICALLY DISCLAIMS ANY WARRANTIES,
+ * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
+ * AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
+ * ON AN "AS IS" BASIS, AND THE VANDERBILT UNIVERSITY HAS NO OBLIGATION TO
+ * PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
+ *
+ * Author: Miklos Maroti
+ */
+
+#include <Tasklet.h>
+#include <Neighborhood.h>
+
+module UniqueLayerP
+{
+ provides
+ {
+ interface Send;
+ interface RadioReceive;
+
+ interface Init;
+ }
+
+ uses
+ {
+ interface Send as SubSend;
+ interface RadioReceive as SubReceive;
+
+ interface UniqueConfig;
+ interface Neighborhood;
+ interface NeighborhoodFlag;
+ }
+}
+
+implementation
+{
+ uint8_t sequenceNumber;
+
+ command error_t Init.init()
+ {
+ sequenceNumber = TOS_NODE_ID << 4;
+ return SUCCESS;
+ }
+
+ command error_t Send.send(message_t* msg, uint8_t len)
+ {
+ call UniqueConfig.setSequenceNumber(msg, ++sequenceNumber);
+ return call SubSend.send(msg, len);
+ }
+
+ command error_t Send.cancel(message_t* msg)
+ {
+ return call SubSend.cancel(msg);
+ }
+
+ event void SubSend.sendDone(message_t* msg, error_t error)
+ {
+ signal Send.sendDone(msg, error);
+ }
+
+ command uint8_t Send.maxPayloadLength()
+ {
+ return call SubSend.maxPayloadLength();
+ }
+
+ command void* Send.getPayload(message_t* msg, uint8_t len)
+ {
+ return call SubSend.getPayload(msg, len);
+ }
+
+ tasklet_async event bool SubReceive.header(message_t* msg)
+ {
+ // we could scan here, but better be lazy
+ return signal RadioReceive.header(msg);
+ }
+
+ tasklet_norace uint8_t receivedNumbers[NEIGHBORHOOD_SIZE];
+
+ tasklet_async event message_t* SubReceive.receive(message_t* msg)
+ {
+ uint8_t index = call Neighborhood.insertNode(call UniqueConfig.getSender(msg));
+ uint8_t dsn = call UniqueConfig.getSequenceNumber(msg);
+
+ if( call NeighborhoodFlag.get(index) )
+ {
+ uint8_t diff = dsn - receivedNumbers[index];
+
+ if( diff == 0 )
+ {
+ call UniqueConfig.reportChannelError();
+ return msg;
+ }
+ }
+ else
+ call NeighborhoodFlag.set(index);
+
+ receivedNumbers[index] = dsn;
+
+ return signal RadioReceive.receive(msg);
+ }
+
+ tasklet_async event void Neighborhood.evicted(uint8_t index) { }
+}