about summary refs log tree commit diff
path: root/src/rt/rust_port.cpp
blob: 30d38369abf85150f684c0672fa834dea1e6d753 (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
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
#include "rust_internal.h"
#include "rust_port.h"


rust_port::rust_port(rust_task *task, size_t unit_sz)
    : ref_count(1), kernel(task->kernel), task(task),
      unit_sz(unit_sz), buffer(kernel, unit_sz) {

    LOG(task, comm,
        "new rust_port(task=0x%" PRIxPTR ", unit_sz=%d) -> port=0x%"
        PRIxPTR, (uintptr_t)task, unit_sz, (uintptr_t)this);

    task->ref();
    id = task->register_port(this);
}

rust_port::~rust_port() {
    LOG(task, comm, "~rust_port 0x%" PRIxPTR, (uintptr_t) this);

    task->deref();
}

void rust_port::detach() {
    I(task->sched, !task->lock.lock_held_by_current_thread());
    scoped_lock with(task->lock);
    {
        task->release_port(id);
    }
}

void rust_port::send(void *sptr) {
    I(task->sched, !lock.lock_held_by_current_thread());
    scoped_lock with(lock);

    buffer.enqueue(sptr);

    A(kernel, !buffer.is_empty(),
      "rust_chan::transmit with nothing to send.");

    if (task->blocked_on(this)) {
        KLOG(kernel, comm, "dequeued in rendezvous_ptr");
        buffer.dequeue(task->rendezvous_ptr);
        task->rendezvous_ptr = 0;
        task->wakeup(this);
    }
}

bool rust_port::receive(void *dptr) {
    I(task->sched, lock.lock_held_by_current_thread());
    if (buffer.is_empty() == false) {
        buffer.dequeue(dptr);
        LOG(task, comm, "<=== read data ===");
        return true;
    }
    return false;
}

size_t rust_port::size() {
    I(task->sched, !lock.lock_held_by_current_thread());
    scoped_lock with(lock);
    return buffer.size();
}

void rust_port::log_state() {
    LOG(task, comm,
        "port size: %d",
        buffer.size());
}

//
// 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 $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
// End:
//