Компания Swift достигла безопасности гонки данных

Apple выпустила Swift 5.10, обновление для языка программирования с открытым исходным кодом компании, в котором достигнута важная веха: обеспечение безопасности от гонок данных за счет полной изоляции данных в модели параллелизма. Это улучшение готовит почву для запланированного выпуска Swift 6.

Бинарные файлы Swift 5.10, представленного 5 марта, можно найти на сайте swift.org для Windows, macOS и Linux.

Объясняя это событие, инженер Apple Swift Холли Борла сказала, что все более важным источником неопределенного поведения становится параллельный код, который случайно получает доступ к памяти из одного потока в то же время, когда другой поток записывает данные в ту же память. Такая небезопасность называется гонкой данных, что делает одновременные программы исключительно сложными для написания, отметила Борла. В Swift 5.10 после нескольких лет активной разработки наконец-то реализована полная изоляция данных для параллелизма. Модель параллелизма была представлена в Swift 5.5 в сентябре 2021 года.

По словам Борлы, Swift 5.10 обеспечивает полную изоляцию данных во время компиляции, когда включена опция полной проверки параллелизма. Это закладывает основу для Swift 6, в котором будет предложен опциональный режим языка Swift 6, обеспечивающий полную изоляцию данных по умолчанию. Тем временем Swift 5.10 будет выдавать предупреждения о data-race в некоторых случаях, когда код может быть признан безопасным с помощью дополнительного анализа компилятора.

По словам Борлы, ключевым направлением разработки языка Swift 6 является повышение удобства использования строгой проверки параллелизма путем уменьшения количества ложных срабатываний на ошибки параллелизма в распространенных паттернах, безопасность которых доказана. Структурированный параллелизм упоминался в качестве серверной цели для языка Swift.