app.c

Tinyos下的简单通讯模型

FILE *__attribute((__cdecl__)) fdopen(int , const char *);
# 24 "/usr/include/string.h"
void *__attribute((__cdecl__)) memcpy(void *, const void *, size_t );

void *__attribute((__cdecl__)) memset(void *, int , size_t );


int __attribute((__cdecl__)) strcmp(const char *, const char *);



char *__attribute((__cdecl__)) strerror(int );


int __attribute((__cdecl__)) strncmp(const char *, const char *, size_t );
char *__attribute((__cdecl__)) strncpy(char *, const char *, size_t );






char *__attribute((__cdecl__)) strtok(char *, const char *);
# 24 "/usr/include/stdlib.h"
typedef struct __nesc_unnamed4248 {

  int quot;
  int rem;
} div_t;

typedef struct __nesc_unnamed4249 {

  long quot;
  long rem;
} ldiv_t;
#line 52
double __attribute((__cdecl__)) atof(const char *__nptr);



int __attribute((__cdecl__)) atoi(const char *__nptr);








void __attribute((__cdecl__)) __attribute((noreturn)) exit(int __status);
void __attribute((__cdecl__)) free(void *);
char *__attribute((__cdecl__)) getenv(const char *__string);





void *__attribute((__cdecl__)) malloc(size_t __size);
#line 91
int __attribute((__cdecl__)) rand(void );
# 17 "/usr/include/math.h"
union __dmath {

  __ULong i[2];
  double d;
};




union __dmath;
#line 72
typedef float float_t;
typedef double double_t;
#line 290
struct exception {


  int type;
  char *name;
  double arg1;
  double arg2;
  double retval;
  int err;
};
#line 345
enum __fdlibm_version {

  __fdlibm_ieee = -1, 
  __fdlibm_svid, 
  __fdlibm_xopen, 
  __fdlibm_posix
};




enum __fdlibm_version;
# 85 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/system/tos.h"
typedef unsigned char bool;
enum __nesc_unnamed4250 {
  FALSE = 0, 
  TRUE = 1
};

uint16_t TOS_LOCAL_ADDRESS = 1;

enum __nesc_unnamed4251 {
  FAIL = 0, 
  SUCCESS = 1
};
static inline 

uint8_t rcombine(uint8_t r1, uint8_t r2);
typedef uint8_t  result_t;
static inline 






result_t rcombine(result_t r1, result_t r2);
static inline 






result_t rcombine3(result_t r1, result_t r2, result_t r3);
static inline 



result_t rcombine4(result_t r1, result_t r2, result_t r3, 
result_t r4);





enum __nesc_unnamed4252 {
  NULL = 0x0
};
# 19 "/usr/include/sys/signal.h"
typedef unsigned long sigset_t;
# 109 "/usr/include/sys/signal.h" 3
typedef void (*_sig_func_ptr)(int );

struct sigaction {

  _sig_func_ptr sa_handler;
  sigset_t sa_mask;
  int sa_flags;
};
#line 155
int __attribute((__cdecl__)) sigaction(int , const struct sigaction *, struct sigaction *);




int __attribute((__cdecl__)) sigemptyset(sigset_t *);
# 9 "/usr/include/signal.h"
typedef int sig_atomic_t;





struct _reent;





_sig_func_ptr __attribute((__cdecl__)) signal(int , _sig_func_ptr );
# 62 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/nido.h"
enum __nesc_unnamed4253 {
  TOSNODES = 1000, 
  DEFAULT_EEPROM_SIZE = 512 * 1024
};
# 51 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/heap_array.h"
typedef struct __nesc_unnamed4254 {
  int size;
  void *data;
  int private_size;
} heap_t;
static inline 
void init_heap(heap_t *heap);
static inline 
int heap_is_empty(heap_t *heap);
static inline 
long long heap_get_min_key(heap_t *heap);
static 
void *heap_pop_min_data(heap_t *heap, long long *key);
static inline void heap_insert(heap_t *heap, void *data, long long key);
# 33 "/usr/include/time.h"
struct tm {

