linux-mm.kvack.org archive mirror
 help / color / mirror / Atom feed
From: Paul Davies <pauld@gelato.unsw.edu.au>
To: linux-mm@kvack.org
Cc: Paul Davies <pauld@gelato.unsw.edu.au>
Subject: [PATCH 11/12] Alternate page table implementation cont...
Date: Sat, 13 Jan 2007 13:49:38 +1100	[thread overview]
Message-ID: <20070113024938.29682.59700.sendpatchset@weill.orchestra.cse.unsw.EDU.AU> (raw)
In-Reply-To: <20070113024540.29682.27024.sendpatchset@weill.orchestra.cse.unsw.EDU.AU>

PATCH GPT 11
 * Continue adding GPT implementation

Signed-Off-By: Paul Davies <pauld@gelato.unsw.edu.au>

---

 pt-gpt-core.c |  205 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 205 insertions(+)
Index: linux-2.6.20-rc1/mm/pt-gpt-core.c
===================================================================
--- linux-2.6.20-rc1.orig/mm/pt-gpt-core.c	2007-01-03 16:07:14.297584000 +1100
+++ linux-2.6.20-rc1/mm/pt-gpt-core.c	2007-01-03 16:11:35.005312000 +1100
@@ -819,3 +819,208 @@
 	}
 }
 
