Mirror of the lttng-dev mailing list
 help / color / mirror / Atom feed
From: laijs@cn.fujitsu.com (Lai Jiangshan)
Subject: [ltt-dev] [PATCH 07/10 round10] add LFHT_MEMORY_RESERVED low level memory management
Date: Thu, 17 Nov 2011 10:15:02 +0800	[thread overview]
Message-ID: <4EC46E26.1080807@cn.fujitsu.com> (raw)
In-Reply-To: <1321426105-24303-8-git-send-email-laijs@cn.fujitsu.com>

Sent wrong patch, use this one.
(Emails were generated from my draft branch, but only this patch is different)


From: Lai Jiangshan <laijs@cn.fujitsu.com>

add LFHT_MEMORY_RESERVED low level memory management
    
Signed-off-by: Lai Jiangshan <laijs at cn.fujitsu.com>
---
diff --git a/rculfhash.c b/rculfhash.c
index 9e7150f..824e4e5 100644
--- a/rculfhash.c
+++ b/rculfhash.c
@@ -189,6 +189,7 @@
 #include <stdio.h>
 #include <stdint.h>
 #include <string.h>
+#include <sys/mman.h>
 
 #include "config.h"
 #include <urcu.h>
@@ -206,7 +207,7 @@
 #define dbg_printf(fmt, args...)
 #endif
 
-#if !defined(LFHT_MEMORY_ORDER) && !defined(LFHT_MEMORY_CHUNK)
+#if !defined(LFHT_MEMORY_ORDER) && !defined(LFHT_MEMORY_CHUNK) && !defined(LFHT_MEMORY_RESERVED)
 #define LFHT_MEMORY_ORDER
 #endif
 
@@ -296,6 +297,13 @@ struct rcu_table {
 	 * levels to improve cache locality for small index orders.
 	 */
 	struct cds_lfht_node *tbl[MAX_TABLE_ORDER];
+#elif defined(LFHT_MEMORY_RESERVED)
+	/*
+	 * Contains all the room of buckets without memory allocated.
+	 * All the per order-index-level bucket node tables will be allocated
+	 * inside it when used. It achieves extreme simple bucket indexing.
+	 */
+	struct cds_lfht_node *tbl;
 #endif
 };
 
@@ -874,6 +882,116 @@ struct cds_lfht_node *bucket_at(struct cds_lfht *ht, unsigned long index)
 	offset = index & (ht->min_alloc_size - 1);
 	return &ht->tbl[chunk][offset];
 }
