Given the updated pseudo$-$code for the Reader$-$writer problem with semaphores.

Shared Data

Data set

Semaphore mutex initialized to $1.$

Semaphore wrt initialized to $1.$

Integer writecount initialized to $0.$

Writer process

while $($true$)\{$

wait $($mutex$)$;

writecount$++$;

signal $($mutex$)$;

wait $($wrt$)$ ;

$//$ writing is performed

wait $($mutex$)$;

writecount$--$;

signal $($mutex$)$;

signal $($wrt$)$ ;

$\}$

Reader process

while $($true$)\{$

while $($writecount $>0)$;

wait $($wrt$)$;

$//$ reading is performed

signal $($wrt$)$;

$\}$

Does it ensure mutual exclusion for the writers?