+static inline void
+gpt_iterator_inspect_pop(gpt_iterator_t* iterator_u)
+{
+	BUG_ON(iterator_u->depth <= 0);
+	iterator_u->node_p = iterator_u->stack[--(iterator_u->depth)];
+	iterator_u->finished = 1;
+}
+
+static inline gpt_node_t*
+gpt_iterator_parent(gpt_iterator_t iterator)
+{
+	return iterator.stack[iterator.depth - 1];
+}
+
+static inline void
+gpt_iterator_return(gpt_iterator_t iterator,
+                    gpt_key_t* key_r, gpt_node_t** node_p_r)
+{
+	if(key_r) {
+		*key_r = iterator.key;
+	}
+	if(node_p_r) {
+		*node_p_r = iterator.node_p;
+	}
+}
+
+static int
+gpt_iterator_internal(gpt_iterator_t* iterator_u, gpt_key_t* key_r,
+                      gpt_node_t** node_p_r)
+{
+	int found = 0;
+	int8_t replication;
+
+	/* Process node once children have been processed. */
+	if(iterator_u->finished) {
+		if(iterator_u->flags & GPT_ITERATE_INTERNALS) {
+			gpt_iterator_return(*iterator_u, key_r, node_p_r);
+			found = 1;
+		}
+		gpt_iterator_inspect_next(iterator_u, 0);
+		return found;
+	}
+	/* If guard is in range process child nodes if guard. */
+	switch(gpt_iterator_check_bounds(iterator_u, &replication)) {
+	case GPT_ITERATOR_INRANGE:
+		gpt_iterator_inspect_push_range(iterator_u);
+		break;
+	case GPT_ITERATOR_START:
+		if(replication != 0) {
+			panic("Internal nodes should not be replicated!");
+		}
+		gpt_iterator_inspect_next(iterator_u, 0);
+		break;
+	case GPT_ITERATOR_LIMIT:
+		iterator_u->node_p = NULL;
+		break;
+	default:
+		panic("Should never get here!");
+	}
+	return 0;
+}
+
+static int
+gpt_iterator_leaf(gpt_iterator_t* iterator_u, gpt_key_t* key_r,
+                  gpt_node_t** node_p_r)
+{
+	int found = 0;
+	int8_t replication;
+
+	switch(gpt_iterator_check_bounds(iterator_u, &replication)) {
+	case GPT_ITERATOR_INRANGE:
+		if(iterator_u->flags & GPT_ITERATE_LEAVES) {
+			gpt_iterator_return(*iterator_u, key_r, node_p_r);
+			found = 1;
+		}
+		/* Fall through to update current. */
+	case GPT_ITERATOR_START:
+		gpt_iterator_inspect_next(iterator_u, replication);
+		break;
+	case GPT_ITERATOR_LIMIT:
+		iterator_u->node_p = NULL;
+		break;
+	default:
+		panic("Should never get here!");
+	}
+	return found;
+}
+
+static inline int
+gpt_iterator_invalid(gpt_iterator_t* iterator_u, gpt_key_t* key_r,
+                     gpt_node_t** node_p_r)
+{
+	int found = 0;
+
+	if(iterator_u->flags & GPT_ITERATE_INVALIDS) {
+		gpt_iterator_return(*iterator_u, key_r, node_p_r);
+		found = 1;
+	}
+	gpt_iterator_inspect_next(iterator_u, 0);
+	return found;
+}
+
+static inline int
+gpt_node_delete_single(gpt_thunk_t delete_thunk, gpt_node_t delete_node)
+{
+	int8_t coverage;
+	gpt_key_t guard, key = delete_thunk.key;
+
+	guard = gpt_node_read_guard(delete_node);
+	coverage = gpt_node_leaf_read_coverage(delete_node);
+	/* Check the key matches the guard and coverage of the leaf node. */
+	gptKeysCompareStripPrefix(&key, &guard);
+	if(!gpt_key_compare_null(guard)) {
+		return GPT_NOT_FOUND;
+	}
+	gpt_node_set(delete_thunk.node_p, gpt_node_invalid_init());
+	return coverage;
+}
+/* awiggins (2006-07-18): Review the use of gpt_node_delete_single, redundent?*/
+static int
+gpt_node_delete_replicate(gpt_thunk_t delete_thunk, gpt_node_t delete_node)
+{
+	int i;
+	int8_t level_order, key_length, delete_coverage;
+	gpt_key_t guard, key = delete_thunk.key;
+	gpt_node_t* level;
+	gpt_key_value_t key_value;
+
+	level = gpt_node_internal_read_ptr(delete_node);
+	level_order = gpt_node_internal_read_order(delete_node);
+	gpt_node_read_guard(delete_node);
+	gptKeysCompareStripPrefix(&guard, &key);
+	key_value = gpt_key_read_value(key);
+	key_length = gpt_key_read_length(key);
+	key_length = level_order - key_length;
+	key_value <<= key_length;
+	delete_thunk.key = gpt_key_null();
+	for(i = key_value; i < key_value + (1 << key_length); i++) {
+		delete_thunk.node_p = level + i;
+		delete_node = gpt_node_get(delete_thunk.node_p);
+		delete_coverage =
+				gpt_node_delete_single(delete_thunk, delete_node);
+	}
+	return delete_coverage;
+}
+
+static int
+gpt_node_internal_delete(gpt_thunk_t delete_thunk, gpt_node_t delete_node)
+{
+	if(!gpt_node_internal_elongation(delete_node)) {
+		return gpt_node_delete_replicate(delete_thunk, delete_node);
+	}
+	panic("Fix me! Currently don't handle elongations");
+}
+
+static inline void
+gpt_node_insert_single(gpt_node_t new_node, gpt_thunk_t insert_thunk)
+{
+	new_node = gpt_node_init_guard(new_node, insert_thunk.key);
+	gpt_node_set(insert_thunk.node_p, new_node);
+}
+
+static int
+gpt_node_insert_replicate(gpt_node_t new_node, gpt_thunk_t insert_thunk,
+                          gpt_node_t insert_node)
+{
+	int i;
+	int8_t key_length, guard_length, level_order, log2replication;
+	gpt_key_t guard, key_temp, key = insert_thunk.key;
+	gpt_node_t* level;
+	gpt_key_value_t key_value;
+	unsigned long long interval;
+
+	level = gpt_node_internal_read_ptr(insert_node);
+	level_order = gpt_node_internal_read_order(insert_node);
+	guard = gpt_node_read_guard(insert_node);
+	guard_length = gpt_key_read_length(guard);
+	gptKeyCutMSB(guard_length, &key, &key_temp);
+	key_value = gpt_key_read_value(key);
+	key_length = gpt_key_read_length(key);
+	/* The split of key and guard should match. */
+	//assert(gptKeysCompareEqual(guard, key_temp));
+	/* Insert the new replicated node. */
+	key_temp = gpt_key_null();
+	log2replication = level_order - key_length;
+	interval = 1ULL << log2replication;
+	level = level + (interval * key_value);
+	insert_thunk.key = key_temp;
+	for(i = 0; i < interval; i++) {
+		insert_thunk.node_p = level + i;
+		/* Check for overlap. */
+		insert_node = gpt_node_get(insert_thunk.node_p);
+		if(gpt_node_type(insert_node) != GPT_NODE_TYPE_INVALID) {
+			/* Clean up the entries that we set. */
+				for(i--; i >= 0; i--) {
+					gpt_node_set(level + i,
+								 gpt_node_invalid_init());
+				}
+				return GPT_OVERLAP;
+		} else {
+			gpt_node_insert_single(new_node, insert_thunk);
+		}
+	}
+	return GPT_OK;
+}

--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org.  For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>

  parent reply	other threads:[~2007-01-13  2:49 UTC|newest]

