日ごろよりこの掲示板にはお世話になっております。

今回ご質問させていただきたいのは、ファイルに書かれたデータを後ろから読み込むことが出来るかということです。

あるファイルに数をバイナリで保存してます。
通常freadで読み込みを行うとファイルの始めの数から読み込むと思うのですが
それを最後の数から順に最初の数へと読み込みを行いたいのです。

ファイル内の数を並び替える(最後の数から最初の数へと)というのも1つの手だと
思いますが、並び替える時間を省きたいのでご質問させて頂きました。

ご存知の方いらっしゃいましたらよろしくお願いいたします。

#include <windows.h>
#include <stdio.h>

#define DATA_FILE  "hoge.dat"

void *m_map(const char *name)
{
    HANDLE h, v;  void *q;
    h = CreateFile(name, GENERIC_READ, 0, NULL,
            OPEN_EXISTING, FILE_ATTRIBUTE_READONLY, NULL);
    if (h == INVALID_HANDLE_VALUE) return NULL;
    v = CreateFileMapping(h, NULL, PAGE_READONLY, 0, 0, NULL);
    CloseHandle(h);
    if (v == NULL) return NULL;
    q = MapViewOfFile(v, FILE_MAP_READ, 0, 0, 0);
    CloseHandle(v);
    return q;
}

int main(void)
{
    static int a[10] = { 11, 22, 33, 44, 55, 66, 77, 88, 99, 10 };
    int i, *p;

    FILE *fp = fopen(DATA_FILE, "wb");
    if (fp == NULL) return 1;
    fwrite(a, sizeof(int), 10, fp);
    fclose(fp);

    p = m_map(DATA_FILE);
    if (p == NULL) return 1;
    for (i = 10; i > 0; )
        printf(" %d", p[--i]);
    printf("\n");
    UnmapViewOfFile(p);

    return 0;
}

void *m_map(const char *name)
{
    // 中略
    v = CreateFileMapping(h, NULL, PAGE_READONLY, 0, 0, NULL);
    CloseHandle(h);
    if (v == NULL) return NULL;
    q = MapViewOfFile(v, FILE_MAP_READ, 0, 0, 0);

    // CloseHandle はここですべきではない
    CloseHandle(v);
    return q;
}

int main(void)
{
    // 中略
    UnmapViewOfFile(p);

    // するとしたら、このへんで。
    // CloseHandle( ... );
    return 0;
}

その根拠は何ですか？

Jeferey Richter の Advanced Windows の「第7章 メモリマップトファイル」
(改訂第3版なら第8章)に次のように書かれています。

:     hFile = CreateFile(...);
:     hFileMapping = CreateFileMapping(hFile, ...);
:     pFile = MapViewOfFile(hFileMapping, ...);
:     // メモリマップトファイルを使う
:     UnmapViewOfFile(pFile);
:     CloseHandle(hFileMapping);
:     CloseHandle(hFile);
: 
:   上記のコードは、メモリマップトファイルの "望ましい" 使い方を示した
: ものである。しかし、ここには、コードが MapVewOfFile を呼び出したとき
: に、システムがファイルオブジェクトとファイルマッピングオブジェクトの
: 参照カウントをインクリメントしていることは示されていない。上記のコー
: ドは次のようにも書き直せるだけに、この副作用は重要な意味を持つ。
: 
:     hFile = CreateFile(...);
:     hFileMapping = CreateFileMapping(hFile, ...);
:     CloseHandle(hFile);
:     pFile = MapViewOfFile(hFileMapping, ...);
:     CloseHandle(hFileMapping);
:     // メモリマップトファイルを使う
:     UnmapViewOfFile(pFile);

> Jeferey Richter の Advanced Windows の「第7章 メモリマップトファイル」

> : ものである。しかし、ここには、コードが MapVewOfFile を呼び出したとき

訂正  Jeferey Richter --> Jeffrey Richter
      MapVewOfFile    --> MapViewOfFile

To fully close a file mapping object, an application must unmap all mapped views of the file mapping object by calling UnmapViewOfFile, and close the file mapping object handle by calling CloseHandle. The order in which these functions are called does not matter.

