ROM: the final frontier of mruby
This is a modal window.
Das Video konnte nicht geladen werden, da entweder ein Server- oder Netzwerkfehler auftrat oder das Format nicht unterstützt wird.
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 66 | |
| Autor | ||
| Mitwirkende | ||
| Lizenz | CC-Namensnennung 3.0 Unported: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/46610 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | ||
| Genre | ||
| Abstract |
|
Ruby Conference 201826 / 66
5
10
13
14
17
18
21
22
26
29
37
45
46
48
50
51
53
54
55
59
60
61
63
65
00:00
VideokonferenzCodeImplementierungEchtzeitsystemSystemprogrammierungFormation <Mathematik>Coxeter-GruppeKartesische KoordinatenImplementierungMechanismus-Design-TheorieProjektive EbeneSelbst organisierendes SystemMikrocomputerEchtzeitsystemSoftwareentwicklerBitKernel <Informatik>Elektronisches BuchComputeranimationJSONXML
02:03
RechenwerkImplementierungFormale SpracheGamecontrollerARM <Computerarchitektur>Peripheres GerätCoprozessorAnalog-Digital-UmsetzerModul <Datentyp>RechenschieberStandardabweichungMikrocontrollerWhiteboardImplementierungServerPhysikalisches SystemSpieltheorieRechter WinkelDateiformatXMLUMLComputeranimation
03:47
JoystickCursorDatensichtgerätGamecontrollerWhiteboardComputeranimation
04:19
Formation <Mathematik>BEEPFormale SpracheMikrocomputerBrowserComputeranimation
04:56
GamecontrollerARM <Computerarchitektur>Peripheres GerätCoprozessorAnalog-Digital-UmsetzerModul <Datentyp>CompilerCodeNichtflüchtiger SpeicherEEPROMWikiFlash-Speicherp-BlockWhiteboardMailing-ListeKlasse <Mathematik>StandardabweichungObjekt <Kategorie>ZeichenketteGleitkommarechnungKernel <Informatik>Dylan <Programmiersprache>LaufzeitfehlerInstantiierungPunktGasströmungCompilerKlasse <Mathematik>TypentheorieOrdnung <Mathematik>Physikalisches SystemStandardabweichungProzess <Informatik>Ortsoperatorp-BlockDifferenteLeistung <Physik>Flash-SpeicherObjekt <Kategorie>MikrocontrollerSpeicherverwaltungNeuroinformatikEPROMSpeicher <Informatik>sinc-FunktionMultiplikationsoperatorRechenwerkTaskFormale SpracheSkriptspracheStörungstheorieStrömungsrichtungKanalkapazitätMereologieMailing-ListeByte-CodeRelativitätstheorieWhiteboardFunktionalElektronisches ForumObjektorientierte ProgrammierspracheInstantiierungComputerarchitekturNichtflüchtiger SpeicherCodeHydrostatikLokales MinimumPunktBimodulROM <Informatik>CoprozessorCharakteristisches PolynomPeripheres GerätMultifunktionDynamisches SystemNormalvektorSampler <Musikinstrument>ProgrammierungGüte der AnpassungZeichenketteMehrkernprozessorGeradeLesen <Datenverarbeitung>Computeranimation
14:11
SymboltabelleKlasse <Mathematik>Objekt <Kategorie>VariableInstantiierungStrebeVererbungshierarchieDatenstrukturBimodulZeichenketteGanze ZahlObjekt <Kategorie>DatenverwaltungKlasse <Mathematik>SymboltabelleProgrammierungVariableDatenstrukturTermAggregatzustandTabelleStandardabweichungNichtlinearer OperatorE-MailNatürliche ZahlInstantiierungZeichenketteKardinalzahlInformationDynamisches SystemLaufzeitfehlerOrdnung <Mathematik>Zeiger <Informatik>MathematikXMLUMLComputeranimation
18:37
ImplementierungArithmetischer AusdruckSkriptspracheOffene MengeZeichenketteLesen <Datenverarbeitung>LastAusnahmebehandlungBefehl <Informatik>ProgrammierungFunktionalZellularer AutomatProzess <Informatik>XMLUML
19:35
Klasse <Mathematik>SpeicherverwaltungKernel <Informatik>BootenObjekt <Kategorie>FontSymboltabelleBimodulOffene Menge
20:17
SymboltabelleFunktion <Mathematik>Hash-AlgorithmusCodeNichtflüchtiger SpeicherKonstanteVariableDatenstrukturURLSymboltabelleVerschlingungHash-AlgorithmusMAPElektronische PublikationQuellcodeOrdnung <Mathematik>SchlüsselverwaltungFormale SpracheDateiformatSkriptsprachePerfekte GruppeBinder <Informatik>ZeichenketteComputeranimation
22:09
Hash-AlgorithmusCodeNichtflüchtiger SpeicherResultanteDiagramm
22:47
RückkopplungSpeicherabzugDatenstrukturStandardabweichungSkriptspracheCodeObjekt <Kategorie>StrebeHydrostatikFunktion <Mathematik>Elektronische PublikationAssoziativgesetzFormation <Mathematik>HyperbelverfahrenSoftwareentwicklerRechter WinkelDatenstrukturMathematikSkriptspracheEinflussgrößeResultanteRückkopplungFunktionalProgrammbibliothekStrömungsrichtungNichtflüchtiger SpeicherVariableInstantiierungSymboltabelleArithmetische FolgeFehlermeldungCodePunktHydrostatikDeklarative ProgrammierspracheFormale SpracheElektronische PublikationHash-AlgorithmusMereologieStandardabweichungProjektive EbeneGüte der AnpassungImplementierungOrdnungsreduktionMailing-ListeGenerator <Informatik>VerzeichnisdienstDatenverwaltungDokumentenserverPatch <Software>XMLUML
26:18
Objekt <Kategorie>GasströmungMereologieWhiteboardWhiteboardObjekt <Kategorie>Klasse <Mathematik>sinc-FunktionXMLUMLComputeranimation
27:03
COMXMLUMLComputeranimation
Transkript: Englisch(automatisch erzeugt)
00:22
Before our talk, we would like to make some announcements. This presentation will be a little bit technical, and it's including C, Dazazan, Ruby. We want to explain the implementation of MLB and its implementation in C, so we must use C in this presentation.
00:48
What you do not need to know about the MLB, and she expects the details of the implementation. Let me introduce ourselves. I'm Yurie Ayamane.
01:03
And I'm Matayoshi Takahashi. We are Team Ayamane Corps. We have development of MLB applications and development for MLB. I am Yurie. I'm interested in microcomputer and real-time OS. I'm a member of Topaz Project.
01:25
Topaz Project make kernel for real-time OS and tools. I do development, demonstrations, and presentation at many exhibitions.
01:40
I'm an e-book publisher and a committer of e-book publishing tool called review. You can get it from RubyGems.org. I'm also a member of RubyKage organizer team. We will hold RubyKage 2019 in Fukuoka next April, so we hope you come and join us.
02:04
Okay, let's get into the main topic. The topic of this talk is MLB and ROM. First, we will briefly explain about MLB. MLB is an implementation of Ruby, like CRuby, JRuby, Luminance, and Opal.
02:27
It is also called lightweight Ruby. MLB is a very small implementation compared to CRuby and JRuby. It's compiled with the ISO standard of Ruby. MLB has made two target areas,
02:46
embedded systems and applications, such as server and games. We have focused the former embedded system. We have got many microcontroller boards and tried to use MLB on them.
03:04
In this talk, we show two devices. Left one of the slide is a Nucleo F401RU. There is an ARM Cortex M4 microcontroller in the board.
03:24
Right is M5 stack. It is a famous board in China and Japan. There is an ESP32 microcontroller on it.
03:54
This is a Nucleo board. The LCD has a joystick. You can see the cursor.
04:09
We move the cursor with this joystick controller.
04:20
Another microcomputer is M5 stack. This has a browser and three buttons. Let's play the music.
05:01
If you use Ruby or other languages only on PC, you might know microcontrollers. So let me explain about microcontrollers. Microcontrollers are like a small computer on a single chip. It contains a processor called MPU, RAM, DOM, a lot of paper, and other modules.
05:27
Microcontrollers are used in smartphones, home appliances, automobiles, and so on. Now back to MLB.
05:41
One of the differences between MLB and other rubies is the position of the bytecode. MLB's VM and compiler are completely separate, and you can execute MLB VM without compiler. In such a situation, you can use MLB files, which contain the bytecode for MLB.
06:06
When you use CRuby, you also use bytecode generated by CRuby, but it's not explicit. It's only used inside of the VM.
06:20
The current hot topic of MLB is 2.0. MLB 2.0 will be released soon. Maybe in the next month or so, according to the MLB forum. It's the first major update of MLB, and it introduces incompatibility.
06:44
Sorry, and it allows incompatibility. The architecture of bytecode is completely different, and you cannot use bytecode generated by 2.0 in MLB 1.4.
07:01
But it means that it's a good time to use MLB now. It's pretty far for 2.0 brand new MLB. Now, let's talk about LON. LON is an abbreviation of read-only memory.
07:23
It's also called non-bratile memory, because it's not released without power. There are various types of LON. The target here is EPRON. EPRON is an abbreviation for electronically erasable programmable read-only memory.
07:45
EPRON requires no power to hold data, but power is required to delete and register data. This picture is STM EPRON.
08:00
Flash-on or flash memory is a kind of EPRON. You can register on flash only in power block units, not per byte unit. You may use it as USB memory. Currently, microcontrollers usually use flash-on and main storage.
08:24
In summary, the relation between LON, EPRON, and flash is like this picture. A part of LON is EPRON and a part of its flash memory. But why are we focusing on LON?
08:44
The first reason is that LON can store more data than LON. In a microcontroller, LON capacity is usually less than LON capacity, especially in cheap boards. This is a list of microcontrollers that we have used.
09:06
The last item, Arduino Uno, was just as a difference. Arduino Uno is too small to use normal MRB. On the other boards, we have tried to use MRB. As you can see from this table, the lower the price, the smaller the LON capacity.
09:27
And except for expensive boards, you can see that the capacity of flash LON is rather than capacity of LON.
09:41
Why does a microcontroller have this LON? First of all, the reason is the cost. Microcontrollers tend to be used for devices with only a simple function. So that needs only a minimum amount of RAM. Another reason is the problem of power consumption.
10:05
LON requires power to hold data. This means that LON increases, the power consumption will increase. If I find an answer for the same question in stock exchange,
10:23
so please read this page as well. The second reason we focus on LON is that LUBE may consume RAM before execution.
10:41
What does before execution mean? For example, consider displaying hard work. A LUBE code is just on one line, but there are some things the processing system does in order to execute this line.
11:01
The first thing we need is memory initialization. Since LUBE uses GC for memory management, it corresponds to the initialization of GC and the initialization of heap memory used by GC. Another thing in initialization of standard classes,
11:25
whereas classes are used in LUBE, you need to prepare all the classes before running your LUBE script. It is a second task that becomes a problem.
11:41
The fact that standard class initialization is executed at this timing means that all the standard classes are placed in RAM. In other words, re-executing a LUBE program, RAM is always consumed to generate the standard class and object
12:04
in order to use various classes, some as object, class, kernel, numeric, standard, string, and so on. RAM is used even if you do not read a LUBE script line.
12:23
It is not good news for us. On the other hand, in other object-oriented languages, such as C++ and MicroPython, it does not seem to happen. Classes and method definitions can also be placed in RAM.
12:42
Why is there such a difference? That's because LUBE is a very dynamic language. As we all know, the characteristics of LUBE are dynamic. In LUBE, even in standard class, methods can be added, deleted, and redefined.
13:03
The LUBE class is also an ordinary object, called an instance of the class class. This wonderful feature of LUBE has become a serious problem in using LUBE on microcontroller.
13:25
Let me summarize the talk at this point. On embedded devices, we can use only a small amount of RAM. Therefore, we want to utilize RAM rather than RAM.
13:41
However, since LUBE is a dynamic language, even object, including standard classes, consume RAM is what we want to solve here. In other words, we want to solve the contradiction
14:05
between the dynamic language to be under static storage ROM. This talk goes a lot like LUBE object and its management.
14:36
LUBE is written in C, and so various data structures are defined as a structure in C.
14:44
For example, the entity of LUBE VM is a structure called MRB state in C. The MRB state holds main standard class objects as a member of the structures. The MRB class object is an R class structure in C.
15:05
The R class structure has members IV and members MT. In MRB, IV is an operation for the instance variable, and MT is an abbreviation for the method table.
15:21
The method table is a table of method as the name suggests. Each class manages a method that can be used in a class by a table. The instance variable of the class class contains internal data for managing class information. For example, the class name is stored here.
15:45
This is the definition of R class in C. Thus, IV and MT are in R class as IV TBL, and IV TBL structure and KTMT structure, respectively.
16:01
MRB object header is a common header of objects, and super is a pointer to super class. By the way, how do you use ROM and RAM properly? If you think in terms of modern programming language, you should consider ROM as immutable and RAM as immutable.
16:25
It's important here that members of immutable structures may be mutable, and on the contrary, members of mutable structures may be immutable. Regarding the use of ROM and RAM, it is as shown in this figure.
16:45
ROM is on the left and ROM is on the right. The state of the MRB state, that is, mvbn, changed at runtime, so need to be placed in ROM. But the class object itself can be placed in ROM.
17:02
However, the table that manages the instance variable and the table that manages the method is in ROM because it changes while executing. And even if the table of method is in ROM, certain method definitions can be placed in ROM.
17:27
As I mentioned earlier, method may be added at runtime. The added method will be put in ROM. Thus, if we understand how to use ROM and RAM well,
17:42
we can use ROM without changing the dynamic nature of Ruby. Now let's explain about the symbol table. The symbol table is a table related to name inside mv. Names such as class names and method names are managed as symbols.
18:03
The entity of the symbol class in Ruby is this symbol. The symbol table has numeric ID and string name. This symbol ID is used to manage method and classes inside mv.
18:20
Therefore, in order to put method and classes in ROM, the symbol table must be placed in ROM. In normal mv, the symbol table is also stored in RAM, so we need to change it here as well. In the expression so far, I think we were able to share our problem.
18:45
Let's think about an implementation to solve it. This is a small program to use mv to mv. It's just to show hello world. The function mv open here is the initialization of mv cell.
19:06
The next if statement is exception handling when initialization fails, and the next function mv load string lead and execute Ruby scripts
19:21
given as character strings like our put hello world. So it's mv open is the initialization process that we are targeting here. This is the outline of mv open. First, we initialize memory management and initialize the symbol table.
19:46
Next, we initialize basic classes such as class class, object class, and kernel module. Since basic class boot wrapping requires special work, it is separated from other general classes.
20:03
Then, the class definition written in C, the class definition written in Ruby, and the class definition by mv gems, which is Ruby gems for mv, are initialized. Let's consider how to put the symbol table in RAM.
20:23
To search for symbol names from a symbol ID, it would not be a problem with a simple array. In order to efficiently retrieve the symbol ID from symbol name, some ingenuity is necessary.
20:42
Here, we use gperf. Gperf is what is called a perfect hash function generator. Actually, it is also famous used in C Ruby. Please refer to this URL for the details usage.
21:01
How can we find symbols used in MLB? Here, we simply scan the MLB source code and extract the strings that are supposed to be symbols. The extracted symbols are stored in JSON format and converted to a key file for gperf by another script.
21:23
Then, convert it into C language source using gperf. Doing this makes it easier to edit symbols at the stage of JSON. Detecting methods also uses a similar method as detecting symbols, like this.
21:47
By the way, how can we arrange structure in C into RAM? An easy way is putting the const qualifier. Another way is preparing a special segment with linker script.
22:03
But if you do not need to do something complicated so far, const is enough. This is a code generated by gperf. In gperf, by generating static const like this,
22:20
we arrange an array of names and data used by hash function in RAM. Comparing the result of using RAM and not using it, memory usage is reduced by about 20%. However, there are places I have not done yet,
22:43
so I will try for further improvement. Future works. I will also explain what is currently under development and what we plan to develop later. There are three issues here.
23:02
Currently, we have tried to put ilap structure on RAM. In addition, we should support mruby 2.0 explained first. Furthermore, I would like to give feedback to the mruby repository as well.
23:22
First, I will explain the ilap structure. mruby-ilap is a structure for managing compiled Ruby script in mruby. The right side is a definition of a structure. Ruby scripts in standard library and mruby gems become ilap structures.
23:44
Since ilap are placed in RAM, we want to make them on RAM. We have an idea to put ilap on RAM that executing mruby open to generate ilap structures and dump them all as C language code.
24:05
While doing this, we can generate a JSON file for symbols at the same time. Since it's still on work in progress and the measurement method is different from the previous charts,
24:23
so we cannot compare them, but when we use RAM 3, we should reduce the RAM memory so much like this chart. In mruby 2.0, the implementation of instance variables seems to be changed significantly.
24:42
We should also make change for that. Left side is mruby 1.4 and right side is mruby 2.0. mruby 1.4 uses a hash structure, but mruby 2.0 uses a segmentary structure,
25:01
so we can fix this structure. Furthermore, for this method to be widely used, it's necessary to implement it without modifying mruby itself. Unfortunately, the current part cannot work without modifying mruby slightly.
25:23
For example, when implementing method of mruby in C, static declaration is given to some functions like this figure, like the figures. Therefore, even if you try to put a point to this function in ROM,
25:42
an error will occur at compile time. We'd like to ask Matt how fix to avoid this. And here is good news I'd like to tell you. This project was selected by Ruby Association Grand Committee.
26:02
We are very happy to be chosen. We will do our best to make a good result by all means. Thank you so much. Thank you. Okay, I summarize the talk.
26:24
RAM is small in embedded devices, so we want to make more use of RAM. On the other hand, since Ruby is a dynamic language, every class object can be mutable. But even if the object is mutable,
26:41
you can divide it into elements and put some of them in RAM. Let's use mruby on various boards. We have got a lot of opinions and cooperation for our work. We really appreciate them.
27:03
Thank you for coming and let's enjoy mruby.