c195288251
The `unlock-object` operation was O(N) with N currently locked objects --- so, O(N^2) to lock N objects and then unlock them --- because locked objects were stored in and searched in a global list. Also, GC was O(N) at any generation with N locked objects across generations, since every locked object was scanned. Fix these poblems so that locking and unlocking is practically O(1) and GC is not poportional to locked objects. More precisely, locking and unlocking is now O(C) for locking an individual object C times to be balanced by C unlocks. (Since multiple locks on a single object is rare, this performance seems good enough.) The implementation replaces the global list with segment-specific lists. Backpointers are managed using the general generational support, so that unmodified, old-generation locked objects do not need to be swept duing a new-generation collection. original commit: a57d256ca73a3d507792c471facb7e35afbe88b3
165 lines
4.4 KiB
C
165 lines
4.4 KiB
C
/* globals.h
|
|
* Copyright 1984-2017 Cisco Systems, Inc.
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
/* globals that do NOT need to be preserved in a saved heap.
|
|
* they must be initialized each time the system is brought up. */
|
|
|
|
/* gc.c */
|
|
EXTERN IBOOL S_checkheap;
|
|
EXTERN uptr S_checkheap_errors;
|
|
#ifndef WIN32
|
|
EXTERN ptr S_child_processes[static_generation+1];
|
|
#endif /* WIN32 */
|
|
|
|
/* scheme.c */
|
|
EXTERN IBOOL S_boot_time;
|
|
EXTERN int S_vfasl_boot_mode;
|
|
EXTERN IBOOL S_errors_to_console;
|
|
EXTERN ptr S_threads;
|
|
EXTERN uptr S_nthreads;
|
|
EXTERN uptr S_pagesize;
|
|
EXTERN void (*S_abnormal_exit_proc)();
|
|
EXTERN char *Sschemeheapdirs;
|
|
EXTERN char *Sdefaultheapdirs;
|
|
#ifdef PTHREADS
|
|
EXTERN s_thread_key_t S_tc_key;
|
|
EXTERN scheme_mutex_t S_tc_mutex;
|
|
EXTERN s_thread_cond_t S_collect_cond;
|
|
EXTERN INT S_tc_mutex_depth;
|
|
#endif
|
|
|
|
/* segment.c */
|
|
#ifdef segment_t2_bits
|
|
#ifdef segment_t3_bits
|
|
EXTERN t2table *S_segment_info[1<<segment_t3_bits];
|
|
#else
|
|
EXTERN t1table *S_segment_info[1<<segment_t2_bits];
|
|
#endif
|
|
#else
|
|
EXTERN seginfo *S_segment_info[1<<segment_t1_bits];
|
|
#endif
|
|
|
|
EXTERN chunkinfo *S_chunks_full;
|
|
EXTERN chunkinfo *S_chunks[PARTIAL_CHUNK_POOLS+1];
|
|
|
|
/* schsig.c */
|
|
EXTERN IBOOL S_pants_down;
|
|
|
|
/* foreign.c */
|
|
#ifdef LOAD_SHARED_OBJECT
|
|
EXTERN ptr S_foreign_dynamic;
|
|
#endif
|
|
|
|
/* globals that do need to be preserved in a saved heap */
|
|
EXTERN struct S_G_struct {
|
|
/* scheme.c */
|
|
double thread_context[size_tc / sizeof(double)];
|
|
ptr active_threads_id;
|
|
ptr error_invoke_code_object;
|
|
ptr invoke_code_object;
|
|
ptr dummy_code_object;
|
|
ptr heap_reserve_ratio_id;
|
|
IBOOL retain_static_relocation;
|
|
IBOOL enable_object_counts;
|
|
IBOOL enable_object_backreferences;
|
|
ptr scheme_version_id;
|
|
ptr make_load_binary_id;
|
|
ptr load_binary;
|
|
ptr profile_counters;
|
|
|
|
/* foreign.c */
|
|
ptr foreign_static;
|
|
ptr foreign_names;
|
|
|
|
/* thread.c */
|
|
ptr threadno;
|
|
|
|
/* segment.c */
|
|
seginfo *occupied_segments[max_real_space+1][static_generation+1];
|
|
uptr number_of_nonstatic_segments;
|
|
uptr number_of_empty_segments;
|
|
|
|
/* alloc.c */
|
|
ptr *protected[max_protected];
|
|
uptr protect_next;
|
|
ptr first_loc[max_real_space+1][static_generation+1];
|
|
ptr base_loc[max_real_space+1][static_generation+1];
|
|
ptr next_loc[max_real_space+1][static_generation+1];
|
|
iptr bytes_left[max_real_space+1][static_generation+1];
|
|
uptr bytes_of_space[max_real_space+1][static_generation+1];
|
|
uptr collect_trip_bytes;
|
|
ptr nonprocedure_code;
|
|
ptr null_string;
|
|
ptr null_vector;
|
|
ptr null_fxvector;
|
|
ptr null_bytevector;
|
|
ptr null_immutable_string;
|
|
ptr null_immutable_vector;
|
|
ptr null_immutable_fxvector;
|
|
ptr null_immutable_bytevector;
|
|
seginfo *dirty_segments[DIRTY_SEGMENT_LISTS];
|
|
|
|
/* schsig.c */
|
|
ptr error_id;
|
|
ptr nuate_id;
|
|
ptr null_continuation_id;
|
|
ptr collect_request_pending_id;
|
|
|
|
/* gc.c */
|
|
ptr guardians[static_generation+1];
|
|
IGEN min_free_gen;
|
|
IGEN new_min_free_gen;
|
|
IGEN max_nonstatic_generation;
|
|
IGEN new_max_nonstatic_generation;
|
|
uptr countof[static_generation+1][countof_types];
|
|
uptr bytesof[static_generation+1][countof_types];
|
|
uptr gctimestamp[static_generation+1];
|
|
ptr rtds_with_counts[static_generation+1];
|
|
uptr countof_size[countof_types];
|
|
ptr static_id;
|
|
ptr countof_names;
|
|
ptr gcbackreference[static_generation+1];
|
|
uptr phantom_sizes[static_generation+1];
|
|
|
|
/* intern.c */
|
|
iptr *oblist_length_pointer;
|
|
iptr oblist_length;
|
|
iptr oblist_count;
|
|
bucket **oblist;
|
|
bucket_list *buckets_of_generation[static_generation];
|
|
|
|
/* prim.c */
|
|
ptr library_entry_vector;
|
|
ptr c_entry_vector;
|
|
|
|
/* fasl.c */
|
|
ptr base_rtd;
|
|
ptr rtd_key;
|
|
ptr eq_symbol;
|
|
ptr eq_ht_rtd;
|
|
ptr symbol_symbol;
|
|
ptr symbol_ht_rtd;
|
|
ptr eqp;
|
|
ptr eqvp;
|
|
ptr equalp;
|
|
ptr symboleqp;
|
|
|
|
/* vfasl.c */
|
|
struct vfasl_hash_table *c_entries;
|
|
struct vfasl_hash_table *library_entries;
|
|
struct vfasl_hash_table *library_entry_codes;
|
|
} S_G;
|