"Marshall" or "Marshal"? "Marshalling" or "Marshaling"?

Question

Which one is it in a programming context? Is there a difference? I've seen it both ways and I don't want to spell it wrong in my code.

Solution 1

Marshal, marshalling.

Solution 2

marshal is the job tile; such as, Fire Marshal or US Marshal, Field Marshal

marshal is the verb as "to gather" your forces, thoughts, facts, etc. British double the LLs for marshalled, lling.

Marshall is a person's name, 1st or last.

Solution 3

I'd go with "Marshal" and "Marshalling".