diff options
author | Neal H. Walfield <neal@gnu.org> | 2008-11-14 16:11:34 +0100 |
---|---|---|
committer | Neal H. Walfield <neal@gnu.org> | 2008-11-14 16:11:34 +0100 |
commit | 0fafa9acc16eebd2b08b31be286797a59c2b260a (patch) | |
tree | 2e51b06deec99b367ac2b7c3f7f8342fd34ca760 | |
parent | 4cb0b81ebd2cf2353bfcee32fcbd5bf40cf7aa8a (diff) |
Dump the current statistics whenever an activity is destroyed.
2008-11-14 Neal H. Walfield <neal@gnu.org>
* activity.c (activity_destroy): Dump the current statistics
whenever an activity is destroyed.
-rw-r--r-- | viengoos/ChangeLog | 5 | ||||
-rw-r--r-- | viengoos/activity.c | 18 |
2 files changed, 14 insertions, 9 deletions
diff --git a/viengoos/ChangeLog b/viengoos/ChangeLog index 55e0935..b315dd5 100644 --- a/viengoos/ChangeLog +++ b/viengoos/ChangeLog @@ -1,5 +1,10 @@ 2008-11-14 Neal H. Walfield <neal@gnu.org> + * activity.c (activity_destroy): Dump the current statistics + whenever an activity is destroyed. + +2008-11-14 Neal H. Walfield <neal@gnu.org> + * server.c (struct fault_info): New structure. (page_fault): New function. (server_loop): Implement page fault handling in terms of the new diff --git a/viengoos/activity.c b/viengoos/activity.c index 12a4320..6670670 100644 --- a/viengoos/activity.c +++ b/viengoos/activity.c @@ -81,23 +81,23 @@ activity_destroy (struct activity *activity, struct activity *victim) assert (object_type ((struct object *) activity) == cap_activity_control); assert (object_type ((struct object *) victim) == cap_activity_control); - /* We should never destroy the root activity. */ - if (! victim->parent) - { - assert (victim == root_activity); - profile_stats_dump (); - debug (0, "" + profile_stats_dump (); + debug (0, "" #ifdef NCHECK - "NCHECK " + "NCHECK " #endif #ifdef NDEBUG - "NDEBUG " + "NDEBUG " #endif #ifdef DEBUG_ELIDE - "DEBUG_ELIDE=%d", DEBUG_ELIDE + 0 + "DEBUG_ELIDE=%d", DEBUG_ELIDE + 0 #endif ); + /* We should never destroy the root activity. */ + if (! victim->parent) + { + assert (victim == root_activity); panic ("Request to destroy root activity"); } |