Concurrencia: los problemas del hardware moderno y barreras de memoria

248 meneos

8317 clics

Concurrencia: los problemas del hardware moderno y barreras de memoria

Hace pocos meses en Ciencias de la computación e ingeniería... planteé un problema relacionado con programación concurrente. En ese momento no lo respondí porque una respuesta buena exigía explicaciones detalladas y largas. La realidad del hardware moderno: aunque los algoritmos anteriores para solucionar la exclusión mutua para dos y N procesos son formalmente correctos no funcionarán en la mayoría de procesadores modernos.No debería sorprenderte, los fabricantes de procesadores intentan maximizar el uso del procesador con todos los niveles...

| etiquetas: hardware moderno , barreras memoria

123 125 4 K 547 tecnología

58 comentarios

123 125 4 K 547 tecnología

Comentarios destacados:

#5 Este artículo está en portada porque lo ha escrito Gallir. Y lo sabes.

#1 --418366--

Me reconozco profano en informática pero tampoco soy de los que tiran la toalla e intento ir aprendiendo y no quedarme "atrás". Sin duda, esto no ha hecho más que empezar. El futuro inmediato.

1 32
#2 llou

Vah... ni una referencia a la RAM transaccional. Que old school.

1 30
#3 gallir *

#2 ya llegará al final del libro, pero hay problemas con la RAM transaccional, necesita caché especial sobre la que se pueda hacer rollback, por ejemplo.

4 64
#4 habitante

¿Y nadie va a decir nada de los parsers?

1 29
#5 mauser_c96

Este artículo está en portada porque lo ha escrito Gallir. Y lo sabes.

34 317
#6 audacious

#5 Post subcontratado. Por cierto, te echo de menos en cierto sitio.

2 42
#7 --178580--

"Los sistemas de multiprocesadores están conectados por una compleja red de comunicación, popularmente conocida como front side buffer. "

Sí, muy popular. De hecho hoy en la cola del pan no se hablaba de otra cosa

24 229
#8 habitante

#7 A la panadería dónde yo he ido hablaban de parsers y de parsear, así a lo tonto...

3 50
#9 --115246--

#4 Como me gusta esa palabra, parsers y Scandisk

3 42
#10 meneante2015

No hay gatos, no hay grafeno. No hay opinión de Pablo Iglesias sobre el tema
¡¡¡Sáquenla ya de portada!!!

2 36
#11 mauser_c96 *

#6 Lo sé! Pero cierto sitio está tan de capa caída, que me da pena hasta entrar.

1 32
#12 audacious

#11 Not anymore

1 30
#13 Veelicus

ya nadie se acuerda del Dispatcher????

1 27
#14 Jfreek

<respect status="on">Soy programador web, cuando entré a mi actual trabajo le dije a mi madre que era de informático. No tengo ni zorra idea de lo que Gallir nos cuenta en el post (ni ganas que tengo). Lo cierto es que hoy he ido a "intentar" subir una noticia a meneame y entre las condiciones había una que decía: "contenido interesante: ¿interesará a una cantidad razonable de lectores?". Ahora es cuando Gallir salta y dice: "Esta es mi web y hago lo que me sale de los putos huevos". Pues eso, muy interesate, y lo sabes!</respect>

11 -35
#15 --204809--

#9 A mí me gusta "farmancia" y "ojete"

7 75
#16 --204809--

#13 Sí, qué gran película!

6 72
#17 meneante2015

#14 Menéame es una secta y todo lo que dice nuestro amado líder es relevante

2 35
#18 hipernes

Hay que reconocer que es interesante pero solo para informaticos. Pero llega a portada por ser de quien es.

1 26
#19 Ferran *

#14 No la ha enviado él... ni siquiera la ha meneado.

4 60
#20 superplinio

No hay huevos a tirarla de portada

1 30
#21 --115246--

#15 ¡moñeca, cobete, armondiga, roilla!

3 39
#22 Guetta

Es Ricardo Galli y ha venido a hablarnos de su nuevo libro youtu.be/-1cTIUc7cJc

3 44
#23 Lucatu

#21 www.youtube.com/watch?v=YUNY5tuS0Bc

que no falte de na

3 43
#24 animalDeBellota *

....

1 26
#25 --362399--

Joder, no me lo puedo creer. Estoy estudiando un examen de programación concurrente, acabo hasta el nardo porque no me entero de nada, entro en menéame para desconectar y procrastinar un rato y me encuentro con esto en portada.

¿Es una señal?

12 131
#26 emdi

#25 Señal sí, pero concurrente....

10 110
#27 ElPerroDeLosCinco

#25 Sí, que vas a suspender. Mejor métete a ver porno y haz algo de provecho, que bajan los ríos muy secos.

2 42
#28 --280860--

#0 ¿Esto que es por el problema de las nvidia 970 y el uso de sus ultimos 512m?

1 27
#29 animalDeBellota *

consistencia !=coherencia

El procesador esta usando consistencia relajada (PC)... y el software debe actuar en consecuencia (mediante membars... que por cierto no tienen nada que ver con los locks). Lo que te pasa en el algoritmo es un problema de acceso "no controlado". El concepto del modelo de consistencia es más fino que eso. Leete antes class.stanford.edu/c4x/Engineering/CS316/asset/A_Primer_on_Memory_Cons

Este articulo mete más ruido que nueces.

1 26
#30 redscare

#18 Llevo 10 años de informático y esto es infumable Es interesante para un pequeño subconjunto de informáticos del que claramente no formo parte. Pero vamos, no seré yo quien ponga pegas al amado líder

2 35
#31 --462061--

