Submit Search
Upload
Ruby-GNOME2におけるGC問題
•
Download as PPT, PDF
•
0 likes
•
819 views
Masahiro Sakai
Follow
Ruby-GNOME2におけるGC問題
Read less
Read more
Technology
Report
Share
Report
Share
1 of 10
Download now
Recommended
Git 実践入門
Git 実践入門
Yasutaka Kanzaki
Abstract
Abstract
nate_marks
Confraria samba choro
Confraria samba choro
Humberto Bruno Pontes Silva
Mi Concepto De Curriculo
Mi Concepto De Curriculo
guest978375f
Moja Domovina Magdalena
Moja Domovina Magdalena
Turisticka Kultura
Pre-primary exam time-table
Pre-primary exam time-table
minal81
All About Education Boards
All About Education Boards
minal81
DeepXplore: Automated Whitebox Testing of Deep Learning
DeepXplore: Automated Whitebox Testing of Deep Learning
Masahiro Sakai
Recommended
Git 実践入門
Git 実践入門
Yasutaka Kanzaki
Abstract
Abstract
nate_marks
Confraria samba choro
Confraria samba choro
Humberto Bruno Pontes Silva
Mi Concepto De Curriculo
Mi Concepto De Curriculo
guest978375f
Moja Domovina Magdalena
Moja Domovina Magdalena
Turisticka Kultura
Pre-primary exam time-table
Pre-primary exam time-table
minal81
All About Education Boards
All About Education Boards
minal81
DeepXplore: Automated Whitebox Testing of Deep Learning
DeepXplore: Automated Whitebox Testing of Deep Learning
Masahiro Sakai
Towards formal verification of neural networks
Towards formal verification of neural networks
Masahiro Sakai
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
Masahiro Sakai
Writing a SAT solver as a hobby project
Writing a SAT solver as a hobby project
Masahiro Sakai
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
Masahiro Sakai
ゼロピッチ: MOOC
ゼロピッチ: MOOC
Masahiro Sakai
SAT/SMT solving in Haskell
SAT/SMT solving in Haskell
Masahiro Sakai
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Masahiro Sakai
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
Masahiro Sakai
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
Masahiro Sakai
How a CDCL SAT solver works
How a CDCL SAT solver works
Masahiro Sakai
Omega test and beyond
Omega test and beyond
Masahiro Sakai
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
Masahiro Sakai
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
Masahiro Sakai
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Masahiro Sakai
Relaxed Dependency Analysis
Relaxed Dependency Analysis
Masahiro Sakai
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
Masahiro Sakai
自然言語をラムダ式で解釈する体系PTQのHaskell実装
自然言語をラムダ式で解釈する体系PTQのHaskell実装
Masahiro Sakai
Whole Program Paths 等の紹介@PLDIr#3
Whole Program Paths 等の紹介@PLDIr#3
Masahiro Sakai
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
Hiroki Ichikura
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
sugiuralab
More Related Content
More from Masahiro Sakai
Towards formal verification of neural networks
Towards formal verification of neural networks
Masahiro Sakai
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
Masahiro Sakai
Writing a SAT solver as a hobby project
Writing a SAT solver as a hobby project
Masahiro Sakai
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
Masahiro Sakai
ゼロピッチ: MOOC
ゼロピッチ: MOOC
Masahiro Sakai
SAT/SMT solving in Haskell
SAT/SMT solving in Haskell
Masahiro Sakai
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Masahiro Sakai
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
Masahiro Sakai
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
Masahiro Sakai
How a CDCL SAT solver works
How a CDCL SAT solver works
Masahiro Sakai
Omega test and beyond
Omega test and beyond
Masahiro Sakai
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
Masahiro Sakai
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
Masahiro Sakai
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Masahiro Sakai
Relaxed Dependency Analysis
Relaxed Dependency Analysis
Masahiro Sakai
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
Masahiro Sakai
自然言語をラムダ式で解釈する体系PTQのHaskell実装
自然言語をラムダ式で解釈する体系PTQのHaskell実装
Masahiro Sakai
Whole Program Paths 等の紹介@PLDIr#3
Whole Program Paths 等の紹介@PLDIr#3
Masahiro Sakai
More from Masahiro Sakai
(20)
Towards formal verification of neural networks
Towards formal verification of neural networks
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
Writing a SAT solver as a hobby project
Writing a SAT solver as a hobby project
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
ゼロピッチ: MOOC
ゼロピッチ: MOOC
SAT/SMT solving in Haskell
SAT/SMT solving in Haskell
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
How a CDCL SAT solver works
How a CDCL SAT solver works
Omega test and beyond
Omega test and beyond
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
自動定理証明の紹介
自動定理証明の紹介
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Relaxed Dependency Analysis
Relaxed Dependency Analysis
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
自然言語をラムダ式で解釈する体系PTQのHaskell実装
自然言語をラムダ式で解釈する体系PTQのHaskell実装
Whole Program Paths 等の紹介@PLDIr#3
Whole Program Paths 等の紹介@PLDIr#3
Recently uploaded
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
Hiroki Ichikura
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
sugiuralab
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Yuma Ohgami
TSAL operation mechanism and circuit diagram.pdf
TSAL operation mechanism and circuit diagram.pdf
taisei2219
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
Ryo Sasaki
論文紹介:Automated Classification of Model Errors on ImageNet
論文紹介:Automated Classification of Model Errors on ImageNet
Toru Tamaki
論文紹介:Semantic segmentation using Vision Transformers: A survey
論文紹介:Semantic segmentation using Vision Transformers: A survey
Toru Tamaki
SOPを理解する 2024/04/19 の勉強会で発表されたものです
SOPを理解する 2024/04/19 の勉強会で発表されたものです
iPride Co., Ltd.
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
Toru Tamaki
Recently uploaded
(9)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
【早稲田AI研究会 講義資料】3DスキャンとTextTo3Dのツールを知ろう!(Vol.1)
スマートフォンを用いた新生児あやし動作の教示システム
スマートフォンを用いた新生児あやし動作の教示システム
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
Open Source UN-Conference 2024 Kawagoe - 独自OS「DaisyOS GB」の紹介
TSAL operation mechanism and circuit diagram.pdf
TSAL operation mechanism and circuit diagram.pdf
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
[DevOpsDays Tokyo 2024] 〜デジタルとアナログのはざまに〜 スマートビルディング爆速開発を支える 自動化テスト戦略
論文紹介:Automated Classification of Model Errors on ImageNet
論文紹介:Automated Classification of Model Errors on ImageNet
論文紹介:Semantic segmentation using Vision Transformers: A survey
論文紹介:Semantic segmentation using Vision Transformers: A survey
SOPを理解する 2024/04/19 の勉強会で発表されたものです
SOPを理解する 2024/04/19 の勉強会で発表されたものです
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
論文紹介:Content-Aware Token Sharing for Efficient Semantic Segmentation With Vis...
Ruby-GNOME2におけるGC問題
1.
Ruby-GNOME2 における GC
問題 酒井 政裕 元? Ruby-GNOME2 開発者
2.
3.
4.
何が起こっているか? – 参照関係
GtkButton GClosure Button Proc ruby 側 gtk 側 循環参照 変数 b
5.
rubyのGCからどう見えるか GtkButton GClosure
Button Proc ruby 側 gtk 側 gtk 側 : (1) 参照関係が見えない (2) GC の root になる
6.
7.
Ruby-GNOME2 では
(1): gtk 側から ruby 側への参照を無くす GtkButton GClosure Button Proc ruby 側 gtk 側 この参照を削除し 循環を無くす
8.
Ruby-GNOME2 では
(2): gtk 側の参照関係を ruby 側で模倣 GtkButton GClosure Button Proc ruby 側 gtk 側 GC からの保護に必要
9.
10.
Download now