文件解锁和删除为单一操作

Question

请注意，这与文件读/写锁定和取消链接不重复。 （区别在于平台。锁定和删除等文件操作具有完全不同的语义，因此结果会不同）。

我有以下问题。我想创建一个基于文件系统的会话存储，其中每个会话数据都存储在以会话 ID 命名的简单文件中。

我想要以下 API：write(sid,data,timeout)、read(sid,data,timeout)、remove(sid) 其中 sid== 文件名，另外我想要某种可以删除所有超时会话的 GC。

如果您使用单个进程，这是相当简单的任务，但在使用多个进程甚至共享文件夹时绝对不是微不足道的。

我想到的最简单的解决方案是：

write/read:
   hanlde=CreateFile
   LockFile(handle)
   read/write data
   UnlockFile(handle)
   CloseHanlde(handle)

GC (for each file in directory)
   hanlde=CreateFile
   LockFile(handle)
   check if timeout occured
     DeleteFile
   UnlockFile(handle)
   CloseHanlde(handle)

但是我不能在打开的锁定文件上调用 DeleteFile （不像在 Unix 中，文件锁定是 不是强制性的，并且允许对打开的文件取消链接。

但是，如果我将 DeleteFile 放在锁定循环之外，可能会发生不良情况

GC - CreateFile/LockFile/Unlock/CloseHandle,
write - oCreateFile/LockFile/WriteUpdatedData/Unlock/CloseHandle
GC - DeleteFile

有人知道如何解决此类问题吗？有什么技巧可以让 结合文件锁定和文件删除或对文件进行原子操作（Win32）？

注释：

• 我不想使用数据库，
• 我正在寻找适用于 NT 5.01 及更高版本的 Win32 API 的解决方案，

谢谢。

Answer 1

我真的不明白这应该如何运作。但是，删除由另一个进程打开的文件是可能的。创建文件的进程必须使用 CreateFile() 的 dwShareMode 参数的 FILE_SHARE_DELETE 标志。随后的DeleteFile() 调用将会成功。在关闭文件的最后一个句柄之前，该文件实际上不会从文件系统中删除。

Answer 2

当前记录中的数据允许 GC 确定记录是否超时。使用“TooLateWeAlreadyTimedItOut”标志扩展该内务信息怎么样？

 GC sets TooLateWeAlreadyTimedItOut = true
 Release lock
    <== writer comes in here, sees the "TooLate" flag and so does not write
 GC deletes

换句话说，我们正在使用一种乐观锁定方法。这确实需要 Writer 具有一些额外的复杂性，但现在您不再依赖于任何特定于操作系统的问题。

我不清楚这种情况下会发生什么：

 GC checks timeout
 GC deletes
 Writer attempts write, and finds no file ...

无论您为此情况计划了什么，也可以在“TooLate”情况下使用

编辑添加：

您已经说过这个序列的发生是有效的：

 GC Deletes
 (Very slightly later) Writer attempts a write, sees no file, creates a new one

作者可以对待“tooLate” " 标记与本例相同。它只是创建一个具有不同名称的新文件，使用版本号作为其名称的尾随部分。第一次打开会话文件需要进行目录搜索，但随后您可以在会话中存储最新的名称。

这确实假设给定会话只能有一个 Writer 线程，或者我们可以在创建文件的两个 Writer 线程之间进行调解，但这对于您的简单 GC/Writer 案例来说必须如此。

Answer 3

对于 Windows，您可以使用 FILE_FLAG_DELETE_ON_CLOSE 选项CreateFile - 当您关闭句柄时，这将导致文件被删除。但我不确定这是否满足您的语义（因为我不相信您可以清除关闭时删除属性。

这是另一个想法。在删除文件之前重命名该文件怎么样？您根本无法关闭该文件决定删除文件后写入的窗口，但是如果在删除文件之前重命名该文件，那么当写入进入时，它会发现会话文件不存在并重新创建它

。请记住，您根本无法关闭有问题的窗口，恕我直言，有两种解决方案：

1. 添加一个像 djna 提到的标志或
2. 要求获取名为互斥体的每个会话，这会产生序列化写入的不幸副作用。换句话说

，如果您过早地删除该文件，会出现什么问题？毕竟您的系统必须处理不存在的文件...