relacionada mechanical-sympathy.blogspot.fr/2013/02/cpu-cache-flushing-fallacy.htm

1 26
#32 --234048--

» ver comentario
#33 animalDeBellota

#3 No necesariamente.

en.wikipedia.org/wiki/Software_transactional_memory

Por cierto Haswell tiene soporte en el ISA (Extensiones TSX)

en.wikipedia.org/wiki/Transactional_Synchronization_Extensions

1 26
#34 Frederic_Bourdin

#7 Pues soy de letras y sé lo que es aunque creo que desde que salió HyperTransport ya poco se usa.

1 30
#35 --320894--

está interesante pero es absurdo que salga esto en portada

1 34
#36 gallir *

#33 Estás hablando de construcciones por software (STM), si mencioné el tema de cache es claramente de arquitectura de hardware (pensé que me hablaba de eso, que es "hot topic" en la academia). Debería haber sido más explícito, hablaba de HTM y no STM. Quizás deba hablar algo más de STM de forma separada, aunque no es gran cosa ni tan fundamental como las otras construcciones (semáforos, monitores, mensajes/canales), en general son simples librerías.

1 33
#37 animalDeBellota

#36 Es memoria transaccional en ambos casos, no? Más que hot topic... Ya esta un poco viejuno para la academia. Los golden days fueron hace 5 o 6 años. La peña tiene muchas dudas si eso realmente vale para algo más que para hacer papeles. La experiencia es que desde el punto de vista de productividad, no se nota demasiado. Veremos si las TSX las usa alguien o no (en cualquier caso las TSX es más SLE que transactional memory)

1 26
#38 gallir

#37

> Es memoria transaccional en ambos casos, no?

Ya, me lié yo, lo leí y pensé sólo en hardware.

En la "academia" se sigue discutiendo y estudiando el tema de cache con soporte de transacciones

0 13
#39 animalDeBellota

#38 believe me... pero no. La peña esta huyendo a otros terrenos.

1 19
#40 fayser *

Estos artículos están bien para que alguna gente tome conciencia de que programar va un poquito más allá de hacer ventanucos y tal.

2 37
#41 Pakitopena *

Pero quien menea semejante mierda? Creo que a ningun ser humano normal le importa un comino los posts egocentricos de gallir para demostrar que el sabe mas que todos los ensambladores del mundo de ram y procesadores.

2 16
#42 meneanteBlanco

#19 Si lo hubiera enviado él sería microbloguing

1 0
#43 --442355-- *

Tengo una duda . Este tipo de problemas que nos dan los procesadores modernos solo lo tendremos si utilizamos un lenguaje de programación interpretado, como puede ser el rey de los lenguajes de sistemas operativos : el c o el c++. Pero si utilizamos java, supongo que es la maquina virtual la que se encarga de solucionar todos los problemas que podemos tener en un procesador multinucleo. ¿Es correcto o estoy totalmente equivocado?

1 28
#44 Nights

#12 ¿Qué sitio? No nos dejéis así joé.

1 29
#45 Nights

#7 Dos jubiladas iban hablando de eso hoy en el autobús.

1 29
#46 u_1cualquiera

#7 pues el FSB está ya pasadito de moda,

1 31
#47 audacious

#44 Un sitio lleno de sodomitas.

1 30
#48 --454746--

#43 Pues sin tener ni puta idea me atrevería a decir que si haces un programa en java sin tener en cuenta nada de multiproceso ni distintos núcleos... pues se ejecutará en un núcleo y punto, sin aprovechar la máquina (y también sin saturarla). Y cierro la boca, que hablo por pura intuición.

2 34
#49 Nights

Qué casualidad que justo ahora estoy soldando una placa RACC con plextor vectorial y justo en el apartado exec (arc) compiler sentium he hecho bypass al conector de base sin tocar los pins mayores de 32.

2 36
#50 RojoVelasco

#43 C y C++ no son interpretados, son compilados ( aunque desde que está de moda el LLVM ya ni se lo que son realmente). Lo que creo que si puedo decir con seguridad es que una máquina virtual nunca te va a solucionar un data race por ejemplo.

2 37
#51 RojoVelasco

Si los post de la mula Francis llegaban a portada no veo por qué esto no. Lo deben entender realmente el mismo número de personas.

2 40
#52 polipolito

Cohonudo. Igual de épico que ese momento de Star Wars, episodio 4 (version ext no oficial) minuto 42 segundo 3, en que Yoda le come la polla telepaticamente a Cho Yun Fat.

2 32
#53 --442355--

#50 Cierto, es compilado(un lapsus). Si, el problema de los recursos compartidos por varios hilos lo vamos a tener siempre. Pero @gallir habla de los problemas que surgen, cuando manejamos varios hilos, debido a que las instrucciones no se ejecutan de manera secuencial .

2 38
#54 osiris

Debo ser el único al que le ha interesado el artículo.

Sincronizar procesos es de lo más jodido que me encuentro.
Aunque es reconfortante cuando consigues que las tareas pasen de una hora y media a 20 minutos lanzando hilos.

3 43
#55 ogrydc

#7 Si la panadería tuviera FSB no habría esa cola.

Por cierto, @gallir se equivoca, es Front Side Bus, no buffer.

1 32
#56 --174--

#18: To be who is. Si es que ya lo decía el abogado.

www.youtube.com/watch?v=Njui7Tx2s40#t=71

1 29
#57 domingas

A portada una clase de arquitectura de computadores ... meneame cada dia cayendo mas bajo... Que gran noticia!

0 6
#58 mauser_c96

#12 Pasaré a preguntar, entonces...

0 12