Выше написала, обычно имя Марина - "самодостаточное", и я редко слышала, чтобы "русскоязычных"  Марин звали как-то по другому (ну разве что Мариша), еще знаю одну Машу, которая на самом деле Марина, а не Мария. Сокращения, о которых написала - или из литературы, или "национальные".