保護された手順

コンピュータサイエンスにおいて、保護された手続きの概念は、 1965年に保護されたサービスルーチンとして初めて導入されました^{[ 1 ]} 。これは、2つの計算AとBが同じルーチンSを使用する場合に必要です。保護された手続きとは、2つの計算の1つの誤動作が、もう1つの計算の誤った実行を引き起こすことが不可能な手続きです。^{[ 2 ]}

^{デニスとヴァンホーンの（仮想的な）システム「スーパーバイザー」 [ 2 ]}の最も重要な側面の1つは、保護された手順の説明が含まれていることです。^{[ 3 ]}

グローバル環境システム (共有変数が存在する)では、保護されたプロシージャ メカニズムによって、最小権限の原則を適用し、リソース管理における副作用を回避することができます(デニングの原則を参照)。

脚注

1. デニス 65
2. デニス 66
3. レヴィ84、pp.46-6

参考文献

• Dennis, JB、Glasee, E.オンライン情報処理システムの構造. 情報システム科学：第2回会議議事録、Spartan Books、ボルチモア、1965年、pp. 1–11
• JB DennisとEC Van Horn .多重プログラム計算のためのプログラミングセマンティクス. Communications of the ACM 9(3), 1966年3月.
• レヴィ、ヘンリー・M. (1984). 「3.ケイパビリティベース・コンピュータシステム」 マサチューセッツ州メイナード: デジタル・プレス. ISBN 0-932376-22-3。