Invention Grant
- Patent Title: Memory ordering annotations for binary emulation
-
Application No.: US17111340Application Date: 2020-12-03
-
Publication No.: US11379195B2Publication Date: 2022-07-05
- Inventor: Henry Morgan , Ten Tzen , Christopher Martin McKinsey , YongKang Zhu , Terry Mahaffey , Pedro Miguel Sequeira de Justo Teixeira , Arun Upadhyaya Kishan , Youssef M. Barakat
- Applicant: Microsoft Technology Licensing, LLC
- Applicant Address: US WA Redmond
- Assignee: Microsoft Technology Licensing, LLC
- Current Assignee: Microsoft Technology Licensing, LLC
- Current Assignee Address: US WA Redmond
- Agency: Workman Nydegger
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F8/41 ; G06F9/30

Abstract:
During source code compilation to a first processor instruction set architecture (ISA), a compiler encounters a memory ordering constraint specified in the source code. The compiler generates binary emulation metadata that is usable during emulation of emitted machine code instructions of the first ISA, in order to enforce the memory ordering constraint within corresponding machine code instructions of a second ISA. An emulator utilizes this binary emulation metadata during emulation of a resulting executable image at a processor implementing the second ISA. When the emulator encounters a machine code instruction in the image that performs a memory operation, it identifies an instruction memory address corresponding to the instruction. The emulator determines whether the binary emulation metadata identifies the instruction memory address as being associated with a memory ordering constraint. If so, the emulator emits machine code instruction(s) in the second ISA that perform the memory operation using a memory barrier.
Public/Granted literature
- US20210089282A1 MEMORY ORDERING ANNOTATIONS FOR BINARY EMULATION Public/Granted day:2021-03-25
Information query