Context Navigation

vci_cc_xcache_wrapper_v4.h @ 167

Last change on this file since 167 was 167, checked in by kane, 13 years ago
delete all timeout reference (multi write buffer)
Property svn:eol-style set to `native` Property svn:keywords set to `"Author Date Id Rev URL Revision"` Property svn:mime-type set to `text/plain`
File size: 19.4 KB

Line
1	/* -- c++ --
2	*
3	* SOCLIB_LGPL_HEADER_BEGIN
4	*
5	* This file is part of SoCLib, GNU LGPLv2.1.
6	*
7	* SoCLib is free software; you can redistribute it and/or modify it
8	* under the terms of the GNU Lesser General Public License as published
9	* by the Free Software Foundation; version 2.1 of the License.
10	*
11	* SoCLib is distributed in the hope that it will be useful, but
12	* WITHOUT ANY WARRANTY; without even the implied warranty of
13	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14	* Lesser General Public License for more details.
15	*
16	* You should have received a copy of the GNU Lesser General Public
17	* License along with SoCLib; if not, write to the Free Software
18	* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
19	* 02110-1301 USA
20	*
21	* SOCLIB_LGPL_HEADER_END
22	*
23	* Copyright (c) UPMC, Lip6, SoC
24	* Alain Greiner <alain.greiner@lip6.fr>, 2008
25	*
26	* Maintainers: alain
27	*/
28
29	#ifndef SOCLIB_CABA_VCI_CC_XCACHE_WRAPPER_V4_H
30	#define SOCLIB_CABA_VCI_CC_XCACHE_WRAPPER_V4_H
31
32	#include <inttypes.h>
33	#include <fstream>
34	#include <systemc>
35	#include <queue>
36	#include "caba_base_module.h"
37	#include "multi_write_buffer.h"
38	#include "generic_cache.h"
39	#include "generic_fifo.h"
40	#include "vci_initiator.h"
41	#include "vci_target.h"
42	#include "mapping_table.h"
43	#include "static_assert.h"
44
45	/*
46	* ----------------------------------------------------------
47	* Implementation
48	* ----------------------------------------------------------
49	*
50	* CC_XCACHE_WRAPPER_MULTI_CACHE
51	* 1 - icache static partitionnement
52	* 2 - icache dedicated
53	*
54	* ----------------------------------------------------------
55	* Debug
56	* ----------------------------------------------------------
57	*
58	* CC_XCACHE_WRAPPER_STOP_SIMULATION
59	* stop simulation if processor is stall after a long time
60	* (configurable with "stop_simulation" function)
61	*
62	* CC_XCACHE_WRAPPER_DEBUG
63	* Add log to help the debugging
64	*
65	* CC_XCACHE_WRAPPER_DEBUG_CYCLE_MIN
66	* Number of cycle before to prinf debug message
67	*
68	* CC_XCACHE_WRAPPER_DEBUG_FILE_TRANSACTION
69	* Print transaction between :
70	* - the cpu and the cache (icache and dcache)
71	* - vci
72	* - cleanup
73	* - coherency
74	*
75	* MWBUF_VHDL_TESTBENCH
76	* generate a vhdl testbench for multi write buffer
77	*/
78
79	// implementation
80	#ifndef CC_XCACHE_WRAPPER_MULTI_CACHE
81	#define CC_XCACHE_WRAPPER_MULTI_CACHE 2
82	// if multi_cache :
83	// <tsar toplevel>/modules/vci_mem_cache_v4/caba/source/include/mem_cache_directory_v4.h : L1_MULTI_CACHE 1
84	#endif
85
86	// debug
87	#ifndef CC_XCACHE_WRAPPER_STOP_SIMULATION
88	#define CC_XCACHE_WRAPPER_STOP_SIMULATION 1
89	#endif
90	#ifndef CC_XCACHE_WRAPPER_DEBUG
91	#define CC_XCACHE_WRAPPER_DEBUG 0
92	#endif
93	#ifndef CC_XCACHE_WRAPPER_DEBUG_CYCLE_MIN
94	#define CC_XCACHE_WRAPPER_DEBUG_CYCLE_MIN 4725000
95	#endif
96	#ifndef CC_XCACHE_WRAPPER_DEBUG_FILE_TRANSACTION
97	#define CC_XCACHE_WRAPPER_DEBUG_FILE_TRANSACTION 0
98	#define CC_XCACHE_WRAPPER_DEBUG_FILE_TRANSACTION_PATH "log"
99	#endif
100	#ifndef MWBUF_VHDL_TESTBENCH
101	#define MWBUF_VHDL_TESTBENCH 0
102	#endif
103
104	namespace soclib {
105	namespace caba {
106
107	using namespace sc_core;
108
109	////////////////////////////////////////////
110	template<typename vci_param, typename iss_t>
111	class VciCcXCacheWrapperV4
112	///////////////////////////////////////////
113	: public soclib::caba::BaseModule
114	{
115	typedef uint64_t vhdl_tb_t;
116	typedef sc_dt::sc_uint<40> addr_40;
117	typedef uint32_t data_t;
118	typedef uint32_t tag_t;
119	typedef uint32_t be_t;
120	typedef typename vci_param::fast_addr_t vci_addr_t;
121
122	enum dcache_fsm_state_e {
123	DCACHE_IDLE,
124	DCACHE_WRITE_UPDT,
125	DCACHE_MISS_VICTIM,
126	DCACHE_MISS_WAIT,
127	DCACHE_MISS_UPDT,
128	DCACHE_UNC_WAIT,
129	DCACHE_SC_WAIT,
130	DCACHE_INVAL,
131	DCACHE_SYNC,
132	DCACHE_ERROR,
133	DCACHE_CC_CHECK,
134	DCACHE_CC_INVAL,
135	DCACHE_CC_UPDT,
136	DCACHE_CC_CLEANUP,
137	};
138
139	enum icache_fsm_state_e {
140	ICACHE_IDLE,
141	ICACHE_MISS_VICTIM,
142	ICACHE_MISS_WAIT,
143	ICACHE_MISS_UPDT,
144	ICACHE_UNC_WAIT,
145	ICACHE_ERROR,
146	ICACHE_CC_CLEANUP,
147	ICACHE_CC_CHECK,
148	ICACHE_CC_INVAL,
149	ICACHE_CC_UPDT,
150	};
151
152	enum cmd_fsm_state_e {
153	CMD_IDLE,
154	CMD_INS_MISS,
155	CMD_INS_UNC,
156	CMD_DATA_MISS,
157	CMD_DATA_UNC,
158	CMD_DATA_WRITE,
159	CMD_DATA_SC,
160	};
161
162	enum rsp_fsm_state_e {
163	RSP_IDLE,
164	RSP_INS_MISS,
165	RSP_INS_UNC,
166	RSP_DATA_MISS,
167	RSP_DATA_UNC,
168	RSP_DATA_WRITE,
169	RSP_DATA_SC,
170	};
171
172	enum tgt_fsm_state_e {
173	TGT_IDLE,
174	TGT_UPDT_WORD,
175	TGT_UPDT_DATA,
176	TGT_REQ_BROADCAST,
177	TGT_REQ_ICACHE,
178	TGT_REQ_DCACHE,
179	TGT_RSP_BROADCAST,
180	TGT_RSP_ICACHE,
181	TGT_RSP_DCACHE,
182	};
183
184	enum cleanup_fsm_state_e {
185	CLEANUP_IDLE,
186	CLEANUP_REQ,
187	CLEANUP_RSP_DCACHE,
188	CLEANUP_RSP_ICACHE,
189	};
190
191	enum transaction_type_c_e {
192	// convention with memcache
193	TYPE_DATA_CLEANUP = 0x0,
194	TYPE_INS_CLEANUP = 0x1
195	};
196
197	enum transaction_type_rw_e {
198	// convention with memcache
199	// b0 : 1 if cached
200	// b1 : 1 if instruction
201	// b2 : 1 if sc
202	TYPE_DATA_UNC = 0x0,
203	TYPE_DATA_MISS = 0x1,
204	TYPE_INS_UNC = 0x2,
205	TYPE_INS_MISS = 0x3,
206	TYPE_DATA_SC = 0x4, // sc is data and no cached
207	};
208
209	public:
210
211	// PORTS
212	sc_in<bool> p_clk;
213	sc_in<bool> p_resetn;
214	sc_in<bool> ** p_irq;//[m_nb_cpu][iss_t::n_irq];
215	soclib::caba::VciInitiator<vci_param> p_vci_ini_rw;
216	soclib::caba::VciInitiator<vci_param> p_vci_ini_c;
217	soclib::caba::VciTarget<vci_param> p_vci_tgt;
218
219	private:
220
221	// STRUCTURAL PARAMETERS
222	const soclib::common::AddressDecodingTable<vci_addr_t, bool> m_cacheability_table;
223	const soclib::common::Segment m_segment;
224	iss_t ** m_iss; //[m_nb_cpu]
225	const uint32_t m_srcid_rw;
226	const uint32_t m_srcid_c;
227
228	const size_t m_nb_cpu;
229	const size_t m_nb_icache;
230	const size_t m_nb_dcache;
231	const size_t m_nb_cache;
232	const size_t m_dcache_ways;
233	const size_t m_dcache_words;
234	const uint32_t m_dcache_words_shift;
235	const size_t m_dcache_yzmask;
236	const size_t m_icache_ways;
237	const size_t m_icache_words;
238	const uint32_t m_icache_words_shift;
239	const size_t m_icache_yzmask;
240	const size_t m_cache_words; // max between m_dcache_words and m_icache_words
241
242	#if CC_XCACHE_WRAPPER_STOP_SIMULATION
243	bool m_stop_simulation;
244	uint32_t m_stop_simulation_nb_frz_cycles_max;
245	uint32_t * m_stop_simulation_nb_frz_cycles; //[m_nb_cpu]
246	#endif // CC_XCACHE_WRAPPER_STOP_SIMULATION
247
248	// REGISTERS
249	sc_signal<uint32_t> r_cpu_prior;
250	sc_signal<uint32_t> * r_icache_lock;//[m_nb_icache]
251	sc_signal<uint32_t> * r_dcache_lock;//[m_nb_dcache]
252	sc_signal<bool> * r_dcache_sync;//[m_nb_dcache]
253
254	sc_signal<int> * r_dcache_fsm; //[m_nb_dcache]
255	sc_signal<int> * r_dcache_fsm_save; //[m_nb_dcache]
256	sc_signal<addr_40> * r_dcache_addr_save; //[m_nb_dcache]
257	sc_signal<data_t> * r_dcache_wdata_save; //[m_nb_dcache]
258	sc_signal<data_t> * r_dcache_rdata_save; //[m_nb_dcache]
259	sc_signal<int> * r_dcache_type_save; //[m_nb_dcache]
260	sc_signal<be_t> * r_dcache_be_save; //[m_nb_dcache]
261	sc_signal<bool> * r_dcache_cached_save; //[m_nb_dcache]
262	sc_signal<uint32_t> * r_dcache_num_cpu_save; //[m_nb_dcache]
263	sc_signal<bool> * r_dcache_cleanup_req; //[m_nb_dcache]
264	sc_signal<addr_40> * r_dcache_cleanup_line; //[m_nb_dcache]
265	sc_signal<bool> * r_dcache_miss_req; //[m_nb_dcache]
266	sc_signal<size_t> * r_dcache_miss_way; //[m_nb_dcache]
267	sc_signal<size_t> * r_dcache_miss_set; //[m_nb_dcache]
268	sc_signal<bool> * r_dcache_unc_req; //[m_nb_dcache]
269	sc_signal<bool> * r_dcache_sc_req; //[m_nb_dcache]
270	sc_signal<bool> * r_dcache_inval_rsp; //[m_nb_dcache]
271	sc_signal<size_t> * r_dcache_update_addr; //[m_nb_dcache]
272	sc_signal<data_t> ** r_dcache_ll_data; //[m_nb_dcache][m_nb_cpu]
273	sc_signal<addr_40> ** r_dcache_ll_addr; //[m_nb_dcache][m_nb_cpu]
274	sc_signal<bool> ** r_dcache_ll_valid; //[m_nb_dcache][m_nb_cpu]
275	sc_signal<bool> * r_dcache_previous_unc; //[m_nb_dcache]
276
277	sc_signal<int> * r_icache_fsm; //[m_nb_icache]
278	sc_signal<int> * r_icache_fsm_save; //[m_nb_icache]
279	sc_signal<addr_40> * r_icache_addr_save; //[m_nb_icache]
280	sc_signal<bool> * r_icache_miss_req; //[m_nb_icache]
281	sc_signal<size_t> * r_icache_miss_way; //[m_nb_icache]
282	sc_signal<size_t> * r_icache_miss_set; //[m_nb_icache]
283	sc_signal<bool> * r_icache_unc_req; //[m_nb_icache]
284	sc_signal<bool> * r_icache_cleanup_req; //[m_nb_icache]
285	sc_signal<addr_40> * r_icache_cleanup_line; //[m_nb_icache]
286	sc_signal<bool> * r_icache_inval_rsp; //[m_nb_icache]
287	sc_signal<size_t> * r_icache_update_addr; //[m_nb_icache]
288	sc_signal<bool> * r_icache_buf_unc_valid;//[m_nb_icache]
289
290	sc_signal<int> r_vci_cmd_fsm;
291	sc_signal<size_t> r_vci_cmd_min;
292	sc_signal<size_t> r_vci_cmd_max;
293	sc_signal<size_t> r_vci_cmd_cpt;
294	sc_signal<bool> r_vci_cmd_dcache_prior;
295	sc_signal<uint32_t> r_vci_cmd_num_icache_prior;
296	sc_signal<uint32_t> r_vci_cmd_num_dcache_prior;
297	sc_signal<uint32_t> r_vci_cmd_num_cache;
298
299	sc_signal<int> r_vci_rsp_fsm;
300	sc_signal<size_t> r_vci_rsp_cpt;
301	sc_signal<uint32_t> r_vci_rsp_num_cache;
302	sc_signal<bool> * r_vci_rsp_ins_error; //[m_nb_icache]
303	sc_signal<bool> * r_vci_rsp_data_error; //[m_nb_dcache]
304
305	GenericFifo<data_t> r_vci_rsp_fifo_icache_data;
306	GenericFifo<uint32_t> r_vci_rsp_fifo_icache_num_cache;
307	GenericFifo<data_t> r_vci_rsp_fifo_dcache_data;
308	GenericFifo<uint32_t> r_vci_rsp_fifo_dcache_num_cache;
309
310	data_t * r_tgt_buf; //[m_cache_words]
311	be_t * r_tgt_be; //[m_cache_words]
312	sc_signal<uint32_t> r_cache_word;
313
314	sc_signal<int> r_vci_tgt_fsm;
315	sc_signal<addr_40> r_tgt_iaddr;
316	sc_signal<addr_40> r_tgt_daddr;
317	sc_signal<size_t> r_tgt_word;
318	sc_signal<bool> r_tgt_update;
319	sc_signal<bool> r_tgt_update_data;
320	//sc_signal<bool> r_tgt_brdcast;
321	sc_signal<size_t> r_tgt_srcid;
322	sc_signal<size_t> r_tgt_pktid;
323	sc_signal<size_t> r_tgt_trdid;
324	//sc_signal<size_t> r_tgt_plen;
325	sc_signal<uint32_t> r_tgt_num_cache;
326	sc_signal<bool> * r_tgt_icache_req; //[m_nb_icache]
327	sc_signal<bool> * r_tgt_icache_rsp; //[m_nb_icache]
328	sc_signal<bool> * r_tgt_dcache_req; //[m_nb_dcache]
329	sc_signal<bool> * r_tgt_dcache_rsp; //[m_nb_dcache]
330
331	sc_signal<int> r_cleanup_fsm; // controls initiator port of the coherence network
332	sc_signal<uint32_t> r_cleanup_num_cache;
333	sc_signal<bool> r_cleanup_icache;
334
335	MultiWriteBuffer<addr_40>** r_wbuf;
336	GenericCache<vci_addr_t> ** r_icache;
337	GenericCache<vci_addr_t> ** r_dcache;
338
339	#if CC_XCACHE_WRAPPER_DEBUG_FILE_TRANSACTION
340	bool generate_log_transaction_file_icache;
341	bool generate_log_transaction_file_dcache;
342	bool generate_log_transaction_file_cmd;
343	bool generate_log_transaction_file_tgt;
344	bool generate_log_transaction_file_cleanup;
345
346	std::ofstream * log_transaction_file_icache; //[m_nb_cpu]
347	std::ofstream * log_transaction_file_dcache; //[m_nb_cpu]
348	std::ofstream log_transaction_file_cmd;
349	std::ofstream log_transaction_file_tgt;
350	std::ofstream log_transaction_file_cleanup;
351	#endif
352
353	#if MWBUF_VHDL_TESTBENCH
354	bool simulation_started;
355	bool generate_vhdl_testbench_mwbuf;
356	std::ofstream * vhdl_testbench_mwbuf; //[m_nb_dcache]
357	#endif
358
359	// Activity counters
360	uint32_t m_cpt_dcache_data_read; // * DCACHE DATA READ
361	uint32_t m_cpt_dcache_data_write; // * DCACHE DATA WRITE
362	uint32_t m_cpt_dcache_dir_read; // * DCACHE DIR READ
363	uint32_t m_cpt_dcache_dir_write; // * DCACHE DIR WRITE
364
365	uint32_t m_cpt_icache_data_read; // * ICACHE DATA READ
366	uint32_t m_cpt_icache_data_write; // * ICACHE DATA WRITE
367	uint32_t m_cpt_icache_dir_read; // * ICACHE DIR READ
368	uint32_t m_cpt_icache_dir_write; // * ICACHE DIR WRITE
369
370	uint32_t m_cpt_cc_update_icache; // number of coherence update packets (for icache)
371	uint32_t m_cpt_cc_update_dcache; // number of coherence update packets (for dcache)
372	uint32_t m_cpt_cc_inval_broadcast; // number of coherence inval packets
373	uint32_t m_cpt_cc_inval_icache; // number of coherence inval packets
374	uint32_t m_cpt_cc_inval_dcache; // number of coherence inval packets
375	uint32_t m_cpt_cc_update_icache_word_useful; // number of valid word in coherence update packets
376	uint32_t m_cpt_cc_update_dcache_word_useful; // number of valid word in coherence update packets
377
378	uint32_t * m_cpt_frz_cycles; // * number of cycles where the cpu is frozen
379	uint32_t m_cpt_total_cycles; // total number of cycles
380
381	uint32_t m_cpt_data_read; // number of data read
382	uint32_t m_cpt_data_read_miss; // number of data read miss
383	uint32_t m_cpt_data_read_uncached; // number of data read uncached
384	uint32_t m_cpt_data_write; // number of data write
385	uint32_t m_cpt_data_write_miss; // number of data write miss
386	uint32_t m_cpt_data_write_uncached; // number of data write uncached
387	uint32_t m_cpt_ins_miss; // * number of instruction miss
388
389	uint32_t m_cost_write_frz; // * number of frozen cycles related to write buffer
390	uint32_t m_cost_data_miss_frz; // * number of frozen cycles related to data miss
391	uint32_t m_cost_unc_read_frz; // * number of frozen cycles related to uncached read
392	uint32_t m_cost_ins_miss_frz; // * number of frozen cycles related to ins miss
393
394	uint32_t m_cpt_imiss_transaction; // * number of VCI instruction miss transactions
395	uint32_t m_cpt_dmiss_transaction; // * number of VCI data miss transactions
396	uint32_t m_cpt_unc_transaction; // * number of VCI uncached read transactions
397	uint32_t m_cpt_data_write_transaction; // * number of VCI write transactions
398
399	uint32_t m_cost_imiss_transaction; // * cumulated duration for VCI IMISS transactions
400	uint32_t m_cost_dmiss_transaction; // * cumulated duration for VCI DMISS transactions
401	uint32_t m_cost_unc_transaction; // * cumulated duration for VCI UNC transactions
402	uint32_t m_cost_write_transaction; // * cumulated duration for VCI WRITE transactions
403	uint32_t m_length_write_transaction; // * cumulated length for VCI WRITE transactions
404
405	uint32_t * m_cpt_icache_access; //[m_nb_icache]
406	uint32_t * m_cpt_dcache_access; //[m_nb_dcache]
407	uint32_t * m_cpt_dcache_hit_after_miss_read; //[m_nb_dcache]
408	uint32_t * m_cpt_dcache_hit_after_miss_write; //[m_nb_dcache]
409	uint32_t * m_cpt_dcache_store_after_store; //[m_nb_dcache]
410	uint32_t * m_cpt_icache_miss_victim_wait; //[m_nb_icache]
411	uint32_t * m_cpt_dcache_miss_victim_wait; //[m_nb_dcache]
412
413	uint32_t ** m_cpt_fsm_dcache; //[m_nb_dcache]
414	uint32_t ** m_cpt_fsm_icache; //[m_nb_icache]
415	uint32_t * m_cpt_fsm_cmd;
416	uint32_t * m_cpt_fsm_rsp;
417	uint32_t * m_cpt_fsm_tgt;
418	uint32_t * m_cpt_fsm_cleanup;
419
420	// Non blocking multi-cache
421	typename iss_t::InstructionRequest * ireq ; //[m_nb_icache]
422	typename iss_t::InstructionResponse * irsp ; //[m_nb_icache]
423	bool * ireq_cached ; //[m_nb_icache]
424	uint32_t * ireq_num_cpu; //[m_nb_dcache]
425	typename iss_t::DataRequest * dreq ; //[m_nb_dcache]
426	typename iss_t::DataResponse * drsp ; //[m_nb_dcache]
427	bool * dreq_cached ; //[m_nb_dcache]
428	uint32_t * dreq_num_cpu; //[m_nb_dcache]
429
430	const uint32_t m_num_cache_LSB;
431	const uint32_t m_num_cache_MSB;
432	addr_40 m_num_cache_LSB_mask;
433	addr_40 m_num_cache_mask;
434
435	protected:
436	SC_HAS_PROCESS(VciCcXCacheWrapperV4);
437
438	public:
439
440	VciCcXCacheWrapperV4(
441	sc_module_name insname,
442	int proc_id,
443	const soclib::common::MappingTable &mtp,
444	const soclib::common::MappingTable &mtc,
445	const soclib::common::IntTab &initiator_index_rw,
446	const soclib::common::IntTab &initiator_index_c,
447	const soclib::common::IntTab &target_index,
448	size_t nb_cpu,
449	size_t nb_dcache,
450	size_t icache_ways,
451	size_t icache_sets,
452	size_t icache_words,
453	size_t dcache_ways,
454	size_t dcache_sets,
455	size_t dcache_words,
456	size_t wbuf_nwords,
457	size_t wbuf_nlines
458	);
459
460	~VciCcXCacheWrapperV4();
461
462	void print_trace(size_t mode = 0);
463	void print_cpi();
464	void print_stats(bool print_wbuf=true, bool print_fsm=true);
465
466	void stop_simulation (uint32_t);
467	void log_transaction ( bool generate_file_icache
468	,bool generate_file_dcache
469	,bool generate_file_cmd
470	,bool generate_file_tgt
471	,bool generate_file_cleanup);
472
473	void vhdl_testbench (bool generate_file_mwbuf);
474
475	private:
476
477	void transition();
478	void genMoore();
479
480	uint32_t get_num_cache (addr_40 & addr);
481	uint32_t get_num_cache_only(addr_40 addr);
482	void set_num_cache (addr_40 & addr, uint32_t num_cache);
483	addr_40 set_num_cache_only(addr_40 addr, uint32_t num_cache);
484
485	soclib_static_assert((int)iss_t::SC_ATOMIC == (int)vci_param::STORE_COND_ATOMIC);
486	soclib_static_assert((int)iss_t::SC_NOT_ATOMIC == (int)vci_param::STORE_COND_NOT_ATOMIC);
487	};
488
489	}}
490
491	#endif /* SOCLIB_CABA_VCI_CC_XCACHE_WRAPPER_V4_H */
492
493	// Local Variables:
494	// tab-width: 4
495	// c-basic-offset: 4
496	// c-file-offsets:((innamespace . 0)(inline-open . 0))
497	// indent-tabs-mode: nil
498	// End:
499
500	// vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=4:softtabstop=4

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format