Sự khác biệt giữa "test-a file" và "test file -ef file"

Question

QNX (Neutrino 6.5.0) sử dụng mã nguồn mở của ksh làm shell của nó. Rất nhiều tập lệnh được cung cấp, bao gồm cả tập lệnh khởi động hệ thống, sử dụng các cấu trúc như

if ! test /dev/slog -ef /dev/slog; then 
    # do something 
fi 

để kiểm tra xem trình quản lý tài nguyên có tồn tại hay không trong hệ thống tệp. Tôi đã tìm kiếm và chỉ có thể tìm thấy các giải thích rất rõ ràng rằng -ef kiểm tra xem liệu hai thông số có trong thực tế cùng một tệp hay không. Kể từ khi tên tập tin được chỉ định là giống như nó có vẻ chỉ cần giảm để kiểm tra xem tập tin tồn tại.

Tôi đã kiểm tra hành vi của test -a và test -e (cả hai dường như kiểm tra tệp tồn tại của bất kỳ loại tệp nào theo các tài liệu khác nhau mà tôi đã đọc) và chúng dường như cũng hoạt động.

Có sự khác biệt nào trong séc được thực hiện giữa -ef và -a/-e? Đang sử dụng -ef một số loại nỗ lực để bảo vệ chống lại một tình trạng chủng tộc trong sự tồn tại của tập tin?

Answer 1

Xem lại strace trên bản sao của Ubuntu Linux ksh không có sự khác biệt đáng kể. Một cuộc gọi đến stat so với hai cuộc gọi.

$ strace test /tmp/tmp.geLaoPkXXC -ef /tmp/tmp.geLaoPkXXC 

cho thấy điều này:

mmap(NULL, 7220736, PROT_READ, MAP_PRIVATE, 3, 0) = 0x7f11dc80b000 
close(3)        = 0 
stat("/tmp/tmp.geLaoPkXXC", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0 
stat("/tmp/tmp.geLaoPkXXC", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0 
close(1)        = 0 
close(2)        = 0 

... trong khi

$ strace test -a /tmp/tmp.geLaoPkXXC 

cho thấy điều này:

fstat(3, {st_mode=S_IFREG|0644, st_size=7220736, ...}) = 0 
mmap(NULL, 7220736, PROT_READ, MAP_PRIVATE, 3, 0) = 0x7f6b49e2b000 
close(3)        = 0 
stat("/tmp/tmp.geLaoPkXXC", {st_mode=S_IFREG|0600, st_size=0, ...}) = 0 
close(1)        = 0 
close(2)        = 0 

Một stat vs hai.

$ ksh --version 
    version   sh (AT&T Research) 93u 2011-02-08 

Answer 2

Chúng tôi không biết mã sử dụng mã chính xác như thế nào khi không có mã, chúng tôi cần tìm sự khác biệt thông qua mã.

/* code for -ef */ 
return (stat (argv[op - 1], &stat_buf) == 0 
        && stat (argv[op + 1], &stat_spare) == 0 
        && stat_buf.st_dev == stat_spare.st_dev 
        && stat_buf.st_ino == stat_spare.st_ino); 


/* code for -e/-a */ 
    case 'a':     /* file exists in the file system? */ 
    case 'e': 
     return stat (argv[pos - 1], &stat_buf) == 0; 

Vì vậy, nếu những cái tên đều giống nhau và hai stat() có cùng tên sẽ trở lại cùng giá trị, sau đó, test -a/-e file cũng giống như test file -ef file. Chúng tôi biết điều kiện đầu tiên là đúng và chúng tôi biết điều kiện thứ hai cũng đúng với các nhận xét từ @tinman