JP5133649B2 - 電子機器およびメモリ管理プログラム - Google Patents
電子機器およびメモリ管理プログラム Download PDFInfo
- Publication number
- JP5133649B2 JP5133649B2 JP2007269548A JP2007269548A JP5133649B2 JP 5133649 B2 JP5133649 B2 JP 5133649B2 JP 2007269548 A JP2007269548 A JP 2007269548A JP 2007269548 A JP2007269548 A JP 2007269548A JP 5133649 B2 JP5133649 B2 JP 5133649B2
- Authority
- JP
- Japan
- Prior art keywords
- memory area
- release
- memory
- lifetime
- released
- 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.)
- Expired - Fee Related
Links
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/46—Multiprogramming arrangements
- G06F9/50—Allocation of resources, e.g. of the central processing unit [CPU]
- G06F9/5005—Allocation of resources, e.g. of the central processing unit [CPU] to service a request
- G06F9/5011—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resources being hardware resources other than CPUs, Servers and Terminals
- G06F9/5016—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resources being hardware resources other than CPUs, Servers and Terminals the resource being the memory
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 (AREA)
Description
ー停止しないようにすることができる。
また、本発明によれば、プログラムを実行させることで、プログラム内に存在するメモリ領域の解放漏れを検出し、解放漏れ情報に基づき、解放漏れの発生したメモリ領域を特定することができる。ひいては、メモリリークに関するデバッグ作業を軽減することができる。
12 制御プログラム(プログラム,処理実行プログラム)
13 ライブラリ(メモリ管理プログラム)
22 機能制御部(処理手段)
23 メモリマネージャ(生存時間設定手段,解放漏れ検出手段,強制解放手段,メモリマネージャ,第2の解放漏れ検出手段)
24 デバッガ(解放漏れ情報出力手段,強制解放情報出力手段)
Claims (5)
- データを格納するためのメモリ領域を動的に確保しそのメモリ領域を使用して所定の処理を行う処理実行プログラムを実行するコンピュータ内蔵の電子機器において、
メモリと、
前記メモリにおけるメモリ領域を確保するメモリマネージャと、
前記メモリ領域を確保する際にそのメモリ領域の生存時間を設定する生存時間設定手段と、
前記処理実行プログラムの全部または一部が実行され実現される、前記所定の処理を実行する処理手段と、
前記メモリマネージャによるメモリ領域の確保後の前記生存時間内にそのメモリ領域が解放されなかったことを検出する第1の解放漏れ検出手段と、
前記生存時間内に前記メモリ領域が解放されなかったことが前記第1の解放漏れ検出手段により検出された場合に、そのメモリ領域の位置を特定する情報および生存時間を出力する解放漏れ情報出力手段と、
を備え、
前記第1の解放漏れ検出手段は、前記生存時間内に前記メモリ領域が解放されなかったことを検出した場合に、前記生存時間内にそのメモリ領域が解放されていないことを示す通知を前記処理手段へ発行し、
前記処理手段は、前記第1の解放漏れ検出手段から前記通知を受け取ると、前記メモリマネージャに、前記メモリ領域を解放させるメモリ領域解放要求を発行し、このとき、前記処理実行プログラムに含まれているメモリ領域解放関数を呼び出し、前記メモリ領域解放関数内に記述されている前記メモリ領域の解放要求の関数を実行し、
前記メモリマネージャは、前記生存時間内に前記メモリ領域が解放されなかったことが前記第1の解放漏れ検出手段により検出された場合に、前記メモリ領域を強制的に解放するのを猶予する強制解放猶予時間を設定し、前記メモリ領域解放要求に応じて、前記メモリ領域を解放し、
前記メモリ領域解放要求によって、前記強制解放猶予時間内にそのメモリ領域が解放されなかったことを検出する第2の解放漏れ検出手段と、
前記強制解放猶予時間内に前記メモリ領域が解放されなかったことが前記第2の解放漏れ検出手段により検出された場合に、前記メモリ領域を強制的に解放する強制解放手段と、
をさらに備えることを特徴とする電子機器。 - 前記メモリマネージャは、前記処理手段によりメモリ領域確保要求が発行されると、要求されたメモリ領域を確保し、
前記生存時間設定手段は、前記メモリ領域確保要求に基づきそのメモリ領域の生存時間を前記処理手段に関連づけて設定する
ことを特徴とする請求項1記載の電子機器。 - 前記強制解放手段により前記メモリ領域が強制的に解放された場合に、そのメモリ領域の位置を特定する情報および生存時間を出力する強制解放情報出力手段を備えることを特徴とする請求項1または2のいずれかに記載の電子機器。
- データを格納するためのメモリ領域を動的に確保しそのメモリ領域を使用して所定の処理を行う処理実行プログラムを実行するコンピュータを、
メモリにおける前記メモリ領域を確保するメモリマネージャと、
前記メモリ領域を確保する際にそのメモリ領域の生存時間を設定する生存時間設定手段と、
前記処理実行プログラムの全部または一部が実行され実現される、前記所定の処理を実行する処理手段と、
前記メモリマネージャによるメモリ領域の確保後の前記生存時間内にそのメモリ領域が解放されなかったことを検出する第1の解放漏れ検出手段と、
前記生存時間内に前記メモリ領域が解放されなかったことが前記第1の解放漏れ検出手段により検出された場合に、そのメモリ領域の位置を特定する情報および生存時間を出力する解放漏れ情報出力手段、
として機能させ、
前記第1の解放漏れ検出手段は、前記生存時間内に前記メモリ領域が解放されなかったことを検出した場合に、前記生存時間内にそのメモリ領域が解放されていないことを示す通知を前記処理手段へ発行し、
前記処理手段は、前記第1の解放漏れ検出手段から前記通知を受け取ると、前記メモリマネージャに、前記メモリ領域を解放させるメモリ領域解放要求を発行し、このとき、前記処理実行プログラムに含まれているメモリ領域解放関数を呼び出し、前記メモリ領域解放関数内に記述されている前記メモリ領域の解放要求の関数を実行し、
前記メモリマネージャは、前記生存時間内に前記メモリ領域が解放されなかったことが前記第1の解放漏れ検出手段により検出された場合に、前記メモリ領域を強制的に解放するのを猶予する強制解放猶予時間を設定し、前記メモリ領域解放要求に応じて、前記メモリ領域を解放し、
前記コンピュータを、
前記メモリ領域解放要求によって、前記強制解放猶予時間内にそのメモリ領域が解放されなかったことを検出する第2の解放漏れ検出手段と、
前記強制解放猶予時間内に前記メモリ領域が解放されなかったことが前記第2の解放漏れ検出手段により検出された場合に、前記メモリ領域を強制的に解放する強制解放手段、
としてさらに機能させるためのメモリ管理プログラム。 - 前記コンピュータを、
前記強制解放手段により前記メモリ領域が強制的に解放された場合に、そのメモリ領域の位置を特定する情報および生存時間を出力する強制解放情報出力手段として機能させ、
前記メモリマネージャは、前記処理手段によりメモリ領域確保要求が発行されると、要求されたメモリ領域を確保し、
前記生存時間設定手段は、前記メモリ領域確保要求に基づきそのメモリ領域の生存時間を前記処理手段に関連づけて設定する
ことを特徴とする請求項4記載のメモリ管理プログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007269548A JP5133649B2 (ja) | 2007-10-16 | 2007-10-16 | 電子機器およびメモリ管理プログラム |
US12/204,276 US8280927B2 (en) | 2007-10-16 | 2008-09-04 | Electronic equipment and memory managing program |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007269548A JP5133649B2 (ja) | 2007-10-16 | 2007-10-16 | 電子機器およびメモリ管理プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009098910A JP2009098910A (ja) | 2009-05-07 |
JP5133649B2 true JP5133649B2 (ja) | 2013-01-30 |
Family
ID=40535261
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007269548A Expired - Fee Related JP5133649B2 (ja) | 2007-10-16 | 2007-10-16 | 電子機器およびメモリ管理プログラム |
Country Status (2)
Country | Link |
---|---|
US (1) | US8280927B2 (ja) |
JP (1) | JP5133649B2 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP7216151B2 (ja) | 2020-07-06 | 2023-01-31 | ダイキン工業株式会社 | 冷凍装置 |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP2672390B1 (en) * | 2011-01-31 | 2015-11-25 | Mitsubishi Electric Corporation | Memory controller |
CN103135518B (zh) * | 2011-12-02 | 2019-11-12 | 费希尔控制国际公司 | 程序流控制监控例程、与之相关的方法以及*** |
JP7337228B2 (ja) | 2018-09-19 | 2023-09-01 | キオクシア株式会社 | メモリシステムおよび制御方法 |
JP7143232B2 (ja) | 2019-01-29 | 2022-09-28 | キオクシア株式会社 | メモリシステムおよび制御方法 |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04367951A (ja) * | 1991-06-17 | 1992-12-21 | Fujitsu Ltd | メモリ滞留防止方式 |
JPH0696165A (ja) | 1992-09-16 | 1994-04-08 | Fuji Photo Film Co Ltd | 画像処理方法及び装置 |
JPH1097435A (ja) * | 1996-09-20 | 1998-04-14 | Nec Corp | 資源割当てシステム |
JP2001282614A (ja) * | 2000-03-31 | 2001-10-12 | Oki Electric Ind Co Ltd | メモリ管理方法 |
JP2002108698A (ja) * | 2000-10-04 | 2002-04-12 | Nissin Electric Co Ltd | メモリ管理システム及びメモリ管理方法 |
JP3939975B2 (ja) | 2001-12-14 | 2007-07-04 | 松下電器産業株式会社 | ガベージコレクション装置、ガベージコレクション方法及びガベージコレクションプログラム |
US7577943B2 (en) * | 2003-10-24 | 2009-08-18 | Microsoft Corporation | Statistical memory leak detection |
US20060085156A1 (en) * | 2004-10-18 | 2006-04-20 | Kolawa Adam K | Method and system for predicting memory leaks from unit testing |
US20070083721A1 (en) * | 2005-09-28 | 2007-04-12 | Siemens Aktiengesellschaft | Memory management for a data processing system |
-
2007
- 2007-10-16 JP JP2007269548A patent/JP5133649B2/ja not_active Expired - Fee Related
-
2008
- 2008-09-04 US US12/204,276 patent/US8280927B2/en not_active Expired - Fee Related
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP7216151B2 (ja) | 2020-07-06 | 2023-01-31 | ダイキン工業株式会社 | 冷凍装置 |
Also Published As
Publication number | Publication date |
---|---|
JP2009098910A (ja) | 2009-05-07 |
US20090100116A1 (en) | 2009-04-16 |
US8280927B2 (en) | 2012-10-02 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6516870B2 (ja) | プログラム命令を安全に実行する方法及び該方法用プログラム | |
US9519495B2 (en) | Timed API rules for runtime verification | |
US8327336B2 (en) | Enhanced thread stepping | |
US7809985B2 (en) | Offline hardware diagnostic environment | |
US20100231959A1 (en) | Execution order determining device, execution order determining program, execution order determining circuit, and information processing device | |
JP5133649B2 (ja) | 電子機器およびメモリ管理プログラム | |
JP2010086364A (ja) | 情報処理装置、動作状態監視装置および方法 | |
JP5359601B2 (ja) | ダンプ出力制御装置、ダンプ出力制御プログラム、ダンプ出力制御方法 | |
JP4992740B2 (ja) | マルチプロセッサシステム、障害検出方法および障害検出プログラム | |
JP2010009296A (ja) | ソフトウェア動作監視装置およびソフトウェア動作監視方法 | |
US20110107072A1 (en) | Method for self-diagnosing system management interrupt handler | |
KR100809291B1 (ko) | 임베디드 소프트웨어의 api 테스트 방법 및 장치 | |
KR20110095050A (ko) | 공유 라이브러리 디버깅 장치 | |
KR20140020287A (ko) | 소프트웨어 조작성 서비스 | |
JP2009223714A (ja) | 演算回路及び演算回路の異常解析方法 | |
KR20190116029A (ko) | 시스템 온 칩 및 그 동작 방법 | |
JP2009064125A (ja) | サーバ装置、そのプログラム | |
JP5277217B2 (ja) | 情報処理装置およびコンピュータープログラム | |
JP2015130023A (ja) | 情報記録装置、情報処理装置、情報記録方法、及び情報記録プログラム | |
JP2010056744A (ja) | 情報処理装置、画像形成装置及びプログラム | |
JPH10326203A (ja) | 複数のハードウェア環境上においてプログラムを別々に動作させつつも、ハードウェア環境間で動作状態を継承し合うことができるデバッグ装置 | |
JP2005338892A (ja) | メモリ異常使用検知装置 | |
JP2017199180A (ja) | 画像処理装置 | |
JP2007257395A (ja) | アプリケーションの異常監視方法 | |
JP5818831B2 (ja) | 情報処理装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20100927 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20111130 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20111220 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120220 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120313 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120705 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120801 |
|
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: 20120911 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20121108 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20151116 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |