Avoiding implicit try finally section/fi: what changed

Revision 0 to 1. Removed lines have a minus sign; added lines have a plus sign.

Title: Avoiding implicit try finally section/fi

New		Line
1	+	# Epäsuoran try finally lohkon välttäminen
2	+
3	+	## Yleistä
4	+
5	+	Koodin optimoinnissa se auttaa ymmärtämään, että [[Compiler/fi\|kääntäjä]] käärii tiettyjä koodirakenteita epäsuorasti [[Try/fi\|try]] … [[Finally/fi\|finally]]-[[Block/fi\|lohkoon]]. Tämä on tarpeen aina, kun käytetään sellaisia [[Variable/fi\|muuttujia]], kuten [[Ansistring\|ansiString]], [[Variant\|variants]] tai [[Dynamic array/fi\|dynaamisia taulukoita]] jotka edellyttävät [[Initialization\|initialization]] ja [[Finalization\|finalization]] (esim. kun standardi [[Procedure/fi\|aliohjelmat]] `initialize` ja `finalize` tarvitaan oikean muistin allokoinnin ja hankitun muistin vapauttamiseksi).
6	+
7	+	Tällöin kääntäjä varmistaa, että msg: n viitenumero lasketaan asianmukaisesti, kun menettely doSomething poistuu poikkeuksella. Usein tämä voi kuitenkin aiheuttaa merkittäviä haitallisia vaikutuksia tuotetun koodin nopeuteen.
8	+
9	+	Tämä oli ongelma, joka oli `fpc-devel` -sähköpostilistan aiheketjussa <http://www.mail-archive.com/fpc-devel@lists.freepascal.org/msg01367.html> `TList` slowness classes .
10	+
11	+	Huomaa, että väliaikaiset `ansiString`-muuttujat voidaan luoda epäsuorasti. Ainoa tapa olla täysin varma siitä, mitä todellisuudessa tehdään, on lukea [[Assembler/fi\|assemblerin]] ulostulo.
12	+
13	+	## Mahdolliset ratkaisut
14	+
15	+	- Käytetään [[sImplicitExeptions\|{$implicitexceptions off}]]: Varmistetaan, että tämä koskee vain julkaistuja versioita. Virheenjäljitys voi muuttua hankalaksi, kun siirrytään erityisesti muistivuotoihin ja korruptioon.
16	+	- Irrotetaan harvoin käytetty koodi, joka aiheuttaa implisiittisen `try…finally` eri aliohjelmiin. (Voidaan käyttää aliohjelmissa aliohjelmia)
17	+	- Käytetään [[Const\|const parametreja]] arvoparametrien sijaan. Näin vältetään tarve muuttaa viittausosoitusta, mutta tilapäiset muuttujat voivat edelleen olla ongelma.
18	+	- Käytetään [[Global variables\|globaaleja muuttujia]]: Sinun on kuitenkin oltava varovainen uusintakysymyksissä, mutta väliaikaiset muuttujat voivat silti olla ongelma.
19	+	- Käytetään ei-viitteellisiä tyyppejä, kuten [[Shortstring\|shortstring]].
20	+
21	+	## riskejä ja milloin niitä sovelletaan
22	+
23	+	> Warning: Nämä poikkeuskehykset luodaan syystä. Jos niistä jätetään poikkeus niin koodiin jään muistivuoto mahdollisuus
24	+
25	+	Vuonna 2007 [[sImplicitExceptions\|{$implicitExceptions}]] lisättiin [`strutils`](https://www.freepascal.org/docs-html/rtl/strutils/index.html)-[[Unit/fi\|käännösyksikköön]]. Jota [sysutils](https://www.freepascal.org/docs-html/rtl/sysutils/index.html) on luultavasti seurannut. Tätä varten noudatettiin seuraavaa lähestymistapaa:
26	+
27	+	- [[Routine/fi\|Rutiini]], joka kutsuu rutiinia, joka [[Raise/fi\|nostaa]] poikkeuksia, on vaarallinen - esim. [`strToInt`](https://www.freepascal.org/docs-html/rtl/sysutils/strtoint.html), mutta ei [`strToIntDef`](https://www.freepascal.org/docs-html/rtl/sysutils/strtointdef.html).
28	+	- Poikkeuksia aiheuttavat rutiinit on huomioitavia.
29	+	- Hyvin suuret rutiinit eivät ole vaivan arvoista, koska riski ja alhaiset edut - esim. [päivämäärän muotoilurutiinit](https://www.freepascal.org/docs-html/rtl/sysutils/datetimeroutines.html).
30	+	- Desimaalilukujen käyttö voi nostaa poikkeuksia, jotka muunnetaan [[sysutils\|sysUtils]]-ohjelmien avulla. En ole varma, onko tämä todellakin riittävä syy, mutta ohitin Desimaalilukujen käytön käyttämällä näitä rutiineja aluksi tästä syystä.
31	+
32	+	Jos havaitset näitä muutoksia, ota yhteyttä Marcoviin.
33	+
34	+	## Demo-ohjelma
35	+
36	+	Alla on pieni demo-[[Program/fi\|ohjelma]]
37	+
38	+	Sen suorittaessaan osoittaa selvästi, että epäsuoran `try … finally` välttäminen mhdollistaa koodin suorittamisen paljon nopeammin. Kun suoritin tämän ohjelman järjestelmässäni, sain tuloksen:
39	+
40	+	`time of fooNormal: 141`\
41	+	`time of fooFaster: 17`
42	+
43	+	- Tässä näytetään temppu, jolla vältetään epäsuoria `try … finally` - lohkoja (muuttamatta koodin merkitystä tai turvallisuutta) joissakin tapauksissa (kun sinun ei tarvitse tosiasiallisesti käyttää tätä [[Ansistring\|AnsiString]]/
44	+
45	+	[[Variant\|Variant-tyyppiä]]/ jotakin muuta tyyppiä joka kerta kun aliohjelmaa kutsutaan mutta vain jos jollakin parametrilla on tietty arvo).
46	+
47	+	``` pascal
48	+	program implicitExceptionDemo(input, output, stderr);
49	+
50	+	// for exceptions
51	+	{$mode objfpc}
52	+	// data type 'string' refers to 'ansistring'
53	+	{$longstrings on}
54	+
55	+	uses
56	+	{$IFDEF UNIX}
57	+	// baseUnix, unix needed only to implement clock
58	+	BaseUnix, Unix,
59	+	{$ENDIF}
60	+	sysUtils;
61	+
62	+	function clock(): int64;
63	+
64	+	var
65	+	{$IFDEF UNIX}
66	+	dummy: tms;
67	+	{$ELSE}
68	+	TS : TTimeStamp;
69	+	{$ENDIF}
70	+	begin
71	+	{$IFDEF UNIX}
72	+	clock := fpTimes(dummy);
73	+	{$ELSE}
74	+	TS:=DateTimeToTimeStamp(Now);
75	+	result := TS.Time;
76	+	{$ENDIF}
77	+	end;
78	+
79	+	// Note: when fooNormal and fooFaster are called
80	+	// i is always >= 0, so no exception is ever actually raised.
81	+	// So string constants SNormal and SResString are not really used.
82	+
83	+	procedure fooNormal(i: integer);
84	+	var
85	+	s: string;
86	+	begin
87	+	if i = -1 then
88	+	begin
89	+	s := 'Some operation with AnsiString';
90	+	raise exception.create(s);
91	+	end;
92	+	end;
93	+
94	+	procedure fooFaster(i: integer);
95	+	procedure raiseError;
96	+	var
97	+	s: string;
98	+	begin
99	+	s := 'Some operation with AnsiString';
100	+	raise exception.create(s);
101	+	end;
102	+	begin
103	+	if i = -1 then
104	+	begin
105	+	raiseError;
106	+	end;
107	+	end;
108	+
109	+	// M A I N =================================================
110	+	const
111	+	testCount = 10000000;
112	+	var
113	+	i: integer;
114	+	start: int64;
115	+	begin
116	+	start := clock();
117	+	for i := 0 to testCount do
118	+	begin
119	+	fooNormal(i);
120	+	end;
121	+	writeLn('time of fooNormal: ', clock() - start);
122	+
123	+	start := clock();
124	+	for i := 0 to testCount do
125	+	begin
126	+	fooFaster(i);
127	+	end;
128	+	writeLn('time of fooFaster: ', clock() - start);
129	+	end.
130	+	```
131	+
132	+	Laittamalla `raiseError` toiseen [[Scope\|näkyvyyteen]] `fooFaster` aliohjelmassa, keskeysten käsittely ei tule osaksi pääkäyttöistä suoritusosaa.
133	+
134	+	---
135	+	From the Free Pascal wiki, page "Avoiding implicit try finally section/fi", as it stood on 2022-08-06 after a change by Kai Burghardt, out of the wiki's dump of 2024-05-26. Copyright stays with the author who wrote it, according to the old wiki's [[Licensing]] page. If you have concerns about this material, [message the admin](/wiki-contact).

Back to history