A keyword in the Java programming language that, when applied to a method or code block, guarantees that at most one thread at a time executes that code.