+#elif defined(LFHT_MEMORY_RESERVED)
+static
+struct cds_lfht *_cds_lfht_alloc(unsigned long min_alloc_size,
+		unsigned long max_size)
+{
+	struct cds_lfht *ht;
+	unsigned long page_bucket_size = getpagesize() / sizeof(*ht->t.tbl);
+
+	if (max_size <= page_bucket_size) /* small table */
+		min_alloc_size = max_size;
+	else /* large table */
+		min_alloc_size = max(min_alloc_size, page_bucket_size);
+
+	ht = calloc(1, sizeof(struct cds_lfht));
+	assert(ht);
+
+	ht->min_alloc_size = min_alloc_size;
+	ht->min_alloc_order = get_count_order_ulong(min_alloc_size);
+	ht->max_size = max_size;
+
+	return ht;
+}
+
+/* reserve inaccessible memory space without allocation any memory */
+static void *memory_reserve(size_t length)
+{
+	void *ret = mmap(NULL, length, PROT_NONE,
+			MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
+
+	assert(ret != MAP_FAILED);
+	return ret;
+}
+
+static void memory_dereserve(void *ptr, size_t length)
+{
+	int ret = munmap(ptr, length);
+
+	assert(ret == 0);
+}
+
+static void memory_populate(void *ptr, size_t length)
+{
+	void *ret = mmap(ptr, length, PROT_READ | PROT_WRITE,
+			MAP_FIXED | MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
+
+	assert(ret == ptr);
+}
+
+/*
+ * Discard garbage memory and avoid system save it when try to swap it out.
+ * Make it still reserved, inaccessible.
+ */
+static void memory_discard(void *ptr, size_t length)
+{
+	void *ret = mmap(ptr, length, PROT_NONE,
+			MAP_FIXED | MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
+
+	assert(ret == ptr);
+}
+
+static
+void cds_lfht_alloc_bucket_table(struct cds_lfht *ht, unsigned long order)
+{
+	if (order == 0) {
+		if (ht->min_alloc_size == ht->max_size) { /* small table */
+			ht->t.tbl = calloc(ht->max_size, sizeof(*ht->t.tbl));
+			assert(ht->t.tbl);
+			return;
+		}
+		/* large table */
+		ht->t.tbl = memory_reserve(ht->max_size * sizeof(*ht->t.tbl));
+		memory_populate(ht->t.tbl, ht->min_alloc_size * sizeof(*ht->t.tbl));
+	} else if (order > ht->min_alloc_order) { /* large table */
+		unsigned long len = 1UL << (order - 1);
+
+		assert(ht->min_alloc_size < ht->max_size);
+		memory_populate(ht->t.tbl + len, len * sizeof(*ht->t.tbl));
+	}
+	/* Nothing to do for 0 < order && order <= ht->min_alloc_order */
+}
+
+/*
+ * cds_lfht_free_bucket_table() should be called with decreasing order.
+ * When cds_lfht_free_bucket_table(0) is called, it means the whole
+ * lfht is destroyed.
+ */
+static
+void cds_lfht_free_bucket_table(struct cds_lfht *ht, unsigned long order)
+{
+	if (order == 0) {
+		if (ht->min_alloc_size == ht->max_size) { /* small table */
+			poison_free(ht->t.tbl);
+			return;
+		}
+		/* large table */
+		memory_dereserve(ht->t.tbl, ht->max_size * sizeof(*ht->t.tbl));
+	} else if (order > ht->min_alloc_order) { /* large table */
+		unsigned long len = 1UL << (order - 1);
+
+		assert(ht->min_alloc_size < ht->max_size);
+		memory_discard(ht->t.tbl + len, len * sizeof(*ht->t.tbl));
+	}
+	/* Nothing to do for 0 < order && order <= ht->min_alloc_order */
+}
+
+static inline
+struct cds_lfht_node *bucket_at(struct cds_lfht *ht, unsigned long index)
+{
+	return &ht->t.tbl[index];
+}
 #else
 /* LFHT_MEMORY_ORDER */
 static




  reply	other threads:[~2011-11-17  2:15 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-16  6:48 [ltt-dev] [PATCH 00/10 round10] rculfhash memory managements Lai Jiangshan
2011-11-16  6:48 ` [ltt-dev] [PATCH 01/10 round10] introduce bucket_at() and improve readability Lai Jiangshan
2011-11-22  9:58   ` Mathieu Desnoyers
2011-11-23  6:33     ` Lai Jiangshan
2011-11-23  6:50       ` Mathieu Desnoyers
2011-11-16  6:48 ` [ltt-dev] [PATCH 02/10 round10] proper wrapper for bucket table alloc and free Lai Jiangshan
2011-11-22 10:01   ` Mathieu Desnoyers
2011-11-23  6:36     ` Lai Jiangshan
2011-11-23  6:49       ` Mathieu Desnoyers
2011-11-16  6:48 ` [ltt-dev] [PATCH 03/10 round10] ht->t.size is no required larger than ht->min_table_size now Lai Jiangshan
2011-11-22 10:06   ` Mathieu Desnoyers
2011-11-23  7:05     ` Lai Jiangshan
2011-11-23  7:17       ` Mathieu Desnoyers
2011-11-16  6:48 ` [ltt-dev] [PATCH 04/10 round10] remove struct rcu_level Lai Jiangshan
2011-11-22 10:08   ` Mathieu Desnoyers
2011-11-16  6:48 ` [ltt-dev] [PATCH 05/10 round10] add max_size arguemnt Lai Jiangshan
2011-11-22 10:11   ` Mathieu Desnoyers
2011-11-23  7:13     ` Lai Jiangshan
2011-11-23  7:15       ` Mathieu Desnoyers
2011-11-16  6:48 ` [ltt-dev] [PATCH 06/10 round10] add LFHT_MEMORY_CHUNK low level memory management Lai Jiangshan
2011-11-22 10:20   ` Mathieu Desnoyers
2011-11-23  6:05     ` Mathieu Desnoyers
2011-11-23  8:11     ` Lai Jiangshan
2011-11-23  9:21       ` Mathieu Desnoyers
2011-11-16  6:48 ` [ltt-dev] [PATCH 07/10 round10] add LFHT_MEMORY_RESERVED " Lai Jiangshan
2011-11-17  2:15   ` Lai Jiangshan [this message]
2011-11-22 10:25   ` Mathieu Desnoyers
2011-11-16  6:48 ` [ltt-dev] [PATCH 08/10 round10] comments for " Lai Jiangshan
2011-11-16  6:48 ` [ltt-dev] [PATCH 09/10 round10] fix comments of cds_lfht_new() Lai Jiangshan
2011-11-23  5:46   ` Mathieu Desnoyers
2011-11-16  6:48 ` [ltt-dev] [PATCH 10/10 round10] add my name Lai Jiangshan
2011-11-23  5:48   ` Mathieu Desnoyers

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4EC46E26.1080807@cn.fujitsu.com \
    --to=laijs@cn.fujitsu.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox