3 The tracefile

As mentioned earlier, the simulator will read trace requests from a tracefile. The location of this tracefile is specified in the configuration file, in the [tracefile] section:

[tracefile]
tracefile: /usr/share/haizea/traces/sample.lwf

The default value is a sample tracefile included with Haizea. If you copy the file to a different location, make sure to update the tracefile option accordingly. The format of this file is LWF (Lease Workload Format), an XML format which is particular to Haizea. For now, don't worry about parsing the trace format in detail; it is fairly human-readable and you can also find details on the LWF format in Appendix C.

<lease-workload name="sample">
	<description>
	A simple trace where an AR lease preempts a 
	best-effort lease that is already running. 
	</description>

	<lease-requests>
	
	<!-- The lease requests are initially commented out -->
	
	<!-- First lease request -->
	<!--
	...
	-->

	<!-- Second lease request -->
	<!--
	...
	-->
	
	</lease-requests>
</lease-workload>

As you can see, there are two lease requests in the file, but they are initially commented out. We will take a closer look at each of these requests next.