Поддерживает ли блок dispatch_async последовательную очередь порядок?

Когда я отправляю два блока в последовательную очередь с помощью dispatch_async, гарантирует ли это, что второй запускается после первого:

• dispatch_async (serial_queue, b1);
• dispatch_async (serial_queue, b2);

можем ли мы гарантировать, что b1 запускается раньше, чем b2?

Ниже приведен полный раздел исходного кода:

    #define COUNTER 10000
      m_value = 0;
      dispatch_queue_t globalQueue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
      dispatch_queue_t queue = dispatch_queue_create("myqueue", NULL);
      dispatch_group_t group = dispatch_group_create();
       for (int i = 0; i < COUNTER; ++i) {
        dispatch_group_async(group, globalQueue, ^() {
          dispatch_async(queue, ^() {
            ++m_value;
          });
        });
      }
      dispatch_group_notify(group, queue, ^() {
        NSLog(@"m_value Actual: %d Expected: %d", m_value, COUNTER);
      });

      dispatch_release(queue);
      dispatch_release(group);
      queue = nil;
      group = nil;
      return YES;

Можем ли мы гарантировать, что m_value == COUNTER всегда? Спасибо