Re: [RFC PATCH 20/26] UBIFS: add VFS operations

[Artem Bityutskiy <dedekind@yandex.ru>]

Pekka Enberg wrote:
> Hi Artem,
> 
> On Thu, Mar 27, 2008 at 5:55 PM, Artem Bityutskiy
> <Artem.Bityutskiy@nokia.com> wrote:
>>  +static int ubifs_set_page_dirty(struct page *page)
>>  +{
>>  +       /*
>>  +        * An attempt to dirty a page without budgeting for it - should not
>>  +        * happen.
>>  +        */
>>  +       ubifs_assert(0);
>>  +       return __set_page_dirty_nobuffers(page);
>>  +}

In UBIFS pages must never become dirty without asking UBIFS if this is allowed or not.
This is needed because of budgeting - before making any page dirty we have to make
sure there is enough space to write it back. This is not usually an issue for
traditional FSes, because pages may be changed in-place. In UBIFS we cannot change
stuff in-place, so we have to be very careful when marking things dirty. This is why
we have the budgeting sub-system. The white-paper tells more about this.

Anyway, the requirement is that all the places where a page may become dirty
should be in UBIFS and the corresponding operations have to be budgeted for.

If this function is called, this means that someone made a page dirty without
budgeting for this. Which in turn may mean that there will be no space when
the page is written back. So basically, this implementation is just a guarding
check.

>>  +static int ubifs_releasepage(struct page *page, gfp_t unused_gfp_flags)
>>  +{
>>  +       /*
>>  +        * An attempt to release a dirty page without budgeting for it - should
>>  +        * not happen.
>>  +        */
>>  +       ubifs_assert(PageLocked(page));
>>  +       if (PageWriteback(page))
>>  +               return 0;
>>  +       ubifs_assert(PagePrivate(page));
>>  +       ubifs_assert(0);
>>  +       ClearPagePrivate(page);
>>  +       ClearPageChecked(page);
>>  +       return 1;
>>  +}

Yeah, this is also a guarding thing. When a dirty page is released
the budget which was allocated for it has to be freed. If this function
is called, then the budget was not freed, which must never happen.

-- 
Best Regards,
Artem Bityutskiy (Артём Битюцкий)