Avoiding implicit try finally section/id: what changed

Revision 1 to 2. 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		-	~~`Time of Foo_Normal: 141`\~~
47		-	~~`Time of Foo_Faster: 17`~~
	46	+	```
	47	+	Time of Foo_Normal: 141
	48	+	Time of Foo_Faster: 17
	49	+	```
48	50
49	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).
50	52
51	53		{$mode objfpc}{$H+}
52	54
53	55		uses
54	56		{BaseUnix, Unix hanya diperlukan untuk mengimplementasi Clock} BaseUnix, Unix,
55	57		SysUtils;
56	58
57	59		function Clock: Int64;
58	60		var Dummy: tms;
59	61		begin
60	62		Clock := FpTimes(Dummy);
61	63		end;
62	64
63	65		procedure Foo_Normal(i: Integer);
64	66		var S: string;
65	67		begin
66	68		if i = -1 then
67	69		begin
68	70		S := 'Some operation with AnsiString';
69	71		raise Exception.Create(S);
70	72		end;
71	73		end;
72	74
73	75		procedure Foo_Faster(i: Integer);
74	76
75	77		procedure RaiseError;
76	78		var S: string;
77	79		begin
78	80		S := 'Some operation with AnsiString';
79	81		raise Exception.Create(S);
80	82		end;
81	83
82	84		begin
83	85		if i = -1 then RaiseError;
84	86		end;
85	87
86	88		{ Catatan bahwa ketika saya memanggil Foo_Normal dan Foo_ResourceString
87	89		i selalu >= 0 maka Eksepsi tidak pernah dimunculkan.
88	90		Maka konstan string SNormal dan SResString tidak benar-benar dipakai. }
89	91
90	92		const
91	93		TestCount = 10000000;
92	94		var
93	95		i: Integer;
94	96		Start: Int64;
95	97		begin
96	98		Start := Clock;
97	99		for i := 0 to TestCount do Foo_Normal(i);
98	100		Writeln('Time of Foo_Normal: ', Clock - Start);
99	101
100	102		Start := Clock;
101	103		for i := 0 to TestCount do Foo_Faster(i);
102	104		Writeln('Time of Foo_Faster: ', Clock - Start);
103	105		end.
104	106
105	107		---
106	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