JP2016528638A - ランタイムメモリスロットリング - Google Patents
ランタイムメモリスロットリング Download PDFInfo
- Publication number
- JP2016528638A JP2016528638A JP2016534581A JP2016534581A JP2016528638A JP 2016528638 A JP2016528638 A JP 2016528638A JP 2016534581 A JP2016534581 A JP 2016534581A JP 2016534581 A JP2016534581 A JP 2016534581A JP 2016528638 A JP2016528638 A JP 2016528638A
- Authority
- JP
- Japan
- Prior art keywords
- memory
- calls
- policy
- code
- call
- 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.)
- Granted
Links
- 230000008859 change Effects 0.000 claims abstract description 5
- 230000004044 response Effects 0.000 claims abstract description 5
- 238000000034 method Methods 0.000 claims description 58
- 230000004048 modification Effects 0.000 claims description 5
- 238000012986 modification Methods 0.000 claims description 5
- 230000000977 initiatory effect Effects 0.000 claims 1
- 230000006870 function Effects 0.000 description 18
- 238000013515 script Methods 0.000 description 10
- 238000007726 management method Methods 0.000 description 6
- 230000003068 static effect Effects 0.000 description 6
- 238000004891 communication Methods 0.000 description 4
- 230000008569 process Effects 0.000 description 3
- 238000010586 diagram Methods 0.000 description 2
- 230000007246 mechanism Effects 0.000 description 2
- 230000009466 transformation Effects 0.000 description 2
- 238000000844 transformation Methods 0.000 description 2
- 230000002411 adverse Effects 0.000 description 1
- 238000011109 contamination Methods 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000007723 transport mechanism Effects 0.000 description 1
- 230000001960 triggered effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/42—Syntactic analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/47—Retargetable compilers
-
- 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
- G06F9/4552—Involving translation to a different instruction set architecture, e.g. just-in-time translation in a JVM
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2209/00—Indexing scheme relating to G06F9/00
- G06F2209/50—Indexing scheme relating to G06F9/50
- G06F2209/504—Resource capping
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
Description
本願は、2013年8月15日付けで提出された仮特許出願番号第61/866,223号の優先権を主張し、その内容を引用によって本明細書に援用する。
一実施形態は、概してコンピュータシステムに、特にソフトウェア命令をコンパイルするコンピュータシステムに向けられる。
すべての種類のコンピュータシステムについて、メモリは限定されたリソースであり得る。コンピューティングシステムがどれほど高速になっても、ソフトウェアアプリケーションを実行するために有限量のメモリに常に依存している。その結果、ソフトウェア開発者は、ソフトウェアアプリケーションを書込んだり開発するときには、利用可能なメモリリソースを典型的に考慮する。
一実施形態は、ソフトウェアコードのコンパイルの開始に応答して構文ツリーを受取るとメモリ管理ポリシーを実行時(runtime)に実現するシステムである。システムは、構文ツリー内の複数のコールを識別し、各複数のコールを対応するメモリ変更済みコールにより変更して、複数のメモリ変更済みコールを作成する。各メモリ変更済みコールはメモリ管理クラスとリンクされ、変更は、ソフトウェアコードのコンパイル中に生じる。複数のコールの各々の変更に引続いて、システムは、複数のメモリ変更済みコールをコンパイルしてバイトコードを生成する。
一実施形態は、メモリ内のプログラムをコンパイルしつつ、新たなオブジェクトを作成するすべてのコールを遮断し、JAVA VMメモリの注意事項/制約に鑑みて新たなオブジェクトを作成することができるかどうかをメモリポリシーに基づいて判定する。新たなオブジェクトの作成がメモリに悪影響を与えない場合は、オブジェクトを作成することができる。メモリ内オブジェクトの意図しない制御不能な作成(run-away creation)を阻止することによって、実施形態は、マルチユーザサーバ上で実行されるスクリプトをエンドユーザが入力することが可能となるシステムの安定性および性能を著しく向上させる。
Claims (21)
- 命令が格納されたコンピュータ読取可能媒体であって、前記命令は、プロセッサによって実行されると、前記プロセッサにメモリ管理ポリシーを実行時に実現させ、前記実現は、
ソフトウェアコードのコンパイルの開始に応答して構文ツリーを受取ることと、
前記構文ツリー内の複数のコールを識別することと、
複数のメモリ変更済みコールを作成するために、前記複数のコールの各々を対応するメモリ変更済みコールにより変更することとを含み、各メモリ変更済みコールはメモリ管理クラスとリンクされ、前記変更することは、前記ソフトウェアコードのコンパイル中に生じ、さらに、
前記複数のコールの各々の変更に引続いて、前記複数のメモリ変更済みコールをコンパイルしてバイトコードを生成することを含む、コンピュータ読取可能媒体。 - 前記複数のメモリ変更済みコールをコンパイルすることは、
メモリ変更済みコールを実行することと、
前記メモリ変更済みコールがメモリポリシーを満たすかどうかを判定することと、
前記メモリ変更済みコールがメモリポリシーを満たさない場合、メモリ例外を生成することとを含む、請求項1に記載のコンピュータ読取可能媒体。 - 前記実現はさらに、前記メモリ変更済みコールがメモリポリシーを満たさない場合、前記バイトコードの生成を停止させることを含む、請求項2に記載のコンピュータ読取可能媒体。
- 前記変更することは、コンパイルされていないソフトウェアコードに1つ以上のアノテーションを付加することを含み、前記アノテーションは、操作クラスが呼出されるべきであることを示す、請求項1に記載のコンピュータ読取可能媒体。
- 前記コンパイルされていないコードは、GROOVY言語として書込まれる、請求項1に記載のコンピュータ読取可能媒体。
- 前記バイトコードは、JAVA仮想マシンによってマシンコードに変換される、請求項1に記載のコンピュータ読取可能媒体。
- 前記メモリポリシーは、JAVAメモリ制約に基づく、請求項2に記載のコンピュータ読取可能媒体。
- 前記ソフトウェアコードは、リモートの相手から受取られる、請求項1に記載のコンピュータ読取可能媒体。
- メモリ管理ポリシーを実行時に実現する方法であって、当該方法は、
ソフトウェアコードのコンパイルの開始に応答して構文ツリーを受取ることと、
前記構文ツリー内の複数のコールを識別することと、
複数のメモリ変更済みコールを作成するために、前記複数のコールの各々を対応するメモリ変更済みコールにより変更することとを含み、各メモリ変更済みコールはメモリ管理クラスとリンクされ、前記変更することは、前記ソフトウェアコードのコンパイル中に生じ、さらに、
前記複数のコールの各々の変更に引続いて、前記複数のメモリ変更済みコールをコンパイルしてバイトコードを生成することを含む、方法。 - 前記複数のメモリ変更済みコールをコンパイルすることは、
メモリ変更済みコールを実行することと、
前記メモリ変更済みコールがメモリポリシーを満たすかどうかを判定することと、
前記メモリ変更済みコールがメモリポリシーを満たさない場合、メモリ例外を生成することとを含む、請求項9に記載の方法。 - 前記実現はさらに、前記メモリ変更済みコールがメモリポリシーを満たさない場合、前記バイトコードの生成を停止させることを含む、請求項9に記載の方法。
- 前記変更することは、コンパイルされていないソフトウェアコードに1つ以上のアノテーションを付加することを含み、前記アノテーションは、操作クラスが呼出されるべきであることを示す、請求項9に記載の方法。
- 前記コンパイルされていないコードは、GROOVY言語として書込まれる、請求項9に記載の方法。
- 前記バイトコードは、JAVA仮想マシンによってマシンコードに変換される、請求項9に記載の方法。
- 前記メモリポリシーは、JAVAメモリ制約に基づく、請求項10に記載の方法。
- ソフトウェアコンパイラであって、
プロセッサと、
前記プロセッサに結合され、前記プロセッサによって実行されるとモジュールを生成する命令を格納するメモリ装置とを備え、前記モジュールは、
ソフトウェアコードのコンパイルの開始に応答して構文ツリーを受取り、前記構文ツリー内の複数のコールを識別する識別モジュールと、
複数のメモリ変更済みコールを作成するために前記複数のコールの各々を対応するメモリ変更済みコールにより変更する変更モジュールとを含み、各メモリ変更済みコールはメモリ管理クラスとリンクされ、前記変更は、前記ソフトウェアコードのコンパイル中に生じ、さらに、
前記複数のコールの各々の変更に引続いて、前記複数のメモリ変更済みコールをコンパイルしてバイトコードを生成するコンパイラモジュールを含む、ソフトウェアコンパイラ。 - 前記複数のメモリ変更済みコールをコンパイルすることは、
メモリ変更済みコールを実行することと、
前記メモリ変更済みコールがメモリポリシーを満たすかどうかを判定することと、
前記メモリ変更済みコールがメモリポリシーを満たさない場合、メモリ例外を生成することとを含む、請求項16に記載のソフトウェアコンパイラ。 - 前記実現はさらに、前記メモリ変更済みコールがメモリポリシーを満たさない場合、前記バイトコードの生成を停止させることを含む、請求項17に記載のソフトウェアコンパイラ。
- 前記変更することは、コンパイルされていないソフトウェアコードに1つ以上のアノテーションを付加することを含み、前記アノテーションは、操作クラスが呼出されるべきであることを示す、請求項16に記載のソフトウェアコンパイラ。
- 前記コンパイルされていないコードは、GROOVY言語として書込まれる、請求項16に記載のソフトウェアコンパイラ。
- 前記バイトコードは、JAVA仮想マシンによってマシンコードに変換される、請求項16に記載のソフトウェアコンパイラ。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201361866223P | 2013-08-15 | 2013-08-15 | |
US61/866,223 | 2013-08-15 | ||
PCT/US2014/044827 WO2015023366A1 (en) | 2013-08-15 | 2014-06-30 | Runtime memory throttling |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2016528638A true JP2016528638A (ja) | 2016-09-15 |
JP2016528638A5 JP2016528638A5 (ja) | 2017-08-03 |
JP6505700B2 JP6505700B2 (ja) | 2019-04-24 |
Family
ID=51257584
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2016534581A Active JP6505700B2 (ja) | 2013-08-15 | 2014-06-30 | ランタイムメモリスロットリング |
Country Status (5)
Country | Link |
---|---|
US (1) | US9213530B2 (ja) |
EP (1) | EP3033674B1 (ja) |
JP (1) | JP6505700B2 (ja) |
CN (1) | CN105393216B (ja) |
WO (1) | WO2015023366A1 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110928804B (zh) * | 2018-09-20 | 2024-05-28 | 斑马智行网络(香港)有限公司 | 垃圾回收的优化方法、装置、终端设备及机器可读介质 |
JP7473145B2 (ja) * | 2019-05-31 | 2024-04-23 | コネクトフリー株式会社 | ソフトウェア開発装置およびソフトウェア開発プログラム |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2000242551A (ja) * | 1999-02-10 | 2000-09-08 | Internatl Business Mach Corp <Ibm> | メモリ管理のための方法および装置 |
JP2002522844A (ja) * | 1998-08-13 | 2002-07-23 | サン・マイクロシステムズ・インコーポレーテッド | バーチャル・マシン環境でネイティブ・コードを変換し、実行する方法および装置 |
JP2009110213A (ja) * | 2007-10-30 | 2009-05-21 | Fujitsu Ltd | 制御プログラム及び方法並びにコンピュータ |
US20130086625A1 (en) * | 2011-09-29 | 2013-04-04 | Oracle International Corporation | Enforcing security rules at runtime |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6516416B2 (en) | 1997-06-11 | 2003-02-04 | Prism Resources | Subscription access system for use with an untrusted network |
US7290288B2 (en) | 1997-06-11 | 2007-10-30 | Prism Technologies, L.L.C. | Method and system for controlling access, by an authentication server, to protected computer resources provided via an internet protocol network |
US20080243970A1 (en) | 2007-03-30 | 2008-10-02 | Sap Ag | Method and system for providing loitering trace in virtual machines |
US8374949B2 (en) * | 2008-09-26 | 2013-02-12 | Yahoo! Inc. | Integration of open advertisements with e-commerce activities |
US20110029822A1 (en) | 2009-08-03 | 2011-02-03 | Sap Ag | Tracking of java objects during request processing |
EP2400420A1 (en) * | 2010-06-28 | 2011-12-28 | Thomson Licensing | Method, system and secure processor for executing a software application |
US9183113B2 (en) | 2011-09-29 | 2015-11-10 | Oracle International Corporation | Debugging analysis in running multi-user systems |
US9696974B2 (en) * | 2013-03-13 | 2017-07-04 | Microsoft Technology Licensing, Llc. | Graph-based model for type systems |
-
2013
- 2013-11-22 US US14/087,446 patent/US9213530B2/en active Active
-
2014
- 2014-06-30 WO PCT/US2014/044827 patent/WO2015023366A1/en active Application Filing
- 2014-06-30 CN CN201480039673.6A patent/CN105393216B/zh active Active
- 2014-06-30 JP JP2016534581A patent/JP6505700B2/ja active Active
- 2014-06-30 EP EP14745004.3A patent/EP3033674B1/en active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2002522844A (ja) * | 1998-08-13 | 2002-07-23 | サン・マイクロシステムズ・インコーポレーテッド | バーチャル・マシン環境でネイティブ・コードを変換し、実行する方法および装置 |
JP2000242551A (ja) * | 1999-02-10 | 2000-09-08 | Internatl Business Mach Corp <Ibm> | メモリ管理のための方法および装置 |
JP2009110213A (ja) * | 2007-10-30 | 2009-05-21 | Fujitsu Ltd | 制御プログラム及び方法並びにコンピュータ |
US20130086625A1 (en) * | 2011-09-29 | 2013-04-04 | Oracle International Corporation | Enforcing security rules at runtime |
Non-Patent Citations (1)
Title |
---|
中島 震 他: "「リファクタリングの正しさのESC/Java2による形式検証」", 電子情報通信学会技術研究報告, vol. 第105巻 第596号, JPN6018026591, 26 January 2006 (2006-01-26), JP, pages 7 - 12, ISSN: 0003877103 * |
Also Published As
Publication number | Publication date |
---|---|
EP3033674A1 (en) | 2016-06-22 |
CN105393216B (zh) | 2018-08-31 |
JP6505700B2 (ja) | 2019-04-24 |
WO2015023366A1 (en) | 2015-02-19 |
US9213530B2 (en) | 2015-12-15 |
US20150052506A1 (en) | 2015-02-19 |
CN105393216A (zh) | 2016-03-09 |
EP3033674B1 (en) | 2019-07-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8813049B2 (en) | Type inference of partially-specified parameterized types | |
Appeltauer et al. | ContextJ: Context-oriented programming with Java | |
US8954939B2 (en) | Extending a development environment | |
KR101786156B1 (ko) | 사용자 정의 타입을 위한 컴파일 타임 경계 검사 기법 | |
US20080120604A1 (en) | Methods, Systems, And Computer Program Products For Providing Program Runtime Data Validation | |
US8141035B2 (en) | Method for accessing internal states of objects in object oriented programming | |
US20040268301A1 (en) | Adding new compiler methods to an integrated development environment | |
US10296313B2 (en) | Safely consuming dynamically-typed code from a statically-typed programming language | |
Canino et al. | Proactive and adaptive energy-aware programming with mixed typechecking | |
Toro et al. | Customizable gradual polymorphic effects for Scala | |
Niephaus et al. | Graalsqueak: A fast smalltalk bytecode interpreter written in an ast interpreter framework | |
Spoto | A java framework for smart contracts | |
US20110271248A1 (en) | Converting controls into source code | |
JP6505700B2 (ja) | ランタイムメモリスロットリング | |
Denker | Sub-method Structural and Behavioral Reflection | |
Valliappan et al. | Typing the wild in Erlang | |
Madsen et al. | Using supplementary properties to reduce the need for documentation | |
Moreau et al. | Resource aware programming | |
Seo et al. | InvisiType: Object-Oriented Security Policies. | |
Wada et al. | Design and implementation of the matilda distributed uml virtual machine | |
Husák et al. | PeachPie: Mature PHP to CLI compiler | |
Faes et al. | Parallel Roles for Practical Deterministic Parallel Programming | |
Pool et al. | TruffleReloader: A low-overhead language-neutral reloader | |
Hlopko et al. | On the integration of Smalltalk and Java | |
Papoulias et al. | Reifying the reflectogram: Towards explicit control for implicit reflection |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20170626 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170626 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20180629 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180717 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20180827 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180911 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20181211 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20190128 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20190305 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20190327 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6505700 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |