System.IO.IOException: '进程无法访问文件'

Question

我正在尝试将日志记录同步到 F Sharp 项目中的文件。使用锁计算表达式我试图近似一个资源锁，但它似乎不起作用。

module regiondeployer.logger

open System
open System.IO
open Microsoft.FSharp.Core
open regiondeployer.personalprojectroot

type private logginglock =
    static member public lock = new Object()

[<Literal>]
let private logfile = personalprojectroot + "log.txt" 

let public initialize() : unit = 
    use init = File.Create(logfile)
    ()

let public logtoconsoleandfile (message:string) : unit =
    lock logginglock.lock (fun _ -> 
        Console.WriteLine message
        use logfilestream = File.AppendText(logfile)
        logfilestream.WriteLine(message)
    )

System.IO.IOException HResult=0x80070020 消息=进程 无法访问文件 '日志.txt' 因为它正在被另一个进程使用。来源=mscorlib

我错过了什么？

Answer 1

问题是您的logginglock.lock 是一个带有getter 的属性，因此每次访问它时都会返回一个新对象。结果，线程最终会锁定不同的对象并实际同时访问文件。

如果你坚持要把锁对象作为静态对象的一个​​字段，那么你可以使用static let定义一个静态字段，然后直接返回对象：

type private logginglock() =
    static let _lock = new obj()
    static member public lock = _lock

也就是说，如果您只是将锁对象作为模块中的全局值（只要它是模块私有的），它同样可以正常工作。这可能会编译成与上面的代码非常相似的东西——尽管围绕锁定对象和单例存在我从未完全理解的各种微妙之处......

let private loggingLock = obj()