Я бы ответил так:
- Асинхронность лучше там, где подразумевается много IO(input-output)
- Синхронность лучше там, где требуется производить "тяжелые" операции
Немного подробнее: давайте попробуем взглянуть на банальный сервер, который читает команды клиента и что-то отвечает клиенту.
Асинхронный путь выглядит в данном случае так:
- заводим event loop, ставящий задачи в очередь;
- дергаем указанный callback, когда какая-то задача выполнилась;
- обрабатываем этот event loop в один или несколько потоков.
Итак, представим себе, что callback - очень "тяжелая" функция, производит мощные расчеты и выполняется, например, секунду. Так вот, если наш event loop обрабатывается только одним потоком, и на сервер пришел один клиент, то в течение секунды наш сервер не сможет принимать входящие сообщения от других клиентов, пока event loop занят вычислением callback. Если event loop обрабатывается в 2 потока, то в таком случае два параллельно подключившихся клиента уже делают невозможным (на секунду) подключение третьего клиента. И так далее.
Эта проблема, в принципе, имеет решение. Можно "тяжелые" задачи тоже выполнять асинхронно, но для этого потребуется еще один пул потоков, специально под эти "тяжелые" задачи, и потребуется наладить взаимодействие между двумя пулами потоков. А это уже - не так-то просто и, насколько я знаю, прямо из коробки такого функционала нету в асинхронных фреймворках.
Кроме того, с числом потоков тут тоже надо не переборщить, иначе можно получить серьезную деградацию производительности.
На этом же примере видно преимущество синхронного пути. Мы, например, просто форкаем сервер для каждого нового клиента (самое простое), и в этом процессе-форке синхронно читаем команду, потом выполняем вычисления, потом отвечаем клиенту и завершаем работу. Никаких дополнительных сложностей не возникает..по крайней мере до тех пор, пока нам будет хватать памяти на сервере, чтобы держать в памяти копию сервера на каждого клиента :)
PS: Надеюсь, сущности типа callback и event loop не вызывают вопросов - это, в общем, основы асинхронного программирования, и я не расписывал подробно, что это. В некоторых фреймворках это может быть настолько глубоко спрятано, что может вызывать ложные представления о работе программы.