  int tm_sec;
  int tm_min;
  int tm_hour;
  int tm_mday;
  int tm_mon;
  int tm_year;
  int tm_wday;
  int tm_yday;
  int tm_isdst;
};








struct tm;
struct tm;





struct tm;
struct tm;
# 24 "/usr/include/sched.h"
struct sched_param {

  int sched_priority;
};
# 104 "/usr/include/pthread.h" 3
typedef void (*__cleanup_routine_type)(void *);
typedef struct _pthread_cleanup_handler {

  __cleanup_routine_type function;
  void *arg;
  struct _pthread_cleanup_handler *next;
} __pthread_cleanup_handler;










int pthread_cond_broadcast(pthread_cond_t *);

int pthread_cond_init(pthread_cond_t *, const pthread_condattr_t *);
int pthread_cond_signal(pthread_cond_t *);


int pthread_cond_wait(pthread_cond_t *, pthread_mutex_t *);





int pthread_create(pthread_t *, const pthread_attr_t *, 
void *(*)(void *), void *);
#line 147
int pthread_mutex_init(pthread_mutex_t *, const pthread_mutexattr_t *);
int pthread_mutex_lock(pthread_mutex_t *);


int pthread_mutex_unlock(pthread_mutex_t *);
# 63 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/event_queue.h"
struct TOS_state;

typedef struct event_queue {
  int pause;
  heap_t heap;
  pthread_mutex_t lock;
} event_queue_t;

typedef struct event {
  long long time;
  int mote;
  int pause;
  int force;

  void *data;

  void (*handle)(struct event *, struct TOS_state *);
  void (*cleanup)(struct event *);
} event_t;
static inline 

void queue_init(event_queue_t *queue, int fpause);
static void queue_insert_event(event_queue_t *queue, event_t *event);
static inline event_t *queue_pop_event(event_queue_t *queue);
static void queue_handle_next_event(event_queue_t *queue);
static int queue_is_empty(event_queue_t *queue);
static long long queue_peek_event_time(event_queue_t *queue);
# 62 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/adjacency_list.h"
enum __nesc_unnamed4255 {
  NUM_NODES_ALLOC = 200
};


typedef struct link {
  int mote;
  double data;
  char bit;
  struct link *next_link;
} link_t;


link_t *free_list;
int num_free_links;
static 
link_t *allocate_link(int mote);
static 
int adjacency_list_init(void);
# 62 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/rfm_model.h"
typedef struct __nesc_unnamed4256 {
  void (*init)(void);
  void (*transmit)(int , char );
  void (*stop_transmit)(int );
  char (*hears)(int );
  bool (*connected)(int , int );
  link_t *(*neighbors)(int );
} rfm_model;
static inline 

rfm_model *create_simple_model(void);
static inline 




rfm_model *create_lossy_model(char *file);
static 
void static_one_cell_init(void);
static inline 


void set_link_prob_value(uint16_t moteID1, uint16_t moteID2, double prob);



extern link_t *radio_connectivity[TOSNODES];
# 59 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/adc_model.h"
typedef struct __nesc_unnamed4257 {
  void (*init)(void);

  uint16_t (*read)(int , uint8_t , long long );
} adc_model;
static inline 
adc_model *create_random_adc_model(void);
static inline adc_model *create_generic_adc_model(void);
static inline void set_adc_value(int moteID, uint8_t port, uint16_t value);
# 58 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/spatial_model.h"
typedef struct __nesc_unnamed4258 {
  double xCoordinate;
  double yCoordinate;
  double zCoordinate;
} point3D;

typedef struct __nesc_unnamed4259 {
  void (*init)(void);
  void (*get_position)(int , long long , point3D *);
} 

spatial_model;
static inline 


