| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | #include "master.hpp"
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | namespace factor { | 
					
						
							| 
									
										
										
										
											2009-05-04 02:46:13 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-21 04:34:23 -05:00
										 |  |  | data_heap::data_heap(bump_allocator* vm_nursery, | 
					
						
							| 
									
										
										
										
											2014-11-21 02:52:33 -05:00
										 |  |  |                      cell young_size_, | 
					
						
							|  |  |  |                      cell aging_size_, | 
					
						
							|  |  |  |                      cell tenured_size_) { | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   young_size_ = align(young_size_, deck_size); | 
					
						
							|  |  |  |   aging_size_ = align(aging_size_, deck_size); | 
					
						
							|  |  |  |   tenured_size_ = align(tenured_size_, deck_size); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   young_size = young_size_; | 
					
						
							|  |  |  |   aging_size = aging_size_; | 
					
						
							|  |  |  |   tenured_size = tenured_size_; | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   cell total_size = young_size + 2 * aging_size + tenured_size + deck_size; | 
					
						
							|  |  |  |   seg = new segment(total_size, false); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-02-23 11:11:09 -05:00
										 |  |  |   cell cards_size = total_size / card_size; | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   cards = new card[cards_size]; | 
					
						
							|  |  |  |   cards_end = cards + cards_size; | 
					
						
							|  |  |  |   memset(cards, 0, cards_size); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-02-23 11:11:09 -05:00
										 |  |  |   cell decks_size = total_size / deck_size; | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   decks = new card_deck[decks_size]; | 
					
						
							|  |  |  |   decks_end = decks + decks_size; | 
					
						
							|  |  |  |   memset(decks, 0, decks_size); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   start = align(seg->start, deck_size); | 
					
						
							| 
									
										
										
										
											2009-10-07 12:59:59 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   tenured = new tenured_space(tenured_size, start); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   aging = new aging_space(aging_size, tenured->end); | 
					
						
							|  |  |  |   aging_semispace = new aging_space(aging_size, aging->end); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // Initialize vm nursery
 | 
					
						
							| 
									
										
										
										
											2014-11-21 02:52:33 -05:00
										 |  |  |   vm_nursery->here = aging_semispace->end; | 
					
						
							|  |  |  |   vm_nursery->start = aging_semispace->end; | 
					
						
							|  |  |  |   vm_nursery->end = vm_nursery->start + young_size; | 
					
						
							|  |  |  |   vm_nursery->size = young_size; | 
					
						
							|  |  |  |   nursery = vm_nursery; | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   FACTOR_ASSERT(seg->end - nursery->end <= deck_size); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | data_heap::~data_heap() { | 
					
						
							|  |  |  |   delete seg; | 
					
						
							|  |  |  |   delete aging; | 
					
						
							|  |  |  |   delete aging_semispace; | 
					
						
							|  |  |  |   delete tenured; | 
					
						
							|  |  |  |   delete[] cards; | 
					
						
							|  |  |  |   delete[] decks; | 
					
						
							| 
									
										
										
										
											2009-10-07 12:59:59 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-21 04:34:23 -05:00
										 |  |  | data_heap* data_heap::grow(bump_allocator* vm_nursery, cell requested_bytes) { | 
					
						
							| 
									
										
										
										
											2014-11-21 02:52:33 -05:00
										 |  |  |   FACTOR_ASSERT(vm_nursery->occupied_space() == 0); | 
					
						
							| 
									
										
										
										
											2016-10-13 10:24:22 -04:00
										 |  |  |   cell new_tenured_size = 2 * tenured_size + requested_bytes; | 
					
						
							| 
									
										
										
										
											2014-11-21 02:52:33 -05:00
										 |  |  |   return new data_heap(vm_nursery, young_size, aging_size, new_tenured_size); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | template <typename Generation> void data_heap::clear_cards(Generation* gen) { | 
					
						
							|  |  |  |   cell first_card = addr_to_card(gen->start - start); | 
					
						
							|  |  |  |   cell last_card = addr_to_card(gen->end - start); | 
					
						
							|  |  |  |   memset(&cards[first_card], 0, last_card - first_card); | 
					
						
							| 
									
										
										
										
											2009-10-21 20:41:54 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | template <typename Generation> void data_heap::clear_decks(Generation* gen) { | 
					
						
							|  |  |  |   cell first_deck = addr_to_deck(gen->start - start); | 
					
						
							|  |  |  |   cell last_deck = addr_to_deck(gen->end - start); | 
					
						
							|  |  |  |   memset(&decks[first_deck], 0, last_deck - first_deck); | 
					
						
							| 
									
										
										
										
											2009-10-21 20:41:54 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-01-10 10:14:54 -05:00
										 |  |  | void data_heap::reset_nursery() { | 
					
						
							|  |  |  |   nursery->flush(); | 
					
						
							| 
									
										
										
										
											2014-08-06 18:30:15 -04:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2009-10-21 20:41:54 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-01-10 10:14:54 -05:00
										 |  |  | void data_heap::reset_aging() { | 
					
						
							|  |  |  |   aging->flush(); | 
					
						
							|  |  |  |   clear_cards(aging); | 
					
						
							|  |  |  |   clear_decks(aging); | 
					
						
							|  |  |  |   aging->starts.clear_object_start_offsets(); | 
					
						
							| 
									
										
										
										
											2009-10-21 20:41:54 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-01-10 10:14:54 -05:00
										 |  |  | void data_heap::reset_tenured() { | 
					
						
							|  |  |  |   clear_cards(tenured); | 
					
						
							|  |  |  |   clear_decks(tenured); | 
					
						
							| 
									
										
										
										
											2009-10-21 20:41:54 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | bool data_heap::high_fragmentation_p() { | 
					
						
							| 
									
										
										
										
											2015-05-07 07:29:57 -04:00
										 |  |  |   return tenured->largest_free_block() <= high_water_mark(); | 
					
						
							| 
									
										
										
										
											2009-11-03 23:25:22 -05:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | bool data_heap::low_memory_p() { | 
					
						
							| 
									
										
										
										
											2016-10-02 23:09:02 -04:00
										 |  |  |   return tenured->free_space <= high_water_mark(); | 
					
						
							| 
									
										
										
										
											2009-12-05 19:03:53 -05:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | void data_heap::mark_all_cards() { | 
					
						
							| 
									
										
										
										
											2015-02-23 11:11:09 -05:00
										 |  |  |   memset(cards, 0xff, cards_end - cards); | 
					
						
							|  |  |  |   memset(decks, 0xff, decks_end - decks); | 
					
						
							| 
									
										
										
										
											2009-11-05 20:03:51 -05:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | void factor_vm::set_data_heap(data_heap* data_) { | 
					
						
							|  |  |  |   data = data_; | 
					
						
							| 
									
										
										
										
											2016-04-04 17:30:16 -04:00
										 |  |  |   cards_offset = (cell)data->cards - addr_to_card(data->start); | 
					
						
							|  |  |  |   decks_offset = (cell)data->decks - addr_to_deck(data->start); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | data_heap_room factor_vm::data_room() { | 
					
						
							|  |  |  |   data_heap_room room; | 
					
						
							| 
									
										
										
										
											2009-10-27 04:32:28 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2014-11-21 02:52:33 -05:00
										 |  |  |   room.nursery_size = data->nursery->size; | 
					
						
							|  |  |  |   room.nursery_occupied = data->nursery->occupied_space(); | 
					
						
							|  |  |  |   room.nursery_free = data->nursery->free_space(); | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   room.aging_size = data->aging->size; | 
					
						
							|  |  |  |   room.aging_occupied = data->aging->occupied_space(); | 
					
						
							|  |  |  |   room.aging_free = data->aging->free_space(); | 
					
						
							|  |  |  |   room.tenured_size = data->tenured->size; | 
					
						
							|  |  |  |   room.tenured_occupied = data->tenured->occupied_space(); | 
					
						
							| 
									
										
										
										
											2016-10-02 23:09:02 -04:00
										 |  |  |   room.tenured_total_free = data->tenured->free_space; | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   room.tenured_contiguous_free = data->tenured->largest_free_block(); | 
					
						
							| 
									
										
										
										
											2016-10-02 23:09:02 -04:00
										 |  |  |   room.tenured_free_block_count = data->tenured->free_block_count; | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   room.cards = data->cards_end - data->cards; | 
					
						
							|  |  |  |   room.decks = data->decks_end - data->decks; | 
					
						
							|  |  |  |   room.mark_stack = mark_stack.capacity() * sizeof(cell); | 
					
						
							| 
									
										
										
										
											2009-10-27 04:32:28 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  |   return room; | 
					
						
							| 
									
										
										
										
											2009-10-27 22:31:28 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  | // Allocates memory
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | void factor_vm::primitive_data_room() { | 
					
						
							|  |  |  |   data_heap_room room = data_room(); | 
					
						
							|  |  |  |   ctx->push(tag<byte_array>(byte_array_from_value(&room))); | 
					
						
							| 
									
										
										
										
											2009-05-02 05:04:19 -04:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  | // Allocates memory
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | cell factor_vm::instances(cell type) { | 
					
						
							| 
									
										
										
										
											2014-11-20 17:30:43 -05:00
										 |  |  |   primitive_full_gc(); | 
					
						
							| 
									
										
										
										
											2015-07-06 12:31:44 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  |   std::vector<cell> objects; | 
					
						
							|  |  |  |   auto object_accumulator = [&](object* obj) { | 
					
						
							|  |  |  |     if (type == TYPE_COUNT || obj->type() == type) | 
					
						
							|  |  |  |       objects.push_back(tag_dynamic(obj)); | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  |   each_object(object_accumulator); | 
					
						
							|  |  |  |   return std_vector_to_array(objects); | 
					
						
							| 
									
										
										
										
											2009-11-05 22:49:03 -05:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2009-10-31 22:06:34 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  | // Allocates memory
 | 
					
						
							| 
									
										
										
										
											2013-05-11 21:56:29 -04:00
										 |  |  | void factor_vm::primitive_all_instances() { | 
					
						
							|  |  |  |   ctx->push(instances(TYPE_COUNT)); | 
					
						
							| 
									
										
										
										
											2009-11-05 22:49:03 -05:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2009-05-13 01:58:54 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-05-04 02:46:13 -04:00
										 |  |  | } |