はじめに
研究でintel MPKが搭載されたCPU購入するうえで、どのCPUにMPKが搭載されているのか判別する方法を調べました。
現在の開発環境に含まれるか調べる
Linux環境の場合、
lscpu | grep pku
もしくは
cat /proc/cpu | grep pku
でflagにpkuが含まれば、intel MPKが搭載されています。
ドキュメントから調べる
CPUを購入する際に、本当にPKRUが含まれるか?を調べるときは GCCが提供しているドキュメントのx86オプションが最も信憑性が高そうです。
先述項目と同様に、該当のアーキテクチャに pkuフラグが記載されていれば、intel MPKが搭載されていると判断して良さそうです。