JP2010532053A - 仮想化とエミュレーションを促すトランザクションメモリーハードウェアの活用 - Google Patents
仮想化とエミュレーションを促すトランザクションメモリーハードウェアの活用 Download PDFInfo
- Publication number
- JP2010532053A JP2010532053A JP2010514968A JP2010514968A JP2010532053A JP 2010532053 A JP2010532053 A JP 2010532053A JP 2010514968 A JP2010514968 A JP 2010514968A JP 2010514968 A JP2010514968 A JP 2010514968A JP 2010532053 A JP2010532053 A JP 2010532053A
- Authority
- JP
- Japan
- Prior art keywords
- guest
- computer
- memory hardware
- program counter
- dispatch table
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45533—Hypervisors; Virtual machine monitors
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
- G06F9/45516—Runtime code conversion or optimisation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/466—Transaction processing
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Memory System Of A Hierarchy Structure (AREA)
- Advance Control (AREA)
Abstract
Description
Claims (20)
- 状態の分離を促進するためのトランザクションメモリーハードウェアを使用する方法であって、
トランザクションメモリーハードウェア上で分離された非公開ステートにアクセスするステップ(312)と、
前記分離された非公開ステートにおいてエミュレーションを実行するホストのスタックを記憶するステップ(314)と
を含むことを特徴とする方法。 - 前記分離された非公開ステートがCPUからのみ可視である(312)ことを特徴とする請求項1に記載の方法。
- 前記分離された非公開ステートが、エミュレートされたゲストが確実に前記ホストのスタックにアクセスしないようにする(316)ことを特徴とする請求項2に記載の方法。
- 前記分離された非公開ステートが別のCPUまたはハードウェアデバイスからアクセスすることができない(316)ことを特徴とする請求項2に記載の方法。
- 前記分離された非公開ステートによって、ホストがスタックをバッファモードに保つことができるようにする(314)ことを特徴とする請求項1に記載の方法。
- 前記バッファモードによって負担のかかるランタイムチェックを回避させる(314)ことを特徴とする請求項5に記載の方法。
- 前記分離された非公開ステートは破棄することができない(248)ことを特徴とする請求項1に記載の方法。
- CPUが前記非公開ステートを破棄したとき、前記CPUからのメモリーの見え方が最新のアーキテクチャ状態に戻る(252)ことを特徴とする請求項7に記載の方法。
- コンピューターに請求項1に記載のステップを実行させる、コンピューターが実行可能な命令が記録されているコンピューター可読メディア(200)。
- コンピューターに、
エミュレートされたゲストが前記ゲストのコードシーケンスを自己書き換えを検出するように、CPUによって実行されたメモリーアクセスを監視するステップ(344)と、
前記コードシーケンスの自己書き換えの検出に基づいて適切な動作を行うステップ(346)と
を実行させるためのコンピューターが実行可能な命令が記録されているメディア。 - 前記適切な動作は、前記ゲストによって行われた自己書き換えを組み込むための、前記コードシーケンスの再コンパイルを含む(346)ことを特徴とする請求項10に記載のコンピューター可読のメディア。
- 前記適切な動作は、変更された前記コードシーケンス用にマシンの命令の解釈へ切り替えを行うことを含む(346)ことを特徴とする、請求項10に記載のコンピューター可読のメディア。
- 別のCPUからメモリーへアクセスを検出することができる(344)ことを特徴とする請求項10に記載のコンピューター可読のメディア。
- マルチスレッド環境においてディスパッチテーブルの更新を容易にするトランザクションメモリーハードウェアを使用する方法であって、
トランザクションメモリーハードウェアを用いてCPUにアクセスできるようにし、前記トランザクションメモリーハードウェアがアトミックなコミットの機能を含むステップ(372)と、
ゲストプログラムカウンタをホストプログラムカウンタに変換する、メインメモリーに保存されているディスパッチテーブルを使用するエミュレータを提供するステップ(374)と、
前記ディスパッチテーブルが特定のゲストプログラムカウンタのための特定のホストプログラムカウンタを含んでいるかを調べるために前記ディスパッチテーブルにアクセスするステップ(376)と
を含むことを特徴とする方法。 - 前記特定のゲストプログラムカウンタのための前記特定のホストプログラムカウンタが見つからないとき、ゲストコードの関連するブロックをコンパイルするステップ(378)を含む請求項14に記載の方法。
- 前記トランザクションメモリーハードウェアのアトミックなコミットの機能を活用することによって、前記ディスパッチテーブルをアトミックな方法で更新する(380)ことを特徴とする請求項15に記載の方法。
- 前記ディスパッチテーブルを最小限のオーバーヘッドで更新する(380)ことを特徴とする、請求項16に記載の方法。
- 前記エミュレータがマルチスレッド環境において提供される(374)ことを特徴とする請求項14に記載の方法。
- 複数のほかのCPUに同時に使用されている間に、オーバーヘッドをロックすることなく、前記CPUによって前記ディスパッチテーブルを更新できる(380)ことを特徴とする請求項18に記載の方法。
- コンピューターに請求項14に記載のステップを実行させる、コンピューター実行可能な命令が記録されているコンピューター可読のメディア(200)。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/823,224 US9043553B2 (en) | 2007-06-27 | 2007-06-27 | Leveraging transactional memory hardware to accelerate virtualization and emulation |
PCT/US2008/067146 WO2009002755A2 (en) | 2007-06-27 | 2008-06-16 | Leveraging transactional memory hardware to accelerate virtualization and emulation |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2010532053A true JP2010532053A (ja) | 2010-09-30 |
Family
ID=40162121
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010514968A Pending JP2010532053A (ja) | 2007-06-27 | 2008-06-16 | 仮想化とエミュレーションを促すトランザクションメモリーハードウェアの活用 |
Country Status (6)
Country | Link |
---|---|
US (1) | US9043553B2 (ja) |
EP (3) | EP2168044A4 (ja) |
JP (1) | JP2010532053A (ja) |
CN (1) | CN101689154B (ja) |
TW (1) | TWI467373B (ja) |
WO (1) | WO2009002755A2 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9495225B2 (en) | 2012-10-24 | 2016-11-15 | International Business Machines Corporation | Parallel execution mechanism and operating method thereof |
Families Citing this family (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8266387B2 (en) * | 2007-06-27 | 2012-09-11 | Microsoft Corporation | Leveraging transactional memory hardware to accelerate virtualization emulation |
US9043553B2 (en) | 2007-06-27 | 2015-05-26 | Microsoft Technology Licensing, Llc | Leveraging transactional memory hardware to accelerate virtualization and emulation |
US8176253B2 (en) * | 2007-06-27 | 2012-05-08 | Microsoft Corporation | Leveraging transactional memory hardware to accelerate virtualization and emulation |
CN102467461A (zh) * | 2010-11-01 | 2012-05-23 | 财团法人工业技术研究院 | 存储器仿真方法、装置以及模型产生器 |
JP5681473B2 (ja) | 2010-12-15 | 2015-03-11 | インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation | プログラムの最適化装置、最適化方法および最適化プログラム |
KR20150008739A (ko) * | 2013-07-15 | 2015-01-23 | 주식회사 케이티 | 개인화된 비디오 기반의 화면을 제공하는 서버 및 방법, 그리고 디바이스 |
US9697040B2 (en) * | 2014-03-26 | 2017-07-04 | Intel Corporation | Software replayer for transactional memory programs |
US9928064B2 (en) | 2015-11-10 | 2018-03-27 | International Business Machines Corporation | Instruction stream modification for memory transaction protection |
US9928117B2 (en) * | 2015-12-11 | 2018-03-27 | Vivante Corporation | Hardware access counters and event generation for coordinating multithreaded processing |
CN118069374B (zh) * | 2024-04-18 | 2024-06-18 | 清华大学 | 数据中心智能训练仿真事务加速方法、装置、设备及介质 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH076045A (ja) * | 1993-06-15 | 1995-01-10 | Nippon Telegr & Teleph Corp <Ntt> | 多重処理システムにおけるメモリ管理方法 |
WO2006039174A1 (en) * | 2004-09-30 | 2006-04-13 | Intel Corporation | Hybrid hardware and software implementation of transactional memory access |
JP2006107494A (ja) * | 2004-09-30 | 2006-04-20 | Intel Corp | 仮想メモリを利用したトランザクショナルメモリ実行 |
Family Cites Families (35)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5428761A (en) * | 1992-03-12 | 1995-06-27 | Digital Equipment Corporation | System for achieving atomic non-sequential multi-word operations in shared memory |
EP0570646A1 (en) | 1992-05-18 | 1993-11-24 | Advanced Computer Research Institute S.A.R.L. | Method for processor simulation |
US5832205A (en) * | 1996-08-20 | 1998-11-03 | Transmeta Corporation | Memory controller for a microprocessor for detecting a failure of speculation on the physical nature of a component being addressed |
KR20010020250A (ko) * | 1997-05-08 | 2001-03-15 | 코야마 리오 | 객체 지향의 프로그래밍 언어를 위한 하드웨어 가속기 |
US5940838A (en) * | 1997-07-11 | 1999-08-17 | International Business Machines Corporation | Parallel file system and method anticipating cache usage patterns |
US6360231B1 (en) * | 1999-02-26 | 2002-03-19 | Hewlett-Packard Company | Transactional memory for distributed shared memory multi-processor computer systems |
US7058932B1 (en) * | 1999-04-19 | 2006-06-06 | Unisys Corporation | System, computer program product, and methods for emulation of computer programs |
US6516295B1 (en) | 1999-06-30 | 2003-02-04 | Bull Hn Information Systems Inc. | Method and apparatus for emulating self-modifying code |
US6748457B2 (en) * | 2000-02-03 | 2004-06-08 | Realtime Data, Llc | Data storewidth accelerator |
US7017160B2 (en) * | 2000-04-18 | 2006-03-21 | Sun Microsystems, Inc. | Concurrent shared object implemented using a linked-list with amortized node allocation |
US7620731B1 (en) * | 2001-02-21 | 2009-11-17 | Microsoft Corporation | Isolated persistent storage |
US6775727B2 (en) * | 2001-06-23 | 2004-08-10 | Freescale Semiconductor, Inc. | System and method for controlling bus arbitration during cache memory burst cycles |
WO2003040919A2 (en) * | 2001-11-07 | 2003-05-15 | Sap Aktiengesellschaft | Providing isolation through process attachable virtual machines |
WO2003060705A2 (en) * | 2002-01-11 | 2003-07-24 | Sun Microsystems, Inc. | Lock-free implementation of dynamic-sized shared data structure |
US7281017B2 (en) * | 2002-06-21 | 2007-10-09 | Sumisho Computer Systems Corporation | Views for software atomization |
US7395274B2 (en) * | 2002-07-16 | 2008-07-01 | Sun Microsystems, Inc. | Space- and time-adaptive nonblocking algorithms |
US7089374B2 (en) * | 2003-02-13 | 2006-08-08 | Sun Microsystems, Inc. | Selectively unmarking load-marked cache lines during transactional program execution |
US6938130B2 (en) * | 2003-02-13 | 2005-08-30 | Sun Microsystems Inc. | Method and apparatus for delaying interfering accesses from other threads during transactional program execution |
US7376949B2 (en) * | 2003-10-01 | 2008-05-20 | Hewlett-Packard Development Company, L.P. | Resource allocation and protection in a multi-virtual environment |
US20050086446A1 (en) * | 2003-10-04 | 2005-04-21 | Mckenney Paul E. | Utilizing software locking approach to execute code upon failure of hardware transactional approach |
US7558723B2 (en) | 2003-12-12 | 2009-07-07 | Microsoft Corporation | Systems and methods for bimodal device virtualization of actual and idealized hardware-based devices |
US7526616B2 (en) * | 2004-03-22 | 2009-04-28 | International Business Machines Corporation | Method and apparatus for prefetching data from a data structure |
US7617438B2 (en) * | 2004-04-15 | 2009-11-10 | International Business Machines Corporation | Method and apparatus for supporting checksum offload in partitioned data processing systems |
US7299372B2 (en) * | 2004-08-05 | 2007-11-20 | International Business Machines Corporation | Hierarchical management for multiprocessor system with real-time attributes |
US7984248B2 (en) * | 2004-12-29 | 2011-07-19 | Intel Corporation | Transaction based shared data operations in a multiprocessor environment |
US8402224B2 (en) | 2005-09-20 | 2013-03-19 | Vmware, Inc. | Thread-shared software code caches |
US7444276B2 (en) * | 2005-09-28 | 2008-10-28 | Liga Systems, Inc. | Hardware acceleration system for logic simulation using shift register as local cache |
US7809903B2 (en) | 2005-12-15 | 2010-10-05 | Intel Corporation | Coordinating access to memory locations for hardware transactional memory transactions and software transactional memory transactions |
US7899661B2 (en) * | 2006-02-16 | 2011-03-01 | Synopsys, Inc. | Run-time switching for simulation with dynamic run-time accuracy adjustment |
US7617421B2 (en) * | 2006-07-27 | 2009-11-10 | Sun Microsystems, Inc. | Method and apparatus for reporting failure conditions during transactional execution |
US7865885B2 (en) * | 2006-09-27 | 2011-01-04 | Intel Corporation | Using transactional memory for precise exception handling in aggressive dynamic binary optimizations |
US8522223B2 (en) * | 2006-11-22 | 2013-08-27 | Intel Corporation | Automatic function call in multithreaded application |
US9043553B2 (en) | 2007-06-27 | 2015-05-26 | Microsoft Technology Licensing, Llc | Leveraging transactional memory hardware to accelerate virtualization and emulation |
US8266387B2 (en) * | 2007-06-27 | 2012-09-11 | Microsoft Corporation | Leveraging transactional memory hardware to accelerate virtualization emulation |
US8176253B2 (en) * | 2007-06-27 | 2012-05-08 | Microsoft Corporation | Leveraging transactional memory hardware to accelerate virtualization and emulation |
-
2007
- 2007-06-27 US US11/823,224 patent/US9043553B2/en active Active
-
2008
- 2008-06-06 TW TW97121218A patent/TWI467373B/zh not_active IP Right Cessation
- 2008-06-16 EP EP08771214A patent/EP2168044A4/en not_active Ceased
- 2008-06-16 CN CN200880022394.3A patent/CN101689154B/zh active Active
- 2008-06-16 JP JP2010514968A patent/JP2010532053A/ja active Pending
- 2008-06-16 WO PCT/US2008/067146 patent/WO2009002755A2/en active Application Filing
- 2008-06-16 EP EP13158993.9A patent/EP2605135A1/en not_active Ceased
- 2008-06-16 EP EP13158994.7A patent/EP2605136A1/en not_active Ceased
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH076045A (ja) * | 1993-06-15 | 1995-01-10 | Nippon Telegr & Teleph Corp <Ntt> | 多重処理システムにおけるメモリ管理方法 |
WO2006039174A1 (en) * | 2004-09-30 | 2006-04-13 | Intel Corporation | Hybrid hardware and software implementation of transactional memory access |
JP2006107494A (ja) * | 2004-09-30 | 2006-04-20 | Intel Corp | 仮想メモリを利用したトランザクショナルメモリ実行 |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9495225B2 (en) | 2012-10-24 | 2016-11-15 | International Business Machines Corporation | Parallel execution mechanism and operating method thereof |
Also Published As
Publication number | Publication date |
---|---|
WO2009002755A3 (en) | 2009-02-19 |
TW200907679A (en) | 2009-02-16 |
US9043553B2 (en) | 2015-05-26 |
EP2605135A1 (en) | 2013-06-19 |
WO2009002755A2 (en) | 2008-12-31 |
TWI467373B (zh) | 2015-01-01 |
EP2605136A1 (en) | 2013-06-19 |
EP2168044A2 (en) | 2010-03-31 |
CN101689154B (zh) | 2013-12-25 |
US20090006750A1 (en) | 2009-01-01 |
CN101689154A (zh) | 2010-03-31 |
EP2168044A4 (en) | 2010-07-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2010532054A (ja) | 仮想化とエミュレーションを促すトランザクションメモリーハードウェアの活用 | |
JP2010532053A (ja) | 仮想化とエミュレーションを促すトランザクションメモリーハードウェアの活用 | |
US8266387B2 (en) | Leveraging transactional memory hardware to accelerate virtualization emulation | |
US10318322B2 (en) | Binary translator with precise exception synchronization mechanism | |
US8078854B2 (en) | Using register rename maps to facilitate precise exception semantics | |
US8959277B2 (en) | Facilitating gated stores without data bypass | |
US8424015B2 (en) | Transactional memory preemption mechanism | |
US10474369B2 (en) | Mapping guest pages to disk blocks to improve virtual machine management processes | |
US9053065B2 (en) | Method for restoring virtual machine state from a checkpoint file | |
US20100153776A1 (en) | Using safepoints to provide precise exception semantics for a virtual machine | |
US8448022B1 (en) | Fault recovery to a call stack position stored in thread local storage | |
US9053064B2 (en) | Method for saving virtual machine state to a checkpoint file | |
TWI786181B (zh) | 在例外遮罩更新指令之後允許未中止的交易處理 | |
US20160306643A1 (en) | Enabling Filter-Level Access to Virtual Disks | |
JP6634083B2 (ja) | データ処理装置におけるシステムエラー処理 | |
EP2176761A1 (en) | Object model for transactional memory | |
CN111164572A (zh) | 在具有事务性存储器支持的***中检查事务的锁定变量 | |
US10922128B1 (en) | Efficiently managing the interruption of user-level critical sections | |
Aksenov et al. | Execution of nvram programs with persistent stack | |
JP2020535513A (ja) | トランザクションのネスト深さテスト命令 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110516 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20121205 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20121214 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20130314 |
|
RD03 | Notification of appointment of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7423 Effective date: 20130701 |
|
RD04 | Notification of resignation of power of attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7424 Effective date: 20130717 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20131105 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20140219 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20140226 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140430 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20140714 |
|
A912 | Re-examination (zenchi) completed and case transferred to appeal board |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20140808 |
|
A711 | Notification of change in applicant |
Free format text: JAPANESE INTERMEDIATE CODE: A711 Effective date: 20150512 |