Skip to content
项目
群组
代码片段
帮助
当前项目
正在载入...
登录 / 注册
切换导航面板
X
xv6-public
项目
项目
详情
活动
周期分析
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
统计图
问题
0
问题
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
CI / CD
CI / CD
流水线
作业
日程
统计图
Wiki
Wiki
代码片段
代码片段
成员
成员
折叠边栏
关闭边栏
活动
图像
聊天
创建新问题
作业
提交
问题看板
Open sidebar
银宸时代
OS Lab Group
奖励实验
xv6-public
提交
dbf9bbef
提交
dbf9bbef
4月 03, 2012
创建
作者:
Silas Boyd-Wickizer
浏览文件
操作
浏览文件
下载
差异文件
Merge branch 'scale-amd64' of
git+ssh://amsterdam.csail.mit.edu/home/am0/6.828/xv6
into scale-amd64
上级
271a4248
53de149d
隐藏空白字符变更
内嵌
并排
正在显示
4 个修改的文件
包含
114 行增加
和
5 行删除
+114
-5
markptr.hh
include/markptr.hh
+6
-0
radix.hh
include/radix.hh
+34
-0
radix.cc
kernel/radix.cc
+72
-3
vm.cc
kernel/vm.cc
+2
-2
没有找到文件。
include/markptr.hh
浏览文件 @
dbf9bbef
...
...
@@ -25,10 +25,16 @@ class markptr {
markptr_ptr
<
T
>&
ptr
()
{
return
*
(
markptr_ptr
<
T
>*
)
this
;
}
const
markptr_ptr
<
T
>&
ptr
()
const
{
return
*
(
const
markptr_ptr
<
T
>*
)
this
;
}
markptr_mark
<
T
>&
mark
()
{
return
*
(
markptr_mark
<
T
>*
)
this
;
}
const
markptr_mark
<
T
>&
mark
()
const
{
return
*
(
const
markptr_mark
<
T
>*
)
this
;
}
// Convenience operator to avoid having to write out xx.ptr()->...
T
*
operator
->
()
{
return
ptr
();
}
...
...
include/radix.hh
浏览文件 @
dbf9bbef
...
...
@@ -78,6 +78,39 @@ struct radix_iterator {
return
r_
!=
other
.
r_
||
k_
!=
other
.
k_
;
}
};
struct
radix_iterator2
{
const
radix
*
r_
;
u64
k_
;
// path_[i] is the node at level i. Note that the leaf is at zero
// and is radix_elem. The rest are radix_node. For now we assume all
// leaves are at level 0. Later we'll steal a bit for them. The root
// is path_[radix_levels].
void
*
path_
[
radix_levels
+
1
];
radix_iterator2
(
const
radix
*
r
,
u64
k
);
radix_iterator2
&
operator
++
()
{
if
(
!
advance
(
radix_levels
-
1
))
k_
=
~
0ULL
;
return
*
this
;
}
radix_elem
*
operator
*
()
{
return
(
radix_elem
*
)
path_
[
0
];
}
radix_node
*
node
(
u32
level
)
{
return
(
radix_node
*
)
path_
[
level
];
}
// Compare equality on just the key.
bool
operator
==
(
const
radix_iterator2
&
other
)
{
return
r_
==
other
.
r_
&&
k_
==
other
.
k_
;
}
bool
operator
!=
(
const
radix_iterator2
&
other
)
{
return
r_
!=
other
.
r_
||
k_
!=
other
.
k_
;
}
private
:
bool
find_first_leaf
(
u32
level
);
bool
advance
(
u32
level
);
};
#define radix_iterator radix_iterator2
static
inline
radix_iterator
begin
(
const
radix
&
r
)
{
return
radix_iterator
(
&
r
,
0
);
}
...
...
@@ -91,3 +124,4 @@ begin(const radix_range &rr) { return radix_iterator(rr.r_, rr.start_); }
static
inline
radix_iterator
end
(
const
radix_range
&
rr
)
{
return
radix_iterator
(
rr
.
r_
,
rr
.
start_
+
rr
.
size_
);
}
#undef radix_iterator
kernel/radix.cc
浏览文件 @
dbf9bbef
#include "crange_arch.hh"
#include "radix.hh"
enum
{
crange_debug
=
0
};
#define dprintf(...) do { if (crange_debug) cprintf(__VA_ARGS__); } while(0)
// Returns the index needed to reach |level| from |level+1|.
static
u32
index
(
u64
key
,
u32
level
)
{
u64
idx
=
key
>>
(
bits_per_level
*
level
);
idx
&=
(
1
<<
bits_per_level
)
-
1
;
return
idx
;
}
// Returns the level we stopped at.
template
<
class
CB
>
u32
...
...
@@ -25,9 +38,7 @@ descend(u64 key, markptr<void> *n, u32 level, CB cb, bool create)
radix_node
*
rn
=
(
radix_node
*
)
v
;
u64
idx
=
key
>>
(
bits_per_level
*
level
);
idx
&=
(
1
<<
bits_per_level
)
-
1
;
markptr
<
void
>
*
vptr
=
&
rn
->
ptr
[
idx
];
markptr
<
void
>
*
vptr
=
&
rn
->
ptr
[
index
(
key
,
level
)];
if
(
level
==
0
)
{
cb
(
vptr
);
return
level
;
...
...
@@ -43,6 +54,7 @@ radix::search(u64 key)
descend
(
key
>>
shift_
,
&
root_
,
radix_levels
-
1
,
[
&
result
](
markptr
<
void
>
*
v
)
{
result
=
(
radix_elem
*
)
v
->
ptr
().
load
();
},
false
);
dprintf
(
"%p: search(%lu) -> %p
\n
"
,
this
,
key
>>
shift_
,
result
);
return
result
;
}
...
...
@@ -104,6 +116,7 @@ radix_range::replace(u64 start, u64 size, radix_elem *val)
{
start
=
start
>>
r_
->
shift_
;
size
=
size
>>
r_
->
shift_
;
dprintf
(
"%p: replace: [%lu, %lu) with %p
\n
"
,
r_
,
start
,
start
+
size
,
val
);
assert
(
start
>=
start_
);
assert
(
start
+
size
<=
start_
+
size_
);
...
...
@@ -132,3 +145,59 @@ radix_iterator::operator*()
},
false
);
return
result
;
}
radix_iterator2
::
radix_iterator2
(
const
radix
*
r
,
u64
k
)
:
r_
(
r
),
k_
(
k
)
{
dprintf
(
"%p: Made iterator with k = %lu
\n
"
,
r_
,
k_
);
if
(
k_
!=
~
0ULL
)
{
path_
[
radix_levels
]
=
r_
->
root_
.
ptr
().
load
();
if
(
!
find_first_leaf
(
radix_levels
-
1
))
k_
=
~
0ULL
;
}
dprintf
(
"%p: Adjusted: k = %lu
\n
"
,
r_
,
k_
);
}
bool
radix_iterator2
::
advance
(
u32
level
)
{
// First, see if we can advance a lower level.
if
(
level
>
0
&&
advance
(
level
-
1
))
{
// Nothing more to do.
return
true
;
}
// Try to advance this level, if we can.
u32
start_idx
=
index
(
k_
,
level
)
+
1
;
if
(
start_idx
<
(
1
<<
bits_per_level
))
{
// Find the first leaf starting at our sibling node.
k_
&=
~
((
1ULL
<<
((
level
+
1
)
*
bits_per_level
))
-
1
);
k_
|=
(
u64
(
start_idx
)
<<
(
level
*
bits_per_level
));
return
find_first_leaf
(
level
);
}
else
{
return
false
;
}
}
bool
radix_iterator2
::
find_first_leaf
(
u32
level
)
{
// Find the first non-empty node after k_ on this level.
for
(
u32
idx
=
index
(
k_
,
level
);
idx
<
(
1
<<
bits_per_level
);
idx
++
)
{
void
*
next
=
node
(
level
+
1
)
->
ptr
[
idx
].
ptr
().
load
();
if
(
next
!=
nullptr
)
{
if
(
index
(
k_
,
level
)
!=
idx
)
{
// We had to advance; clear everything this level and under
// and set this one.
k_
&=
~
((
1ULL
<<
((
level
+
1
)
*
bits_per_level
))
-
1
);
k_
|=
(
u64
(
idx
)
<<
(
level
*
bits_per_level
));
}
path_
[
level
]
=
next
;
if
(
level
==
0
||
find_first_leaf
(
level
-
1
))
return
true
;
}
}
// Failed to find a leaf. Abort.
return
false
;
}
kernel/vm.cc
浏览文件 @
dbf9bbef
...
...
@@ -685,12 +685,12 @@ vmap::sbrk(ssize_t n, uptr *addr)
auto
curbrk
=
brk_
;
*
addr
=
curbrk
;
if
(
n
<
0
&&
0
-
n
<=
curbrk
){
if
(
n
<
=
0
&&
0
-
n
<=
curbrk
){
brk_
+=
n
;
return
0
;
}
if
(
n
<
0
||
n
>
USERTOP
||
curbrk
+
n
>
USERTOP
)
if
(
n
<
=
0
||
n
>
USERTOP
||
curbrk
+
n
>
USERTOP
)
return
-
1
;
// look one page ahead, to check if the newly allocated region would
...
...
编写
预览
您添加了
0
人
到此讨论。请谨慎行事。
请先完成此评论的编辑!
取消
请
注册
或者
登录
后发表评论