1

元の xv6-rev7 オペレーティング システムには以下が含まれます。
12 個の有向ブロック
1 個の間接ブロック (128 ブロックを指す)

これは、140 個のブロックがあることを意味します。
各ブロックのサイズは 512KB ==> 512 * 140 = 71,680 ~= 70KB が xv6 のファイル サイズの制限です。

サイズが 40MB のファイルをサポートするために、xv6 でトリプル間接アクセスを実装したいと考えています。

それを行うには、トリプル間接の前にダブル間接を実装する必要があります。
だから私は持っていた12から2つの指示されたブロックを取った。
1 つは二重間接用、もう 1 つは三重間接用です。
これは私が今持っているものです:
直接: 10 ブロック
シングル間接: 128
ダブル間接: 128*128
トリプル間接: 4*128*128 (40MB には十分なので、128 ではなく 4 を使用しています)

これが理由#define NDIRECT 10であり、uint addrs[NDIRECT+3];

ファイルのサイズ制限 = (10 + 128 + 128*128 + 4*128*128)*512kb = 42,013,696 ~= 42MB

だからコンセプトはわかる。トリプルインダイレクションの実装はbmapfile の関数にありますfs.c
これはどのように見えるかです:
ここに画像の説明を入力

サイズが 8.5MB のファイルを作成しようとすると、何らかの理由で失敗します。bochs ここに画像の説明を入力
エミュレーターを使用しています

また、mkfs.c でどの値を変更する必要があるかもわかりません。

int nblocks = 20985;
int nlog = LOGSIZE;
int ninodes = 200;
int size = 21029;

fs.h:

// On-disk file system format. 
// Both the kernel and user programs use this header file.

// Block 0 is unused.
// Block 1 is super block.
// Blocks 2 through sb.ninodes/IPB hold inodes.
// Then free bitmap blocks holding sb.size bits.
// Then sb.nblocks data blocks.
// Then sb.nlog log blocks.

#define ROOTINO 1  // root i-number
#define BSIZE 512  // block size

// File system super block
struct superblock {
  uint size;         // Size of file system image (blocks)
  uint nblocks;      // Number of data blocks
  uint ninodes;      // Number of inodes.
  uint nlog;         // Number of log blocks
};

#define NDIRECT 10
#define NINDIRECT (BSIZE / sizeof(uint))
#define MAXFILE (NDIRECT + NINDIRECT + NINDIRECT*NINDIRECT + 4*NINDIRECT*NINDIRECT)

// On-disk inode structure
struct dinode {
  short type;           // File type
  short major;          // Major device number (T_DEV only)
  short minor;          // Minor device number (T_DEV only)
  short nlink;          // Number of links to inode in file system
  uint size;            // Size of file (bytes)
  uint addrs[NDIRECT+3];   // Data block addresses
};

// Inodes per block.
#define IPB           (BSIZE / sizeof(struct dinode))

// Block containing inode i
#define IBLOCK(i)     ((i) / IPB + 2)

// Bitmap bits per block
#define BPB           (BSIZE*8)

// Block containing bit for block b
#define BBLOCK(b, ninodes) (b/BPB + (ninodes)/IPB + 3)

// Directory is a file containing a sequence of dirent structures.
#define DIRSIZ 14

struct dirent {
  ushort inum;
  char name[DIRSIZ];
};

fs.c:

