Michael Bebenita
|
066c14009b
|
Added a .cpp file for rust_proxy to help avoid .h file dependencies in the future.
|
2010-09-07 18:41:08 -07:00 |
|
Michael Bebenita
|
9b74129a4f
|
Added a thread utility class to factor out operations on threads.
|
2010-09-07 18:41:07 -07:00 |
|
Michael Bebenita
|
f8ff013e3c
|
Added a few utility classes, cleaned up the include order of .h files, and started to make the Rust kernel own domain message queues rather than the Rust domains themselves.
|
2010-09-07 18:41:07 -07:00 |
|
Roy Frostig
|
cf62b54028
|
Add a little pointer-cast helper to dbg.
|
2010-09-06 23:24:01 -07:00 |
|
Roy Frostig
|
4e355aebf7
|
When vec growth results in a newly allocated (extended) buffer, copy existing elements over via element-wise copy, not flat memcpy. Introduce new vec growth glue to achieve this.
|
2010-09-03 16:18:32 -07:00 |
|
Graydon Hoare
|
b90e6b93c1
|
Whitespace churn.
|
2010-08-31 14:36:51 -07:00 |
|
Roy Frostig
|
47e86a05ae
|
Fix rust_vec constructor assertion failure caused by slow path of upcall_vec_grow. Add testcase.
|
2010-08-31 13:01:57 -07:00 |
|
Michael Bebenita
|
64ff82ecf9
|
Implemented an lock free queue based on this paper http://www.cs.rochester.edu/~scott/papers/1996_PODC_queues.pdf, the "lock free queue" we had before wasn't lock free at all.
|
2010-08-24 21:07:14 -07:00 |
|
Roy Frostig
|
7ccdb88374
|
Add support in dbg.debug_obj for printing the obj body.
|
2010-08-24 19:49:39 -07:00 |
|
Roy Frostig
|
d9e3fb2c5d
|
Add std.dbg module for inspecting rust values in memory.
|
2010-08-24 18:37:42 -07:00 |
|
Patrick Walton
|
fac28ad42f
|
Disable task-growing logic for now until #151 is fixed
|
2010-08-20 11:05:06 -07:00 |
|
Roy Frostig
|
4a7aa75b5d
|
Make _io.buf_reader read more than 0 bytes at a time.
|
2010-08-19 17:37:22 -07:00 |
|
Michael Bebenita
|
a4b8c74f9f
|
Added simple deadlock detection in the scheduler.
|
2010-08-17 23:49:57 -07:00 |
|
Michael Bebenita
|
2c1ec6771b
|
Lots of changes around memory managment in the Runtime. Added memory regions and fixed race caused by calling rust_srv::malloc() from multiple threads when sending messages.
|
2010-08-17 23:49:57 -07:00 |
|
Michael Bebenita
|
9fa2b53d8c
|
Add a "special" rust_log flag to be used for debugging in cases where the full log output prevents races from occurring.
|
2010-08-17 23:49:57 -07:00 |
|
Michael Bebenita
|
e20752de68
|
Added labels to blocking conditions.
|
2010-08-17 23:49:57 -07:00 |
|
Michael Bebenita
|
7ff39ea448
|
Fixed deadlock by removing channel flushing.
|
2010-08-17 23:49:57 -07:00 |
|
Michael Bebenita
|
6e9f0f952d
|
Made the lock_free_queue lock (temporarily, until fixed).
|
2010-08-17 23:49:57 -07:00 |
|
Michael Bebenita
|
5d98a311e4
|
Putting out the burning tree on Windows. Turns out you can completely starve threads by not yielding on windows/vmware, really weird.
|
2010-08-16 18:44:26 -07:00 |
|
Michael Bebenita
|
14f5b5750d
|
Un-xfailed working tests.
|
2010-08-16 15:05:57 -07:00 |
|
Michael Bebenita
|
b40a9fa787
|
Pulled rust_srv in its own file. Some cleanup, and added varargs to assertion macros.
|
2010-08-16 15:05:57 -07:00 |
|
Roy Frostig
|
73ee16b1a4
|
A little tidy-up that should have gone in with 4e376852e709844d67f94430d9dc954d5be722b4.
|
2010-08-12 19:20:29 -07:00 |
|
Roy Frostig
|
445d3fe39c
|
Add vec debugging utility to _vec module.
|
2010-08-12 13:11:49 -07:00 |
|
Michael Bebenita
|
988695a96c
|
Added support for task sleeping in the scheduler.
|
2010-08-11 21:24:04 -07:00 |
|
Roy Frostig
|
22719e45b8
|
Remove commented-out code that slipped in during last commit.
|
2010-08-11 16:10:44 -07:00 |
|
Michael Bebenita
|
74e12fcef6
|
Ignore upcall_flush for channels that are disassociated from ports. This makes task-comm-10 break a little less hard, but it still leaks because messages pending in the channel are never freed.
|
2010-08-11 16:08:45 -07:00 |
|
Michael Bebenita
|
d584de7a37
|
Made ref_count a word sized value.
|
2010-08-11 16:08:45 -07:00 |
|
Michael Bebenita
|
ff93e5e196
|
Print domain and task names in log prefix.
|
2010-08-11 16:08:45 -07:00 |
|
Roy Frostig
|
f307688bf4
|
Add native vec[u8] to str converter. Put in workaround for leak in str to vec[u8] converter. Add testcase exercising both. Drive-by fix a potential array-out-of-bounds write on rust_str buffers.
|
2010-08-11 16:06:45 -07:00 |
|
Graydon Hoare
|
dbe8760af3
|
Merge commit 'jyasskin/work'
Conflicts:
src/rt/rust_dom.cpp
src/rt/rust_upcall.cpp
|
2010-08-10 13:26:00 -07:00 |
|
Michael Bebenita
|
97d6342bf0
|
Synthesize a flush_chan upcall right before a channel's ref_count drops to zero. This should only happen in the Rust code and not in the drop glue, or on the unwind path. This change allows the task owning the channel to block on a flush and delete its own channel. This change also cleans up some code around rust_port and rust_chan.
|
2010-08-09 08:15:34 -07:00 |
|
Michael Bebenita
|
5917ca3519
|
Fixed deadlock in the scheduler caused by condition variables.
|
2010-08-09 08:06:08 -07:00 |
|
Michael Bebenita
|
4641fcef61
|
Added peek() to ptr_vec.
|
2010-08-09 08:01:40 -07:00 |
|
Michael Bebenita
|
f65c885c83
|
Made ref_count signed to help detect negative ref_count bugs.
|
2010-08-09 08:00:04 -07:00 |
|
Michael Bebenita
|
30734a9a7b
|
Some pretty printing in the runtime.
|
2010-08-09 07:52:07 -07:00 |
|
Michael Bebenita
|
9ff6a3d031
|
Added class to abstract away platform specific thread primitives.
|
2010-08-09 07:42:06 -07:00 |
|
Michael Bebenita
|
56cd4e458a
|
Made the runtime keep track of all live domains and print their state.
|
2010-08-09 07:34:11 -07:00 |
|
Michael Bebenita
|
c5744c8aef
|
Added the RUST_SEED env variable to seed the Rust task scheduler -- helpful when debugging task race conditions within a single thread domain.
|
2010-08-09 07:30:48 -07:00 |
|
Michael Bebenita
|
0e422c748b
|
Added "none" option to rust_log env string to disable all log output.
|
2010-08-09 07:07:00 -07:00 |
|
Michael Bebenita
|
d2c2fbe7ca
|
Added timed_wait to condition variables.
|
2010-08-09 07:04:38 -07:00 |
|
Michael Bebenita
|
76ba8f1d84
|
Changed array_list::replace() return behavior.
|
2010-08-09 06:59:46 -07:00 |
|
Jeffrey Yasskin
|
b71340552f
|
Add names to tasks and domains. These can either be an explicit literal string
after the "spawn" keyword, or implicitly the call expression used to start the
spawn.
|
2010-08-09 11:43:16 +02:00 |
|
Jeffrey Yasskin
|
3f6e8ffe64
|
Implement _str.len() to return the number of bytes, rename it to byte_len(),
and add a test.
|
2010-08-06 17:29:21 -07:00 |
|
Roy Frostig
|
1a8d609e89
|
Add a buffered writer to stdlib _io module.
|
2010-08-04 12:59:48 -07:00 |
|
Graydon Hoare
|
0b9c882d66
|
Log join-wait count under rust_log::TASK bits, not ::ALL.
|
2010-07-29 10:41:22 -07:00 |
|
Michael Bebenita
|
fa70212c86
|
Log dead tasks when dom is just waiting for refcounts to drop.
|
2010-07-28 20:30:29 -07:00 |
|
Michael Bebenita
|
a5b7a5202c
|
Note that we keep running the main loop until all task refcounts are zero.
|
2010-07-28 20:30:29 -07:00 |
|
Michael Bebenita
|
4246d567b7
|
Move ports out into their own file, add data_message and make communication system use it (and proxies) instead of existing token scheme.
|
2010-07-28 20:30:29 -07:00 |
|
Michael Bebenita
|
4ff8e15128
|
Move notification-messages out into their own file and unify into notify_message, make them use proxies, cache task proxies in dom.
|
2010-07-28 20:30:29 -07:00 |
|
Michael Bebenita
|
defd8a66ea
|
Rename rust_proxy_delegate to maybe_proxy, flesh out logic in it. Add strong-ref distinction on rust_proxy.
|
2010-07-28 20:30:29 -07:00 |
|