Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/fs/erofs/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 5 kB image not shown  

Quelle  namei.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0-only
/*
 * Copyright (C) 2017-2018 HUAWEI, Inc.
 *             https://www.huawei.com/
 * Copyright (C) 2022, Alibaba Cloud
 */

#include "xattr.h"
#include <trace/events/erofs.h>

struct erofs_qstr {
 const unsigned char *name;
 const unsigned char *end;
};

/* based on the end of qn is accurate and it must have the trailing '\0' */
static inline int erofs_dirnamecmp(const struct erofs_qstr *qn,
       const struct erofs_qstr *qd,
       unsigned int *matched)
{
 unsigned int i = *matched;

 /*
 * on-disk error, let's only BUG_ON in the debugging mode.
 * otherwise, it will return 1 to just skip the invalid name
 * and go on (in consideration of the lookup performance).
 */

 DBG_BUGON(qd->name > qd->end);

 /* qd could not have trailing '\0' */
 /* However it is absolutely safe if < qd->end */
 while (qd->name + i < qd->end && qd->name[i] != '\0') {
  if (qn->name[i] != qd->name[i]) {
   *matched = i;
   return qn->name[i] > qd->name[i] ? 1 : -1;
  }
  ++i;
 }
 *matched = i;
 /* See comments in __d_alloc on the terminating NUL character */
 return qn->name[i] == '\0' ? 0 : 1;
}

#define nameoff_from_disk(off, sz) (le16_to_cpu(off) & ((sz) - 1))

static struct erofs_dirent *find_target_dirent(struct erofs_qstr *name,
            u8 *data,
            unsigned int dirblksize,
            const int ndirents)
{
 int head, back;
 unsigned int startprfx, endprfx;
 struct erofs_dirent *const de = (struct erofs_dirent *)data;

 /* since the 1st dirent has been evaluated previously */
 head = 1;
 back = ndirents - 1;
 startprfx = endprfx = 0;

 while (head <= back) {
  const int mid = head + (back - head) / 2;
  const int nameoff = nameoff_from_disk(de[mid].nameoff,
            dirblksize);
  unsigned int matched = min(startprfx, endprfx);
  struct erofs_qstr dname = {
   .name = data + nameoff,
   .end = mid >= ndirents - 1 ?
    data + dirblksize :
    data + nameoff_from_disk(de[mid + 1].nameoff,
        dirblksize)
  };

  /* string comparison without already matched prefix */
  int ret = erofs_dirnamecmp(name, &dname, &matched);

  if (!ret) {
   return de + mid;
  } else if (ret > 0) {
   head = mid + 1;
   startprfx = matched;
  } else {
   back = mid - 1;
   endprfx = matched;
  }
 }

 return ERR_PTR(-ENOENT);
}

static void *erofs_find_target_block(struct erofs_buf *target,
  struct inode *dir, struct erofs_qstr *name, int *_ndirents)
{
 unsigned int bsz = i_blocksize(dir);
 int head = 0, back = erofs_iblks(dir) - 1;
 unsigned int startprfx = 0, endprfx = 0;
 void *candidate = ERR_PTR(-ENOENT);

 while (head <= back) {
  const int mid = head + (back - head) / 2;
  struct erofs_buf buf = __EROFS_BUF_INITIALIZER;
  struct erofs_dirent *de;

  buf.mapping = dir->i_mapping;
  de = erofs_bread(&buf, erofs_pos(dir->i_sb, mid), true);
  if (!IS_ERR(de)) {
   const int nameoff = nameoff_from_disk(de->nameoff, bsz);
   const int ndirents = nameoff / sizeof(*de);
   int diff;
   unsigned int matched;
   struct erofs_qstr dname;

   if (!ndirents) {
    erofs_put_metabuf(&buf);
    erofs_err(dir->i_sb,
       "corrupted dir block %d @ nid %llu",
       mid, EROFS_I(dir)->nid);
    DBG_BUGON(1);
    de = ERR_PTR(-EFSCORRUPTED);
    goto out;
   }

   matched = min(startprfx, endprfx);

   dname.name = (u8 *)de + nameoff;
   if (ndirents == 1)
    dname.end = (u8 *)de + bsz;
   else
    dname.end = (u8 *)de +
     nameoff_from_disk(de[1].nameoff, bsz);

   /* string comparison without already matched prefix */
   diff = erofs_dirnamecmp(name, &dname, &matched);

   if (diff < 0) {
    erofs_put_metabuf(&buf);
    back = mid - 1;
    endprfx = matched;
    continue;
   }

   if (!IS_ERR(candidate))
    erofs_put_metabuf(target);
   *target = buf;
   if (!diff) {
    *_ndirents = 0;
    return de;
   }
   head = mid + 1;
   startprfx = matched;
   candidate = de;
   *_ndirents = ndirents;
   continue;
  }
out:  /* free if the candidate is valid */
  if (!IS_ERR(candidate))
   erofs_put_metabuf(target);
  return de;
 }
 return candidate;
}

int erofs_namei(struct inode *dir, const struct qstr *name, erofs_nid_t *nid,
  unsigned int *d_type)
{
 int ndirents;
 struct erofs_buf buf = __EROFS_BUF_INITIALIZER;
 struct erofs_dirent *de;
 struct erofs_qstr qn;

 if (!dir->i_size)
  return -ENOENT;

 qn.name = name->name;
 qn.end = name->name + name->len;
 buf.mapping = dir->i_mapping;

 ndirents = 0;
 de = erofs_find_target_block(&buf, dir, &qn, &ndirents);
 if (IS_ERR(de))
  return PTR_ERR(de);

 if (ndirents)
  de = find_target_dirent(&qn, (u8 *)de, i_blocksize(dir),
     ndirents);

 if (!IS_ERR(de)) {
  *nid = le64_to_cpu(de->nid);
  *d_type = de->file_type;
 }
 erofs_put_metabuf(&buf);
 return PTR_ERR_OR_ZERO(de);
}

static struct dentry *erofs_lookup(struct inode *dir, struct dentry *dentry,
       unsigned int flags)
{
 int err;
 erofs_nid_t nid;
 unsigned int d_type;
 struct inode *inode;

 trace_erofs_lookup(dir, dentry, flags);

 if (dentry->d_name.len > EROFS_NAME_LEN)
  return ERR_PTR(-ENAMETOOLONG);

 err = erofs_namei(dir, &dentry->d_name, &nid, &d_type);

 if (err == -ENOENT)
  /* negative dentry */
  inode = NULL;
 else if (err)
  inode = ERR_PTR(err);
 else
  inode = erofs_iget(dir->i_sb, nid);
 return d_splice_alias(inode, dentry);
}

const struct inode_operations erofs_dir_iops = {
 .lookup = erofs_lookup,
 .getattr = erofs_getattr,
 .listxattr = erofs_listxattr,
 .get_inode_acl = erofs_get_acl,
 .fiemap = erofs_fiemap,
};

Messung V0.5
C=95 H=92 G=93

¤ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.