Skip to content

Commit 6bbf0ce

Browse files
committed
---
yaml --- r: 15758 b: refs/heads/try c: f717100 h: refs/heads/master v: v3
1 parent 5b3e222 commit 6bbf0ce

File tree

2 files changed

+6
-4
lines changed

2 files changed

+6
-4
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,5 +2,5 @@
22
refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
44
refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
5-
refs/heads/try: 1db88e793756f691dd5b186b470117104a659883
5+
refs/heads/try: f717100fc7b2db7ba10cebbf168f38a856a9425b
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/rt/rust_kernel.cpp

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,10 +15,10 @@
1515
rust_kernel::rust_kernel(rust_env *env) :
1616
_region(env, true),
1717
_log(NULL),
18-
max_task_id(0),
19-
max_port_id(0),
18+
max_task_id(1),
19+
max_port_id(1),
2020
rval(0),
21-
max_sched_id(0),
21+
max_sched_id(1),
2222
sched_reaper(this),
2323
osmain_driver(NULL),
2424
non_weak_tasks(0),
@@ -116,6 +116,7 @@ rust_kernel::get_scheduler_by_id(rust_sched_id id) {
116116

117117
rust_scheduler *
118118
rust_kernel::get_scheduler_by_id_nolock(rust_sched_id id) {
119+
assert(id != 0 && "invalid scheduler id");
119120
sched_lock.must_have_lock();
120121
sched_map::iterator iter = sched_table.find(id);
121122
if (iter != sched_table.end()) {
@@ -250,6 +251,7 @@ rust_kernel::release_port_id(rust_port_id id) {
250251

251252
rust_port *
252253
rust_kernel::get_port_by_id(rust_port_id id) {
254+
assert(id != 0 && "invalid port id");
253255
scoped_lock with(port_lock);
254256
rust_port *port = NULL;
255257
// get leaves port unchanged if not found.

0 commit comments

Comments
 (0)