blob: 7a58f839c44f0e01bf0b2ba62f4d5b429dbbf706 (
plain) (
blame)
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
|
#ifndef RUST_PORT_H
#define RUST_PORT_H
class rust_port : public maybe_proxy<rust_port>,
public task_owned<rust_port> {
public:
rust_task *task;
size_t unit_sz;
ptr_vec<rust_token> writers;
ptr_vec<rust_chan> chans;
// Data sent to this port from remote tasks is buffered in this channel.
rust_chan *remote_channel;
rust_port(rust_task *task, size_t unit_sz);
~rust_port();
void log_state();
bool receive(void *dptr);
};
//
// Local Variables:
// mode: C++
// fill-column: 78;
// indent-tabs-mode: nil
// c-basic-offset: 4
// buffer-file-coding-system: utf-8-unix
// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
// End:
//
#endif /* RUST_PORT_H */
|