Avoiding implicit try finally section/id: what changed

Revision 2 to 3. Removed lines have a minus sign; added lines have a plus sign.

Old	New		Line
1	1		Adakalanya berguna untuk mengetahui bahwa kompilator dapat melapisi beberapa kode dalam blok implisit try ... finally. Intinya ini diperlukan saat anda menggunakan variabel tipe apapun yang harus diinisialisasi / difinalisasi (misalnya prosedur standar Initialize() dan Finalize() melakukan sesuatu yang berarti dengannya), seperti AnsiString atau Variant atau array dinamis. Atau (hanya dalam FPC sebelum tertanggal 2004-12-26) resource string.
2	2
3	3		Contohnya prosedur seperti
4	4
5	5		procedure P;
6	6		var S: AnsiString;
7	7		begin
8	8		... do something with S ...
9	9		end;
10	10
11	11		sebenarnya dikompilasi seperti
12	12
13	13		procedure P;
14	14		var S: AnsiString;
15	15		begin
16	16		Initialize(S);
17	17		try
18	18		... do something with S ...
19	19		finally Finalize(S) end;
20	20		end;
21	21
22	22		Ini diperlukan, untuk memastikan jumlah referensi dari S yang akan dikurangi dengan benar saat prosedur P kan keluar dengan eksepsi. Tapi dalam beberapa kasus ini dapat mempengaruhi secara signifikan kecepatan atas kode yang diberikan.
23	23
24	24		Ini adalah link ke diskusi yang diarsipkan pada daftar fpc-devel berkenaan dengan isu ini, dengan subyek "TList slowness in classes" : <http://www.mail-archive.com/fpc-devel@lists.freepascal.org/msg01367.html>
25	25
26	26		Catatan bahwa ansistring temp vars dapat dibuat secara implisit. Cara yang paling nyata untuk memastikan apa yang terjadi padanya adalah membaca output asm.
27	27
28	28		## Solusi yang Mungkin
29	29
30	30		- BARU! gunakan {\$implicitexceptions off} Pastikan bahwa anda hanya menggunakan ini pada versi rilis dari program anda. Mendebug dapat menjadi masalah dengan sakalr terutama mencari kebocoran memori dan kerusakan.
31	31
32	32		- pisahkan kode yang jarang digunakan yang menyebabkan implisit try finally ke dalam prosedur terpisah. (anda dapat menggunakan prosedure dalam procedure) (diverifikasi)
33	33
34	34		- gunakan parameter const daripada parameter nilai. (hindari untuk mengubah refcount tapi temps masih dapat bermasalah).
35	35
36	36		- gunakan global vars. (harus berhati-hati dengan masalah reentrency di sini dan temps masih dapat bermasalah).
37	37
38	38		- gunakan non tipe refcounted seperti shortstrings.
39	39
40	40		## Program Demo
41	41
42	42		Dan di bawah ini adalah program demo kecil yang
43	43
44	44		- Ketika dijalankan, dengan jelas memperlihatkan bahwa menghindari implisit blok try ... finally dapat menjadikan kode jauh lebih cepat. Ketika saya menjalan program ini pada sistem saya, Saya memperoleh
45	45
46		-	~~```~~
	46	+	```text
47	47		Time of Foo_Normal: 141
48	48		Time of Foo_Faster: 17
49	49		```
50	50
51	51		- Memperlihatkan trik bagaimana untuk menghindari implisit blok try ... finally (tanpa mengubah arti atau keamanan kode) dalam beberapa kasus (ketika anda tidak memerlukannya gunakan AnsiString/Variant/something setiap kali procedure dipanggil tapi misalnya hanya jika beberapa parameter memiliki nilai tertentu).
52	52
53	53		{$mode objfpc}{$H+}
54	54
55	55		uses
56	56		{BaseUnix, Unix hanya diperlukan untuk mengimplementasi Clock} BaseUnix, Unix,
57	57		SysUtils;
58	58
59	59		function Clock: Int64;
60	60		var Dummy: tms;
61	61		begin
62	62		Clock := FpTimes(Dummy);
63	63		end;
64	64
65	65		procedure Foo_Normal(i: Integer);
66	66		var S: string;
67	67		begin
68	68		if i = -1 then
69	69		begin
70	70		S := 'Some operation with AnsiString';
71	71		raise Exception.Create(S);
72	72		end;
73	73		end;
74	74
75	75		procedure Foo_Faster(i: Integer);
76	76
77	77		procedure RaiseError;
78	78		var S: string;
79	79		begin
80	80		S := 'Some operation with AnsiString';
81	81		raise Exception.Create(S);
82	82		end;
83	83
84	84		begin
85	85		if i = -1 then RaiseError;
86	86		end;
87	87
88	88		{ Catatan bahwa ketika saya memanggil Foo_Normal dan Foo_ResourceString
89	89		i selalu >= 0 maka Eksepsi tidak pernah dimunculkan.
90	90		Maka konstan string SNormal dan SResString tidak benar-benar dipakai. }
91	91
92	92		const
93	93		TestCount = 10000000;
94	94		var
95	95		i: Integer;
96	96		Start: Int64;
97	97		begin
98	98		Start := Clock;
99	99		for i := 0 to TestCount do Foo_Normal(i);
100	100		Writeln('Time of Foo_Normal: ', Clock - Start);
101	101
102	102		Start := Clock;
103	103		for i := 0 to TestCount do Foo_Faster(i);
104	104		Writeln('Time of Foo_Faster: ', Clock - Start);
105	105		end.
106	106
107	107		---
108	108		From the Free Pascal wiki, page "Avoiding implicit try finally section/id", as it stood on 2015-07-22 after a change by FTurtle, 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