タグ「並行処理」の記事
「並行処理」タグが付いた記事の一覧です(3件)。新しい順に掲載しています。
-
Ada と Rust の安全性の考え方の違い ── 型・オーバーフロー・所有権・データ競合・形式検証を実際に動かして比べる
Ada と Rust はどちらも安全性を重視する言語ですが、誤りを止める場所が違います。値の範囲、整数オーバーフロー、メモリ、データ競合、検査を外す仕組み、形式検証の6点を、GNAT・GNATprove・rustc で実際に動かして比べます。
-
Ada 2022 の新しい機能 ── GNAT で動くものと、まだ書けない並列構文
Ada 2022で加わった宣言式、差分集成体、全型の'Image、'Reduce、Big_Integers、Jorvikプロファイルを、GNAT 13.3と15.3で動かした結果とともに説明します。並列ブロックと並列ループはGNATでは受け付けられませんでした。
-
Adaにおける安全な並行処理 ── タスクと保護オブジェクトの実践ガイド
Adaの言語組み込み並行処理であるタスクと保護オブジェクトの入門記事です。ランデブー(entry/accept)、選択的アクセプト、保護オブジェクトによる排他制御、タイムアウト付き呼び出し、タスク優先度まで整理します。