草庐IT

ios - 为什么并发队列的行为怪异？

coder 2024-01-15 原文

我正在尝试了解iOS GCD的并发队列。
我编写了一些代码对其进行测试，但发现有些奇怪。
代码如下:

_syncQueue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_LOW, 0);

for (int index = 0; index < 3; ++index) {
    dispatch_sync(_syncQueue, ^{

        NSLog(@"sync@@@@@@ >>>>    %d ",index);
        sleep(1);
        NSLog(@"sync@@@@@@ <<<<    %d ",index);
    });
}

for (int index = 3; index < 6; ++index) {
    dispatch_async(_syncQueue, ^{

        NSLog(@"sync===== >>>>    %d ",index);
        sleep(1);
        NSLog(@"sync===== <<<<    %d ",index);
    });
}

for (int index = 6; index < 9; ++index) {
    dispatch_sync(_syncQueue, ^{

        NSLog(@"sync***** >>>>    %d ",index);
        sleep(1);
        NSLog(@"sync***** <<<<    %d ",index);
    });
}

执行结果如下:
sync@@@@@@ >>>>    0
sync@@@@@@ <<<<    0
sync@@@@@@ >>>>    1
sync@@@@@@ <<<<    1
sync@@@@@@ >>>>    2
sync@@@@@@ <<<<    2
sync***** >>>>    6
sync===== >>>>    4
sync===== >>>>    3
sync===== >>>>    5
sync***** <<<<    6
sync***** >>>>    7
sync===== <<<<    4
sync===== <<<<    5
sync===== <<<<    3
sync***** <<<<    7
sync***** >>>>    8
sync***** <<<<    8

我很困惑，无法理解为什么会这样运行。
  • 为什么直到第一个循环完全完成才可以运行第二个和第三个循环，对我来说，第一个循环至少应该可以被第二个循环打断，因为第二个循环可以创建新的线程来执行。
  • 为什么第三个循环比第二个循环更早开始？
  • 为什么第三个循环不能像第一个循环那样运行，而没有其他任务中断？

    • 最佳答案

    你问:

  • 为什么直到第一个循环完全完成才可以运行第二个和第三个循环，对我来说，第一个循环至少应该可以被第二个循环打断，因为第二个循环可以创建新的线程来执行。

    • 那是因为您使用了dispatch_sync。这实际上表示“停止当前线程，直到分派的任务完成为止”。因此，在使用先前的dispatch_sync调度的任务完成之前，第一个循环甚至不会到达其自身循环的下一个迭代。
    如果您看下面的图，dispatch_sync调用是红色的Ⓢ标志。您可以看到，直到第一个被分配的任务完成后，才开始分配第一个循环的第二个迭代。
  • 为什么第三个循环比第二个循环更早开始？

    • 这是经典的比赛条件。您正在将大量任务分派到并发队列(所有全局队列都是并发队列)，从技术上讲，这是按照它们被排队的顺序启动它们的，但是由于允许它们并发运行，所以它们在同时，您无法保证哪个会首先真正到达其各自的NSLog语句。如果您查看与这些NSLog语句相关联的时间戳，它们之间的距离非常接近(与第一个循环的NSLog语句不同)。
    请注意，尽管从技术上来讲，您无法确定第二个循环还是第三个循环调度的任务将首先开始，但是有两个有趣的细节:
  • 我们可以相对确信，第三个循环的后续迭代(即迭代7和8)不会在第二个循环的分派任务之前开始，因为同样，您将同步分派第三个循环中的所有内容。因此，例如，它甚至不会尝试调度迭代7，直到完成迭代6的执行为止(而第二个循环已经异步地调度了它的任务，并且那些任务将在该并发队列上不受影响地运行)。
  • 注意，尽管您无法保证第二个循环调度的任务的时间安排以及第三个循环调度的第一个任务的执行时间，但实际上，您通常会看到，由于内置的​​优化，第三个循环的第一个任务的启动速度更快dispatch_sync。第二个循环使用的dispatch_async必须做很多工作，即GCD必须从池中获取一个工作线程并在该线程上启动任务。但是，作为优化，第三个循环的dispatch_sync通常只是在当前线程上运行分派的任务。 (如果线程无论如何都要等待分派的任务，为什么不只使用它来运行任务并完全避免上下文切换。)
    这是一个技术细节，我建议您不要担心，但确实可以解释为什么您通常会看到dispatch_sync任务比在大约同一时间在同一并发队列上启动的dispatch_async更快地启动。

    • 因此，在下图中，迭代3-5(第二个循环)和迭代6(第三个循环的第一次迭代)的调度调用(红色happen)发生得非常紧密，以至于标记彼此叠加。但是您可以在图表下方的列表中看到这些内容的时间安排。
  • 为什么第3个循环不能像第一个循环那样运行而没有其他任务中断？

    • 问题不在于第一个循环“没有中断”地运行，而是队列中没有其他任何东西在运行，并且因为它是同步运行的，所以直到循环1完成之前，其他任何事情都不会开始。而第三个循环几乎与第二个循环的所有第3到第5个迭代同时调度了第6个迭代。
    我认为看一下这九个调度任务的时间表(由Instruments的“Points of Interest”工具生成)是说明性的:

    前三个浅蓝色任务代表第一个循环。紫色任务是第二循环。橙色任务是第三个循环。用红色Ⓢ标志指示dispatch_sync和dispatch_async调用。
    如您所见，第一个和第三个循环显示相同的行为，即由于您正在同步分派这些块，因此它甚至无法尝试分派下一个任务，直到前一个同步分派的任务完成运行为止。但是第二个循环运行得非常快，非常快，一个接一个地分派了所有三个任务，非常快，并且这些任务彼此并发运行，而执行的主线程继续分派了第三个循环，而第二个循环分派了任务仍在运行。

    关于ios - 为什么并发队列的行为怪异？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/49538333/

    怪异iossynccodeltgrand-central-dispatchconcurrent-queue

    有关ios - 为什么并发队列的行为怪异？的更多相关文章

    1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

      类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

    2. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

      我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

    3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

      我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

    4. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

      我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

    5. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

      为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

    6. ruby - ruby 中的 TOPLEVEL_BINDING 是什么？ - 2

      它不等于主线程的binding，这个toplevel作用域是什么？此作用域与主线程中的binding有何不同？>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是，TOPLEVEL_BINDING始终引用Binding的预定义全局实例，而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层，它们都包含相同的绑定(bind)，但它们不是同一个对象，您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

    7. ruby - Infinity 和 NaN 的类型是什么？ - 2

      我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

    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 - 为什么 SecureRandom.uuid 创建一个唯一的字符串？ - 2

      关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗？通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串？SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复？

    10. ruby - 如何根据特征实现 FactoryGirl 的条件行为 - 2

      我有一个用户工厂。我希望默认情况下确认用户。但是鉴于unconfirmed特征，我不希望它们被确认。虽然我有一个基于实现细节而不是抽象的工作实现，但我想知道如何正确地做到这一点。factory:userdoafter(:create)do|user,evaluator|#unwantedimplementationdetailshereunlessFactoryGirl.factories[:user].defined_traits.map(&:name).include?(:unconfirmed)user.confirm!endendtrait:unconfirmeddoenden

    随机推荐