OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

rt: Add locking invariants to rust_port

Browse Source
This commit is contained in:
Brian Anderson 2011-11-13 16:38:34 -08:00
parent 58e923de6e
commit f619d5e9e2
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/rt/rust_port.cpp
View File

@ -22,8 +22,7 @@ rust_port::~rust_port() {
}
void rust_port::send(void *sptr) {
// FIXME: Is this lock really necessary? Why do we send with the lock
// but not receive with the lock?
I(task->sched, !lock.lock_held_by_current_thread());
scoped_lock with(lock);
buffer.enqueue(sptr);
@ -40,6 +39,7 @@ void rust_port::send(void *sptr) {
}
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 ===");
@ -49,6 +49,7 @@ bool rust_port::receive(void *dptr) {
}
size_t rust_port::size() {
I(task->sched, !lock.lock_held_by_current_thread());
scoped_lock with(lock);
return buffer.size();
}