Title :
On compressing interchange classes of events in a concurrent system
Author :
Savari, Serap A.
Author_Institution :
Lucent Technol. Bell Labs., Murray Hill, NJ, USA
Abstract :
The use of strings is standard in modeling the temporal ordering of events in a sequence computation. A recent prize-winning paper in the computer architecture literature applies a grammar-based lossless data compression algorithm to the sequence of events that transpire while a computer program runs and utilizes the resulting grammar to better understand the program´s dynamic behavior and improve its performance. Lossless data compression is most suitable for this purpose then there is a well-defined total ordering of event occurrences. In concurrent systems, i.e., systems involving multiple processes, there is a partial ordering of events. Trace theory employs congruence or interchange classes of words over partially commutative alphabets as a way to generalize strings to executions of concurrent processes. Universal compression schemes for a rate distortion problem in which the goal is to reproduce a string, which is equivalent to the original string are considered, and it is shown that for a large collection of dependence alphabets, interchange entropy, i.e., the rate distortion limit can be attained asymptotically.
Keywords :
concurrency theory; entropy; grammars; rate distortion theory; sequential codes; source coding; commutative alphabets; concurrent system; event ordering; interchange class; interchange entropy; lossless data compression algorithm; rate distortion limit; sequential computation; strings; trace theory; universal compression schemes; Communication networks; Computer architecture; Concurrent computing; Control systems; Data compression; Entropy; Performance loss; Rate-distortion;
Conference_Titel :
Data Compression Conference, 2003. Proceedings. DCC 2003
Print_ISBN :
0-7695-1896-6
DOI :
10.1109/DCC.2003.1194006