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>
next prev 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