b331a0a7d4fbb04ff3e3f76aa6d8f43d29c7268d
[mono.git] / mono / metadata / gc.c
1 /*
2  * metadata/gc.c: GC icalls.
3  *
4  * Author: Paolo Molaro <lupus@ximian.com>
5  *
6  * (C) 2002 Ximian, Inc.
7  */
8
9 #include <config.h>
10 #include <glib.h>
11 #include <string.h>
12
13 #include <mono/metadata/gc-internal.h>
14 #include <mono/metadata/threads.h>
15 #include <mono/metadata/tabledefs.h>
16 #include <mono/metadata/exception.h>
17 #include <mono/metadata/domain-internals.h>
18 #include <mono/metadata/class-internals.h>
19 #define GC_I_HIDE_POINTERS
20 #include <mono/os/gc_wrapper.h>
21
22 #ifndef HIDE_POINTER
23 #define HIDE_POINTER(v)         (v)
24 #define REVEAL_POINTER(v)       (v)
25 #endif
26
27 typedef struct DomainFinalizationReq {
28         MonoDomain *domain;
29         HANDLE done_event;
30 } DomainFinalizationReq;
31
32 #ifdef PLATFORM_WINCE /* FIXME: add accessors to gc.dll API */
33 extern void (*__imp_GC_finalizer_notifier)(void);
34 #define GC_finalizer_notifier __imp_GC_finalizer_notifier
35 extern int __imp_GC_finalize_on_demand;
36 #define GC_finalize_on_demand __imp_GC_finalize_on_demand
37 #endif
38
39 static int finalize_slot = -1;
40
41 static gboolean gc_disabled = FALSE;
42
43 static CRITICAL_SECTION finalizer_mutex;
44
45 static GSList *domains_to_finalize= NULL;
46
47 static MonoThread *gc_thread;
48
49 static void object_register_finalizer (MonoObject *obj, void (*callback)(void *, void*));
50
51 #if HAVE_BOEHM_GC
52 static void finalize_notify (void);
53 static HANDLE pending_done_event;
54 static HANDLE shutdown_event;
55 static HANDLE thread_started_event;
56 #endif
57
58 /* 
59  * actually, we might want to queue the finalize requests in a separate thread,
60  * but we need to be careful about the execution domain of the thread...
61  */
62 static void
63 run_finalize (void *obj, void *data)
64 {
65         MonoObject *exc = NULL;
66         MonoObject *o, *o2;
67         o = (MonoObject*)((char*)obj + GPOINTER_TO_UINT (data));
68
69         if (finalize_slot < 0) {
70                 int i;
71                 MonoClass* obj_class = mono_get_object_class ();
72                 for (i = 0; i < obj_class->vtable_size; ++i) {
73                         MonoMethod *cm = obj_class->vtable [i];
74                
75                         if (!strcmp (mono_method_get_name (cm), "Finalize")) {
76                                 finalize_slot = i;
77                                 break;
78                         }
79                 }
80         }
81
82         mono_domain_lock (o->vtable->domain);
83
84         o2 = g_hash_table_lookup (o->vtable->domain->finalizable_objects_hash, o);
85
86         mono_domain_unlock (o->vtable->domain);
87
88         if (!o2)
89                 /* Already finalized somehow */
90                 return;
91
92         /* make sure the finalizer is not called again if the object is resurrected */
93         object_register_finalizer (obj, NULL);
94
95         if (o->vtable->klass == mono_get_thread_class ())
96                 if (mono_gc_is_finalizer_thread ((MonoThread*)o))
97                         /* Avoid finalizing ourselves */
98                         return;
99
100         /* speedup later... and use a timeout */
101         /* g_print ("Finalize run on %p %s.%s\n", o, mono_object_class (o)->name_space, mono_object_class (o)->name); */
102
103         /* Use _internal here, since this thread can enter a doomed appdomain */
104         mono_domain_set_internal (mono_object_domain (o));              
105
106         mono_runtime_invoke (o->vtable->klass->vtable [finalize_slot], o, NULL, &exc);
107
108         if (exc) {
109                 /* fixme: do something useful */
110         }
111 }
112
113 /*
114  * Some of our objects may point to a different address than the address returned by GC_malloc()
115  * (because of the GetHashCode hack), but we need to pass the real address to register_finalizer.
116  * This also means that in the callback we need to adjust the pointer to get back the real
117  * MonoObject*.
118  * We also need to be consistent in the use of the GC_debug* variants of malloc and register_finalizer, 
119  * since that, too, can cause the underlying pointer to be offset.
120  */
121 static void
122 object_register_finalizer (MonoObject *obj, void (*callback)(void *, void*))
123 {
124 #if HAVE_BOEHM_GC
125         guint offset = 0;
126
127 #ifndef GC_DEBUG
128         /* This assertion is not valid when GC_DEBUG is defined */
129         g_assert (GC_base (obj) == (char*)obj - offset);
130 #endif
131
132         if (mono_domain_is_unloading (obj->vtable->domain) && (callback != NULL))
133                 /*
134                  * Can't register finalizers in a dying appdomain, since they
135                  * could be invoked after the appdomain has been unloaded.
136                  */
137                 return;
138
139         mono_domain_lock (obj->vtable->domain);
140
141         if (callback)
142                 g_hash_table_insert (obj->vtable->domain->finalizable_objects_hash, obj,
143                                                          obj);
144         else
145                 g_hash_table_remove (obj->vtable->domain->finalizable_objects_hash, obj);
146
147         mono_domain_unlock (obj->vtable->domain);
148
149         GC_REGISTER_FINALIZER_NO_ORDER ((char*)obj - offset, callback, GUINT_TO_POINTER (offset), NULL, NULL);
150 #endif
151 }
152
153 void
154 mono_object_register_finalizer (MonoObject *obj)
155 {
156         /* g_print ("Registered finalizer on %p %s.%s\n", obj, mono_object_class (obj)->name_space, mono_object_class (obj)->name); */
157         object_register_finalizer (obj, run_finalize);
158 }
159
160 /*
161  * mono_domain_finalize:
162  *
163  *  Request finalization of all finalizable objects inside @domain. Wait
164  * @timeout msecs for the finalization to complete.
165  * Returns: TRUE if succeeded, FALSE if there was a timeout
166  */
167
168 gboolean
169 mono_domain_finalize (MonoDomain *domain, guint32 timeout) 
170 {
171         DomainFinalizationReq *req;
172         guint32 res;
173         HANDLE done_event;
174
175         /* 
176          * No need to create another thread 'cause the finalizer thread
177          * is still working and will take care of running the finalizers
178          */ 
179         
180 #if HAVE_BOEHM_GC
181         if (gc_disabled)
182                 return TRUE;
183
184         GC_gcollect ();
185
186         done_event = CreateEvent (NULL, TRUE, FALSE, NULL);
187
188         req = g_new0 (DomainFinalizationReq, 1);
189         req->domain = domain;
190         req->done_event = done_event;
191         
192         EnterCriticalSection (&finalizer_mutex);
193
194         domains_to_finalize = g_slist_append (domains_to_finalize, req);
195
196         LeaveCriticalSection (&finalizer_mutex);
197
198         /* Tell the finalizer thread to finalize this appdomain */
199         finalize_notify ();
200
201         res = WaitForSingleObjectEx (done_event, timeout, TRUE);
202
203         /* printf ("WAIT RES: %d.\n", res); */
204         if (res == WAIT_TIMEOUT) {
205                 /* We leak the handle here */
206                 return FALSE;
207         }
208
209         CloseHandle (done_event);
210         return TRUE;
211 #else
212         /* We don't support domain finalization without a GC */
213         return FALSE;
214 #endif
215 }
216
217 void
218 ves_icall_System_GC_InternalCollect (int generation)
219 {
220         MONO_ARCH_SAVE_REGS;
221
222 #if HAVE_BOEHM_GC
223         GC_gcollect ();
224 #endif
225 }
226
227 gint64
228 ves_icall_System_GC_GetTotalMemory (MonoBoolean forceCollection)
229 {
230         MONO_ARCH_SAVE_REGS;
231
232 #if HAVE_BOEHM_GC
233         if (forceCollection)
234                 GC_gcollect ();
235         return GC_get_heap_size () - GC_get_free_bytes ();
236 #else
237         return 0;
238 #endif
239 }
240
241 void
242 ves_icall_System_GC_KeepAlive (MonoObject *obj)
243 {
244         MONO_ARCH_SAVE_REGS;
245
246         /*
247          * Does nothing.
248          */
249 }
250
251 void
252 ves_icall_System_GC_ReRegisterForFinalize (MonoObject *obj)
253 {
254         MONO_ARCH_SAVE_REGS;
255
256         object_register_finalizer (obj, run_finalize);
257 }
258
259 void
260 ves_icall_System_GC_SuppressFinalize (MonoObject *obj)
261 {
262         MONO_ARCH_SAVE_REGS;
263
264         object_register_finalizer (obj, NULL);
265 }
266
267 void
268 ves_icall_System_GC_WaitForPendingFinalizers (void)
269 {
270         MONO_ARCH_SAVE_REGS;
271         
272 #if HAVE_BOEHM_GC
273         if (!GC_should_invoke_finalizers ())
274                 return;
275
276         if (mono_thread_current () == gc_thread)
277                 /* Avoid deadlocks */
278                 return;
279
280         ResetEvent (pending_done_event);
281         finalize_notify ();
282         /* g_print ("Waiting for pending finalizers....\n"); */
283         WaitForSingleObjectEx (pending_done_event, INFINITE, TRUE);
284         /* g_print ("Done pending....\n"); */
285 #else
286 #endif
287 }
288
289 static CRITICAL_SECTION allocator_section;
290 static CRITICAL_SECTION handle_section;
291 static guint32 next_handle = 0;
292 static gpointer *gc_handles = NULL;
293 static guint8 *gc_handle_types = NULL;
294 static guint32 array_size = 0;
295
296 /*
297  * The handle type is encoded in the lower two bits of the handle value:
298  * 0 -> normal
299  * 1 -> pinned
300  * 2 -> weak
301  */
302
303 typedef enum {
304         HANDLE_WEAK,
305         HANDLE_WEAK_TRACK,
306         HANDLE_NORMAL,
307         HANDLE_PINNED
308 } HandleType;
309
310 /*
311  * FIXME: make thread safe and reuse the array entries.
312  */
313 MonoObject *
314 ves_icall_System_GCHandle_GetTarget (guint32 handle)
315 {
316         MonoObject *obj;
317         gint32 type;
318
319         MONO_ARCH_SAVE_REGS;
320
321         if (gc_handles) {
322                 type = handle & 0x3;
323                 EnterCriticalSection (&handle_section);
324                 g_assert (type == gc_handle_types [handle >> 2]);
325                 obj = gc_handles [handle >> 2];
326                 LeaveCriticalSection (&handle_section);
327                 if (!obj)
328                         return NULL;
329
330                 if ((type == HANDLE_WEAK) || (type == HANDLE_WEAK_TRACK))
331                         return REVEAL_POINTER (obj);
332                 else
333                         return obj;
334         }
335         return NULL;
336 }
337
338 guint32
339 ves_icall_System_GCHandle_GetTargetHandle (MonoObject *obj, guint32 handle, gint32 type)
340 {
341         gpointer val = obj;
342         guint32 h, idx;
343
344         MONO_ARCH_SAVE_REGS;
345
346         EnterCriticalSection (&handle_section);
347         /* Indexes start from 1 since 0 means the handle is not allocated */
348         idx = ++next_handle;
349         if (idx >= array_size) {
350 #if HAVE_BOEHM_GC
351                 gpointer *new_array;
352                 guint8 *new_type_array;
353                 if (!array_size)
354                         array_size = 16;
355                 new_array = GC_MALLOC (sizeof (gpointer) * (array_size * 2));
356                 new_type_array = GC_MALLOC (sizeof (guint8) * (array_size * 2));
357                 if (gc_handles) {
358                         int i;
359                         memcpy (new_array, gc_handles, sizeof (gpointer) * array_size);
360                         memcpy (new_type_array, gc_handle_types, sizeof (guint8) * array_size);
361                         /* need to re-register links for weak refs. test if GC_realloc needs the same */
362                         for (i = 0; i < array_size; ++i) {
363 #if 0 /* This breaks the threaded finalizer, by causing segfaults deep
364        * inside libgc.  I assume it will also break without the
365        * threaded finalizer, just that the stress test (bug 31333)
366        * deadlocks too early without it.  Reverting to the previous
367        * version here stops the segfault.
368        */
369                                 if ((gc_handle_types[i] == HANDLE_WEAK) || (gc_handle_types[i] == HANDLE_WEAK_TRACK)) { /* all and only disguised pointers have it set */
370 #else
371                                 if (((gulong)new_array [i]) & 0x1) {
372 #endif
373                                         if (gc_handles [i] != (gpointer)-1)
374                                                 GC_unregister_disappearing_link (&(gc_handles [i]));
375                                         if (new_array [i] != (gpointer)-1)
376                                                 GC_GENERAL_REGISTER_DISAPPEARING_LINK (&(new_array [i]), REVEAL_POINTER (new_array [i]));
377                                 }
378                         }
379                 }
380                 array_size *= 2;
381                 gc_handles = new_array;
382                 gc_handle_types = new_type_array;
383 #else
384                 LeaveCriticalSection (&handle_section);
385                 mono_raise_exception (mono_get_exception_execution_engine ("No GCHandle support built-in"));
386 #endif
387         }
388
389         /* resuse the type from the old target */
390         if (type == -1)
391                 type =  handle & 0x3;
392         h = (idx << 2) | type;
393         switch (type) {
394         case HANDLE_WEAK:
395         case HANDLE_WEAK_TRACK:
396                 val = (gpointer)HIDE_POINTER (val);
397                 gc_handles [idx] = val;
398                 gc_handle_types [idx] = type;
399 #if HAVE_BOEHM_GC
400                 if (gc_handles [idx] != (gpointer)-1)
401                         GC_GENERAL_REGISTER_DISAPPEARING_LINK (&(gc_handles [idx]), obj);
402 #else
403                 LeaveCriticalSection (&handle_section);
404                 mono_raise_exception (mono_get_exception_execution_engine ("No weakref support"));
405 #endif
406                 break;
407         default:
408                 gc_handles [idx] = val;
409                 gc_handle_types [idx] = type;
410                 break;
411         }
412         LeaveCriticalSection (&handle_section);
413         return h;
414 }
415
416 void
417 ves_icall_System_GCHandle_FreeHandle (guint32 handle)
418 {
419         int idx = handle >> 2;
420         int type = handle & 0x3;
421
422         MONO_ARCH_SAVE_REGS;
423
424         EnterCriticalSection (&handle_section);
425
426 #ifdef HAVE_BOEHM_GC
427         g_assert (type == gc_handle_types [idx]);
428         if ((type == HANDLE_WEAK) || (type == HANDLE_WEAK_TRACK)) {
429                 if (gc_handles [idx] != (gpointer)-1)
430                         GC_unregister_disappearing_link (&(gc_handles [idx]));
431         }
432 #else
433         LeaveCriticalSection (&handle_section);
434         mono_raise_exception (mono_get_exception_execution_engine ("No GCHandle support"));
435 #endif
436
437         gc_handles [idx] = (gpointer)-1;
438         gc_handle_types [idx] = (guint8)-1;
439         LeaveCriticalSection (&handle_section);
440 }
441
442 gpointer
443 ves_icall_System_GCHandle_GetAddrOfPinnedObject (guint32 handle)
444 {
445         MonoObject *obj;
446         int type = handle & 0x3;
447
448         MONO_ARCH_SAVE_REGS;
449
450         if (gc_handles) {
451                 EnterCriticalSection (&handle_section);
452                 obj = gc_handles [handle >> 2];
453                 g_assert (gc_handle_types [handle >> 2] == type);
454                 LeaveCriticalSection (&handle_section);
455                 if ((type == HANDLE_WEAK) || (type == HANDLE_WEAK_TRACK)) {
456                         obj = REVEAL_POINTER (obj);
457                         if (obj == (MonoObject *) -1)
458                                 return NULL;
459                 }
460                 return obj;
461         }
462         return NULL;
463 }
464
465 guint32
466 mono_gchandle_new (MonoObject *obj, gboolean pinned)
467 {
468         return ves_icall_System_GCHandle_GetTargetHandle (obj, 0, pinned? HANDLE_PINNED: HANDLE_NORMAL);
469 }
470
471 guint32
472 mono_gchandle_new_weakref (MonoObject *obj, gboolean track_resurrection)
473 {
474         return ves_icall_System_GCHandle_GetTargetHandle (obj, 0, track_resurrection? HANDLE_WEAK_TRACK: HANDLE_WEAK);
475 }
476
477 /* This will return NULL for a collected object if using a weakref handle */
478 MonoObject*
479 mono_gchandle_get_target (guint32 gchandle)
480 {
481         return ves_icall_System_GCHandle_GetTarget (gchandle);
482 }
483
484 void
485 mono_gchandle_free (guint32 gchandle)
486 {
487         ves_icall_System_GCHandle_FreeHandle (gchandle);
488 }
489
490 #if HAVE_BOEHM_GC
491
492 static HANDLE finalizer_event;
493 static volatile gboolean finished=FALSE;
494
495 static void finalize_notify (void)
496 {
497 #ifdef DEBUG
498         g_message (G_GNUC_PRETTY_FUNCTION ": prodding finalizer");
499 #endif
500
501         SetEvent (finalizer_event);
502 }
503
504 static void
505 collect_objects (gpointer key, gpointer value, gpointer user_data)
506 {
507         GPtrArray *arr = (GPtrArray*)user_data;
508         g_ptr_array_add (arr, key);
509 }
510
511 /*
512  * finalize_domain_objects:
513  *
514  *  Run the finalizers of all finalizable objects in req->domain.
515  */
516 static void
517 finalize_domain_objects (DomainFinalizationReq *req)
518 {
519         int i;
520         GPtrArray *objs;
521         MonoDomain *domain = req->domain;
522         
523         while (g_hash_table_size (domain->finalizable_objects_hash) > 0) {
524                 /* 
525                  * Since the domain is unloading, nobody is allowed to put
526                  * new entries into the hash table. But finalize_object might
527                  * remove entries from the hash table, so we make a copy.
528                  */
529                 objs = g_ptr_array_new ();
530                 g_hash_table_foreach (domain->finalizable_objects_hash, 
531                                                           collect_objects, objs);
532                 /* printf ("FINALIZING %d OBJECTS.\n", objs->len); */
533
534                 for (i = 0; i < objs->len; ++i) {
535                         MonoObject *o = (MonoObject*)g_ptr_array_index (objs, i);
536                         /* FIXME: Avoid finalizing threads, etc */
537                         run_finalize (o, 0);
538                 }
539
540                 g_ptr_array_free (objs, TRUE);
541         }
542
543         /* printf ("DONE.\n"); */
544         SetEvent (req->done_event);
545
546         /* The event is closed in mono_domain_finalize if we get here */
547         g_free (req);
548 }
549
550 static guint32 finalizer_thread (gpointer unused)
551 {
552         gc_thread = mono_thread_current ();
553
554         SetEvent (thread_started_event);
555
556         while(!finished) {
557                 /* Wait to be notified that there's at least one
558                  * finaliser to run
559                  */
560                 WaitForSingleObjectEx (finalizer_event, INFINITE, TRUE);
561
562                 if (domains_to_finalize) {
563                         EnterCriticalSection (&finalizer_mutex);
564                         if (domains_to_finalize) {
565                                 DomainFinalizationReq *req = domains_to_finalize->data;
566                                 domains_to_finalize = g_slist_remove (domains_to_finalize, req);
567                                 LeaveCriticalSection (&finalizer_mutex);
568
569                                 finalize_domain_objects (req);
570                         }
571                         else
572                                 LeaveCriticalSection (&finalizer_mutex);
573                 }                               
574
575 #ifdef DEBUG
576                 g_message (G_GNUC_PRETTY_FUNCTION ": invoking finalizers");
577 #endif
578
579                 /* If finished == TRUE, mono_gc_cleanup has been called (from mono_runtime_cleanup),
580                  * before the domain is unloaded.
581                  *
582                  * There is a bug in GC_invoke_finalizer () in versions <= 6.2alpha4:
583                  * the 'mem_freed' variable is not initialized when there are no
584                  * objects to finalize, which leads to strange behavior later on.
585                  * The check is necessary to work around that bug.
586                  */
587                 if (GC_should_invoke_finalizers ()) {
588                         GC_invoke_finalizers ();
589                 }
590
591                 SetEvent (pending_done_event);
592         }
593
594         SetEvent (shutdown_event);
595         return(0);
596 }
597
598 /* 
599  * Enable or disable the separate finalizer thread.
600  * It's currently disabled because it still requires some
601  * work in the rest of the runtime.
602  */
603 #define ENABLE_FINALIZER_THREAD
604
605 #ifdef WITH_INCLUDED_LIBGC
606 /* from threads.c */
607 extern void mono_gc_stop_world (void);
608 extern void mono_gc_start_world (void);
609 extern void mono_gc_push_all_stacks (void);
610
611 static void mono_gc_lock (void)
612 {
613         EnterCriticalSection (&allocator_section);
614 }
615
616 static void mono_gc_unlock (void)
617 {
618         LeaveCriticalSection (&allocator_section);
619 }
620
621 static GCThreadFunctions mono_gc_thread_vtable = {
622         NULL,
623
624         mono_gc_lock,
625         mono_gc_unlock,
626
627         mono_gc_stop_world,
628         NULL,
629         mono_gc_push_all_stacks,
630         mono_gc_start_world
631 };
632 #endif /* WITH_INCLUDED_LIBGC */
633
634 void mono_gc_init (void)
635 {
636         InitializeCriticalSection (&handle_section);
637         InitializeCriticalSection (&allocator_section);
638
639         InitializeCriticalSection (&finalizer_mutex);
640
641 #ifdef WITH_INCLUDED_LIBGC
642         gc_thread_vtable = &mono_gc_thread_vtable;
643 #endif
644         
645         MONO_GC_REGISTER_ROOT (gc_handles);
646         MONO_GC_REGISTER_ROOT (gc_handle_types);
647         GC_no_dls = TRUE;
648
649 #ifdef ENABLE_FINALIZER_THREAD
650
651         if (g_getenv ("GC_DONT_GC")) {
652                 gc_disabled = TRUE;
653                 return;
654         }
655         
656         finalizer_event = CreateEvent (NULL, FALSE, FALSE, NULL);
657         pending_done_event = CreateEvent (NULL, TRUE, FALSE, NULL);
658         shutdown_event = CreateEvent (NULL, TRUE, FALSE, NULL);
659         thread_started_event = CreateEvent (NULL, TRUE, FALSE, NULL);
660         if (finalizer_event == NULL || pending_done_event == NULL || shutdown_event == NULL || thread_started_event == NULL) {
661                 g_assert_not_reached ();
662         }
663
664         GC_finalize_on_demand = 1;
665         GC_finalizer_notifier = finalize_notify;
666
667         mono_thread_create (mono_domain_get (), finalizer_thread, NULL);
668         /*
669          * Wait until the finalizer thread sets gc_thread since its value is needed
670          * by mono_thread_attach ()
671          */
672         WaitForSingleObjectEx (thread_started_event, INFINITE, FALSE);
673 #endif
674 }
675
676 void mono_gc_cleanup (void)
677 {
678 #ifdef DEBUG
679         g_message (G_GNUC_PRETTY_FUNCTION ": cleaning up finalizer");
680 #endif
681
682 #ifdef ENABLE_FINALIZER_THREAD
683         if (!gc_disabled) {
684                 ResetEvent (shutdown_event);
685                 finished = TRUE;
686                 finalize_notify ();
687                 /* Finishing the finalizer thread, so wait a little bit... */
688                 /* MS seems to wait for about 2 seconds */
689                 if (WaitForSingleObjectEx (shutdown_event, 2000, FALSE) == WAIT_TIMEOUT) {
690                         mono_thread_stop (gc_thread);
691                 }
692         }
693
694 #endif
695 }
696
697 void
698 mono_gc_disable (void)
699 {
700 #ifdef HAVE_GC_ENABLE
701         GC_disable ();
702 #else
703         g_assert_not_reached ();
704 #endif
705 }
706
707 void
708 mono_gc_enable (void)
709 {
710 #ifdef HAVE_GC_ENABLE
711         GC_enable ();
712 #else
713         g_assert_not_reached ();
714 #endif
715 }
716
717 #else
718
719 /* no Boehm GC support. */
720 void mono_gc_init (void)
721 {
722         InitializeCriticalSection (&handle_section);
723 }
724
725 void mono_gc_cleanup (void)
726 {
727 }
728
729 void
730 mono_gc_disable (void)
731 {
732 }
733
734 void
735 mono_gc_enable (void)
736 {
737 }
738
739 #endif
740
741 gboolean
742 mono_gc_is_finalizer_thread (MonoThread *thread)
743 {
744         return thread == gc_thread;
745 }
746
747