spatial_model *create_simple_spatial_model(void);
static inline 
# 64 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/nido_eeprom.h"
int anonymousEEPROM(int numMotes, int eepromSize);
static inline int namedEEPROM(char *name, int numMotes, int eepromSize);
# 55 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/events.h"
typedef struct __nesc_unnamed4260 {
  int interval;
  int mote;
  int valid;
} clock_tick_data_t;

typedef struct __nesc_unnamed4261 {
  int valid;
  char port;
} adc_tick_data_t;

typedef struct __nesc_unnamed4262 {
  int interval;
  int mote;
  int valid;
} radio_tick_data_t;

typedef struct __nesc_unnamed4263 {
  int interval;
  int mote;
  int valid;
} channel_mon_data_t;

typedef struct __nesc_unnamed4264 {
  int interval;
  int mote;
  int valid;
  int count;
  int ending;
} spi_byte_data_t;

typedef struct __nesc_unnamed4265 {
  int interval;
  int mote;
  int valid;
} radio_timing_data_t;
static inline 




void event_default_cleanup(event_t *event);
static 
void event_total_cleanup(event_t *event);
static inline 
void event_clocktick_create(event_t *event, 
int mote, 
long long eventTime, 
int interval);
static inline 
void event_clocktick_handle(event_t *event, 
struct TOS_state *state);
static inline 
void event_clocktick_invalidate(event_t *event);
#line 127
void event_channel_mon_create(event_t *event, int mote, long long ftime, int interval);

void event_channel_mon_invalidate(event_t *event);

void event_spi_byte_handle(event_t *event, struct TOS_state *state);

void event_spi_byte_create(event_t *event, int mote, long long ftime, int interval, int count);

void event_spi_byte_invalidate(event_t *event);

void event_spi_byte_end(event_t *fevent);



void event_radio_timing_create(event_t *fevent, int mote, long long ftime, int interval);

void event_radio_timing_invalidate(event_t *fevent);
static inline 
void event_cleanup(event_t *fevent);
# 16 "/usr/include/sys/time.h"
struct timeval {
  long tv_sec;
  long tv_usec;
};

struct timezone {
  int tz_minuteswest;
  int tz_dsttime;
};
# 28 "/usr/include/sys/select.h"
int select(int __n, _types_fd_set *__readfds, _types_fd_set *__writefds, _types_fd_set *__exceptfds, struct timeval *__timeout);
# 36 "/usr/include/sys/time.h"
struct itimerval {
  struct timeval it_interval;
  struct timeval it_value;
};
# 73 "/usr/include/sys/time.h" 3
int __attribute((__cdecl__)) gettimeofday(struct timeval *__p, struct timezone *__z);
# 76 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/nido.h"
typedef struct TOS_node_state {
  long long time;
  int pot_setting;
} TOS_node_state_t;

typedef struct TOS_state {
  long long tos_time;
  int radio_kb_rate;
  short num_nodes;
  short current_node;
  TOS_node_state_t node_state[TOSNODES];
  event_queue_t queue;
  rfm_model *rfm;
  adc_model *adc;
  spatial_model *space;
  bool moteOn[TOSNODES];


  bool paused;
  pthread_mutex_t pause_lock;
  pthread_cond_t pause_cond;
  pthread_cond_t pause_ack_cond;
} TOS_state_t;






extern TOS_state_t tos_state;




static void __nesc_nido_initialise(int mote);
# 54 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/types/dbg_modes.h"
typedef long long TOS_dbg_mode;



enum __nesc_unnamed4266 {
  DBG_ALL = ~0ULL, 


  DBG_BOOT = 1ULL << 0, 
  DBG_CLOCK = 1ULL << 1, 
  DBG_TASK = 1ULL << 2, 
  DBG_SCHED = 1ULL << 3, 
  DBG_SENSOR = 1ULL << 4, 
  DBG_LED = 1ULL << 5, 
  DBG_CRYPTO = 1ULL << 6, 


