 Rock dust is used in coal mines to help prevent coal dust explosions by acting as a heat sink.The dust is usually made of pulverized limestone.Rock dust has been used since the early 1900s, but there have been technological improvements since then.