principi di locking generali secondo hartmann