edición general
248 meneos
8317 clics
Concurrencia: los problemas del hardware moderno y barreras de memoria

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
  1. mauser_c96 #5 mauser_c96
    Este artículo está en portada porque lo ha escrito Gallir. Y lo sabes.
    34 K 317
  2. #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 :-S
    24 K 229
  3. #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 K 131
  4. #26 emdi
    #25 Señal sí, pero concurrente....
    10 K 110
  6. #15 --204809--
    #9 A mí me gusta "farmancia" y "ojete"
    7 K 75
  7. #16 --204809--
    #13 Sí, qué gran película!
    6 K 72
  8. gallir #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 K 64
  9. Ferran #19 Ferran *
    #14 No la ha enviado él... ni siquiera la ha meneado.
    4 K 60
  10. habitante #8 habitante
    #7 A la panadería dónde yo he ido hablaban de parsers y de parsear, así a lo tonto...
    3 K 50
  11. Guetta #22 Guetta
    Es Ricardo Galli y ha venido a hablarnos de su nuevo libro youtu.be/-1cTIUc7cJc
    3 K 44
  13. osiris #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 K 43
  14. audacious #6 audacious
    #5 Post subcontratado. Por cierto, te echo de menos en cierto sitio.
    2 K 42
  15. #9 --115246--
    #4 Como me gusta esa palabra, parsers y Scandisk
    3 K 42
  16. ElPerroDeLosCinco #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 K 42
  17. RojoVelasco #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 K 40
  18. #21 --115246--
    #15 ¡moñeca, cobete, armondiga, roilla!
    3 K 39
  19. #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 K 38
  20. #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 K 37
  21. RojoVelasco #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 K 37
  22. #10 meneante2015
    No hay gatos, no hay grafeno. No hay opinión de Pablo Iglesias sobre el tema
    ¡¡¡Sáquenla ya de portada!!!
    2 K 36
  23. #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 K 36
  24. #17 meneante2015
    #14 Menéame es una secta y todo lo que dice nuestro amado líder es relevante
    2 K 35
  25. redscare #30 redscare
    #18 Llevo 10 años de informático y esto es infumable xD 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 :-D
    2 K 35
  26. #35 --320894--
    está interesante pero es absurdo que salga esto en portada
    1 K 34
  27. #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 K 34
  28. gallir #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 K 33
  29. #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 K 32
  30. mauser_c96 #11 mauser_c96 *
    #6 Lo sé! Pero cierto sitio está tan de capa caída, que me da pena hasta entrar. <:(
    1 K 32
  31. polipolito #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 K 32
  32. ogrydc #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 K 32
  33. u_1cualquiera #46 u_1cualquiera
    #7 pues el FSB está ya pasadito de moda,
    1 K 31
  34. #2 llou
    Vah... ni una referencia a la RAM transaccional. Que old school. :-D
    1 K 30
  35. audacious #12 audacious
    #11 Not anymore
    1 K 30
  36. superplinio #20 superplinio
    No hay huevos a tirarla de portada :troll:
    1 K 30
  37. Frederic_Bourdin #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 K 30
  38. audacious #47 audacious
    #44 Un sitio lleno de sodomitas.
    1 K 30
  39. habitante #4 habitante
    ¿Y nadie va a decir nada de los parsers? :-|
    1 K 29
  40. #44 Nights
    #12 ¿Qué sitio? No nos dejéis así joé.
    1 K 29
  41. #45 Nights
    #7 Dos jubiladas iban hablando de eso hoy en el autobús.
    1 K 29
  42. #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 K 29
  43. #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 K 28
  44. Veelicus #13 Veelicus
    ya nadie se acuerda del Dispatcher????
    1 K 27
  45. #28 --280860--
    #0 ¿Esto que es por el problema de las nvidia 970 y el uso de sus ultimos 512m? xD
    1 K 27
  46. #18 hipernes
    Hay que reconocer que es interesante pero solo para informaticos. Pero llega a portada por ser de quien es.
    1 K 26
  47. animalDeBellota #24 animalDeBellota *
    ....
    1 K 26
  48. animalDeBellota #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 K 26
  50. animalDeBellota #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 K 26
  51. animalDeBellota #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 K 26
  52. animalDeBellota #39 animalDeBellota
    #38 believe me... pero no. La peña esta huyendo a otros terrenos.
    1 K 19
  53. Pakitopena #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 K 16
  54. gallir #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  media
    0 K 13
  55. mauser_c96 #58 mauser_c96
    #12 Pasaré a preguntar, entonces...
    0 K 12
  56. #57 domingas
    A portada una clase de arquitectura de computadores ... meneame cada dia cayendo mas bajo... Que gran noticia!
    0 K 6
  57. meneanteBlanco #42 meneanteBlanco
    #19 Si lo hubiera enviado él sería microbloguing
    1 K 0
  58. Jfreek #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 K -35
comentarios cerrados

menéame