1. 程式人生 > >2018-2019-1 20165303 《信息安全系統設計基礎》第四周學習總結

2018-2019-1 20165303 《信息安全系統設計基礎》第四周學習總結

路徑 必須 執行 信息安全系統 矛盾 系統 總結 整數 技術分享

程序員可見狀態

  • Y86-64程序中的每條指令都會讀取或修改處理器狀態的某些部分。這稱為程序員可見狀態,這裏的程序員既可以是用匯編代碼寫程序的人,也可以是產生機器級代碼的編譯器。
    技術分享圖片

    Y86-64指令

  • X86-64的movq指令分成了四個不同的指令,irmovq,rrmovq,mrmovq,rmmovq,分別顯示地指明源和目的的格式。
  • 有四個整數操作指令 addq subq andq xorq,只對寄存器數據進行操作。
  • 有七個跳轉指令,jmp、jle、jl、je、jne、jge和jg
  • 有六個條件傳送指令cmovle、cmovl、cmove、cmovne、cmovge和cmovg
  • call指令將返回地址入棧,然後跳到目的地址
  • pushq和popq指令實現了入棧和出棧
  • halt指令停止指令的執行。

技術分享圖片

Y86-64指令集的功能碼

技術分享圖片

Y86-64程序寄存器標識符

技術分享圖片

邏輯門

技術分享圖片

  • 組合電路有幾個限制
    每個邏輯門的輸入必須鏈接到下述選項之一1.一個系統輸入2.某個存儲器單元的輸出3.某個邏輯門的輸出
    兩個或多個邏輯門的輸出不能連在一起。否則它們可能會導致線上的信號矛盾,可能會導致一個不合法的電壓或電路故障。
    這個網必須是無環的,也就是在網中不能有路徑經過一系列的門而形成一個回路,這樣的回路會導致該網絡計算的函數有歧義。
    技術分享圖片

    Y86-64的順序實現

  • 取指
  • 譯碼
  • 執行
  • 訪問
  • 寫回
  • 更新pc
    技術分享圖片

2018-2019-1 20165303 《信息安全系統設計基礎》第四周學習總結