Dart锁机制之synchronized源码解析Lock、BasicLock、objectMakeLock、objectSynchronized(一)

Nicholas682025-12-01 11:58

synchronized

synchronized是一个优秀的锁定机制，用于防止并发访问异步代码。

目标是提出一种类似于临界区（criminal sections）的解决方案，并提供一个类似 Java 风格的简单 synchronized API。它提供了一个基本的锁/互斥锁解决方案，以支持事务等功能。

synchronized的工作原理就是下一个任务会在前一个任务完成后执行。

没有加锁的异步任务

csharp 复制代码

Future<void> writeSlow(int value) async {
  await Future<void>.delayed(const Duration(milliseconds: 1));
  stdout.write(value);
}

Future<void> write(List<int> values) async {
  for (var value in values) {
    await writeSlow(value);
  }
}

上面两个函数，write函数会循环遍历调用writeSlow函数并同步等待writeSlow任务完成。writeSlow在控制台简单打印日志。

csharp 复制代码

Future<void> write1234() async {
  await write([1, 2, 3, 4]);
}

write1234函数传入具体任务,执行后控制台会打印日志1234。

csharp 复制代码

Future<void> test1() async {
  stdout.writeln('not synchronized');
  //await Future.wait([write1234(), write1234()]);
  // ignore: unawaited_futures
  write1234();
  // ignore: unawaited_futures
  write1234();

  await Future<void>.delayed(const Duration(milliseconds: 50));
  stdout.writeln();
}

test1函数内部会执行两次write1234函数。控制台会打印:

复制代码

11223344

从打印日志看，第二次的任务并没有等待第一次的任务全部执行完成后再执行,而是两次任务交替执行了。

加锁的异步任务

同样的多个任务, 加锁后就可以保证各个任务同步执行了。

csharp 复制代码

Future<void> runSynchronized() async {
  stdout.writeln('synchronized');

  final lock = Lock();
  // this should print 12341234
  // ignore: unawaited_futures
  lock.synchronized(write1234);
  // ignore: unawaited_futures
  lock.synchronized(write1234);

  await Future<void>.delayed(const Duration(milliseconds: 50));

  stdout.writeln();
}

runSynchronized函数内部用同步锁Lock控制两个任务write1234。执行后, 控制台会打印:

12341234。

这样第二次任务就会等待第一个任务执行完成后再执行。