blob: e15562bcb6ad9eaba73e15b41a097d3e971ced97 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License, Version 1.2 or
any later version published by the Free Software Foundation; with no Invariant
Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled [[GNU Free Documentation
License|/fdl]]."]]"""]]
[[!tag open_issue_hurd]]
There are locking issues in the Hurd's libraries.
[[!toc]]
# Original [[community/GSoC]] Task Description
[[!inline pages=community/gsoc/project_ideas/libdiskfs_locking feeds=no]]
# ext2fs Deadlock
[[ext2fs_deadlock]].
# Formal Verification
Methods of [[formal_verification]] should be applied to get an understanding of
the behavior of the locking logic. There are tools for formal
verification/[[code_analysis]] that can likely help here.
There is a [[!FF_project 278]][[!tag bounty]] on this task.
|
