| dbo:abstract
|
- In computer science, a ticket lock is a synchronization mechanism, or locking algorithm, that is a type of spinlock that uses "tickets" to control which thread of execution is allowed to enter a critical section. (en)
- L'algoritmo del biglietto (in inglese ticket algorithm) serve per coordinare i processi che vogliono eseguire una sezione critica. L'algoritmo può essere spiegato nel seguente modo: ogni processo che vuole eseguire la sezione critica prende un biglietto con un numero. In un display è segnalato il numero del processo che in quel dato istante è in sezione critica; quando un processo si accorge che il numero sul display è uguale a quello presente sul suo biglietto, esso entra in sezione critica. L'algoritmo può essere scritto nel seguente modo: int number = 1; //rappresenta il prossimo numero che un processo può prendereint next = 1; //rappresenta il numero del biglietto del processo che dovrà andare in CSint turn[1:n]=([n] 0); //è un array di lunghezza n con tutti i valori settati a 0 Process CS[i=1 to n] { while(true) { //l'assegnazione del numero ed il successivo incremento viene effettuato atomicamente //il processo resta in attesa sino a quando non è verificata la condizione di await CS; //incremento della variabile next in modo atomico nonCS; } } La mutua esclusione è garantita dal fatto che number è univoco per ogni processo e quindi la condizione di await può essere verificata per un solo processo alla volta. L'assenza di deadlock è garantita dal fatto che un solo processo alla volta può entrare in sezione critica grazie all'unicità di turn. Il progresso è garantito dal fatto che se non c'è nessuno in sezione critica un processo entra. L'attesa limitata è garantita se lo scheduler è di tipo weakly fair. L'algoritmo può essere appena raffinato sostituendo alle righe di pseudo-codice delle sezioni critiche, comandi di programmazione. int number = 1; int next = 1; int turn[1:n]=([n] 0); Process CS[i=1 to n] { while(true) { turn[i]=FA(number,1); while(turn[i]!=next){} CS; next++; nonCS; } } Viene utilizzato il comando FA (fetch-and-add) che incrementa la variabile number di 1 e restituisce il valore della variabile number prima dell'incremento. (it)
- 排号自旋锁是计算机科学中的一种多线程同步机制。类似于自旋锁，但每一个申请排队自旋锁的线程获得一个排队号（ticket）。至多一个线程拥有自旋锁，当它释放锁时，把自身的ticket加1作为下一个可获得锁的ticket，持有该ticket的线程在自旋检查时就可发现已经获得了自旋锁。这种机制类似于一些提供社会服务的场所（如银行）：进门的顾客从排号机获取一个等待号，然后不断检查当前可服务的号，直至轮到其手持的号。 这是一种先进先出(FIFO)的公平性机制。 (zh)
|
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 17072 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In computer science, a ticket lock is a synchronization mechanism, or locking algorithm, that is a type of spinlock that uses "tickets" to control which thread of execution is allowed to enter a critical section. (en)
- 排号自旋锁是计算机科学中的一种多线程同步机制。类似于自旋锁，但每一个申请排队自旋锁的线程获得一个排队号（ticket）。至多一个线程拥有自旋锁，当它释放锁时，把自身的ticket加1作为下一个可获得锁的ticket，持有该ticket的线程在自旋检查时就可发现已经获得了自旋锁。这种机制类似于一些提供社会服务的场所（如银行）：进门的顾客从排号机获取一个等待号，然后不断检查当前可服务的号，直至轮到其手持的号。 这是一种先进先出(FIFO)的公平性机制。 (zh)
- L'algoritmo del biglietto (in inglese ticket algorithm) serve per coordinare i processi che vogliono eseguire una sezione critica. L'algoritmo può essere spiegato nel seguente modo: ogni processo che vuole eseguire la sezione critica prende un biglietto con un numero. In un display è segnalato il numero del processo che in quel dato istante è in sezione critica; quando un processo si accorge che il numero sul display è uguale a quello presente sul suo biglietto, esso entra in sezione critica. L'algoritmo può essere scritto nel seguente modo: (it)
|
| rdfs:label
|
- Algoritmo del biglietto (it)
- Ticket lock (en)
- 排号自旋锁 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
