草庐IT

c - 如果进程终止但系统继续运行, WriteFile() 会是原子的吗?

coder 2024-06-10 原文

如果我的进程在随机时刻终止但操作系统继续正常运行,Windows 会保证对 WriteFile 的个别调用吗?是原子的(又名全有或全无)?
或者我可以获得部分/撕裂的写入?


注意:我特意不征求有关如何练习防御性编码的建议。

这是一个严格关于 Microsoft Windows 操作系统本身行为的问题。

要 100% 完美地一目了然我们可以并且明确地确实相信用户代码的行为是正常的。没有没有未定义的行为 或任何类似的行为。假定所有进程终止都是通过明确定义的行为发生的,例如未处理的异常或调用TerminateProcess不是内存损坏等。

另外,请特别注意这里不需要担心 C++ 析构函数;这是 C。

我希望所有关于用户代码的次要问题都可以解决。

最佳答案

WriteFile 在您的进程在执行时被终止的情况下肯定不是原子的,如果您的进程没有被杀死,它甚至不是原子的。

此外,“全部写入或不写入” 甚至不是原子写入的正确定义。所有的都可以被写入,但与来自另一个进程的独立写入混合在一起。如果保证写入是原子的,则必须保证(读作:锁定)这不会发生。

除了实现适当的原子性会带来相当大的额外麻烦,而且对于普通日常用户而言几乎没有任何好处,您还可以猜测 WriteFile 不是原子性的:

  1. API 文档中未提及。您可以打赌,这会被突出地提及,因为它是一个非常重要的、与众不同的功能。
  2. 存在 lpNumberOfBytesWritten 参数。写入可能仍会失败(例如磁盘已满),但如果该函数保证是原子的,您就会知道它是成功还是失败,并且您已经知道要写入多少字节,因此不需要返回该数字。
  3. 存在TxF .尽管 TxF 所做的不仅仅是使单个写入原子化,但有理由假设微软不会浪费大量时间和金钱来实现这样一个野兽,因为“正常”文件系统操作已经或多或少地工作了。
  4. 据我所知,没有其他主流操作系统提供这样的保证。 Linux 确实对 writev(但对 write)提供了某种原子性保证,因为您的写入不会与来自其他进程的写入混合.但这与在进程终止时保证原子性完全不同。

但是,在使用 FILE_FLAG_NO_BUFFERING 打开的句柄上的重叠写入在技术上在进程终止方面是原子的(但不是在故障方面,例如磁盘已满或任何其他方面!)。诚然,这样说在实现细节上有点诡辩,并不是操作系统给出的实际保证,但从某种角度来说,这样说肯定是正确的。
无法终止正在执行无缓冲、重叠 I/O 操作的进程。那是因为操作系统正在执行 DMA 传输到该进程的地址空间。这当然意味着进程不能终止,因为操作系统会回收物理页面。因此,当此类 I/O 操作正在运行时,操作系统将拒绝终止进程。
您可以通过发出几个大的无缓冲重叠请求(几 GB)来验证这一点,并尝试在任务管理器中终止您的进程。它只会在 I/O 完成时被杀死(因此,几秒钟后)。当您第一次看到它发生并且没想到会发生时,这会是一个很大的惊喜!

关于c - 如果进程终止但系统继续运行, WriteFile() 会是原子的吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/25028260/

有关c - 如果进程终止但系统继续运行, WriteFile() 会是原子的吗?的更多相关文章

  1. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法? - 2

    总的来说,我对ruby​​还比较陌生,我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础,我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  2. ruby - 如何每月在 Heroku 运行一次 Scheduler 插件? - 2

    在选择我想要运行操作的频率时,唯一的选项是“每天”、“每小时”和“每10分钟”。谢谢!我想为我的Rails3.1应用程序运行调度程序。 最佳答案 这不是一个优雅的解决方案,但您可以安排它每天运行,并在实际开始工作之前检查日期是否为当月的第一天。 关于ruby-如何每月在Heroku运行一次Scheduler插件?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/8692687/

  3. ruby-on-rails - 如果为空或不验证数值,则使属性默认为 0 - 2

    我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初,我将所有3列的:default=>0放在表格中,但我不想要这样,因为它已经填充了字段,我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val

  4. ruby-on-rails - 如何在 ruby​​ 中使用两个参数异步运行 exe? - 2

    exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby​​中使用两个参数异步运行exe吗?我已经尝试过ruby​​命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe,无需等待进程完成是否有任何ruby​​gems会支持我的问题? 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除

  5. ruby - 无法运行 Rails 2.x 应用程序 - 2

    我尝试运行2.x应用程序。我使用rvm并为此应用程序设置其他版本的ruby​​:$rvmuseree-1.8.7-head我尝试运行服务器,然后出现很多错误:$script/serverNOTE:Gem.source_indexisdeprecated,useSpecification.Itwillberemovedonorafter2011-11-01.Gem.source_indexcalledfrom/Users/serg/rails_projects_terminal/work_proj/spohelp/config/../vendor/rails/railties/lib/r

  6. ruby - 在 jRuby 中使用 'fork' 生成进程的替代方案? - 2

    在MRIRuby中我可以这样做:deftransferinternal_server=self.init_serverpid=forkdointernal_server.runend#Maketheserverprocessrunindependently.Process.detach(pid)internal_client=self.init_client#Dootherstuffwithconnectingtointernal_server...internal_client.post('somedata')ensure#KillserverProcess.kill('KILL',

  7. ruby - 通过 ruby​​ 进程共享变量 - 2

    我正在编写一个gem,我必须在其中fork两个启动两个webrick服务器的进程。我想通过基类的类方法启动这个服务器,因为应该只有这两个服务器在运行,而不是多个。在运行时,我想调用这两个服务器上的一些方法来更改变量。我的问题是,我无法通过基类的类方法访问fork的实例变量。此外,我不能在我的基类中使用线程,因为在幕后我正在使用另一个不是线程安全的库。所以我必须将每个服务器派生到它自己的进程。我用类变量试过了,比如@@server。但是当我试图通过基类访问这个变量时,它是nil。我读到在Ruby中不可能在分支之间共享类变量,对吗?那么,还有其他解决办法吗?我考虑过使用单例,但我不确定这是

  8. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象,为什么它会起作用? - 2

    如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象

  9. ruby - Sinatra:运行 rspec 测试时记录噪音 - 2

    Sinatra新手;我正在运行一些rspec测试,但在日志中收到了一堆不需要的噪音。如何消除日志中过多的噪音?我仔细检查了环境是否设置为:test,这意味着记录器级别应设置为WARN而不是DEBUG。spec_helper:require"./app"require"sinatra"require"rspec"require"rack/test"require"database_cleaner"require"factory_girl"set:environment,:testFactoryGirl.definition_file_paths=%w{./factories./test/

  10. ruby - 如果指定键的值在数组中相同,如何合并哈希 - 2

    我有一个这样的哈希数组:[{:foo=>2,:date=>Sat,01Sep2014},{:foo2=>2,:date=>Sat,02Sep2014},{:foo3=>3,:date=>Sat,01Sep2014},{:foo4=>4,:date=>Sat,03Sep2014},{:foo5=>5,:date=>Sat,02Sep2014}]如果:date相同,我想合并哈希值。我对上面数组的期望是:[{:foo=>2,:foo3=>3,:date=>Sat,01Sep2014},{:foo2=>2,:foo5=>5:date=>Sat,02Sep2014},{:foo4=>4,:dat

随机推荐