Windows Me/98/95: File handles that have been used to create file mapping objects must not be used in subsequent calls to file I/O functions, such as ReadFile and WriteFile. In general, if a file handle has been used in a successful call to the CreateFileMapping function, do not use that handle unless you first close the corresponding file mapping object.

> MSDN Library for VS.NET 2003 の CreateFileMapping の記述です。

>> ファイルマッピングオブジェクトを完全に閉じるには、
>> UnmapViewOfFile 関数を呼び出してビューをすべてアンマップし、
>> さらに、CloseHandle 関数を呼び出してマッピングオブジェクトの
>> ハンドルを閉じなければなりません。
>> 最初に UnmapViewOfFile を呼び出す必要があります。

確かに、

http://www.microsoft.com/japan/msdn/library/default.asp?url=/japan/msdn/library/ja/jpmemory/html/_win32_createfilemapping.asp

にそう書かれていますね。でも、

http://msdn.microsoft.com/library/default.asp?url=/library/en-us/fileio/base/createfilemapping.asp

には、

: To fully close a file mapping object, an application must unmap all
: mapped views of the file mapping object by calling UnmapViewOfFile,
: and close the file mapping object handle by calling CloseHandle.
: The order in which these functions are called does not matter. 

とあります。最後の行で「これらの関数が呼び出される順序は問題ではない」
となっています。


> これは、上のコード例が望ましいんだからそっちにすべきだと言ってるんじゃ
> ないでしょうか？

"望ましい" がダブルクオートされていることに注意してください。さらに、
Advanced Windoes では、2つ目のコードの後に、

: システムがファイルオブジェクトとファイルマッピングオブジェクトの参照カ
: ウンタをインクリメントしているので、コードの冒頭でこれらのオブジェクト
: をクローズしておけば、リソースリークの可能性を下げることができる。

とあります。すなわち、2つ目のコードが本当は望ましいと言っているのです。


> 上のコードと下のコードが等価であるとは言っていません。

最終結果には同じですが、途中経過でメモリマップトファイルを使うときに
存在するカーネルオブジェクト(ファイルオブジェクトとファイルマッピング
オブジェクト)の参照カウントが異なります。リソースを余計に食っている。

----------------------------------------------------------------------
    hFile = CreateFile(...);
    // ファイルオブジェクトの参照カウントは 1
    hFileMapping = CreateFileMapping(hFile, ...);
    // ファイルオブジェクトの参照カウントは 2
    // ファイルマッピングオブジェクトの参照カウントは 1
    pFile = MapViewOfFile(hFileMapping, ...);
    // ファイルマッピングオブジェクトの参照カウントは 2

    // メモリマップトファイルを使う
    // 2つのカーネルオブジェクトの参照カウントはそれぞれ 2。

    UnmapViewOfFile(pFile);
    // ファイルマッピングオブジェクトの参照カウントは 1
    CloseHandle(hFileMapping);
    // ファイルマッピングオブジェクトの参照カウントは 0 になるので、この
    // オブジェクトが参照しているファイルオブジェクトの参照カウントを
    // デクリメントして 1。ファイルマッピングオブジェクトは消滅。
    CloseHandle(hFile);
    // ファイルオブジェクトの参照カウントは 0。このオブジェクトは消滅。

----------------------------------------------------------------------
    hFile = CreateFile(...);
    // ファイルオブジェクトの参照カウントは 1
    hFileMapping = CreateFileMapping(hFile, ...);
    // ファイルオブジェクトの参照カウントは 2
    // ファイルマッピングオブジェクトの参照カウントは 1
    CloseHandle(hFile);
    // ファイルオブジェクトの参照カウントは 1
    pFile = MapViewOfFile(hFileMapping, ...);
    // ファイルマッピングオブジェクトの参照カウントは 2
    CloseHandle(hFileMapping);
    // ファイルマッピングオブジェクトの参照カウントは 1

    // メモリマップトファイルを使う
    // 2つのカーネルオブジェクトの参照カウントはそれぞれ 1。

    UnmapViewOfFile(pFile);
    // ファイルマッピングオブジェクトの参照カウントは 0 になるので、この
    // オブジェクトが参照しているファイルオブジェクトの参照カウントを
    // デクリメントして 0。
    // ファイルマッピングオブジェクトもファイルオブジェクトも消滅。