We obtain upper bounds on the composition length of a finite permutation group in terms of the degree and the number of orbits, and analogous bounds for primitive, quasiprimitive and semiprimitive groups. Similarly, we obtain upper bounds on the composition length of a finite completely reducible linear group in terms of some of its parameters. In almost all cases we show that the bounds are sharp, and describe the extremal examples.Problem 1.7. Which other infinite families of permutation groups have composition lengths bounded above by a logarithmic function of the degree?Our final main result gives examples of two such families. A permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive. It is semiprimitive if each of its normal subgroups is either semiregular or transitive. (A permutation group is semiregular if the only element fixing a point is the identity.) Theorem 1.8. Let G be a permutation group of degree n.(a) If G is quasiprimitive but not primitive, thenwhere c na = 10 3 log 2 5 = 1.43 · · · as in Theorem 1.6. (b) If G is semiprimitive but not quasiprimitive, then c(G) 8 3 log 2 n − 3.We give infinitely many examples to show that the bound in Theorem 1.8(b) is best possible (see Example 6.2). For a semiprimitive group G, a normal subgroup of G which is minimal † The statement in [24, Theorem 2.10] refers to a paper 'in preparation' (reference [Py5] in [24]).