WRITER_MASK로 원하는 값을 구분 가능한 이유가 스레드ID가 15bit로 표현할 수 있는 값보다 작아서 인가요?

첫번째로 쓰레드ID가 생성 순서대로 1 2 이런 식으로 붙혀지는 것인지 궁금합니다.  이것이 아니라면 어떤 규칙에 의해 ID가 생성되는지는 os나 사용 언어(C#, C++등)에 따라 달라지는 건가요?

두번째는 상식적으로 쓰레드개수가 1000개 10000개(이럴 일이 있을까요?)여도 15bit로 표현 가능한 수보다 ID값이 작기 때문에 MASK와 쉬프트 연산자로 계산 가능한 게 맞는지 궁금합니다.