forked from almidi/tinyos3
-
Notifications
You must be signed in to change notification settings - Fork 0
/
tinyos.h
847 lines (631 loc) · 24.6 KB
/
tinyos.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
#ifndef __TINYOS_H__
#define __TINYOS_H__
#include <stdint.h>
#include "bios.h"
#include "util.h"
/**
@file tinyos.h
@brief Public kernel API
@defgroup syscalls System calls.
@ingroup kernel
@brief Public kernel API
This file contains the system calls offered by TinyOS to the
applications. These calls are split into three groups:
(a) process control (b) concurrency control and (c) I/O
@{
*/
/*******************************************
* Processes types and constants.
*******************************************/
/**
@brief The type of a process ID.
*/
typedef int Pid_t; /* The PID type */
/**
@brief An integer type for time intervals.
The unit is milliseconds.
*/
typedef unsigned long timeout_t;
/** @brief The invalid PID */
#define NOPROC (-1)
/** @brief The maximum number of processes */
#define MAX_PROC 65536
/** @brief The type of a file ID. */
typedef int Fid_t;
/** @brief The maximum number of open files per process.
Only values 0 to MAX_FILEID-1 are legal for file descriptors. */
#define MAX_FILEID 16
/** @brief The invalid file id. */
#define NOFILE (-1)
/**
@brief The type of a thread ID.
*/
typedef uintptr_t Tid_t;
/** @brief The invalid thread ID */
#define NOTHREAD ((Tid_t)0)
/*******************************************
* Concurrency control
*******************************************/
/** @brief A mutex is used to provide mutual exclusion.
Mutexes are used extensively to surround critical sections. The TinyOS
mutexes are suitable for use in user-space, as well as in the implementation
of the kernel.
@see Mutex_Lock
@see Mutex_Unlock
@see MUTEX_INIT
*/
typedef char Mutex;
/**
@brief This macro is used to initialize mutexes.
Always initialize a mutex as follows:
@code
Mutex my_mutex = MUTEX_INIT;
@endcode
*/
#define MUTEX_INIT 0
/** @brief Lock a mutex.
Lock a mutex, by waiting if necessary, as long as it takes. In user-space and
in kernel-space (preemptive domain), the locking will yield after spinning for a few hundred times.
In scheduler space (non-preemptive domain), the mutex lock operation is pure spinlock.
@see Mutex
@see Mutex_Unlock
@see set_core_preemption
*/
void Mutex_Lock(Mutex*);
/** @brief Unlock a mutex that you locked.
This operation is non-blocking.
@see Mutex
@see Mutex_Lock
*/
void Mutex_Unlock(Mutex*);
/** @brief Condition variables.
A condition variable is used for longer synchronization. This implementation
can be used both in the pre-emptive and in the non-preemptive domain.
@see Cond_Wait
@see Cond_Signal
@see Cond_Broadcast
@see COND_INIT
*/
typedef struct {
void *waitset; /**< The set of waiting threads */
Mutex waitset_lock; /**< A mutex to protect `waitset` */
} CondVar;
/** @brief This macro is used to initialize condition variables.
It is used as follows:
@code
CondVar my_cv = COND_INIT;
@endcode
*/
#define COND_INIT ((CondVar){ NULL, MUTEX_INIT })
/** @brief Wait on a condition variable.
This must be called only while we have locked the mutex that is
associated with this call. It will put the calling thread to sleep,
unlocking the mutex. These operations happen atomically.
When the thread is woken up later, it
first re-locks the mutex and then returns.
A thread may wake up if,
- another thread called @c Cond_Signal or @c Cond_Broadcast
- other reasons, not specified
@param mx The mutex to be unlocked as the thread sleeps.
@param cv The condition variable to sleep on.
@returns 1 if this thread was woken up by signal/broadcast, 0 otherwise
@see Cond_Signal
@see Cond_Broadcast
*/
int Cond_Wait(Mutex* mx, CondVar* cv);
/** @brief Wait on a condition variable.
This must be called only while we have locked the mutex that is
associated with this call. It will put the calling thread to sleep,
unlocking the mutex. These operations happen atomically.
When the thread is woken up later, it
first re-locks the mutex and then returns.
A thread may wake up if,
- another thread called @c Cond_Signal or @c Cond_Broadcast
- the timeout expired
- other reasons, not specified
@param mx The mutex to be unlocked as the thread sleeps.
@param cv The condition variable to sleep on.
@param timeout The time in milliseconds to wait blocked on the condition.
@returns 1 if this thread was woken up by signal/broadcast, 0 otherwise
@see Cond_Signal
@see Cond_Broadcast
*/
int Cond_TimedWait(Mutex* mx, CondVar* cv, timeout_t timeout);
/** @brief Signal a condition variable.
This call wakes up exactly one thread sleeping on this condition
variable (if any). Note that the woken thread does not preempt the
calling thread; i.e., this is a Mesa-style implementation.
@see Cond_Wait
@see Cond_Broadcast
*/
void Cond_Signal(CondVar*);
/** @brief Notify all threads waiting at a condition variable.
Broadcast wakes up all threads sleeping on this condition variable.
The calling thread is not preempted by the awoken threads.
@see Cond_Wait
@see Cond_Signal
*/
void Cond_Broadcast(CondVar*);
/*******************************************
*
* Process creation
*
*******************************************/
/** @brief The signature for the main function of a process.
New processes are created by calling a starting function, whose signature is Task.
@see Exec
*/
typedef int (*Task)(int, void*);
/** @brief Create a new process.
This call creates a new process by calling function @c task,
passing it a byte array. The byte array is described by a pair
of (int length,void* position), and is a _copy_ of the
byte array defined by the (argl, args) pair of arguments to Exec.
- The new process inherits all file ids of the current process.
- The new process is a child of the current process.
- The new process is started with a thread executing @c task. When
this thread returns, with an integer value, the process terminates,
yielding this exit status.
@param task the main function of the new process
@param argl the length of byte array @c args
@param args the byte array copied as argument to `task`
@return On success, the pid of the new process is returned.
On error, NOPROC is returned.
Possible errors:
- The maximum number of processes has been reached.
*/
Pid_t Exec(Task task, int argl, void* args);
/** @brief Exit the current process.
When this function is called by a process thread, the process terminates
and sets its exit code to @c val.
@note Alternatively, the process may terminate by returning (with an integer
return value) from its main function, in which case the return value of the
main function becomes the exit status.
@param val the exit status of the process
@see Exec
*/
void Exit(int val);
/** @brief Wait on a terminating child.
This function will return the exit status of a terminated
child process, waiting if necessary for a child process to end.
When parameter
@c pid holds the value of a specific child process of this process,
@c WaitChild will wait for this specific process to finish. If
parameter @c pid is equal to @c NOPROC, then @c WaitChild will wait for
*any* child process to exit.
If parameter @c exitval is a not null, the exit code of the child
process will be stored in the variable pointed to by status.
@param pid the process ID of the child to wait on, or @c NOPROC to
designate waiting for any child.
@param exitval a location whithin which the exit status of the terminates
@return On success, @c WaitChild returns the pid of an exited child.
On error, WaitChild returns @c NOPROC. Possible errors are:
- the specified pid is not a valid pid.
- the specified process is not a child of this process.
- the process has no child processes to wait on (when pid=NOPROC).
*/
Pid_t WaitChild(Pid_t pid, int* exitval);
/** @brief Return the PID of the caller.
This function returns the pid of the current process
*/
Pid_t GetPid(void);
/** @brief Return the PID of the caller's parent.
This function returns the pid of the parent of the current process.
*/
Pid_t GetPPid(void);
/*******************************************
*
* Threads
*
*******************************************/
/**
@brief Create a new thread in the current process.
The new thread is executed in the same process as
the calling thread. If this thread returns from function
task, the return value is used as an argument to
`ThreadExit`.
The new thread is created by executing function `task`,
with the arguments of `argl` and `args` passed to it.
Note that, unlike `Exec`, where argl and args must define
a byte buffer, here there is no such requirement!
The two arguments are passed to the new thread verbatim,
and can be unrelated. It is the responsibility of the
programmer to define their meaning.
@param task a function to execute
*/
Tid_t CreateThread(Task task, int argl, void* args);
/**
@brief Return the Tid of the current thread.
*/
Tid_t ThreadSelf();
/**
@brief Join the given thread.
This function will wait for the thread with the given
tid to exit, and return its exit status in `*exitval`.
The tid must refer to a legal thread owned by the same
process that owns the caller. Also, the thread must
be undetached, or an error is returned.
After a call to join succeeds, subsequent calls will fail
(unless tid was re-cycled to a new thread).
It is possible that multiple threads try to join the
same thread. If these threads block, then all must return the
exit status correctly.
@param tid the thread to join
@param exitval a location where to store the exit value of the joined
thread. If NULL, the exit status is not returned.
@returns 0 on success and -1 on error. Possible errors are:
- there is no thread with the given tid in this process.
- the tid corresponds to the current thread.
- the tid corresponds to a detached thread.
*/
int ThreadJoin(Tid_t tid, int* exitval);
/**
@brief Detach the given thread.
This function makes the thread tid a detached thread.
A detached thread is not joinable (ThreadJoin returns an
error).
Once a thread has exited, it cannot be detached. A thread
can detach itself.
@param tid the tid of the thread to detach
@returns 0 on success, and -1 on error. Possibe errors are:
- there is no thread with the given tid in this process.
- the tid corresponds to an exited thread.
*/
int ThreadDetach(Tid_t tid);
/**
@brief Terminate the current thread.
*/
void ThreadExit(int exitval);
/*******************************************
*
* Low-level I/O
*
*******************************************/
/** @brief Return the number of terminal devices available.
Terminals are numbered starting from 0.
*/
unsigned int GetTerminalDevices();
/** @brief Open a stream on terminal device 'termno'.
@param termno the terminal number to open
@return the file ID of the new descriptor
On success, OpenTerminal returns the file id for a new file for this
terminal. On error, it returns @c NOFILE. Possible errors are:
- The terminal device does not exist.
- The maximum number of file descriptors has been reached.
*/
Fid_t OpenTerminal(unsigned int termno);
/** @brief Open a stream on the null device.
The null device is a virtual device representing an "infinite"
sequence of 0 bytes. Every read on this device returns the
requested number of 0s. Also, every write to this device has
no effecf.
@return On success, OpenNull returns the file id for a new file for this
terminal. On error, it returns NOFILE. Possible errors are:
- The maximum number of file descriptors has been reached.
*/
Fid_t OpenNull();
/**
@brief Read bytes from a stream.
The @c buf and @c size arguments are, respectively, a buffer into which
input data can be placed and the size of that buffer.
As its function result, the @c Read function should return the number
of bytes copied into @c buf, or @c -1 on error. The call may return fewer
bytes than @c size, but at least 1. A value of 0 indicates "end of file".
@param fd the file ID of the stream to read from
@param buf pointer to a byte buffer to receive the read data
@param size maximum size of @c buf
@return the number of bytes copied, 0 if we have reached EOF, or -1, indicating some error.
Possible errors are:
- The file descriptor is invalid.
- There was a I/O runtime problem.
*/
int Read(Fid_t fd, char *buf, unsigned int size);
/** @brief Write bytes to a stream.
The @c buf and @c size arguments are, respectively, a buffer into which
input data can be placed and the size of that buffer.
As its function result, the @c Read function should return the number
of bytes copied into @c buf, or @c -1 on error. The call may return fewer
bytes than @c size, but at least 1.
For terminals, the number of bytes copied should be equal to size.
@param fd the file ID of the stream to read from
@param buf pointer to a byte buffer to receive the read data
@param size maximum size of @c buf
@return As its function result, the @c Write function should return the
number of bytes copied from @c buf, or -1 on error.
Possible errors are:
- The file id is invalid.
- There was a I/O runtime problem.
*/
int Write(Fid_t fd, const char* buf, unsigned int size);
/** @brief Close a file id.
@param fd the file ID to close
@return This call returns 0 on success and -1 on failure.
Note that it is not an error to call Close on a (valid)
file id which is already closed.
Possible reasons for failure:
- The file id is invalid.
- There was a I/O runtime problem.
*/
int Close(Fid_t fd);
/** @brief Make a copy of a stream to a new file ID.
If @c newfd is already in use by another file, it is first
closed (unless @c oldfd==newfd, in which case nothing happens).
After the successful call, both oldfd and newfd refer to
the same file object.
@param oldfd the file id to copy from
@param newfd the new file id.
@return This call returns 0 on success and -1 on failure.
Possible reasons for failure:
- Either oldfd or newfd is invalid.
- oldfd is not an open file.
*/
int Dup2(Fid_t oldfd, Fid_t newfd);
/*******************************************
*
* Pipes
*
*******************************************/
/**
@brief A pair of file ids, describing a pipe.
This structure is initialized by the @c Pipe() system call
with two file descriptors, for the read and write ends of
the pipe respectively.
Writing bytes to the write end using @c Write() will make them
available at the read end, unsing @c Read().
*/
typedef struct pipe_s {
Fid_t read; /**< The read end of the pipe */
Fid_t write; /**< The write end of the pipe */
} pipe_t;
/**
@brief Construct and return a pipe.
A pipe is a one-directional buffer accessed via two file ids,
one for each end of the buffer. The size of the buffer is
implementation-specific, but can be assumed to be between 4 and 16
kbytes.
Once a pipe is constructed, it remains operational as long as both
ends are open. If the read end is closed, the write end becomes
unusable: calls on @c Write to it return error. On the other hand,
if the write end is closed, the read end continues to operate until
the buffer is empty, at which point calls to @c Read return 0.
@param pipe a pointer to a pipe_t structure for storing the file ids.
@returns 0 on success, or -1 on error. Possible reasons for error:
- the available file ids for the process are exhausted.
*/
int Pipe(pipe_t* pipe);
/*******************************************
*
* Sockets (local)
*
*******************************************/
/**
@brief A type for socket ports.
A socket port is an integer between 1 and @c MAX_PORT.
*/
typedef int16_t port_t;
/**
@brief the maximum legal port
*/
#define MAX_PORT 1023
/**
@brief a null value for a port
*/
#define NOPORT ((port_t)0)
typedef enum {
UNBOUND,
LISTENER,
PEER
} socket_type;
typedef struct listen_socket {
//the queue that stores the requests for p2p connection
rlnode requestQueue;
// condition var to check if the queue is empty
CondVar cv_request;
} listener_socket;
typedef struct pr_socket {
// pointer to peer socket to connected to
SCB* socket_pointer;
//pipe that sends data
PIPECB* pipe_receiver;
//pipe that receives data
PIPECB* pipe_sender;
} peer_socket;
typedef struct socket_control_block {
// exit someone who observes the socket
int ref_count ;
FCB* fcb;
Fid_t fid;
//the port to listen at
uint port;
//3 types of sockets(enum)
socket_type sock_type;
union {
peer_socket ps;
listener_socket ls;
};
} SCB;
//Table with the ports
SCB* PORT_MAP[MAX_PORT+1];
//Function that initializes the port table to NULL
static void initialize_port_map(SCB* port_map[]){
for(i=0; i<= MAX_PORT+1; i++){
port_map[i] = NULL;
}
}
typedef struct request_queue{
SCB* scb;
CondVar cv;
//(0,1): 1 if connection was successfull
int request_flag;
//the queue that stores the requests
rlnode req_queue;
} queue_reuest;
/**
@brief Return a new socket bound on a port.
This function returns a file descriptor for a new
socket object. If the @c port argument is NOPORT, then the
socket will not be bound to a port. Else, the socket
will be bound to the specified port.
@param port the port the new socket will be bound to
@returns a file id for the new socket, or NOFILE on error. Possible
reasons for error:
- the port is iilegal
- the available file ids for the process are exhausted
*/
Fid_t Socket(port_t port);
/**
@brief Initialize a socket as a listening socket.
A listening socket is one which can be passed as an argument to
@c Accept. Once a socket becomes a listening socket, it is not
possible to call any other functions on it except @c Accept, @Close
and @c Dup2().
The socket must be bound to a port, as a result of calling @c Socket.
On each port there must be a unique listening socket (although any number
of non-listening sockets are allowed).
@param sock the socket to initialize as a listening socket
@returns 0 on success, -1 on error. Possible reasons for error:
- the file id is not legal
- the socket is not bound to a port
- the port bound to the socket is occupied by another listener
- the socket has already been initialized
@see Socket
*/
int Listen(Fid_t sock);
/**
@brief Wait for a connection.
With a listening socket as its sole argument, this call will block waiting
for a single @c Connect() request on the socket's port.
one which can be passed as an argument to @c Accept.
It is possible (and desirable) to re-use the listening socket in multiple successive
calls to Accept. This is a typical pattern: a thread blocks at Accept in a tight
loop, where each iteration creates new a connection,
and then some thread takes over the connection for communication with the client.
@param sock the socket to initialize as a listening socket
@returns a new socket file id on success, @c NOFILE on error. Possible reasons
for error:
- the file id is not legal
- the file id is not initialized by @c Listen()
- the available file ids for the process are exhausted
- while waiting, the listening socket @c lsock was closed
@see Connect
@see Listen
*/
Fid_t Accept(Fid_t lsock);
/**
@brief Create a connection to a listener at a specific port.
Given a socket @c sock and @c port, this call will attempt to establish
a connection to a listening socket on that port. If sucessful, the
@c sock stream is connected to the new stream created by the listener.
The two connected sockets communicate by virtue of two pipes of opposite directions,
but with one file descriptor servicing both pipes at each end.
The connect call will block for approximately the specified amount of time.
The resolution of this timeout is implementation specific, but should be
in the order of 100's of msec. Therefore, a timeout of at least 500 msec is
reasonable. If a negative timeout is given, it means, "infinite timeout".
@params sock the socket to connect to the other end
@params port the port on which to seek a listening socket
@params timeout the approximate amount of time to wait for a
connection.
@returns 0 on success and -1 on error. Possible reasons for error:
- the file id @c sock is not legal (i.e., an unconnected, non-listening socket)
- the given port is illegal.
- the port does not have a listening socket bound to it by @c Listen.
- the timeout has expired without a successful connection.
*/
int Connect(Fid_t sock, port_t port, timeout_t timeout);
/**
@brief Socket shutdown modes.
These constants define the legal values for passing the second argument to
the @c ShutDown call.
@see ShutDown
*/
typedef enum {
SHUTDOWN_READ=1, /**< Shut down the read direction. */
SHUTDOWN_WRITE=2, /**< Shut down the write direction. */
SHUTDOWN_BOTH=3 /**< Shut down both directions. */
} shutdown_mode;
/**
@brief Shut down one direction of socket communication.
With a socket which is connected to another socket, this call will
shut down one or the other direction of communication. The shut down
of a direction has implications similar to those of a pipe's end shutdown.
More specifically, assume that this end is socket A, connected to socket
B at the other end. Then,
- if `ShutDown(A, SHUTDOWN_READ)` is called, any attempt to call `Write(B,...)`
will fail with a code of -1.
- if ShutDown(A, SHUTDOWN_WRITE)` is called, any attempt to call `Read(B,...)`
will first exhaust the buffered data and then will return 0.
- if ShutDown(A, SHUTDOWN_BOTH)` is called, it is equivalent to shutting down
both read and write.
After shutdown of socket A, the corresponding operation `Read(A,...)` or `Write(A,...)`
will return -1.
Shutting down multiple times is not an error.
@param sock the file ID of the socket to shut down.
@param how the type of shutdown requested
@returns 0 on success and -1 on error. Possible reasons for error:
- the file id @c sock is not legal (a connected socket stream).
*/
int ShutDown(Fid_t sock, shutdown_mode how);
/*******************************************
*
* System information
*
*******************************************/
/**
@brief The max. size of args returned by a procinfo structure.
*/
#define PROCINFO_MAX_ARGS_SIZE (128)
/**
@brief A struct containing process-related information for a non-free
pid.
This structure is returned by information streams.
@see OpenInfo
*/
typedef struct procinfo
{
Pid_t pid; /**< @brief The pid of the process. */
Pid_t ppid; /**< @brief The parent pid of the process.
This is equal to NOPROC for parentless procs. */
int alive; /**< @brief Non-zero if process is alive, zero if process is zombie. */
unsigned long thread_count; /**< Current no of threads. */
Task main_task; /**< @brief The main task of the process. */
int argl; /**< @brief Argument length of main task.
Note that this is the
real argument length, not just the length of the @c args field, which is
limited at @c PROCINFO_MAX_ARGS_SIZE. */
char args[PROCINFO_MAX_ARGS_SIZE]; /**< @brief The first
@c PROCINFO_MAX_ARGS_SIZE bytes of the argument of the main task.
If the task's argument is longer (as designated by the @c argl field), the
bytes contained in this field are just the prefix. */
} procinfo;
/**
@brief Open a kernel information stream.
This is a read-only stream that returns a sequence of
@c procinfo structures,
each packed into a block of size @c sizeof(procinfo).
Each procinfo structure contains information pertaining to some
used PCB (active or zombie) during the time of the stream.
There is no guarantee of the timeliness of the information.
A best-effort approach to return relevant system information is
made.
@returns a file id on success, or NOFILE on error. Possible reasons
for error are:
- the available file ids for the process are exhausted.
*/
Fid_t OpenInfo();
/*******************************************
*
* System boot
*
*******************************************/
/** @brief Boot tinyos3.
The function must initialize the simulated computer with the given number of
cpu cores and terminals, initialize tinyos and then execute
the initial process using function boot_task with parameters argl and args.
The boot_task execution can then create more processes.
When the boot_task process finishes, this call halts and cleans up TinyOS structures
and then returns.
*/
void boot(unsigned int ncores, unsigned int terminals, Task boot_task, int argl, void* args);
/** @} */
#endif