// Return the disk block address of the nth block in inode ip.
// If there is no such block, bmap allocates one.
static uint
bmap(struct inode *ip, uint bn)
{
  uint addr, *a;
  struct buf *bp;

  if(bn < NDIRECT){
    if((addr = ip->addrs[bn]) == 0)
      ip->addrs[bn] = addr = balloc(ip->dev);
    return addr;
  }
  bn -= NDIRECT;

  if(bn < NINDIRECT){
    // Load indirect block, allocating if necessary.
    if((addr = ip->addrs[NDIRECT]) == 0)
      ip->addrs[NDIRECT] = addr = balloc(ip->dev);
    bp = bread(ip->dev, addr);
    a = (uint*)bp->data;
    if((addr = a[bn]) == 0){
      a[bn] = addr = balloc(ip->dev);
      log_write(bp);
    }
    brelse(bp);
    return addr;
  }

  /* Double indirect */
  bn -= NINDIRECT;
  if(bn < NINDIRECT*NINDIRECT){
        // Load 2nd indirect block, allocating if necessary.
        if((addr = ip->addrs[NDIRECT+1]) == 0) // 2d block. NDIRECT+1 is to get the index vector
          ip->addrs[NDIRECT+1] = addr = balloc(ip->dev);

        bp = bread(ip->dev, addr);
        a = (uint*)bp->data;
        if ((addr = a[bn/(NINDIRECT)]) == 0) { /* get index for 1st
                                                    indirection. (NINDIRECT is 128) */
              a[bn/(NINDIRECT)] = addr = balloc(ip->dev);
              log_write(bp);
          }
          brelse(bp);               /* release the double indirect table
                                       (main level) */

        bp = bread(ip->dev, addr);
        a = (uint*)bp->data;

         if ((addr = a[bn%(NINDIRECT)]) == 0) { /*  get the 2nd level table */
              a[bn%(NINDIRECT)] = addr = balloc(ip->dev);
              log_write(bp);
          }

        brelse(bp);
        return addr;
    }

   /* Triple indirect */

      bn -= NINDIRECT*NINDIRECT;
      if(bn < 4*NINDIRECT*NINDIRECT){
        // Load 3rd indirect block, allocating if necessary.
        if((addr = ip->addrs[NDIRECT+2]) == 0) // 3d block. NDIRECT+2 is to get the index vector
          ip->addrs[NDIRECT+2] = addr = balloc(ip->dev);

        bp = bread(ip->dev, addr);
        a = (uint*)bp->data;

        if ((addr = a[bn/(NINDIRECT*4)]) == 0) { /* get index for 2st
                                                    indirection. (NINDIRECT is 128) */
              a[bn/(NINDIRECT*4)] = addr = balloc(ip->dev);
              log_write(bp);
          }
          brelse(bp);

        bp = bread(ip->dev, addr);
        a = (uint*)bp->data;

        if ((addr = a[bn/(NINDIRECT*NINDIRECT*4)]) == 0) { 

              a[bn/(NINDIRECT*NINDIRECT*4)] = addr = balloc(ip->dev);
              log_write(bp);
          }

          brelse(bp);               


         if ((addr = a[bn%(NINDIRECT*NINDIRECT*4)]) == 0) { 
              a[bn%(NINDIRECT*NINDIRECT*4)] = addr = balloc(ip->dev);
              log_write(bp);
          }

        brelse(bp);
        return addr;
    }

  panic("bmap: out of range");
}

mkfs.c:

#define stat xv6_stat  // avoid clash with host struct stat
#include "types.h"
#include "fs.h"
#include "stat.h"
#include "param.h"

int nblocks = 20985;
int nlog = LOGSIZE;
int ninodes = 200;
int size = 21029;

bigfile.c:

#include "types.h"
#include "stat.h"
#include "user.h"
#include "fcntl.h"
void
help()
{
  printf(1, "usage:\nfiles <name> <letter> <num>\n"
            "e.g. nfiles foo a 40\n creates a file foo, with 40 times the letter a\n");
}

void
num2str(int i, char str[3])
{
  str[2]=i%10+'0';
  i=i/10;
  str[1]=i%10+'0';
  i=i/10;
  str[0]=i%10+'0';
  i=i/10;
}
#define BUF_SZ 512

int
main(int argc, char *argv[])
{
    int i, count, fd, n;
    // char *name;
    // char c;
    char buf[BUF_SZ];
    if (argc !=4) {
        help();
        exit();
    }
    count = atoi(argv[3]);
    if((fd=open(argv[1], O_CREATE|O_RDWR))<0) {
        printf(2,"Failed to open file: %s\n", argv[1]);
        exit();
    }
    for (i=0; i<BUF_SZ;i++)
        buf[i]=argv[2][0];
    for (i=0; i<count/BUF_SZ;i++)
        if ((n=write(fd,buf,BUF_SZ)) != BUF_SZ)
        {
            printf(2,"Failed 1 to Write count=%d\n",i*BUF_SZ);
            exit();
        }

    for (i=0; i<count%BUF_SZ;i++)
        if ((n=write(fd,argv[2],1)) != 1)
        {
            printf(2,"Failed 2 to Write count=%d\n",count-i);
            exit();
        }

  exit();
}
4

1 に答える 1

3

1. で定義されている nblock の数mkfs.cが不足しています。

int nblocks = 20985;
int nlog = LOGSIZE;
int ninodes = 200;
int size = 21029;

以下を定義しました。

#define MAXFILE (NDIRECT + NINDIRECT + NINDIRECT*NINDIRECT + 4*NINDIRECT*NINDIRECT

等しい: 10+128+128^2+4*128^2 = 82058.

nblocks82058 より大きい数を選択し、sizeそれに応じて更新してください。

2. bmap() 関数のトリプル間接コードでは、最初の間接レベルは 4 エントリの配列です (図で述べたように)。これら 4 つのエントリのどれにアクセスする必要があるかがわかると、二重の間接化の問題に戻りますが、これは既に解決済みです。

したがって、4 つのエントリのどれにアクセスする必要があるかを知るには、次のようにします。

if((addr = a[bn/(NINDIRECT*NINDIRECT)]) == 0){
  a[bn/(NINDIRECT*NINDIRECT)] = addr = balloc(ip->dev);
  log_write(bp);
}

bn次に、次のように減らすことができます。

bn -= ((NINDIRECT*NINDIRECT)*(bn/(NINDIRECT*NINDIRECT)));

二重間接問題をもう一度解きます。

于 2015-06-16T21:16:28.840 に答える