summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-05-21 18:39:38 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-09-10 23:30:09 +0200
commit984d1271338847605008932b080bc7aca5161070 (patch)
tree870eb1b313ed8c1f781efd650ed705e775a98434
parent5f8f61928bc5f1428307d1335009c627144e0742 (diff)
ext2fs: annotate objects managed by libports
Install a specialized version of libpagers format_debug_info which prints more detailed information, like the nodes inode number for file pager objects. Also label both pager buckets. * ext2fs/pager-create.c (format_debug_info): New function. (create_disk_pager): Install our own format_debug_info function. Label both pager buckets.
-rw-r--r--ext2fs/pager.c38
1 files changed, 38 insertions, 0 deletions
diff --git a/ext2fs/pager.c b/ext2fs/pager.c
index 3e080f87..b737ba74 100644
--- a/ext2fs/pager.c
+++ b/ext2fs/pager.c
@@ -19,10 +19,12 @@
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
#include <unistd.h>
+#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <error.h>
#include <hurd/store.h>
+#include <inttypes.h>
#include "ext2fs.h"
/* XXX */
@@ -1196,6 +1198,38 @@ disk_cache_block_is_ref (block_t block)
return ref;
}
+/* Provide a human-readable description of the given pager object. */
+static error_t
+format_debug_info (const void *port, char *buffer, size_t size)
+{
+ const struct pager *pager = port;
+ const struct port_info *pi = port;
+
+ if (pager->upi->type == FILE_DATA)
+ {
+ struct references references;
+ refcounts_references (&pager->upi->node->refcounts, &references);
+ snprintf (buffer, size,
+ "bucket: %s, class: %s, "
+ "node{inode: %"PRIu64", hard: %u, weak: %u}",
+ pi->bucket->label,
+ pi->class->label,
+ pager->upi->node->cache_id,
+ references.hard,
+ references.weak);
+ }
+ else
+ snprintf (buffer, size,
+ "bucket: %s, class: %s, may_cache: %d",
+ pi->bucket->label,
+ pi->class->label,
+ /* XXX I have no idea what might be interesting to print
+ here, but it is straight forward to add stuff. */
+ pager->may_cache);
+
+ return 0;
+}
+
/* Create the disk pager, and the file pager. */
void
create_disk_pager (void)
@@ -1204,12 +1238,15 @@ create_disk_pager (void)
pthread_attr_t attr;
error_t err;
+ ports_label_class (_pager_class, "_pager_class", format_debug_info);
+
/* The disk pager. */
struct user_pager_info *upi = malloc (sizeof (struct user_pager_info));
if (!upi)
ext2_panic ("can't create disk pager: %s", strerror (errno));
upi->type = DISK;
disk_pager_bucket = ports_create_bucket ();
+ ports_label_bucket (disk_pager_bucket, "disk_pager_bucket");
get_hypermetadata ();
disk_cache_blocks = DISK_CACHE_BLOCKS;
disk_cache_size = disk_cache_blocks << log2_block_size;
@@ -1219,6 +1256,7 @@ create_disk_pager (void)
/* The file pager. */
file_pager_bucket = ports_create_bucket ();
+ ports_label_bucket (file_pager_bucket, "file_pager_bucket");
/* Start libpagers worker threads. */
err = pager_start_workers (file_pager_bucket, &file_pager_requests);