blob: 8dbf0c403293256dab5f1aa77ac85e313ed1c2d5 (
plain)
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
|
#ifndef RUST_PORT_SELECTOR_H
#define RUST_PORT_SELECTOR_H
#include "rust_globals.h"
class rust_port;
class rust_port_selector : public rust_cond {
private:
rust_port **ports;
size_t n_ports;
lock_and_signal rendezvous_lock;
public:
rust_port_selector();
void select(rust_task *task,
rust_port **dptr,
rust_port **ports,
size_t n_ports,
uintptr_t *yield);
void msg_sent_on(rust_port *port);
};
#endif /* RUST_PORT_SELECTOR_H */
|