分岐命令

LiteXのLiteScopeではどうにも細かい信号を取得することができないので、Xilinxの純正の波形のデバッグツールであるILA(Integrated Logic Analyzer)を使って内部の信号を観察する方法を見てみる。 一応、一歩ずつ問題を特定しているが、まだまだ動いていない。 分岐命令のオペランドがReadyにならずに、命令がデッドロックしている。 一応リネーム・マップを確認すると、Readyになっているのでこれがうまく伝搬していない。 これも要解析だな。

応用情報の過去問を解いた時のメモ ディスプレイ 有機EL：電圧、発光素子 ブラウン管：電子ビーム 液晶：透過する光 プラズマディスプレイ：放電、紫外線、蛍光体 略語（言語） DDL：Data Definition Language。データベースの定義に使われるSQL。 HDL：Hardware Description Language。デジタル回路の構成を文章で記述。FPGA、直接論理構成 UML：Unified Modeling Language。オブジェクト指向開発。 XML：eXtended Markup Language。システム間のデータ交換。利用者が自由に定義。 DisplayPo…

パイプラインの性能を向上させるための技法の一つで，分岐条件の結果が決定する前に，分岐先を予測して命令を実行するものはどれか。 アウトオブオーダー実行 遅延分岐 投機実行 レジスタリネーミング 解答・解説 (adsbygoogle = window.adsbygoogle || []).push({}); 解答 ウ 解説 アウトオブオーダー実行アウトオブオーダー実行は、命令の実行順を本来の順序に縛られずに準備が整ったものから次々実行していく方式です。 遅延分岐遅延分岐は、条件分岐命令の直後に、分岐判定に関係なく実行される命令を配置することで、パイプラインの空転を防止する方式です。 投機実行正しい…

はじめに 基礎技術研究部リサーチ・エンジニアの加藤です。 2023 年 11 月 8, 9 日の 2 日間に亘って開催された CODE BLUE 2023 に参加しました。 本記事では、私が聴講した講演の中から特に興味を惹かれた「シンボリック実行とテイント解析による WDM ドライバーの脆弱性ハンティングの強化」を紹介します。この講演は発表者の Zeze Lin 氏によってスライドが公開されているため、そちらもご参照ください。 この発表で扱われたツールは "IOCTLance" と呼ばれ、検証に使われたドライバーのデータセットなどと共にソースコードが GitHub で公開されています。本記事で…

Weak Memory Modelについてもう少し知識をつけたかったので、論文を読んでみることにした。 arxiv.org 基本的にDeepLに翻訳してもらったものを、自分で読み直しながら直しているだけなので、自分でまとめているわけではない。 冗長なのは無編集でブログに貼っている、ということで。 II. 背景と関連研究 A. メモリモデルの形式的定義 ここでは、SC[31]を例にして、操作的定義と公理的定義の概念を説明する。 SCの運用上の定義：図1はSCの抽象的なマシンを示しており、すべてのプロセッサはモノリシック・メモリに直接接続されている。このマシンの動作は単純で、1ステップで任意のプロ…

作業環境 始まり FaceShadowとは FaceShadowノードを組んでいく 最近は Named Reroute Declaration が推し 法線 / World Normal ライトベクトル / Light Vector 通常の陰 / NoL カメラベクトル 顔の前方ベクトル 顔の右ベクトル 球形UV / Sphere UV 顔陰の閾値 / Face Shadow Texture 顔陰 顔陰と通常陰のブレンド 完成!!! おわり!!! 参考 作業環境 Windows 10 Visual Studio 2022 Visual Studio Code Unreal Engine 5.3…

応用情報の勉強で得た知識のメモ。 間違った解釈や補足などあったらコメントください。 MA法 NAND回路のみで論理回路を実装する方法 FPGA ユーザーが自由に設計できるLSI。機能の記述（ハードウェア記述言語）、論理合成（回路への変換）、配置配線のステップで実装される。 SystemC C++をベースとしたシステムレベル記述言語でハードウェア記述言語より抽象的。ソフトウェアとハードウェアを一貫して記述できるためハードとソフトの整合性がとりやすい。 IPコア SoCなどの構成に使われ、再利用可能である。ソフトウェアでのライブラリに相当する。 ダイナミック電力 回路ブロックのスイッチングにより消…

※This page uses affiliate advertising. ※本ページは、アフィリエイト広告を利用しています。 Amazon.co.jp: Amazon Prime Amazon.co.jp: Prime Student - 学生のためのお得なプログラム Kindle Unlimitedにサインアップして無料体験に登録する Amazon.co.jp: Amazon Music Unlimited Amazon.co.jp: Audibleオーディオブック 多重プログラミングと割り込みについてわかりやすく解説 ｜はじめに １．多重（マルチ）プログラミングの概要について ①多重プ…

この記事は自作CPU Advent Calendar 2023の24日目の記事です。 みなさんが使っているパソコンのCPUは、そのほとんどがアウトオブオーダー実行をしているはずです。 しかし、アウトオブオーダーCPUの作り方が書かれた教科書はあまりないような気がします。 トマスロのアルゴリズムというものが紹介されることもありますが、これは現代のアウトオブオーダー実行方式とはかなり違います。 この記事では、より洗練された現代的なアウトオブオーダー実行をするプロセッサを作ってみます。 全体的な構成 今回作るプロセッサは、FPGA上で動き、RV32IZmmul命令セットを動かすことができます。 東大…

モデルおよびBOOMv3に比べてどうも分岐予測の精度が悪い気がしているので、いろいろと調査していた。 もうちょっと外乱に強いように、いろいろ変更する。結構外乱の要因として大きいのが、フェッチステージから命令バッファに入るときに、命令バッファが満杯の時はそのフェッチ・リクエストは破棄される。この時もグローバル履歴のテーブルをもとに戻さなくていけなくて、こういう処理も結構大変だった。 一応、ほとんどの場合においてグローバル履歴テーブルは汚れなくなったが、もうちょっといろいろケアしてやる必要がある。 もう一つは、RASの扱いだ。現在RASによる予測はもうちょっと遅れたステージで予測しているので、ちょ…

モデルおよびBOOMv3に比べてどうも分岐予測の精度が悪い気がしているので、いろいろと調査していた。 どうしてもモデルとの比較結果が異なるので、もうちょっと考え直さないとだめだ。 F1ステージによるuBTBによる分岐予測 F1ステージでBTBアクセスによる分岐情報の抜き出し F2ステージによるGshareの分岐予測 Gshareの分岐予測はF1ステージでのBTBの取得情報に基づく F2ステージにおいて、GshareとuBTBの結果が異なる場合、Gshareを優先させる Gshareの予測： 512-bitのキャッシュラインが存在していたとすると、512/16=32個の分岐命令が入る余地がある。…