2.8 KiB
rwmutex
sync.RWMutex -- это примитив синхронизации, предоставляющий доступ к критической секции произвольному количеству читателей, не более, чем одному писателю. При этом, если есть писатель, то читателей нет.
Что нужно сделать?
Нужно написать реализацию RWMutex используя каналы.
Использование пакета sync в этой задаче запрещено!
type RWMutex struct {}
func (rw *RWMutex) Lock() {}
func (rw *RWMutex) Unlock() {}
func (rw *RWMutex) RLock() {}
func (rw *RWMutex) RUnlock() {}
RWMutex можно представлять себе как две блокировки, блокировка на чтение и блокировка на запись.
New() возвращает RWMutex, в котором ни одна из блокировок не взята.
Процессы, желающие изменить данные (писатели), берут блокировку на запись с помощью метода Lock.
Процессы, желающие прочитать данные (читатели), берут блокировку на чтение с помощью метода RLock.
По окончании записи писатель отпускает блокировку на запись (Unlock).
С блокировкой на чтение связано число, число активных читателей.
При взятии блокировки (RLock) это число инкрементируется.
При завершении чтения (RUnlock) блокировка на чтение уменьшает счётчик.
Свойства
- Писатель не заблокируется при взятии блокировки только при условии, что никакой другой писатель и никакой другой читатель не владеет соответствующей блокировкой.
- Если какой-то писатель взял блокировку на запись, любой новый писатель или читатель заблокируется при взятии блокировки.
- Если какой-то читатель взял блокировку на чтение, любой новый писатель заблокируется на взятии блокировки. Однако любой писатель сможет взять блокировку на чтение.
Для выполнения этих свойств достаточно двух каналов.