  DBG_ROUTE = 1ULL << 7, 
  DBG_AM = 1ULL << 8, 
  DBG_CRC = 1ULL << 9, 
  DBG_PACKET = 1ULL << 10, 
  DBG_ENCODE = 1ULL << 11, 
  DBG_RADIO = 1ULL << 12, 


  DBG_LOG = 1ULL << 13, 
  DBG_ADC = 1ULL << 14, 
  DBG_I2C = 1ULL << 15, 
  DBG_UART = 1ULL << 16, 
  DBG_PROG = 1ULL << 17, 
  DBG_SOUNDER = 1ULL << 18, 
  DBG_TIME = 1ULL << 19, 




  DBG_SIM = 1ULL << 21, 
  DBG_QUEUE = 1ULL << 22, 
  DBG_SIMRADIO = 1ULL << 23, 
  DBG_HARD = 1ULL << 24, 
  DBG_MEM = 1ULL << 25, 



  DBG_USR1 = 1ULL << 27, 
  DBG_USR2 = 1ULL << 28, 
  DBG_USR3 = 1ULL << 29, 
  DBG_TEMP = 1ULL << 30, 

  DBG_ERROR = 1ULL << 31, 
  DBG_NONE = 0, 

  DBG_DEFAULT = DBG_ALL
};
# 113 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/nido.h"
static void dbg_clear(TOS_dbg_mode mode, const char *format, ...);
static inline 

void tos_state_model_init(void );
static inline 
# 48 "D:/tinyos-1.x/cygwin/opt/tinyos-1.x/tos/platform/pc/hardware.nido.h"
void init_hardware(void);
static 
short set_io_bit(char port, char bit);
static inline short clear_io_bit(char port, char bit);
static inline char inp_emulate(char port);
static inline char outp_emulate(char port, char bit);
#line 199
enum __nesc_unnamed4267 {
  TOSH_period16 = 0x00, 
  TOSH_period32 = 0x01, 
  TOSH_period64 = 0x02, 
  TOSH_period128 = 0x03, 
  TOSH_period256 = 0x04, 
  TOSH_period512 = 0x05, 
  TOSH_period1024 = 0x06, 
  TOSH_period2048 = 0x07
};
#line 230
static __inline void TOSH_CLR_RFM_TXD_PIN(void);
#line 230
static __inline void TOSH_MAKE_RFM_TXD_INPUT(void);
static __inline void TOSH_SET_RFM_CTL0_PIN(void);
#line 231
static __inline void TOSH_CLR_RFM_CTL0_PIN(void);
static __inline void TOSH_SET_RFM_CTL1_PIN(void);
# 18 "/usr/include/cygwin/socket.h"
struct sockaddr {
  unsigned short sa_family;
  char sa_data[14];
};
# 37 "/usr/include/cygwin/if.h"
struct ifreq {



  union __nesc_unnamed4268 {

    char ifrn_name[16];
  } ifr_ifrn;

  union __nesc_unnamed4269 {
    struct sockaddr ifru_addr;
    struct sockaddr ifru_broadaddr;
    struct sockaddr ifru_netmask;
    struct sockaddr ifru_hwaddr;
    short ifru_flags;
    int ifru_metric;
    int ifru_mtu;
  } ifr_ifru;
};
#line 74
struct ifconf {

  int ifc_len;
  union __nesc_unnamed4270 {

    caddr_t ifcu_buf;
    struct ifreq *ifcu_req;
  } ifc_ifcu;
};
# 28 "/usr/include/cygwin/socket.h"
struct linger {
  unsigned short l_onoff;
  unsigned short l_linger;
};

struct msghdr {

  void *msg_name;
  int msg_namelen;
  struct iovec *msg_iov;
  int msg_iovlen;
  void *msg_accrights;
  int msg_accrightslen;
};
# 29 "/usr/include/sys/socket.h"
int accept(int , struct sockaddr *__peer, int *);
int bind(int , const struct sockaddr *__my_addr, int __addrlen);



int listen(int , int __n);