Thread overview: 60+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-01-13  2:45 [PATCH 0/29] Page Table Interface Explanation Paul Davies
2007-01-13  2:45 ` [PATCH 1/29] Abstract current page table implementation Paul Davies
2007-01-13  2:45 ` [PATCH 2/29] " Paul Davies
2007-01-13  2:45 ` [PATCH 3/29] " Paul Davies
2007-01-16 18:55   ` Christoph Lameter
2007-01-13  2:46 ` [PATCH 4/29] Introduce Page Table Interface (PTI) Paul Davies
2007-01-16 19:02   ` Christoph Lameter
2007-01-13  2:46 ` [PATCH 5/29] Start calling simple PTI functions Paul Davies
2007-01-16 19:04   ` Christoph Lameter
2007-01-18  6:43     ` Paul Cameron Davies
2007-01-13  2:46 ` [PATCH 6/29] Tweak IA64 arch dependent files to work with PTI Paul Davies
2007-01-16 19:05   ` Christoph Lameter
2007-01-13  2:46 ` [PATCH 7/29] Continue calling simple PTI functions Paul Davies
2007-01-16 19:08   ` Christoph Lameter
2007-01-13  2:46 ` [PATCH 8/29] Clean up page fault handers Paul Davies
2007-01-13  2:46 ` [PATCH 9/29] Clean up page fault handlers Paul Davies
2007-01-13  2:46 ` [PATCH 10/29] Call simple PTI functions Paul Davies
2007-01-13  2:46 ` [PATCH 11/29] Call simple PTI functions cont Paul Davies
2007-01-13  2:46 ` [PATCH 12/29] Abstract page table tear down Paul Davies
2007-01-13  2:46 ` [PATCH 13/29] Finish abstracting " Paul Davies
2007-01-13  2:46 ` [PATCH 14/29] Abstract copy page range iterator Paul Davies
2007-01-13  2:46 ` [PATCH 15/29] Finish abstracting copy page range Paul Davies
2007-01-13  2:47 ` [PATCH 16/29] Abstract unmap page range iterator Paul Davies
2007-01-13  2:47 ` [PATCH 17/29] Finish abstracting unmap page range Paul Davies
2007-01-13  2:47 ` [PATCH 18/29] Abstract zeromap " Paul Davies
2007-01-13  2:47 ` [PATCH 19/29] Abstract remap pfn range Paul Davies
2007-01-13  2:47 ` [PATCH 20/29] Abstract change protection iterator Paul Davies
2007-01-13  2:47 ` [PATCH 21/29] Abstract unmap vm area Paul Davies
2007-01-13  2:47 ` [PATCH 22/29] Abstract map " Paul Davies
2007-01-13  2:47 ` [PATCH 23/29] Abstract unuse_vma Paul Davies
2007-01-13  2:47 ` [PATCH 24/29] Abstract smaps iterator Paul Davies
2007-01-13  2:47 ` [PATCH 25/29] Abstact mempolicy iterator Paul Davies
2007-01-13  2:47 ` [PATCH 26/29] Abstract mempolicy iterator cont Paul Davies
2007-01-13  2:48 ` [PATCH 27/29] Abstract implementation dependent code for mremap Paul Davies
2007-01-13  2:48 ` [PATCH 28/29] Abstract ioremap iterator Paul Davies
2007-01-13  2:48 ` [PATCH 29/29] Tweak i386 arch dependent files to work with PTI Paul Davies
2007-01-13  2:48 ` [PATCH 1/5] Introduce IA64 page table interface Paul Davies
2007-01-13  2:48 ` [PATCH 2/5] Abstract pgtable Paul Davies
2007-01-13  2:48 ` [PATCH 3/5] Abstact pgtable continued Paul Davies
2007-01-13  2:48 ` [PATCH 4/5] Abstract assembler lookup Paul Davies
2007-01-13  2:48 ` [PATCH 5/5] Abstract pgalloc Paul Davies
2007-01-13  2:48 ` [PATCH 1/12] Alternate page table implementation (GPT) Paul Davies
2007-01-13  2:48 ` [PATCH 2/12] Alternate page table implementation cont Paul Davies
2007-01-13  2:48 ` [PATCH 3/12] " Paul Davies
2007-01-13  2:49 ` [PATCH 4/12] " Paul Davies
2007-01-13  2:49 ` [PATCH 5/12] " Paul Davies
2007-01-13  2:49 ` [PATCH 6/12] " Paul Davies
2007-01-13  2:49 ` [PATCH 7/12] " Paul Davies
2007-01-13  2:49 ` [PATCH 8/12] " Paul Davies
2007-01-13  2:49 ` [PATCH 9/12] " Paul Davies
2007-01-13  2:49 ` [PATCH 10/12] " Paul Davies
2007-01-13  2:49 ` Paul Davies [this message]
2007-01-13  2:49 ` [PATCH 12/12] " Paul Davies
2007-01-13 19:29 ` [PATCH 0/29] Page Table Interface Explanation Peter Zijlstra
2007-01-14 10:06   ` Paul Cameron Davies
2007-01-16 18:49 ` Christoph Lameter
2007-01-18  6:22   ` Paul Cameron Davies
2007-01-16 18:51 ` Christoph Lameter
2007-01-18  6:53   ` Paul Cameron Davies
2007-01-16 19:14 ` Christoph Lameter

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=20070113024938.29682.59700.sendpatchset@weill.orchestra.cse.unsw.EDU.AU \
    --to=pauld@gelato.unsw.edu.au \
    --cc=linux-mm@kvack.org \
    /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